Theory
536 posts in category “Theory”.
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.
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.
A Rigorous Analysis Of The Diffie Hellman Key Exchange In The Group Of Prime Field Elliptic Curves
2022-05-04A 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-28A 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-23A 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-22A 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-17A 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-16A 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-15A 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-03A 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-02A 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-31A 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-30A 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.