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
- zkSessions: Thibaut Schaeffer on ZoKrates
- zkSessions: Izaak Meckler on SnarkyJS
- zkSessions: Shahar Papini on Cairo
- zkSessions: Pratyush Mishra on Arkworks
- zkSessions: Jordi Baylina on Circom
- zkSessions: Alex Ozdemir - The Taxonomy of Circuit Languages
- zkStudyClub - Quarks
- ZKV presents... Privacy on Polkadot - Plug and Play Privacy for Polkadot w Shumo Chu, Manta Network
- ZKV presents...Privacy on Polkadot - Data Privacy Protection with a zk-STARK VM - Xiao Zhang, zCloak
- The Future of Blockchain and NFTs
- zkStudyClub: Dory w/ Jonathan Lee (MS Research / Nanotronics Imaging)
- ZKPodcast: ZK languages with Alex Ozdemir
- ZKPodcast: Hardware for ZKPs & VDFs with Supranational
- ZKPodcast: The Arkworks SNARK libraries with Pratyush Mishra
- zkStudyClub: PCD without zkSNARK with Pratyush Mishra (UC Berkeley) & Benedikt Bünz (Stanford)
- zkStudyClub: Unifying Compiler Infrastructure for SNARKs, SMTs, & More w/ Alex Ozdemir (Stanford)
- Programmable Zero Knowledge with Aleo - Howard Wu
- 49 - Moon Math: The Bull Case for Cryptography | Justin Drake
- zkStudyClub: Halo Infinite with Ben Fisch (Stanford)
- zkSummit6: Ongoing challenges in systematizing universal SNARKs Mikerah Quintyne-Collins - Hashcloak
- zkSummit6: Pointproofs: Aggregating Proofs for Multiple Vector Commitments – Leo Reyzin – Algorand
- zkSummit6: Accelerating ZKP's through specialized hardware - Guy Granot - Chain Reaction
- zkSummit6: Introduction to Starling Studio Zinc developer tools - Ronald Mannak - Starling Protocol
- zkSummit6: Rescue-Prime: a Standard Specification Alan Szepieniec – AS Discrete Mathematics & Nervos