Merge pull request #2584 from o1-labs/leon/develop-main

chore: develop <- main

Author: bleepbloopsify

.config/cspell.json

@@ -2,21 +2,284 @@
   // Version of the setting file.  Always 0.2
   "version": "0.2",
   // language - current active spelling language
-  "language": "en",
+  "language": "en, lorem, lorem-ipsum",
   // words - list of words to be always considered correct
   "words": [
+    "abcdefghbcdefghicdefghijdefghijkefghijklfghijklmghijklmnhijklmnoijklmnopjklmnopqklmnopqrlmnopqrsmnopqrstnopqrstu",
+    "ABCDEFGHJKLMNPQRSTUVWXY",
+    "accs",
     "ACMRT",
+    "adic",
+    "adicity",
+    "aggreg",
+    "Alph",
+    "Aminus",
+    "Analysable",
+    "Approvable",
+    "arithmetization",
+    "Babybear",
+    "backendless",
+    "behaviour",
+    "behaviours",
+    "bigints",
+    "bigstring",
+    "Bijective",
+    "Binable",
+    "binaryen",
+    "bindgen",
+    "bitlength",
+    "BLABLA",
+    "blakejs",
+    "blsp",
+    "brainpool",
     "cachedir",
+    "callforest",
+    "caml",
+    "Cfgs",
+    "Chal",
+    "chals",
+    "coeff",
+    "coeffs",
+    "Cofactor",
+    "Coinbases",
+    "combinators",
+    "Comdex",
+    "consectetuer",
+    "conv",
+    "CPPFLAGS",
+    "ctypes",
+    "descr",
+    "devnet",
+    "devshell",
+    "direnv",
+    "disattach",
+    "divmod",
+    "Dlog",
+    "doccomments",
+    "docstrings",
+    "dont",
+    "dxdy",
+    "dynlink",
+    "eddsa",
+    "Eeuo",
+    "Eeuxo",
+    "efgh",
+    "egcd",
+    "Elems",
+    "elgamal",
+    "Elts",
+    "emul",
+    "endline",
+    "Endo",
+    "endomul",
+    "endoscalar",
+    "Endoscale",
+    "envrc",
+    "eqsign",
+    "erdigo",
+    "errorf",
+    "esbuild",
+    "Evals",
+    "failwith",
+    "failwithf",
+    "feepayer",
+    "feepayers",
+    "ffadd",
+    "ffffn",
+    "ffmul",
+    "fieldvar",
+    "fieldy",
+    "fileset",
+    "Flagsfrom",
+    "foldl",
+    "formedness",
+    "Freeable",
+    "Fseqp",
+    "gitmodules",
+    "gretke's",
+    "hardfork",
+    "Hlist",
+    "homomorphic",
+    "Impls",
+    "importmap",
+    "incircuit",
+    "Incrementer",
     "influxdata",
+    "Initia",
+    "initialroot",
+    "intf",
+    "Intfs",
+    "Iseconds",
+    "iteri",
+    "jslib",
+    "jsoo",
+    "jsstring",
     "jstat",
+    "keccak",
+    "Keypair",
+    "kmax",
+    "LDFLAGS",
+    "LEFTSHIFT",
+    "lessthan",
+    "libiconv",
     "libsodium",
+    "liconv",
+    "Lightnet",
+    "lincom",
+    "linkall",
+    "loglog",
+    "LuffySama",
+    "maht",
+    "marekyggdrasil",
+    "MAXINT",
+    "Merkle",
+    "Merkleization",
+    "Merkleized",
+    "merkletree",
+    "merklewitness",
+    "mgmt",
+    "minaprotocol",
+    "minascan",
+    "modul",
+    "Muls",
+    "Nexts",
     "nixbuild",
+    "nixfmt",
+    "nixos",
+    "nixpkgs",
+    "noautolink",
+    "Ntest",
+    "nullglob",
+    "numtide",
+    "ocamlc",
+    "offchain",
+    "opam",
+    "Optdef",
+    "optimise",
+    "optimised",
+    "optin",
+    "otherdata",
+    "otherstrin",
     "Oxlint",
+    "paramtypes",
+    "permissioned",
+    "Permuts",
+    "pkgs",
+    "plonkish",
+    "pname",
+    "popd",
+    "Pornin",
+    "potenti",
+    "pplusonedivfour",
+    "Prechallenges",
+    "preimage",
+    "Prevs",
+    "primality",
+    "Profier",
+    "progn",
+    "provables",
+    "pushd",
+    "remanants",
+    "repr",
+    "reraise",
+    "reraised",
+    "revspec",
+    "RIGHTSHIFT",
+    "rimraf",
+    "rnew",
+    "rngs",
+    "rotr",
+    "rpanic",
+    "rustc",
+    "RUSTDIR",
+    "rustlib",
+    "rustup",
+    "Rminus",
+    "SBOX",
+    "Schnorr",
+    "Schönhage",
+    "secp",
+    "secq",
+    "seqp",
+    "sexp",
+    "sexplib",
+    "shellcheck",
+    "Shigoto",
+    "sideloaded",
+    "signz",
+    "snarked",
+    "snarking",
+    "snew",
+    "sprintf",
+    "stdenv",
     "stefanzweifel",
-    "tarides"
+    "Strassen",
+    "studentt",
+    "submethod",
+    "substituters",
+    "sumchain",
+    "summands",
+    "svgs",
+    "tarides",
+    "TJSON",
+    "tmpcache",
+    "Tock",
+    "Tokenomics",
+    "Tonelli",
+    "toplevel",
+    "totient",
+    "TRIV",
+    "tweakable",
+    "twoadic",
+    "twoadicity",
+    "underconstraint",
+    "underflowed",
+    "underflows",
+    "unew",
+    "uints",
+    "untar",
+    "unhash",
+    "unhashing",
+    "unintuitively",
+    "unpackaging",
+    "unreconstructable",
+    "Unshifted",
+    "Vanstone",
+    "Varbase",
+    "varfields",
+    "verifys",
+    "vnew",
+    "wasnt",
+    "wbindgen",
+    "Weierstraß",
+    "wizicer",
+    "xffff",
+    "xored",
+    "Xtoken",
+    "yinv",
+    "yojson",
+    "Zabcdefghijkmnopqrstuvwxyz",
+    "zarith",
+    "zinv",
+    "Zkapp",
+    "zkapps",
+    "zkfunction",
+    "zkprogram",
+    "zkprograms",
+    "zksecurity's"
   ],
   // flagWords - list of words to be always considered incorrect
   // This is useful for offensive words and common spelling errors.
   // For example "hte" should be "the"
