noname developer update #2: structs are working! posted September 2022
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).
Don't forget, you can play with the noname language here! And you can read the noname book as well.
leave a comment...