o1-labs/proof-systems

ECADD: Tests for correctness against native implementation

Closed this issue · 0 comments

ECADD circuit does not have tests that are checking if the circuit computation is correct w.r.t. the actual native CPU computation.