libsnark icon indicating copy to clipboard operation
libsnark copied to clipboard

Published 20 hours ago • verified publisher icon scipr-lab

Where's the code for the reduction from TinyRAM to CircuitSAT?

Open analytic-bias opened this issue 3 years ago • 0 comments

As mentioned in the email, I'm trying to work on the formal verification (in Coq, presumably) of your SNARKs paper. My first step would be to verify the correctness of the reduction from TinyRAM to CircuitSAT. Can you point me to the code of it?

analytic-bias avatar Sep 03 '22 08:09 analytic-bias