Skip to content

Issues: o1-labs/proof-systems

Beta
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

150 Open 553 Closed
150 Open 553 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Remove use of nightly toolchain
#3238 opened May 26, 2025 by glyh
[Discussion] Replace feature wasm-types with target wasm32 condition.
#3232 opened May 16, 2025 by dannywillems
Faster WebAssembly implementation of fields
#3231 opened May 16, 2025 by dannywillems
Use workspace dependencies in plonk-wasm
#3223 opened May 8, 2025 by richardpringle
@richardpringle
lookup_prover: check the number of chunks
#3189 opened Apr 24, 2025 by dannywillems
chunked_polynomial: remove clone
#3188 opened Apr 24, 2025 by dannywillems
lookup_prover: avoid cloning
#3187 opened Apr 24, 2025 by dannywillems
o1vm/lookup_prover: accessing index too big
#3186 opened Apr 24, 2025 by dannywillems
Move rustflags into .cargo/config.toml
#3170 opened Apr 9, 2025 by dannywillems
jemalloc not found - MacOS
#3168 opened Apr 9, 2025 by dannywillems
Follow-up 3129
#3142 opened Apr 4, 2025 by dannywillems
Follow-up 3129
#3141 opened Apr 4, 2025 by dannywillems
Follow-up 3129
#3140 opened Apr 4, 2025 by dannywillems
Follow-up 3109: Import everything at the top, module declaration to follow
#3130 opened Apr 1, 2025 by dannywillems
@dannywillems
Arrabbiata: make ZkApp stateful
#3099 opened Mar 24, 2025 by dannywillems
SomeTypeBuilder::new not SomeType::create -> Builder.
#3086 opened Mar 18, 2025 by querolita
Arrabbiata: provide a previous committed state while building the witness env.
#3084 opened Mar 10, 2025 by dannywillems
Arrabbiata: revisit absorbtion of sponge state
#3083 opened Mar 10, 2025 by dannywillems
Arrabbiata: revisit challenge considered as BigInt.
#3082 opened Mar 10, 2025 by dannywillems
Arrabbiata: why set up the previous committed state to double blinders?
#3081 opened Mar 10, 2025 by dannywillems
Derive min SRS log size from verifier circuit
#3080 opened Mar 10, 2025 by dannywillems
Arrabbiata: make the gadgets of the verifier circuit reusable by the app
#3074 opened Feb 26, 2025 by dannywillems
Arrabbiata: add selectors in IndexedRelation
#3072 opened Feb 26, 2025 by dannywillems
Arrabbiata: avoid duplicated code for each curve
#3071 opened Feb 26, 2025 by dannywillems
o1vm/prover: using iterators
#3065 opened Feb 25, 2025 by marcbeunardeau88
ProTip! Add no:assignee to see everything that’s not assigned.