Merge branch 'main' into brian/nix-cache

Author: Geometer1729

.github/workflows/checks.yml

@@ -31,7 +31,7 @@ jobs:
           nar_secret: ${{ secrets.NIX_CACHE_NAR_SECRET }}
           gcp_secret: ${{ secrets.NIX_CACHE_GCP_SECRET }}
 
-  Lint-and-format:
+  Lint-Format-and-TypoCheck:
     strategy:
       matrix:
         node: [20]
@@ -72,6 +72,16 @@ jobs:
       - name: Run Oxlint
         if: steps.get_changed_files.outputs.files_changed == 'true'
         run: xargs npm run lint:strict < changed_files.txt
+      
+      - name: Run codespell
+        if: steps.get_changed_files.outputs.files_changed == 'true' && github.event.pull_request.labels.*.name != 'no-typo-check'
+        uses: codespell-project/actions-codespell@master
+        with:
+          check_filenames: true
+          path: ${{ steps.get_changed_files.outputs.files }}
+          skip: "*.json,./node_modules,./dist,./.husky,./.git,./src/mina/**/*,./src/bindings/compiled/**/*"
+          check_hidden: false
+          ignore_words_list: "tHi,modul,optin,deriver,PRing,toWords,iSelf"
 
   Upload-bindings:
     name: upload bindings artifact

.github/workflows/push_main.yml

@@ -1,6 +1,9 @@
 name: Jobs for new commits on main (and similar branches)
 on:
-  push:
+  workflow_run:
+    workflows: ["checks"]
+    types:
+      - completed
     branches:
       - main
       - v1
@@ -109,7 +112,6 @@ jobs:
   Gc-root-bindings:
     name: add a gc root for the latest bindings build
     if: github.ref == 'refs/heads/main'
-    needs: [Prepare]
     runs-on: [sdk-self-hosted-linux-amd64-build-system]
     steps:
       - uses: actions/checkout@v4
@@ -131,7 +133,6 @@ jobs:
     if: github.ref == 'refs/heads/main'
     timeout-minutes: 180
     runs-on: ubuntu-latest
-    needs: [Build-And-Test-Server, Run-Unit-Tests, Build-And-Test-Web]
     steps:
       - name: Restore repository
         uses: actions/cache@v4

CHANGELOG.md

@@ -15,7 +15,9 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
     _Security_ in case of vulnerabilities.
  -->
 
-## [Unreleased](https://github.com/o1-labs/o1js/compare/6ff7f8470a...HEAD)
+## [Unreleased](https://github.com/o1-labs/o1js/compare/4e23a60...HEAD)
+
+## [2.5.0](https://github.com/o1-labs/o1js/compare/6ff7f8470a...4e23a60)
 
 ### Fixed
 
@@ -28,6 +30,7 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
   - compiled artifacts are now gitignored
   - `npm run build:bindings-download` downloads compiled artifacts from github
   - `npm run build:bindings-remote` triggers a github workflow to build the compiled artifacts then downloads them
+- Added bitwise operation methods (xor, not, and, or) to `UInt8` class. https://github.com/o1-labs/o1js/pull/2144
 
 ### Changed
 
@@ -39,13 +42,6 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
   [eaca9201](https://github.com/MinaProtocol/mina/tree/eaca9201e0df37f244e341155f253dc9551fb451),
   to include the latest changes reg. the move of the Rust codebase to the
   repository proof-systems.
-
-### Added
-
-- Added bitwise operation methods (xor, not, and, or) to `UInt8` class. https://github.com/o1-labs/o1js/pull/2144
-
-### Changed
-
 - Added verification key validity checks to `LocalBlockchain`. https://github.com/o1-labs/o1js/pull/2171
 
 ## [2.4.0](https://github.com/o1-labs/o1js/compare/fb625f...6ff7f8470a) - 2025-04-01

README-dev.md

@@ -41,7 +41,7 @@ These files only have to be regenerated if there are changes to the OCaml or Rus
 
 ### External contributors
 
-Unfortunatel you generally won't be able to run `npm run build:bindings-download` on your own commits
+Unfortunately you generally won't be able to run `npm run build:bindings-download` on your own commits
 because the artifacts won't have been built for them, so make sure to run it on main before you start making changes.
 In a fresh git repo `npm run build` also works.
 

flake.nix

@@ -327,7 +327,7 @@
             buildCommand = ''
                 cp -R $src/* .
                 rm env-vars
-                #restore write permisions removed by nix store
+                #restore write permissions removed by nix store
                 chmod +w -R .
                 tar czf $out .
             '';

npmDepsHash

@@ -1 +1 @@
-sha256-8OkUFEHHtruMEZlQMKrETOw/HhMuQmAzDgEOBTZvrb8=
+sha256-m3NmZHhCuQxDpYHmB3sRLvitqu2bzbnNaAKY2KOCSIM=

package-lock.json

@@ -1,7 +1,7 @@
 {
   "name": "o1js",
   "description": "TypeScript framework for zk-SNARKs and zkApps",
-  "version": "2.4.0",
+  "version": "2.5.0",
   "license": "Apache-2.0",
   "homepage": "https://github.com/o1-labs/o1js/",
   "repository": {

package.json

@@ -102,7 +102,7 @@ function caml_bytes_unsafe_set(s: MlBytes, i: number, c: number) {
   if (s.t != 4 /* ARRAY */) {
     if (i == s.c.length) {
       s.c += String.fromCharCode(c);
-      if (i + 1 == s.l) s.t = 0; /*BYTES | UNKOWN*/
+      if (i + 1 == s.l) s.t = 0; /*BYTES | UNKNOWN*/
       return 0;
     }
     caml_convert_bytes_to_array(s);

src/bindings/crypto/bindings/bigint256.ts

@@ -140,11 +140,11 @@ function endomorphismProjective(
 }
 
 /**
- * Faster scalar muliplication leveraging the GLV decomposition (see {@link decompose}).
+ * Faster scalar multiplication leveraging the GLV decomposition (see {@link decompose}).
  *
  * This method to speed up plain, non-provable scalar multiplication was the original application of GLV
  *
- * Instead of scaling a single point, we apply the decomposition to scale two points, with two scalars of half the orginal length:
+ * Instead of scaling a single point, we apply the decomposition to scale two points, with two scalars of half the original length:
  *
  * `s*G = s0*G + s1*lambda*G = s0*G + s1*endo(G)`, where endo(G) is cheap to compute
  *
@@ -251,7 +251,7 @@ function computeGlvData(q: bigint, lambda: bigint) {
 type GlvData = ReturnType<typeof computeGlvData>;
 
 /**
- * Extended Euclidian algorithm which stops when r1 < sqrt(p)
+ * Extended Euclidean algorithm which stops when r1 < sqrt(p)
  *
  * Input: positive integers l, p
  *