Formal methods for zero knowledge circuits

Isil Dillig

11.22.24

Zero knowledge circuits facilitate the construction of zero-knowledge proofs (ZKPs) by describing computations as finite field equations. However, logical errors in these circuits can lead to significant security vulnerabilities in software that uses ZKPs. Isil Dillig (UT-Austin) makes a case for applying formal methods to zero knowledge circuits and describes two of recent projects in this space. She describes a new technique for verifying an important property of ZK circuits as well as a new decision procedure for the theory of (prime-order) finite fields.

About the presenter

Isil is a Professor of Computer Science at UT Austin where she leads the UToPiA research group and a co-founder of Veridise, a blockchain security start-up. Her research interests are primarily in programming languages and formal methods, focusing mostly on program synthesis and software verification. Her research has won various distinguished paper awards, including at POPL, PLDI, OOPSLA, and others. About a16z crypto research a16z crypto research is a multidisciplinary lab that works closely with our portfolio companies and others toward solving the important problems in the space, and toward advancing the science and technology of the next generation of the internet.

More about us:

a16z.com/2022/04/21/announcing-a16z-crypto-research

podcast: web3 with a16z

A show about building the next internet, from a16z crypto

Any investments or portfolio companies mentioned, referred to, or described on this page are not representative of all investments in vehicles managed by a16z and there can be no assurance that the investments will be profitable or that other investments made in the future will have similar characteristics or results. Exits include current and former a16z portfolio companies which have been acquired as well as companies which have undergone an initial public offering or direct public offering of shares. Certain publicly traded companies on this list may still be held in Andreessen Horowitz funds. A list of investments made by funds managed by a16z is available here: https://a16z.com/investments/. Excluded from this list are investments for which the issuer has not provided permission for a16z to disclose publicly as well as unannounced investments in publicly traded digital assets. Further, the list of investments is updated monthly and as such may not reflect most recent a16z investments. Past results of Andreessen Horowitz’s investments, pooled investment vehicles, or investment strategies are not necessarily indicative of future results.

© 2024 Andreessen Horowitz WTUVKUCXZLYAD
GGCMUGJX