Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
83 Open 2,582 Closed
83 Open 2,582 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

refactor: remove unused MSM prover/verifier and related code
#3421 opened Dec 22, 2025 by dannywillems Loading…
@dannywillems
Cargo.toml: remove version field in workspace deps no changelog
#3420 opened Dec 22, 2025 by dannywillems Loading…
@dannywillems
ci: remove Rust 1.81 support, update MSRV to 1.92
#3419 opened Dec 19, 2025 by dannywillems Loading…
2 of 3 tasks
1
@dannywillems
1
feat: add no-std feature to poly-commitment crate
#3418 opened Dec 19, 2025 by dannywillems Loading…
3 tasks done
feat: add no-std feature to o1-utils crate
#3417 opened Dec 19, 2025 by dannywillems Loading…
1 of 2 tasks
1
@dannywillems
feat: add no-std feature to mina-curves crate
#3416 opened Dec 19, 2025 by dannywillems Loading…
1 of 2 tasks
1
@dannywillems
feat: add no-std feature to groupmap crate
#3415 opened Dec 19, 2025 by dannywillems Loading…
1 of 2 tasks
1
@dannywillems
feat: add no-std feature to mina-hasher, mina-poseidon, and mina-signer
#3414 opened Dec 19, 2025 by dannywillems Loading…
4
@dannywillems
3
feat: add mina-bip32 and ledger-test-vectors for Ledger wallet validation
#3388 opened Dec 16, 2025 by dannywillems Loading…
3 of 4 tasks
@querolita
22
rp/poseidon arrays
#3386 opened Dec 15, 2025 by richardpringle Loading…
44
bump ocaml-rs to 1.3.0
#3376 opened Dec 2, 2025 by glyh • Draft
1
Implement BIP39
#3363 opened Nov 4, 2025 by dannywillems • Draft
Native prover workflow
#3339 opened Sep 30, 2025 by querolita Loading…
1
@querolita
1
Docs/Comments: Spelling and grammar fixes across kimchi specs and o1vm lookup no changelog
#3338 opened Sep 23, 2025 by viktorking7 Loading…
1
fix ipa explanation
#3337 opened Sep 19, 2025 by mimoo Loading…
fix: correct spelling errors in comments
#3336 opened Sep 9, 2025 by sashaodessa Loading…
Fix lagrange basis functions for web environments no changelog
#3325 opened Sep 2, 2025 by ymekuria Loading…
4
Lint: fix all warnings for Rust 1.84
#3320 opened Aug 18, 2025 by dannywillems Loading…
CI: simplify OPAM environment loading
#3310 opened Aug 14, 2025 by dannywillems • Draft
Port wasm-friendly pasta implementation for openmina
#3304 opened Jul 30, 2025 by volhovm • Draft
CI: add an action to prever merge commits in a branch of an opened PR
#3300 opened Jul 24, 2025 by dannywillems • Draft
4
CI: add scripts to rebase auto-merge activated and mergeable PR
#3287 opened Jul 9, 2025 by dannywillems • Draft
Fix use-after-free from JavaScript bug Something isn't working
#3272 opened Jun 26, 2025 by Fizzixnerd • Draft
@Fizzixnerd
1
CI: adding check that we do not infringe copyright licenses
#3271 opened Jun 26, 2025 by dannywillems Loading…
1
Introduce VID [WIP / prototype / do not merge]
#3266 opened Jun 18, 2025 by volhovm • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.