Formal Verification of ZK Constraint Systems

By Morgan Thomas and Ventali Tan

Thanks to Eric McCarthy from Kestrel Institute for helping with some sections of this document, and to Grigore Rosu (UIUC), Shashank Agrawal (Delendum), Daniel Lubarov (Delendum), Tim Carstens…

Field selection for recursive SNARKs

We explore field selection and encoding of “non native”…

Compiler and Composability in ZKP

On Friday July 15th, we hosted four experts from Polygon Miden, O(1) Labs, Risc0, and Circom to share their insights on ZKP compiler and composability. Here are the popular topics and highlights we picked from the talks.

Efficient Signatures for ZKPs

Verifying digital signatures is a problem that arises in a variety of ZK related projects, from Zcash to zkEVMs. Here we will discuss some different options for signature schemes, and strategies for efficient implementations.

ZK in Identity

Many thanks to Yupeng Zhang, Daniel Lubarov, Carol Xie, Gautam Botrel, Ventali Tan, Albert Vučinović, and Miroslav Jerković for feedback.

Programming Languages in ZKP

We hosted an online session of Programming Languages in ZKP on Friday June 17, 2022. We welcomed 8 speakers and panelists from the top projects in the industry to share their perspectives.

Applications of ZKP

We recently had the pleasure of hosting a panel to discuss different applications of ZKP, on Friday August 12. We hosted six…