Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
52 Open 2,742 Closed
52 Open 2,742 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

Add support for mmap-backed prover indexes
#3569 opened Apr 28, 2026 by mrmr1993 Contributor Loading…
build(deps): bump dompurify from 3.3.1 to 3.4.1 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3567 opened Apr 22, 2026 by dependabot Bot Loading…
build(deps): bump follow-redirects from 1.15.11 to 1.16.0 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3563 opened Apr 15, 2026 by dependabot Bot Loading…
build(deps): bump lodash-es and mermaid in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3560 opened Apr 7, 2026 by dependabot Bot Loading…
build(deps): bump lodash from 4.17.23 to 4.18.1 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3559 opened Apr 7, 2026 by dependabot Bot Loading…
build(deps): bump brace-expansion from 1.1.12 to 1.1.13 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3552 opened Mar 31, 2026 by dependabot Bot Loading…
build(deps): bump path-to-regexp from 0.1.12 to 0.1.13 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3551 opened Mar 30, 2026 by dependabot Bot Loading…
build(deps): bump picomatch from 2.3.1 to 2.3.2 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3548 opened Mar 25, 2026 by dependabot Bot Loading…
build(deps): bump tar from 0.4.44 to 0.4.45 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3545 opened Mar 20, 2026 by dependabot Bot Loading…
build(deps): bump minimatch and serve-handler in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3533 opened Mar 10, 2026 by dependabot Bot Loading…
build(deps): bump svgo from 3.3.2 to 3.3.3 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3530 opened Mar 5, 2026 by dependabot Bot Loading…
build(deps): bump actions/github-script from 6 to 8 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3529 opened Mar 4, 2026 by dependabot Bot Loading…
build(deps): bump dawidd6/action-download-artifact from 14 to 16 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3528 opened Mar 4, 2026 by dependabot Bot Loading…
build(deps): bump actions/upload-artifact from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3527 opened Mar 4, 2026 by dependabot Bot Loading…
build(deps): bump actions/cache from 3 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3526 opened Mar 4, 2026 by dependabot Bot Loading…
1
build(deps): bump actions/checkout from 4 to 6 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3525 opened Mar 4, 2026 by dependabot Bot Loading…
build(deps): bump ajv from 6.12.6 to 6.14.0 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3505 opened Feb 21, 2026 by dependabot Bot Loading…
Linearization token codegen
#3504 opened Feb 21, 2026 by martyall Contributor • Draft
build(deps): bump keccak from 0.1.5 to 0.1.6 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3502 opened Feb 20, 2026 by dependabot Bot Loading…
mina-poseidon: add hash prefixes for domain separation
#3498 opened Feb 18, 2026 by dannywillems Contributor Loading…
@dannywillems
1
build(deps): bump libflate from 2.0.0 to 2.2.1 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3492 opened Feb 11, 2026 by dependabot Bot Loading…
build(deps): bump serde_json from 1.0.109 to 1.0.143 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3491 opened Feb 11, 2026 by dependabot Bot Loading…
build(deps): bump proptest from 1.4.0 to 1.10.0 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3489 opened Feb 11, 2026 by dependabot Bot Loading…
poly-commitment: make multi_scalar_mul generic over Borrow
#3485 opened Feb 7, 2026 by dannywillems Contributor • Draft
Replace as-cast with u32::try_from in SRS creation
#3483 opened Feb 7, 2026 by dannywillems Contributor Loading…
2 of 3 tasks
@dannywillems
ProTip! Add no:assignee to see everything that’s not assigned.