-  "flagWords": []
+  "flagWords": [],
+  "ignorePaths": [
+    "_build/",
+    "dist/",
+    "node_modules/",
+    "src/mina/",
+    "src/bindings/compiled/",
+    "src/bindings/crypto/constants.ts"
+  ],
+  "ignoreRandomStrings": true,
+  "allowCompoundWords": true
 }

.github/actions/build/action.yml

@@ -1,9 +1,6 @@
 name: Build o1js
 description: 'All of the building steps for o1js'
 
-permissions:
-  contents: write
-
 inputs:
   proof_systems_commit:
     description: 'proof_systems commit to use'

.github/actions/release-pkg-pr-version/action.yml

@@ -0,0 +1,30 @@
+name: Release pkg-pr version
+description: Release a new version of o1js and mina-signer using pkg-pr-new
+
+runs:
+  using: "composite"
+  steps:
+    - uses: actions/checkout@v4
+    - name: Restore repository
+      uses: actions/cache@v4
+      with:
+        path: .
+        key: repo-${{ github.sha }}
+    - name: Setup Node.JS 20
+      uses: actions/setup-node@v4
+      with:
+        node-version: 20
+    - name: build
+      uses: ./.github/actions/build
+    - name: Build o1js and mina-signer
+      shell: bash
+      run: |
+        npm ci
+        npm run prepublish:full
+        cd src/mina-signer
+        npm ci
+        npm run prepublish:full
+    - name: Publish o1js and mina-signer on pkg-pr-new
+      shell: bash
+      run: npx pkg-pr-new publish ./ ./src/mina-signer
+

.github/workflows/pull_requests.yml

@@ -13,6 +13,16 @@ jobs:
         with:
           changelog: CHANGELOG.md
 
+  Pkg-pr-new:
+    # Only run this job when the pull request contains the pkg‑pr‑release label.
+    if: github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'pkg-pr-release')
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: release-pkg-pr-version
+        uses: ./.github/actions/release-pkg-pr-version
+
   Check-npm-deps:
     name: Check npmDepsHash is correct
     runs-on: ubuntu-latest
@@ -41,7 +51,7 @@ jobs:
           file_pattern: "npmDepsHash"
 
 
-  Lint-Format-and-TypoCheck:
+  Lint-Format-and-Typo-Check:
     if: github.event.pull_request.labels.*.name != 'skip-lint'
     runs-on: ubuntu-latest
 
@@ -91,4 +101,4 @@ jobs:
 
       - name: Fail if any checks fail
         if: failure()
-        run: echo "Some checks failed, failing" && exit 1
+        run: echo "Some checks failed, failing" && exit 1