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

Clear current search query, filters, and sorts
105 Open 2,127 Closed
105 Open 2,127 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

Support exceptions for lwl/lwr, see spec.
#1512 opened Dec 11, 2023 by dannywillems
Flaky test: tests::lookup::test_runtime_table_only_one_table_with_id_zero_with_non_zero_entries_random_values
#1362 opened Nov 30, 2023 by dannywillems
2
Decompose decode_instruction into the variants
#1363 opened Dec 1, 2023 by dannywillems
Unify logic for increasing instruction pointer by 4
#1367 opened Dec 1, 2023 by dannywillems
1
Reimport tests from https://github.com/o1-labs/proof-systems/pull/1371 if you want :)
#1402 opened Dec 5, 2023 by dannywillems
1
Add ASCII doc like !1371
#1403 opened Dec 5, 2023 by dannywillems
We could improve it later by checking only one bit. We could have test_is_negative.
#1439 opened Dec 6, 2023 by dannywillems
Follow-up: we could have a routine called is_positive which is more specific.
#1441 opened Dec 6, 2023 by dannywillems
Handle MIPS instruction exceptions
#1456 opened Dec 6, 2023 by mrmr1993
4 tasks
Implement missing branching instructions.
#1458 opened Dec 6, 2023 by dannywillems
Add a setup method in TestFramework to catch setup errors
#1460 opened Dec 7, 2023 by dannywillems
Shellscript: use double-quotes and shellcheck.
#1473 opened Dec 7, 2023 by dannywillems
Add keccak sponge
#1096 opened Jun 26, 2023 by mrmr1993 Loading…
2
Close children processes gracefully upon SIGINT (and other termination signals)
#1487 opened Dec 7, 2023 by rbonichon
1
lwr: migth raise exception, see !1512. Should we constraint more?
#1513 opened Dec 11, 2023 by dannywillems
Nit: - Env::constant(0) can be removed. Will do it later.
#1514 opened Dec 11, 2023 by dannywillems
Minor quip: shouldn't the format follow the snapshot-fmt CLI argument?
#1532 opened Dec 13, 2023 by dannywillems
SpongeNewState: might be simplified
#1604 opened Dec 18, 2023 by dannywillems
Round constants: make it static for optimisation
#1605 opened Dec 18, 2023 by dannywillems
Are round constants needed in constraints (and columns)?
#1608 opened Dec 18, 2023 by dannywillems
Merge boolean operations between InterpreterEnv and KeccakEnv
#1609 opened Dec 18, 2023 by dannywillems
Nit: I would have called the method is_boolean. Not part of this PR.
#1611 opened Dec 18, 2023 by dannywillems
Follow-up: zkVM CLI option to move the snapshot in a directoy
#1615 opened Dec 18, 2023 by dannywillems
KeccakEnv: for a follow-up: would be nice to document each function, even if it is one-line
#1616 opened Dec 18, 2023 by dannywillems
encoding/decoding for saffron data
#2955 opened Jan 16, 2025 by martyall Loading…
1
ProTip! no:milestone will show everything without a milestone.