How BFT Consensus Actually Reaches Finality
A gentle, math-light explanation of quorum intersection and why two conflicting finalized blocks can never both exist.
Read note →Consensus
A gentle, math-light explanation of quorum intersection and why two conflicting finalized blocks can never both exist.
Read note →What happens when an adversary surrounds a node with dishonest peers, and the surprisingly simple countermeasures that work.
Read note →The intuition behind ZK proofs, where the assumptions hide, and what "soundness" and "zero-knowledge" really guarantee.
Read note →We reproduce our recent formal-verification preprint step by step, with the full model available in our public repository.
Publication details →Design lessons from the tool we use to break our own protocol assumptions before anyone else can.
Publication details →The papers we hand every new collaborator, annotated with what to skim, what to study, and what to skip on first reading.
Publication details →