YoVDO

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

Offered By: ACM SIGPLAN via YouTube

Tags

Zero-Knowledge Proofs Courses Arithmetic Circuits Courses Polynomial Equations Courses Finite Fields Courses Blockchain Security Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking technique for detecting vulnerabilities in zero-knowledge proof circuits presented at PLDI 2023. Dive into the world of arithmetic circuits and domain-specific languages used in constructing zero-knowledge proofs. Learn about the critical issue of underconstrained circuits and their potential for exploitation in blockchain applications. Discover how the proposed method combines SMT solving with uniqueness inference to effectively reason about circuit constraints. Examine the implementation of this approach in the QED2 tool and its impressive results in analyzing Circom circuits. Gain insights into the detection of previously unknown vulnerabilities in widely-used circuits and the implications for cryptocurrency security. Understand the importance of semantic reasoning over finite field equations in verifying the uniqueness of output signals and preventing malicious exploitation of zero-knowledge proof systems.

Syllabus

[PLDI'23] Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs


Taught by

ACM SIGPLAN

Related Courses

Introduction à la théorie de Galois
École normale supérieure via Coursera
Pre-Calculus: Functions
University of California, Irvine via Coursera
Advanced Functions: A Complete Course on Precalculus
Udemy
A-level Further Mathematics for Year 12 - Course 1: Complex Numbers, Matrices, Roots of Polynomial Equations and Vectors
Imperial College London via edX
Functions
Jeremy Klassen via YouTube