Circuit viewer
See how each of the constraints gets translated to an arithmetic expression
Circuit viewer
See how each of the constraints gets translated to an arithmetic expression
The problem Circuit viewer solves
It is hard to understand how zero-knowledge proof circuits are turned into a set of complex algebraic constraints
Challenges I ran into
Read through the circuit DSL compiler to understand how it builds a syntax tree. I just spent some time following the code
Tracks Applied (3)
Open Track
One of those tasks that we want somebody to work on itSponsor Track: Taiko
This is a public good project that can help various industry professionals and students. Ethereum ecosystem can benefit ...Read MoreSponsor Track: EF PSE
This is a public good project that can help various industry professionals and students. Ethereum ecosystem can benefit ...Read MoreDiscussion