jolt icon indicating copy to clipboard operation
jolt copied to clipboard

Published 20 hours ago • verified publisher icon a16z

Unit test parity between `R1CSInputs::clone_to_trace_len_chunks` and `R1CSProof::format_commitments`

Open sragss opened this issue 10 months ago • 1 comments

As mentioned in #213 we have an implicit relationship in the R1CS between R1CSInputs::clone_to_trace_len_chunks, R1CSProof::format_commitments. Would be good to have a smaller test to confirm this relationship. Currently we depend on the integration tests fib_e2e / sha3_e2e to catch these isssues.

sragss avatar Apr 23 '24 22:04 sragss

I believe we'd want to match this up with the hard coded constants in r1cs.rs as well.

sragss avatar Apr 25 '24 00:04 sragss