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

Question

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

analytic-bias opened this issue 2 years ago · comments

Hypatia du Bois-Marie #RemoveCCP #**下台 #FormalSciencesForHumanRight #形式科學為人權 commented 2 years ago

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?