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