Blockchain

• Zero-Knowledge Proofs: From Interactive Protocols to zk-SNARKs and Practical Verifiable Computation · 2025-04-24

  Build zero-knowledge proofs from the ground up: the simulation paradigm, Schnorr's protocol for discrete log, the transformation to non-interactive via Fiat-Shamir, and the engineering of modern zk-SNARKs for verifiable computation.

• Blockchain Consensus: Nakamoto Consensus, Casper FFG, Tendermint BFT, and the Safety-Liveness Tradeoff · 2023-07-02

  A rigorous analysis of blockchain consensus protocols from PoW through PoS to BFT, exploring the fundamental safety-liveness tradeoff in permissionless settings and the role of finality gadgets.

• Verifiable Delay Functions: Wesolowski, Pietrzak, and the Sequentiality Assumption · 2023-01-21

  An exploration of VDFs from their cryptographic foundations through practical constructions, with emphasis on randomness beacons, blockchain consensus, and the sequential computation lower bounds.