Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
Clear current search query, filters, and sorts
74 Open 2,548 Closed
74 Open 2,548 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

CI: add Rust 1.83, 1.84, 1.85 and 1.86
#3245 opened Jun 4, 2025 by dannywillems • 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
Saffron/benches: use get_srs_test from kimchi
#3208 opened May 5, 2025 by dannywillems Loading…
1
Add GitHub Actions workflow for automated typo checking
#3174 opened Apr 10, 2025 by dannywillems Loading…
1
Fix broken witness-generation link in vars.md
#3244 opened Jun 2, 2025 by VolodymyrBg Loading…
Native prover workflow
#3339 opened Sep 30, 2025 by querolita Loading…
1
@querolita
1
Saffron-stubs: sketch structure
#3234 opened May 21, 2025 by dannywillems Loading…
Fix use-after-free from JavaScript bug Something isn't working
#3272 opened Jun 26, 2025 by Fizzixnerd • Draft
@Fizzixnerd
1
Port wasm-friendly pasta implementation for openmina
#3304 opened Jul 30, 2025 by volhovm • Draft
Lint: fix all warnings for Rust 1.84
#3320 opened Aug 18, 2025 by dannywillems Loading…
CI: add scripts to rebase auto-merge activated and mergeable PR
#3287 opened Jul 9, 2025 by dannywillems • Draft
Implement BIP39
#3363 opened Nov 4, 2025 by dannywillems • Draft
[WIP] Functions for RangeCheck64 in MIPS
#2395 opened Jul 6, 2024 by querolita • Draft
MVPoly: method to generate random multilinear polynomial
#2536 opened Sep 5, 2024 by dannywillems • Draft
3
Marc/fix proof storage
#3021 opened Feb 12, 2025 by marcbeunardeau88 Loading…
2
[Experiment] Use flat memory
#2042 opened Mar 26, 2024 by dannywillems • Draft
2
MIPS/Store16: add missing constraint
#2104 opened Apr 23, 2024 by dannywillems • Draft
@dannywillems
Functionality inside Trace to obtain relation columns used in lookups
#2334 opened Jun 17, 2024 by querolita Loading…
Mina_curves: activating ADX instructions by default
#2617 opened Sep 25, 2024 by dannywillems Loading…
4
o1vm/mips: simulate mvpoly usage for Arrabbiata integration
#3096 opened Mar 20, 2025 by dannywillems • Draft
@dannywillems @marcbeunardeau88
Marc/lookup main
#3052 opened Feb 20, 2025 by marcbeunardeau88 Loading…
11
kimchi: Improve memory usage and parallelism of expr.evaluations benchmark starts the bench action optimization perfomance refactoring
#3127 opened Apr 1, 2025 by Fizzixnerd Loading…
5 of 8 tasks
@Fizzixnerd
35
Remove unused dependencies
#3125 opened Mar 31, 2025 by dannywillems • Draft
ProTip! What’s not been updated in a month: updated:<2025-11-01.