scout
scout copied to clipboard
Add STARK Verification Example
Includes a contrived instance of a STARK verification of a number of MIMC rounds expressed inside an EE.