Skip to content

Issues: o1-labs/proof-systems

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

119 Open 549 Closed
119 Open 549 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Kimchi/Pickles: get rid of coefficient form (use only evaluations)
#2718 opened Oct 17, 2024 by dannywillems
Arrabiata: setup + add selectors in the constraints
#2691 opened Oct 9, 2024 by dannywillems
Arrabiata: dummy constraint for the initial instance/witness
#2687 opened Oct 9, 2024 by dannywillems
Arrabiata: Move expression framework into mvpoly
#2683 opened Oct 8, 2024 by dannywillems
Arrabiata: Add o1js verifier
#2682 opened Oct 8, 2024 by dannywillems
Arrabiata: Add verifier in Rust
#2681 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Add Pickles verifier
#2680 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Handle correctly the public inputs
#2679 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Have a look at the paper "Revisiting Nova" for implementation bugs in previous versions
#2678 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Pass challenges as public IO to next iteration and verify/compute it in circuit ("step" i + 2 verifies "step" i)
#2677 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Integrate cross-terms computations
#2676 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Absorb cross-terms after computing and committing to them
#2675 opened Oct 8, 2024 by dannywillems
@dannywillems
Arrabiata: Implement final SNARK prover
#2674 opened Oct 8, 2024 by dannywillems
@dannywillems
Substitute hardcoded 7 for PERMUTS in proof-systems
#2666 opened Oct 4, 2024 by querolita
Wasm-friendly Field arithmetic perfomance
#2634 opened Sep 27, 2024 by mitschabaude
Poly_commitment: move a benchmark method in benches
#2611 opened Sep 25, 2024 by dannywillems
Should we keep circuit-construction?
#2607 opened Sep 25, 2024 by dannywillems
@volhovm
Add more performant self-hosted GitHub runners and execute all tests against them.
#2587 opened Sep 20, 2024 by shimkiv
@shimkiv
moving berkeley specific challenge in berkely column
#2585 opened Sep 20, 2024 by marcbeunardeau88
Arrabiata: I see that in this use case we absorb PI, but this is not always the case (eg. the internal node of a merkle tree)
#2583 opened Sep 19, 2024 by dannywillems
Improve tests timing when instrumentation is enabled.
#2581 opened Sep 19, 2024 by shimkiv
@shimkiv
Expr: Sometimes, the joint combiner is non-existent, for instance when we do have a single column.
#2580 opened Sep 19, 2024 by dannywillems
Arrabiata: I don't get how the on the fly computation makes the prover only pay for the activated gate
#2579 opened Sep 19, 2024 by dannywillems
Arrabiata: doing this prevents communication from column 1 to column 5
#2578 opened Sep 19, 2024 by dannywillems
Arrabiata: I would give the symbolic cross term (computed at setup time) as an argument, rather than the contraints
#2577 opened Sep 19, 2024 by dannywillems
ProTip! Follow long discussions with comments:>50.