Bring mina/compatible up to date

package.json

@@ -64,6 +64,7 @@
     "test:integration": "./run-integration-tests.sh",
     "test:unit": "./run-unit-tests.sh",
     "test:e2e": "rimraf ./tests/report && rimraf ./tests/test-artifacts && npx playwright test",
+    "test:all": "./run-all-local-tests.sh",
     "e2e:prepare-server": "npm run build:examples && (cp -rf dist/examples dist/web || :) && node src/build/e2e-tests-build-helper.js && cp -rf src/examples/plain-html/index.html src/examples/plain-html/server.js tests/artifacts/html/*.html tests/artifacts/javascript/*.js dist/web",
     "e2e:run-server": "node dist/web/server.js",
     "e2e:install": "npx playwright install --with-deps",

run-all-local-tests.sh

@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+set -e
+
+echo "Running all local tests"
+
+echo "Running jest tests"
+./run-jest-tests.sh
+
+echo "Running integration tests"
+./run-integration-tests.sh
+
+echo "Running unit tests"
+./run-unit-tests.sh
+
+echo "Running e2e tests"
+rimraf ./tests/report && rimraf ./tests/test-artifacts && npx playwright test"

src/examples/zkprogram/program.ts

@@ -7,6 +7,7 @@ import {
   JsonProof,
   Provable,
   Empty,
+  Cache,
 } from 'o1js';
 
 let MyProgram = ZkProgram({
@@ -24,6 +25,14 @@ let MyProgram = ZkProgram({
   },
 });
 
-await MyProgram.compile();
+console.time('compile (with cache)');
+let { verificationKey } = await MyProgram.compile();
+console.timeEnd('compile (with cache)');
 
+console.time('proving');
 let result = await MyProgram.baseCase();
+console.timeEnd('proving');
+
+console.log('verifying');
+let ok = await verify(result.proof, verificationKey);
+console.log('ok', ok);