Skip to content

Pull requests: o1-labs/proof-systems

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

build(deps): bump qs and express in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3575 opened May 23, 2026 by dependabot Bot Loading…
build(deps): bump webpack-dev-server from 5.2.3 to 5.2.4 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3574 opened May 20, 2026 by dependabot Bot Loading…
Sp1 precompile
#3573 opened May 12, 2026 by martyall Contributor • Draft
build(deps): bump mermaid from 11.12.2 to 11.15.0 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3572 opened May 11, 2026 by dependabot Bot Loading…
build(deps): bump @babel/plugin-transform-modules-systemjs from 7.28.5 to 7.29.4 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3571 opened May 9, 2026 by dependabot Bot Loading…
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…
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…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.