Merge pull request #476 from o1-labs/fix/verify-web

Fix verifcation on the web
o1-labs · Oct 10, 2022 · 667dca4 · 667dca4
2 parents 4a00fad + 9ce8753
commit 667dca4
Show file tree

Hide file tree

Showing 4 changed files with 36 additions and 8 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -15,10 +15,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
     _Security_ in case of vulnerabilities.
  -->
 
-## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/ba688523...HEAD)
+## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/f0837188...HEAD)
 
 (no unreleased changes yet)
 
+## [0.6.1](https://github.com/o1-labs/snarkyjs/compare/ba688523...f0837188)
+
+### Fixed
+
+- Proof verification on the web version https://github.com/o1-labs/snarkyjs/pull/476
+
 ## [0.6.0](https://github.com/o1-labs/snarkyjs/compare/f2ad423...ba688523)
 
 ### Added

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "snarkyjs",
   "description": "JavaScript bindings for SnarkyJS",
-  "version": "0.6.0",
+  "version": "0.6.1",
   "license": "Apache-2.0",
   "type": "module",
   "main": "./dist/web/index.js",

diff --git a/src/chrome_bindings/worker_run.js b/src/chrome_bindings/worker_run.js
@@ -19,7 +19,7 @@ export default function workerRun() {
         args: [
           plonk_wasm.WasmFpGateVector,
           undefined /* number */,
-          undefined,
+          undefined /* number */,
           plonk_wasm.WasmFpSrs,
         ],
         res: plonk_wasm.WasmPastaFpPlonkIndex,
@@ -28,7 +28,7 @@ export default function workerRun() {
         args: [
           plonk_wasm.WasmFqGateVector,
           undefined /* number */,
-          undefined,
+          undefined /* number */,
           plonk_wasm.WasmFqSrs,
         ],
         res: plonk_wasm.WasmPastaFqPlonkIndex,
@@ -61,20 +61,26 @@ export default function workerRun() {
       },
       caml_pasta_fp_plonk_proof_verify: {
         args: [
-          undefined /*Uint32Array*/,
           plonk_wasm.WasmFpPlonkVerifierIndex,
           plonk_wasm.WasmFpProverProof,
         ],
         res: bool,
       },
       caml_pasta_fq_plonk_proof_verify: {
         args: [
-          undefined /*Uint32Array*/,
           plonk_wasm.WasmFqPlonkVerifierIndex,
           plonk_wasm.WasmFqProverProof,
         ],
         res: bool,
       },
+      caml_pasta_fp_plonk_proof_batch_verify: {
+        args: [undefined /* UintXArray */, undefined /* UintXArray */],
+        res: bool,
+      },
+      caml_pasta_fq_plonk_proof_batch_verify: {
+        args: [undefined /* UintXArray */, undefined /* UintXArray */],
+        res: bool,
+      },
       caml_fp_srs_b_poly_commitment: {
         args: [plonk_wasm.WasmFpSrs, undefined /*Uint8Array*/],
         res: plonk_wasm.WasmFpPolyComm,
@@ -99,6 +105,22 @@ export default function workerRun() {
         ],
         res: plonk_wasm.WasmFqOracles,
       },
+      caml_fp_srs_batch_accumulator_check: {
+        args: [
+          plonk_wasm.WasmFpSrs,
+          undefined /* UintXArray */,
+          undefined /* UintXArray */,
+        ],
+        res: bool,
+      },
+      caml_fq_srs_batch_accumulator_check: {
+        args: [
+          plonk_wasm.WasmFqSrs,
+          undefined /* UintXArray */,
+          undefined /* UintXArray */,
+        ],
+        res: bool,
+      },
     };
   };