List view
Establish benchmarking & profiling to validate efficiency.
No due date•3/12 issues closedGeneralize pieces like hash/sponge and FRI parameters so they can be configurable per user demand without redesigning all components.
No due date•6/13 issues closedE2E examples, robustness testing, and core documentation.
No due date•13/17 issues closedTop-level verifier that checks inner proofs' shapes and constraints. Drive the whole PCS verification pipeline.
No due date•8/11 issues closedAll the polynomial-commitment verification logic for fixed FRI settings. Further iterations will expand the FRI settings to allow for configurable parameters.
No due date•1/4 issues closedDefine and integrate deterministic, recomputable selectors that do not need to be committed to (i.e. preprocessed columns).
No due date•4/5 issues closedImplement the verifier primitives needed to verify commitments, inclusion proofs, and Fiat–Shamir challenge sampling.
No due date•13/14 issues closedMinimal field-level arithmetic building blocks that other verification components require.
No due date•4/4 issues closedBasic core data-binding layer between operands and committed values and exposing public/constant inputs.
No due date•3/4 issues closedProduce the unproved IR from symbolic execution and derive everything needed to build circuit traces and deterministic selectors.
No due date•9/13 issues closed- No due date•4/5 issues closed