Merge branch 'shigoto/performance-regression-framework' into shigoto/performance-regression-migrate-tests

Author: Shigoto-dev19

.config/cspell.json

@@ -0,0 +1,12 @@
+{
+  // Version of the setting file.  Always 0.2
+  "version": "0.2",
+  // language - current active spelling language
+  "language": "en",
+  // words - list of words to be always considered correct
+  "words": ["tarides", "nixbuild", "stefanzweifel", "ACMRT", "Oxlint"],
+  // 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": []
+}

.github/workflows/pull_requests.yml

@@ -41,7 +41,7 @@ jobs:
           file_pattern: "npmDepsHash"
 
 
-  Lint-and-Format:
+  Lint-Format-and-TypoCheck:
     if: github.event.pull_request.labels.*.name != 'skip-lint'
     runs-on: ubuntu-latest
 
@@ -67,14 +67,28 @@ jobs:
           git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} > changed_files.txt
           TOTAL=$(wc -l < changed_files.txt)
           echo "count=$TOTAL" >> $GITHUB_OUTPUT
-          echo "files=$(cat changed_files.txt | xargs)" >> $GITHUB_OUTPUT
+
       - name: Run Prettier Check
         if: steps.changed_files.outputs.count > 0
         run: xargs npm run format:check < changed_files.txt
+        continue-on-error: true
 
       - name: Run Oxlint
         if: steps.changed_files.outputs.count > 0
         run: xargs npm run lint:strict < changed_files.txt
+        continue-on-error: true
 
       - name: Run Markdown Format Check
-        run: npm run format:md:check
+        run: npm run format:md:check
+        continue-on-error: true
+
+      - name: Run cspell
+        if: github.event.pull_request.labels.*.name != 'no-typo-check'
+        uses: streetsidesoftware/cspell-action@v7
+        continue-on-error: true
+        with:
+          config: .config/cspell.json
+      
+      - name: Fail if any checks fail
+        if: failure()
+        run: echo "Some checks failed, failing" && exit 1

CHANGELOG.md

@@ -20,10 +20,13 @@ This project adheres to
 
 ## [2.10.0](https://github.com/o1-labs/o1js/compare/114acff...3453d1e53) - 2025-09-27
 
+### Internal
+
+- Added a new internal framework for testing compilation, proving, and
+  verification time regression. https://github.com/o1-labs/o1js/pull/2451
+
 ### Added
 
-- Added a new internal framework for testing proving and compilation time
-  regression. https://github.com/o1-labs/o1js/pull/2451
 - Internal o1js and protocol constants, hashes and prefixes are now exported via
   the `Core´ namespace. https://github.com/o1-labs/o1js/pull/2421
 - Support for string type input to `Transaction.fromJSON`

src/examples/crypto/blake2b/run.ts

@@ -15,7 +15,9 @@ perfBlake2b.start('prove', 'blake2b');
 let { proof } = await BLAKE2BProgram.blake2b(preimage);
 perfBlake2b.end();
 
+perfBlake2b.start('verify', 'blake2b');
 let isValid = await BLAKE2BProgram.verify(proof);
+perfBlake2b.end();
 
 console.log('digest:', proof.publicOutput.toHex());
 

src/examples/crypto/ecdsa/run.ts

@@ -35,7 +35,12 @@ let { proof } = await keccakAndEcdsa.verifyEcdsa(message, signature, publicKey);
 perfKeccakEcdsa.end();
 
 proof.publicOutput.assertTrue('signature verifies');
-assert(await keccakAndEcdsa.verify(proof), 'proof verifies');
+
+perfKeccakEcdsa.start('verify', 'verifyEcdsa');
+const isValid = await keccakAndEcdsa.verify(proof);
+perfKeccakEcdsa.end();
+
+assert(isValid, 'proof verifies');
 
 // Hardcoded ethers.js signature and inputs for verification in o1js
 
@@ -74,4 +79,9 @@ let { proof: proofE } = await ecdsaEthers.verifyEthers(msgBytes, signatureE, pub
 perfEcdsaEthers.end();
 
 proofE.publicOutput.assertTrue('signature verifies');
-assert(await ecdsaEthers.verify(proofE), 'proof verifies');
+
+perfEcdsaEthers.start('verify', 'verifyEthers');
+const isValidE = await ecdsaEthers.verify(proofE);
+perfEcdsaEthers.end();
+
+assert(isValidE, 'proof verifies');

src/examples/crypto/rsa/run.ts

@@ -41,6 +41,6 @@ perfRsa.start('prove', 'verifyRsa65537');
 let { proof } = await rsaZkProgram.verifyRsa65537(message, signature, modulus);
 perfRsa.end();
 
-console.time('verify');
+perfRsa.start('verify', 'verifyRsa65537');
 await rsaZkProgram.verify(proof);
-console.timeEnd('verify');
+perfRsa.end();

src/examples/crypto/sha256/run.ts

@@ -16,7 +16,9 @@ perfSha256.start('prove', 'sha256');
 let { proof } = await SHA256Program.sha256(preimage);
 perfSha256.end();
 
+perfSha256.start('verify', 'sha256');
 let isValid = await SHA256Program.verify(proof);
+perfSha256.end();
 
 console.log('digest:', proof.publicOutput.toHex());