Blog
Posts, notes, and articles.
A Formal Proof Of The Lower Bound For 2 Approximation Of Vertex Cover Using Pcp Theorem
2023-07-28A comprehensive technical exploration of a formal proof of the lower bound for 2 approximation of vertex cover using pcp theorem, covering key concepts, practical implementations, and real-world applications.
Reverse Indexing and Inverted Files: How Search Engines Fly
2023-07-19Tokenization, postings lists, skip pointers, and WAND: a tour of the data structures that make full‑text search fast.
Implementing A Verifiable Secret Sharing Scheme Using Pedersen Commitments And Feldman’S Vss
2023-07-10A comprehensive technical exploration of implementing a verifiable secret sharing scheme using pedersen commitments and feldman’s vss, covering key concepts, practical implementations, and real-world applications.
Blockchain Consensus: Nakamoto Consensus, Casper FFG, Tendermint BFT, and the Safety-Liveness Tradeoff
2023-07-02A rigorous analysis of blockchain consensus protocols from PoW through PoS to BFT, exploring the fundamental safety-liveness tradeoff in permissionless settings and the role of finality gadgets.
The Mathematics Of Secure Multiparty Computation For Machine Learning: Beaver Triples And Oblivious Transfer
2023-07-01A comprehensive technical exploration of the mathematics of secure multiparty computation for machine learning: beaver triples and oblivious transfer, covering key concepts, practical implementations, and real-world applications.
Building A Privacy Preserving Contact Tracing System Using Bloom Filters And Cuckoo Hashing With Dp
2023-06-27A comprehensive technical exploration of building a privacy preserving contact tracing system using bloom filters and cuckoo hashing with dp, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Threshold Cryptography For Distributed Key Generation And Decryption
2023-06-18A comprehensive technical exploration of a deep dive into the threshold cryptography for distributed key generation and decryption, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Consensus With Asynchronous Byzantine Fault Tolerance (Honeybadgerbft)
2023-06-16A comprehensive technical exploration of implementing a distributed consensus with asynchronous byzantine fault tolerance (honeybadgerbft), covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Gossip Based Membership Protocol: Λ Gossip, Push Pull, And Epidemic Dissemination
2023-06-13A comprehensive technical exploration of the complexity of the gossip based membership protocol: λ gossip, push pull, and epidemic dissemination, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Stability Of The Bittorrent Protocol Under Churn: Dht And Peer Selection
2023-06-09A comprehensive technical exploration of a rigorous analysis of the stability of the bittorrent protocol under churn: dht and peer selection, covering key concepts, practical implementations, and real-world applications.
Designing A Decentralized Identity System With Verifiable Credentials And Pseudonymity
2023-06-01A comprehensive technical exploration of designing a decentralized identity system with verifiable credentials and pseudonymity, covering key concepts, practical implementations, and real-world applications.
The Performance Of Crdts For Collaborative Text: Rga, Lseq, Treedoc, And Correctness Proofs
2023-05-15A comprehensive technical exploration of the performance of crdts for collaborative text: rga, lseq, treedoc, and correctness proofs, covering key concepts, practical implementations, and real-world applications.
A Comprehensive Look At Operational Transformation Control Algorithms: Ttf, Cc, And Jupiter With Tombstone
2023-05-10A comprehensive technical exploration of a comprehensive look at operational transformation control algorithms: ttf, cc, and jupiter with tombstone, covering key concepts, practical implementations, and real-world applications.
Implementing A Conflict Detection And Resolution System For Real Time Collaborative Editing (Ot)
2023-05-10A comprehensive technical exploration of implementing a conflict detection and resolution system for real time collaborative editing (ot), covering key concepts, practical implementations, and real-world applications.
Building A Deterministic Database With Calvin: Distributed Log, Lock Free Processing, And Configuration
2023-04-29A comprehensive technical exploration of building a deterministic database with calvin: distributed log, lock free processing, and configuration, covering key concepts, practical implementations, and real-world applications.
The Algorithm For Distributed Transactions In Fauna: Calvin With Snapshot Isolation And Commit Protocol
2023-04-29A comprehensive technical exploration of the algorithm for distributed transactions in fauna: calvin with snapshot isolation and commit protocol, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Google’S Spanner Database: Truetime, Two Phase Commit, And External Consistency
2023-04-23A comprehensive technical exploration of a deep dive into the google’s spanner database: truetime, two phase commit, and external consistency, covering key concepts, practical implementations, and real-world applications.
The Performance Of Log Replication In Raft Under High Throughput: Batching, Pipelining, And Pipelined Raft
2023-04-14A comprehensive technical exploration of the performance of log replication in raft under high throughput: batching, pipelining, and pipelined raft, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Key Value Store With Strong Consistency And Elastic Scalability Using Raft
2023-04-12A comprehensive technical exploration of implementing a distributed key value store with strong consistency and elastic scalability using raft, covering key concepts, practical implementations, and real-world applications.
Designing A Time Bounded Consensus Protocol For Real Time Systems: Replicated State Machines With Deadlines
2023-04-07A comprehensive technical exploration of designing a time bounded consensus protocol for real time systems: replicated state machines with deadlines, covering key concepts, practical implementations, and real-world applications.
Formal Verification of Cryptographic Protocols: ProVerif, Tamarin, and the TLS 1.3 Verification Story
2023-04-06An exploration of the Dolev-Yao model, ProVerif and Tamarin provers, computational soundness results, and how formal methods proved TLS 1.3 secure before deployment.
Microarchitectural Attacks: Spectre, Meltdown, and the Transient Execution Apocalypse
2023-04-06A deep analysis of Spectre v1-v4, Meltdown, and the root cause in speculative execution, covering the endless cycle of mitigations and new attack variants that exploit the microarchitectural state.
Side-Channel Attacks: Timing, Power Analysis, Cache-Timing, and the Constant-Time Discipline
2023-04-04A rigorous exploration of side-channel cryptanalysis from Kocher's 1996 timing attack through differential power analysis to cache-timing attacks like Prime+Probe and Flush+Reload, with the countermeasure of constant-time programming.
The Complexity Of The Vector Clock Algorithm For Causal Ordering And Garbage Collection
2023-04-02A comprehensive technical exploration of the complexity of the vector clock algorithm for causal ordering and garbage collection, covering key concepts, practical implementations, and real-world applications.