Cryptography

Cryptographic primitives in production, including signature schemes and threshold cryptography.

306 talks

• The ethSTARK Toy Problem
• PQ Devnet Updates
• WHIR Performance (workshop)
• zk(E)VM Formal Verification
• Minimal zkVM for Lean Ethereum
• PQ P2P Aggregation
• PQ Ethereum Workshop - Day 1 Kickoff
• Proximity Prize (workshop) (Day 1)
• Devnet Specs (workshop)
• P2P Performance
• Introduction to LeanSig
• WHIR Performance
• Hash-based zkSNARKs
• Seven Years in Poseidon
• PQ Ethereum Workshop - Day 1 Recap
• XMSS Signature Aggregation
• ArkLib: Verified Proof Systems in Lean
• leanVM-01: leanVM Crash Course and Sumcheck Optimization
• leanVM-02: Memory Models and Lookup Arguments
• leanVM-03: Compiler (Workshop)
• Episode 375 - Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin
• ZK Whiteboard Sessions - S3M1: How to Build Hash Functions, with Jean-Philippe (JP) Aumasson
• PlonK: The Proving Scheme on Aztec
• Introdução a FFT - Core Program Brasil 2025