Open analytic-bias opened 1 year 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?
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?