Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
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

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
Fix typos in documentation and comments
#3173 opened Apr 10, 2025 by dannywillems Loading…
plonk-wasm: update warnings reg. base64 deprecated methods
#3163 opened Apr 8, 2025 by dannywillems • Draft
2
Marc/lookup prover matthew comment
#3156 opened Apr 8, 2025 by marcbeunardeau88 Loading…
1
[plonk_wasm] Don't pass around unnecessary vectors
#3152 opened Apr 7, 2025 by richardpringle Loading…
@richardpringle
2
Marc/lookup constraint follow up
#3150 opened Apr 7, 2025 by marcbeunardeau88 Loading…
1
plonk-wasm: reverting some strict version constraints
#3148 opened Apr 7, 2025 by dannywillems Loading…
CI: add ubuntu 24.04 arm support for the WebAssembly components
#3139 opened Apr 4, 2025 by dannywillems • Draft
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
Use an array instead of a Vec
#3126 opened Mar 31, 2025 by richardpringle Loading…
@richardpringle
6
Remove unused dependencies
#3125 opened Mar 31, 2025 by dannywillems • Draft
CI: add udeps
#3124 opened Mar 31, 2025 by dannywillems • Draft
Marc/lookup constraint
#3119 opened Mar 31, 2025 by marcbeunardeau88 Loading…
3
Deps: do not use serde with std
#3117 opened Mar 28, 2025 by dannywillems • Draft
1
CI: dropping versions before Rust 1.82
#3107 opened Mar 27, 2025 by dannywillems Loading…
1
o1vm/mips: simulate mvpoly usage for Arrabbiata integration
#3096 opened Mar 20, 2025 by dannywillems • Draft
@dannywillems @marcbeunardeau88
Marc/o1vm/filter constraint
#3093 opened Mar 20, 2025 by marcbeunardeau88 Loading…
3
Marc/o1vm prover less memory
#3092 opened Mar 20, 2025 by marcbeunardeau88 Loading…
2
Arrabbiata: cross terms - the renaissance
#3067 opened Feb 25, 2025 by dannywillems • Draft
4
[Discussion] Arrabbiata: introduce zkApp registry
#3061 opened Feb 25, 2025 by dannywillems • Draft
6
o1vm/lookup: prover takes cm wires as arg
#3054 opened Feb 20, 2025 by marcbeunardeau88 Loading…
4
Marc/lookup main
#3052 opened Feb 20, 2025 by marcbeunardeau88 Loading…
11
ProTip! Adding no:label will show everything without a label.