Theory

• Designing An Online Algorithm For K Server With The Randomized Work Function Algorithm · 2023-08-18

  A comprehensive technical exploration of designing an online algorithm for k server with the randomized work function algorithm, covering key concepts, practical implementations, and real-world applications.

• The Complexity Of The Maximum Cut Problem: Goemans Williamson Sdp Relaxation With Randomized Rounding · 2023-08-03

  A comprehensive technical exploration of the complexity of the maximum cut problem: goemans williamson sdp relaxation with randomized rounding, covering key concepts, practical implementations, and real-world applications.

• A Formal Proof Of The Lower Bound For 2 Approximation Of Vertex Cover Using Pcp Theorem · 2023-07-28

  A 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.

• Implementing A Verifiable Secret Sharing Scheme Using Pedersen Commitments And Feldman’S Vss · 2023-07-10

  A 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-02

  A 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-01

  A 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-27

  A 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-18

  A 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-16

  A 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-13

  A 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-09

  A 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-01

  A 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-15

  A 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-10

  A 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-10

  A 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-29

  A 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-29

  A 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-23

  A 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-14

  A 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-12

  A 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-07

  A 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-06

  An 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-06

  A 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-04

  A 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.