Algorithms

The Implementation Of A Multi Leader Replication System: Conflict Avoidance With Linked Lists And Last Writer Wins · 2022-08-13
A 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-10
A 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-09
A 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-31
A 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-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.
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.
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.