Scaling Trustless DNN Inference, zkml applications at ZKProof.org by Daniel Kang

Daniel Kang gave a comprehensive overview of the current capabilities of zero-knowledge proofs for machine learning (ZKML), clearly explaining what types of models like ImageNet,…


0 Comments3 Minutes

ZKPs and Post-Quantum Signatures From VOLE-in-the-Head at ZKProof.org by Peter Scholl

Peter presented the FAEST signature scheme, which achieves similar performance to hash-based signatures under only AES security, and provides post-quantum signatures under 5KB and…


0 Comments2 Minutes

Lessons from DARPA SIEVE at ZKProof.org by James Parker & Kimberlee Model

James and Kimberlee clearly explained the SIEVE IR, a collaborative specification enabling interoperability between frontends and backends. They invited the community to learn…


0 Comments2 Minutes

Recursive Proof Composition at ZKProof.org by Ying Tong Lai

Ying Tong Lai delivered an illuminating presentation that advanced understanding of recursive proof composition, clearly explaining techniques like folding schemes, highlighting…


0 Comments2 Minutes

The Plonk Effort at ZKProof.org by Mary Maller

Mary Maller's overview of the modular approach to specifying Plonk. In this talk, Mary clearly explained the components of the forming standard and rationale.


0 Comments3 Minutes

Sangria: a Folding Scheme for PLONK

In this technical note we present Sangria, a Nova-style folding scheme for the PLONK arithmetization. In the same way that Nova introduces “relaxed R1CS”, the main ingredient in…


0 Comments18 Minutes

Announcing the Expert Series Webinar on Zero-Knowledge Proofs

ZKProof has joined forces with leading organizations in our ecosystem to launch a new webinar series. With the aim of making Zero-Knowledge Proof technology more accessible to new…


0 Comments4 Minutes