Closed Antonio95 closed 1 month ago
Adds succinctness: the prover Merkle-commits to the matrix and opens randomly-queried columns. Includes a couple of minor optimisations.
Proving time and verification times are substantially reduced (to about 380 and 195 ms for the sample Poseidon circuit)
Adds succinctness: the prover Merkle-commits to the matrix and opens randomly-queried columns. Includes a couple of minor optimisations.
Proving time and verification times are substantially reduced (to about 380 and 195 ms for the sample Poseidon circuit)