Implement the verifier primitives needed to verify commitments, inclusion proofs, and Fiat–Shamir challenge sampling.
List view
0 issues of 13 selected
- Status: Closed (completed).#16 In Plonky3/Plonky3-recursion;
- Status: Closed (completed).#12 In Plonky3/Plonky3-recursion;
- Status: Closed (completed).#20 In Plonky3/Plonky3-recursion;
- Status: Not planned (skipped).#22 In Plonky3/Plonky3-recursion;
- Status: Closed (completed).#73 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 93#93 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 115#115 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 85#85 In Plonky3/Plonky3-recursion;
- Status: Closed (abandoned).Plonky3/Plonky3-recursionnumber 86#86 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 95#95 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 62#62 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 79#79 In Plonky3/Plonky3-recursion;
- Status: Merged (completed).Plonky3/Plonky3-recursionnumber 59#59 In Plonky3/Plonky3-recursion;