noname developer update #2: structs are working! posted 2 weeks ago
noname is the DSL I'm working on to write rust-like programs and prove their executions using zero-knowledge proofs.
The previous post used noname as an education tool to explain how programs get compiled to gates and constraints.
In this post, I showcase a new feature: custom gates, and go through the debug compilation of an example program to see if the implementation is sound (that it constrains what it is supposed to constrain).