Merge pull request #1857 from o1-labs/feature/fix-compilation-of-main

Update proof-systems for safe lagrange-basis tracking
o1-labs · Oct 15, 2024 · f15293a · f15293a
2 parents 0f8ff81 + 3bbb4f9
commit f15293a
Show file tree

Hide file tree

Showing 4 changed files with 33 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -27,6 +27,10 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
   - ZkProgram and SmartContract now also support private inputs that are not proofs themselves, but contain proofs nested within a Struct or array
   - Only `SelfProof` can still not be nested because it needs special treatment
 
+### Fixes
+
+- Fix verification of serialized proofs done before compiling any circuits https://github.com/o1-labs/o1js/pull/1857
+
 ## [1.8.0](https://github.com/o1-labs/o1js/compare/5006e4f...450943) - 2024-09-18
 
 ### Added

diff --git a/src/bindings b/src/bindings
diff --git a/src/lib/proof-system/cached-verification.unit-test.ts b/src/lib/proof-system/cached-verification.unit-test.ts
diff --git a/src/mina b/src/mina
+1 −1		MINA_COMMIT
+70,960 −70,954		compiled/node_bindings/o1js_node.bc.cjs
+1 −1		compiled/node_bindings/o1js_node.bc.map
+1,417 −1,414		compiled/node_bindings/plonk_wasm.cjs
+348 −348		compiled/node_bindings/plonk_wasm.d.cts
+ −		compiled/node_bindings/plonk_wasm_bg.wasm
+416 −416		compiled/node_bindings/plonk_wasm_bg.wasm.d.ts
+12 −12		compiled/web_bindings/o1js_web.bc.js
+939 −939		compiled/web_bindings/plonk_wasm.d.ts
+1,635 −1,634		compiled/web_bindings/plonk_wasm.js
+ −		compiled/web_bindings/plonk_wasm_bg.wasm
+348 −348		compiled/web_bindings/plonk_wasm_bg.wasm.d.ts