proof-systems
proof-systems copied to clipboard
o1-labs
common index between prover and verifier index
It would be nice to create a CommonIndex that is shared by both the prover and verifier indexes (domain, shifts, public input size). The rest of the prover index and the verifier index would then be mostly pre-computations IIUC.
note: that might be a bit annoying to refactor on the ocaml side, but good to use this issue as brainstorming for this longer term refactor
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
we could use this issue to talk about refactoring the indexes in general. There is a number of improvements we've discussed in different places, but summarized:
- [ ] ConstraintSystem should be split between:
- a
Circuittype that holds the gates, the public input size, the wiring, etc. - the rest should be moved to the prover index
- a
- [ ] the prover index should be split cleaned up between pre-computations, and other things
- [ ] the verifier index should be split between static vs variable (as recommended by @rot256)
- [ ] some parts of the prover and verifier index could be moved to a "common parameters"
- [ ] some parts of the SRS not related to the PCS could be moved out of the SRS, and the SRS could be renamed something more user friendly (PcsParams?)