-
Notifications
You must be signed in to change notification settings - Fork 91
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Add more performant self-hosted GitHub runners and execute all tests against them.
#2587
opened Sep 20, 2024 by
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
[o1vm] Ensure the instruction passed into the interpreter is the one pointed to by the IP
good first issue
Good for newcomers
#2573
opened Sep 18, 2024 by
Fizzixnerd
Generalized expression framework to handle more challenge terms
#2556
opened Sep 16, 2024 by
dannywillems
Homogenize the version upstream of ark-bn254 and other curves
#2555
opened Sep 13, 2024 by
dannywillems
Previous Next
ProTip!
Updated in the last three days: updated:>2024-09-23.