Skip to content

Pull requests: o1-labs/proof-systems

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

build(deps): bump fast-uri from 3.1.0 to 3.1.2 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3570 opened May 8, 2026 by dependabot Bot Loading…
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…
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…
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…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.