Theory

• The Performance Of Proof Of Stake Finality: Casper Ffg Vs. Tendermint With Validator Rotation · 2022-07-30

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

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

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

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

• Information Geometry: Statistical Manifolds, the Fisher Information Metric, and Natural Gradient Descent · 2022-07-12

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

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

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

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

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

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

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

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

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

• A Rigorous Analysis Of The Diffie Hellman Key Exchange In The Group Of Prime Field Elliptic Curves · 2022-05-04

  A comprehensive technical exploration of a rigorous analysis of the diffie hellman key exchange in the group of prime field elliptic curves, covering key concepts, practical implementations, and real-world applications.

• Building An Orthogonal Range Counting Data Structure With A Kd Tree: Query Complexity And Construction · 2022-04-28

  A comprehensive technical exploration of building an orthogonal range counting data structure with a kd tree: query complexity and construction, covering key concepts, practical implementations, and real-world applications.

• The Theory Of Lossy Compression With Jpeg: Dct, Quantization Table, And Huffman Coding For Chroma Subsampling · 2022-04-23

  A comprehensive technical exploration of the theory of lossy compression with jpeg: dct, quantization table, and huffman coding for chroma subsampling, covering key concepts, practical implementations, and real-world applications.

• Implementing A Universal Data Compressor Using Arithmetic Coding With Finite Precision And Range Coder · 2022-04-22

  A comprehensive technical exploration of implementing a universal data compressor using arithmetic coding with finite precision and range coder, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into The Boyer Moore String Search Algorithm: Bad Character And Good Suffix Heuristics · 2022-04-17

  A comprehensive technical exploration of a deep dive into the boyer moore string search algorithm: bad character and good suffix heuristics, covering key concepts, practical implementations, and real-world applications.

• Designing An Approximate String Matching Algorithm Using Bitap (Shift Or) With Nfa Simulation · 2022-04-16

  A comprehensive technical exploration of designing an approximate string matching algorithm using bitap (shift or) with nfa simulation, covering key concepts, practical implementations, and real-world applications.

• Online Learning: Regret Minimization, the Multiplicative Weights Algorithm, and Adversarial Bandits · 2022-04-15

  A rigorous treatment of online learning—regret minimization, multiplicative weights, EXP3 for adversarial bandits, and the deep connections to game theory and boosting.

• The Complexity Of The Knuth Morris Pratt String Matching Algorithm: Prefix Function And Border Properties · 2022-04-03

  A comprehensive technical exploration of the complexity of the knuth morris pratt string matching algorithm: prefix function and border properties, covering key concepts, practical implementations, and real-world applications.

• Building A Huffman Coding Implementation With Canonical Huffman Trees And Bit Packing · 2022-04-02

  A comprehensive technical exploration of building a huffman coding implementation with canonical huffman trees and bit packing, covering key concepts, practical implementations, and real-world applications.

• Statistical Learning Theory: PAC Learning, VC Dimension, and the Bias-Complexity Tradeoff · 2022-03-31

  A rigorous development of statistical learning theory—the PAC framework, VC dimension and Sauer's lemma, the fundamental theorem, Rademacher complexity, and the mathematical limits of learning from data.

• A Detailed Analysis Of The Lempel Ziv Welch (Lzw) Compression Algorithm: Dictionary Design And Decoding · 2022-03-30

  A comprehensive technical exploration of a detailed analysis of the lempel ziv welch (lzw) compression algorithm: dictionary design and decoding, covering key concepts, practical implementations, and real-world applications.