ZKProof Standards

2.05K subscribers

280 videos

The ZKProof.org Workshop and community is creating the standards for Zero-Knowledge Proofs, Verifiable Computation and Blockchain Privacy Cryptography.

Latest Videos

ZK8 - Quang Dao - Evolving the foundations of ArkLib

ZK8 - Weijie Wang - Dynamic zk SNARKs with applications to sparse zk SNARKs and IVC

ZK8 - Marco Stronati - CLap - correctly compiling the leanest possible circuits

ZK8 - Mahak Pancholi - General Techniques for Unbounded Depth IVC in the AGM and More

ZK8 - James Parker - zkLean - A DSL for ZK statement verification

ZK8 - Ilya Schukin - Aleph The formal verification Coding AI agent

ZK8 - Ilan Gitter - Enabling Confidential Transfers for the Largest Payment Organizations

ZK8 - Gregor Mitscha Baude - Clean From verification of circuits to verification of zkVMs

ZK8 - Hossein Hafezi - KZH Fold - Accountable Voting from Sublinear Accumulation

ZK8 - Hossein Hafezi - Single Server Private Outsourcing of zk SNARKs

ZK8 - Alberto Centelles - Efficient Recursion for the Jolt zkVM

ZK8 - Thomas Gassmann - Evaluating Compiler Optimization Impacts on zkVM Performance

ZK8 - Suyash Bagad - Speeding Up Sum Check Proving

ZK8 - Anubhav Baweja - Time Space Trade Offs for Sumcheck

ZK8 - Sriram Sridhar - Relaxed Modular PCS from Arbitrary PCS and Applications to SNARKs for Integer

ZK8 - Ignacio Manzur - All Polynomial Generators Preserve Distance with Mutual Correlated Agreement

ZK8 - Sofia Celi - Analysis and Vulnerabilities in zkLogin

ZK8 - Albert Garreta - Zinc+ SNARKs for Polynomial Rings

ZK8 - Katerina Hristova - Mathematical foundations

ZK8 - Derek Sorensen - CompPoly

ZK8 - Devon Tuma - VCV io

ZK8 - Julian Sutherland - Reasoning about IOPPs

ZK8 - Tobias Rothmann - KZG

ZK8 - Alexander Hicks - Introduction to ArkLib Day

ZK8 - Ziyi Guan - Time Space Tradeoffs For Probabilistic Proofs

ZK8 - Ariel Gabizon - Revisiting the IPA sumcheck connection

ZK8 - Gal Arnon - Pairing Based SNARGs with Two Group Elements

01 Alistair Stewart On Reed–Solomon Proximity Gaps Conjectures

ZK8 - Ying Tong Lai - Standards and Adoption of ZKPs Reflections from IETF, WC3, EUDI, LFDT & More

ZK8 - Peeter Laud- existing credentials and MPC in the Head for browser based private authentication