Zero-Knowledge Proofs

Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.

1395 talks

• Anon-Aadhaar Protocol using Halo2 and Noir
• Circom buses: a new journey
• The verifiability vision
• Building zk identity on-chain (Permisionless registries)
• Introducing Provable Object Data
• Building Consumer Apps with ZK, MPC, and FHE
• Behind Zupass: Applied Cryptography For Consumers
• Check your user's humanity, nationality or age with privacy-preserving ID proofs!
• A Deep Dive into ZK Proofs of PODs
• Non-Native Arithmetic via CRT Codes
• Build Your Own ZK Email Proofs, ZK Email Login, or ZK Account Recovery Module in 1.5 Hours
• L2 Interoperability via Collaborative SNARKs
• Keynote: The Universal Cryptographic Adapter
• VADCOPs: Leveraging STARKs for Tailored Proof Generation
• Security of Fiat-Shamir transformation
• Security of Fiat-Shamir transformation by Michal Zajac | Devcon SEA
• From Bottlenecks to Breakthroughs: Optimizing zkEVM Provers
• The Supreme Ruler of the World
• Efficient non-native SNARK recursion using bivariate polynomial testing
• Circle STARK GPU Acceleration: An Analysis of Performance and Implementation
• RLNv2: enhanced spam protection for all peer-to-peer networks
• Lessons from integrating LogUp-GKR in the Miden VM
• Leveraging High-Performance Computing for Efficient STARK Provers
• zkProving the history of Ethereum in real time.