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

• ETHTaipei 2024 Workshop：Linea - Build Lightning Fast SNARKs with gnark
• ETHTaipei 2024 Workshop：PSE_Part 2
• 20240322 ETHTaipei Workshop_ZKBankai @G Part 3
• 20240322 ETHTaipei Workshop_ZKBankai @G Part 6
• Meetup #08 - ZKP & Starlight
• 20240322 ETHTaipei Workshop_ZKBankai @G Part 5
• Why ZK is the Endgame? by Alex Gluchowski
• ZK Panel
• ZK11: To Compute or Not to Compute on FPGA, That is The Question - Vladimir Marcin
• ZK11: ZK Fireside - Anna & Friends
• ZK11: Polynomial Acceleration for STARK VMs - Alan Szepieniec
• ZK11: Mopro: Client-Side Proving on Mobile Made Easy - Oskar Thoren
• ZK11: ZK in Restricted Environments - Can State-of-the-Art Systems Run on Smartcards? - Silur
• ZK11: Insights from and on Taxonomy of ZKP Vulnerabilities - Gyumin Roh
• ZK11: Application of Graph Methods for Efficient Quotient Polynomial Computation in Halo2 - Karthik
• ZK11: ZK Consensus: One Proof to Rule Them All - Calum Moore
• ZK11: SCRIBE: Asymptotically Optimal Streaming SNARKs - Tushar Reddy Mopuri
• ZK11: ZkSnap - End-to-End Private Voting at No Cost to Users - Rahul Ghangas
• ZK11: Compiling to ZKVMs - Alberto Centelles
• ZK11: MPC-Enabled Proof Markets - Daniel Kales
• ZK11: 2PC is for P2P: A TLSN-Based On/Off-Ramping Protocol - Sachin Kumar
• ZK11: STIR: Reed–Solomon Proximity Testing with Fewer Queries - Gal Arnon & Giacomo Fenzi
• ZK11: SNARK proving ASICs - Justin Drake
• Mainnet Unveiled: The Future of Data Ownership with DOP & ZK-Proofs