Implement the verifier primitives needed to verify commitments, inclusion proofs, and Fiat–Shamir challenge sampling.
List view
0 issues of 1 selected
- Status: Open.#21 In Plonky3/Plonky3-recursion;
Implement the verifier primitives needed to verify commitments, inclusion proofs, and Fiat–Shamir challenge sampling.
0 issues of 1 selected