Blog
Posts, notes, and articles.
A Detailed Look At The Openssl Implementation Of Aes: Key Schedule, S Box, And Counter Mode
2022-08-20A comprehensive technical exploration of a detailed look at the openssl implementation of aes: key schedule, s box, and counter mode, covering key concepts, practical implementations, and real-world applications.
Designing A Distributed Sequential Consistency Model With Virtual Synchrony And Views
2022-08-20A comprehensive technical exploration of designing a distributed sequential consistency model with virtual synchrony and views, covering key concepts, practical implementations, and real-world applications.
Designing CRDT-Powered Collaboration Platforms that Stay Consistent
2022-08-17Deep dive into how conflict-free replicated data types underpin realtime editors, whiteboards, and multiplayer apps without sacrificing UX.
The Implementation Of A Multi Leader Replication System: Conflict Avoidance With Linked Lists And Last Writer Wins
2022-08-13A comprehensive technical exploration of the implementation of a multi leader replication system: conflict avoidance with linked lists and last writer wins, covering key concepts, practical implementations, and real-world applications.
A Rigorous Proof Of The Abortable Consensus In A Crash Recovery Model Using Non Blocking Atomic Commit
2022-08-10A comprehensive technical exploration of a rigorous proof of the abortable consensus in a crash recovery model using non blocking atomic commit, covering key concepts, practical implementations, and real-world applications.
Building A Conflict Free Replicated Data Type For Counters And Sets In Riak: Pn Counters, G Sets, And Lww Registers
2022-08-09A comprehensive technical exploration of building a conflict free replicated data type for counters and sets in riak: pn counters, g sets, and lww registers, covering key concepts, practical implementations, and real-world applications.
Designing A Scalable State Machine Replication Library: Multi Paxos With Reconfiguration And Joint Consensus
2022-07-31A comprehensive technical exploration of designing a scalable state machine replication library: multi paxos with reconfiguration and joint consensus, covering key concepts, practical implementations, and real-world applications.
The Performance Of Proof Of Stake Finality: Casper Ffg Vs. Tendermint With Validator Rotation
2022-07-30A comprehensive technical exploration of the performance of proof of stake finality: casper ffg vs. tendermint with validator rotation, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Snowman Consensus Protocol: Dag Based Block Ordering And Avalanche Finality
2022-07-29A comprehensive technical exploration of a deep dive into the snowman consensus protocol: dag based block ordering and avalanche finality, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Random Beacon Via Verifiable Delay Functions (Vdf) And Unique Secrets
2022-07-26A comprehensive technical exploration of implementing a distributed random beacon via verifiable delay functions (vdf) and unique secrets, covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Byzantine Agreement Problem With Rounds: Exponential Information Gathering And Recursive Algorithms
2022-07-16A comprehensive technical exploration of the complexity of the byzantine agreement problem with rounds: exponential information gathering and recursive algorithms, covering key concepts, practical implementations, and real-world applications.
CPU Caches and Cache Coherence: The Memory Hierarchy That Makes Modern Computing Fast
2022-07-12A comprehensive exploration of how CPU caches bridge the processor-memory speed gap. Learn about cache architecture, replacement policies, coherence protocols, and how to write cache-friendly code for maximum performance.
Information Geometry: Statistical Manifolds, the Fisher Information Metric, and Natural Gradient Descent
2022-07-12A rigorous journey through information geometry—the Riemannian geometry of statistical models, the Fisher metric as the unique invariant metric, natural gradient, and the dually flat structure of exponential families.
A Formal Verification Of The Ethereum Smart Contract Runtime: Evm Bytecode And Input/Output Properties
2022-07-10A comprehensive technical exploration of a formal verification of the ethereum smart contract runtime: evm bytecode and input/output properties, covering key concepts, practical implementations, and real-world applications.
Building A Blockchain Light Client Using Merklix Trees And Fraud Proofs For Validation
2022-07-04A comprehensive technical exploration of building a blockchain light client using merklix trees and fraud proofs for validation, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of Quantum Key Distribution: Bb84 Protocol, Eavesdropping Detection, And Privacy Amplification
2022-06-19A comprehensive technical exploration of the mathematics of quantum key distribution: bb84 protocol, eavesdropping detection, and privacy amplification, covering key concepts, practical implementations, and real-world applications.
Implementing A Private Information Retrieval (Pir) Scheme With Computational And Information Theoretic Guarantees
2022-06-07A comprehensive technical exploration of implementing a private information retrieval (pir) scheme with computational and information theoretic guarantees, covering key concepts, practical implementations, and real-world applications.
The Performance Of Multi Party Computation Protocols: Garbled Circuits Vs. Secret Sharing For Secure Ml Inference
2022-06-02A comprehensive technical exploration of the performance of multi party computation protocols: garbled circuits vs. secret sharing for secure ml inference, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Signal Protocol: Double Ratchet Algorithm, X3Dh, And Prekey Bundles
2022-05-31A comprehensive technical exploration of a deep dive into the signal protocol: double ratchet algorithm, x3dh, and prekey bundles, covering key concepts, practical implementations, and real-world applications.
Designing A Secure Broadcast Channel Using Public Key Cryptography And Merkle Trees For Key Transparency
2022-05-25A comprehensive technical exploration of designing a secure broadcast channel using public key cryptography and merkle trees for key transparency, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Digital Signature Algorithm: Ecdsa Vs. Eddsa (Ed25519) In Terms Of Speed And Security
2022-05-21A comprehensive technical exploration of the implementation of a digital signature algorithm: ecdsa vs. eddsa (ed25519) in terms of speed and security, covering key concepts, practical implementations, and real-world applications.
Virtual Memory and Page Tables: How Modern Systems Manage Memory
2022-05-19A comprehensive exploration of virtual memory, page tables, and address translation. Learn how operating systems provide memory isolation, enable overcommitment, and optimize performance with TLBs and huge pages.
Process Scheduling and Context Switching: How Operating Systems Share the CPU
2022-05-18A deep dive into how operating systems decide which process runs next and how they switch between processes. Understand scheduling algorithms, context switches, and the trade-offs that shape system responsiveness.