Top-level verifier that checks inner proofs' shapes and constraints.
Drive the whole PCS verification pipeline.
List view
0 issues of 3 selected
- Status: Open.#32 In Plonky3/Plonky3-recursion;
- Status: Open.#52 In Plonky3/Plonky3-recursion;
- Status: Open (in progress).Plonky3/Plonky3-recursionnumber 131#131 In Plonky3/Plonky3-recursion;