Benedikt Bünz bio photo

Benedikt Bünz

Benedikt Bünz is an Assistant Professor of Computer Science at NYU Courant. He also cofounded and am the chief scientist of Espresso Systems. He researches applied cryptography, consensus and game theory, especially as it relates to cryptocurrencies. His work focuses on enhancing the privacy, usability and security of blockchain protocols.

  G. Scholar LinkedIn Github e-Mail

Teaching

CSCI-GA.3033-​107: Cryptography of Blockchains

Readings:

A Graduate Course in Applied Cryptography, Boneh Shoup (BS) https://toc.cryptobook.us/

Bitcoin and Cryptocurrency Technologies, Narayanan, Bonneau, Felten, Miller, Goldfeder (NBFMG)

https://d28rh4a8wq0iu5.cloudfront.net/bitcointech/readings/princeton_bitcoin_book.pdf

Homework

Homework 1

Syllabus

  • Lecture 1 (1/22): Intro to Blockchains
    • Slides
    • What are blockchains
    • Signatures and Hash Functions
    • Building a simple blockchain from simple primitives
    • SHA256
    • Schnorr signatures
    • BLS signatures
    • Class overview
    • Reading: BS Chapter 8,13; NBFMG Chapter 1
  • Lecture 2 (1/29) Merkle Trees, Vector Commitments, Accumulators and Proof of Storage
    • Slides
    • BLS signatures (reading last lecture)
    • UTXO vs Account model (transaction format)
    • State Commitments
    • Merkle Tree Inclusion Proofs
    • Merkle Tree Updates
    • Patricia Trees and exclusion proofs
    • UTXO commitment
    • Reading: BS 8.9 NBFMG Chapter 3
  • Lecture 3: 2/5 Consensus, Aggregate signatures
  • Lecture 4 (23/4): Aggregate signatures part 2, VDFs and Beacons
  • 2/19 President’s day
  • Lecture 5: 2/26 Polynomial Commitments and VID
  • Data Availability
  • Separating Consensus from Execution and Data
  • Verifiable Information Dispersal
  • Polynomial Commitments
  • The KZG commitment
  • Light client sampling (Danksharding)
  • Lecture 6: 3/4 Light Clients and loose ends
  • Lecture 7: 3/11 Threshold Cryptography and key security
  • Spring break
  • Lecture 8: 3/25 Private Blockchains and Zero-Knowledge
  • Lecture 9: 4/1 SNARKs part 1 (Plonk, Rollups)
  • Lecture 10: 4/8 SNARKs part 2
  • Lecture 11: 4/15 Post-quantum cryptography for blockchains (Guest lecture Nick Spooner)
  • Lecture 12: 4/22 Recursive proofs and succinct blockchains
  • Lecture 13: 4/29 Recursive proofs part 2
  • Lecture 14: 5/6 Optional topic (Maybe future cryptography, FHE, obfuscation)