Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
71 Open 2,458 Closed
71 Open 2,458 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix proving memory leak by 20-25% of o1js bug Something isn't working
#3272 opened Jun 26, 2025 by Fizzixnerd Loading…
@Fizzixnerd
1
CI: adding check that we do not infringe copyright licenses
#3271 opened Jun 26, 2025 by dannywillems Loading…
Saffron: Change commitment curve from Vesta to Pallas
#3270 opened Jun 24, 2025 by volhovm Loading…
poly-commitment: wrap at 80 chars
#3269 opened Jun 18, 2025 by dannywillems Loading…
poly-commitment: move batch IPA test into ipa_commitment
#3268 opened Jun 18, 2025 by dannywillems Loading…
Expose plonk-wasm as a library
#3267 opened Jun 18, 2025 by martyall • Draft
Introduce VID [WIP / prototype / do not merge]
#3266 opened Jun 18, 2025 by volhovm • Draft
[DO NOT MERGE] demo worker logging
#3264 opened Jun 13, 2025 by Trivo25 • Draft
CI: add cargo-audit
#3250 opened Jun 4, 2025 by dannywillems Loading…
5
stubs: move binding generator in kimchi-stubs
#3249 opened Jun 4, 2025 by dannywillems • Draft
xtask/kimchi-stubs: add option to build stubs w or w/o optim
#3248 opened Jun 4, 2025 by dannywillems Loading…
6
Deps: remove some pinned versions
#3247 opened Jun 4, 2025 by dannywillems Loading…
CI: add Rust 1.83, 1.84, 1.85 and 1.86
#3245 opened Jun 4, 2025 by dannywillems • Draft
Fix broken witness-generation link in vars.md
#3244 opened Jun 2, 2025 by VolodymyrBg Loading…
Move saffron bindings from kimchi bindings repo
#3241 opened May 29, 2025 by anne-laure-s Loading…
Saffron: additional bindings for update logic
#3237 opened May 22, 2025 by anne-laure-s • Draft
Bindings draft for Saffron
#3236 opened May 22, 2025 by anne-laure-s • Draft
Saffron-stubs: sketch structure
#3234 opened May 21, 2025 by dannywillems Loading…
Saffron/benches: use get_srs_test from kimchi
#3208 opened May 5, 2025 by dannywillems Loading…
1
Marc/remove get column domain
#3207 opened May 5, 2025 by marcbeunardeau88 • Draft
Marc/lookup reduce domain
#3206 opened May 5, 2025 by marcbeunardeau88 Loading…
Marc/multiplicities constraint
#3197 opened Apr 30, 2025 by marcbeunardeau88 Loading…
1
Test o1js with proof systems
#3194 opened Apr 29, 2025 by Geometer1729 Loading…
3
Marc/multiplicities
#3193 opened Apr 28, 2025 by marcbeunardeau88 Loading…
1
Add GitHub Actions workflow for automated typo checking
#3174 opened Apr 10, 2025 by dannywillems Loading…
1
ProTip! Filter pull requests by the default branch with base:master.