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
- zkSummit6: Beating the Flash Boys with Fully Homomorphic Encryption + ZKPs Ravital Solomon NuCypher
- zkSummit6: arkworks: A Rust Ecosystem for zkSNARKs – Pratyush Mishra – UC Berkeley
- zkSummit6: Espero: Optimistic SNARK setups for Plumo - Kobi Gurkan - cLabs
- zkSummit6: Programmable Zero Knowledge: Introducing Aleo – Howard Wu – Aleo
- zkSummit6: Cairo: A Turing Complete STARK Framework – Shahar Papini - StarkWare
- zkStudyClub: Pratyush Mishra and Nick Spooner discuss recent work on accumulation schemes
- zkStudyClub: Izaak Meckler o1Labs - Pickles
- ZKPodcast: Aleo with Howard Wu
- 應用零知識證明 by 梁智程 | COSCUP 2020
- zkPodcast: Trusted Setup Bonus with Tornado Cash
- zkStudyClub: *BONUS * Halo optimisations and constructing graphs of elliptic curves by Daira Hopwood
- zkStudyClub: Halo optimisations and constructing graphs of elliptic curves by Daira Hopwood
- zkStudyClub: Sean Bowe on “Halo and Accumulation Schemes”
- ZKPodcast: Trusted Setup Ceremonies Explored
- ZKPodcast: Proof of Necessary Work with Akis Kattis (NYU)
- zkStudyClub: Multi-scalar multiplication: state of the art & new ideas with Gus Gutoski (Consensys)
- zkSummit: Fractal, Post-quantum recursive snark - Dev Ojha (UC Berkeley)
- zkSummit: Inner Pairing Product Arguments and Applications - Psi Vesely (UC Berkeley)
- zkSummit: Overview of recursive SNARKs - Michael Straka (cLabs)
- zkSummit: ZKAPs: How to use Privacy Pass for payment-based access to your application - Anna Kaplan
- zkSummit: A new optimized elliptic curve for one layer proof composition - Youssef El Housni (EY)
- zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon
- zkSummit: Axioms for Zero-Knowledge Proof Pricing- Tarun Chitra (Gauntlet), Georgios Konstantopoulos
- zkSummit: ZkVM: fast confidential smart contracts powered by a motocrab - Oleg Andreev (Stellar)