Hello Noir! [Part 2]
In Part 1 we wrote a circuit, compiled it with nargo, and got two artifacts: a circuit definition and a witness. Now we will use them to actually perform the cryptographic proof check.
1. Where we left off
At the end of Part 1, we had two files in ...
