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
- ZK Study Club - ZEXE reading pt 1 (of 3)
- ZKPodcast: STARKs & StarkWare with Eli and Alessandro
- ZKPodcast: Digging into recursive zkSNARKs with Coda
- ZKPodcast: Zooko talks Zcash on our 50th episode
- ZKPodcast: Zokrates with Jacob Eberhardt
- Scaling with Zero Knowledge Proofs
- zkSummit - ZKP for both permissioned and permissionless blockchains - Jonathan Levi (HACERA)
- zkSummit - Lightning Talk: Aram Jivanyan (Zcoin/Lelantus)
- zkSummit - ZKProofs, A Real-World Workshop Results
- zkSummit - Zero-knowledge Interoperability with zkInterface -Aurélien Nicolas (QED-it, zkproof.org)
- zkSummit - Circom and Snarkjs - Jordi Baylina (Iden3)
- zkSummit - Creating confidential digital assets on Ethereum - Zachary Williamson (Aztec)
- zkSummit - Scalability First with STARK - Avihu Levy (StarkWare Industries)
- zkSummit - ZKP for CollabTech - Elad Verbin (Lunar Ventures / BIV)
- High-level programming languages for zkSNARKs, an overview - Harry Roberts (Ethsnarks)
- zkSummit - Scaling settlements with zkSNARKs - Alex Vlasov (Matter Labs)
- zkSummit: Notes from the SNARKonomicon: How to effectively program SNARKs - Izaak Meckler (Coda)
- EthCC 2: Alex Gluchowski
- EthCC 2: Silur
- EthCC 2: Jordi Baylina and David Suarez
- EthCC 2: Zachary Williamson
- EthCC 2: Lucas Vogelsang
- ZK Study Club - Fiat-Shamir with Alistair
- ZKPodcast: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions