Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
62 Open 2,794 Closed
62 Open 2,794 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

arrabbiata: improve documentation wording
#3633 opened Sep 11, 2026 by vividvisit Loading…
build(deps): bump joi from 17.13.3 to 17.13.7 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3632 opened Sep 10, 2026 by dependabot Bot Loading…
build(deps): bump baseline-browser-mapping from 2.9.19 to 2.11.21 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3631 opened Sep 10, 2026 by dependabot Bot Loading…
build(deps): bump svgo from 3.3.2 to 3.3.5 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3630 opened Sep 9, 2026 by dependabot Bot Loading…
build(deps): bump colord from 2.9.3 to 2.10.0 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3629 opened Sep 9, 2026 by dependabot Bot Loading…
kimchi-stubs: in-place Bigstring to_bytes/of_bytes
#3628 opened Sep 5, 2026 by martyall Contributor • Draft
1
13
build(deps): bump nanoid from 3.3.11 to 3.3.18 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3626 opened Sep 3, 2026 by dependabot Bot Loading…
build(deps): bump browserslist from 4.28.1 to 4.28.8 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3625 opened Sep 3, 2026 by dependabot Bot Loading…
build(deps): bump fast-uri from 3.1.0 to 3.1.7 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3624 opened Sep 3, 2026 by dependabot Bot Loading…
build(deps-dev): bump @docusaurus/module-type-aliases from 3.9.2 to 3.10.2 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3623 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump @docusaurus/core from 3.9.2 to 3.10.2 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3622 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump react-dom from 19.2.4 to 19.2.8 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3621 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps-dev): bump @docusaurus/types from 3.9.2 to 3.10.2 in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3620 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump ocaml from 0.22.4 to 1.3.0 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3619 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump toml_edit from 0.22.26 to 0.23.4 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3618 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump actions/checkout from 4 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3617 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump spin from 0.10.0 to 0.12.3 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3616 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump actions/setup-python from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3615 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump itertools from 0.12.1 to 0.13.0 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3614 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump actions/setup-node from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3613 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump rmp-serde from 1.2.0 to 1.3.1 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3612 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump slackapi/slack-github-action from 2.1.1 to 4.0.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3611 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump tarides/changelog-check-action from 3 to 4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3610 opened Sep 2, 2026 by dependabot Bot Loading…
build(deps): bump postcss-selector-parser in /book dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation
#3609 opened Sep 2, 2026 by dependabot Bot Loading…
Optimize gate-constraint expression evaluation
#3603 opened Aug 27, 2026 by martyall Contributor • Draft
ProTip! Updated in the last three days: updated:>2026-09-08.