Merge develop back to main

README-dev.md

@@ -63,3 +63,12 @@ The following branches are compatible:
 | branches   | rampup -> main -> main                |
 |            | berkeley -> berkeley -> berkeley      |
 |            | develop -> develop -> develop         |
+
+## Run the GitHub actions locally
+
+<!-- The test example should stay in sync with a real value set in .github/workflows/build-actions.yml -->
+You can execute the CI locally by using [act](https://github.com/nektos/act). First generate a GitHub token and use:
+```
+act -j Build-And-Test-Server --matrix test_type:"Simple integration tests" -s $GITHUB_TOKEN
+```
+to execute the job "Build-And-Test-Server for the test type `Simple integration tests`.

src/build/buildWeb.js

@@ -138,7 +138,7 @@ function rewriteBundledWasmBindings(src) {
   let exportSlice = src.slice(i);
   let defaultExport = exportSlice.match(/\w* as default/)[0];
   exportSlice = exportSlice
-    .replace(defaultExport, `default: init`)
+    .replace(defaultExport, `default: __wbg_init`)
     .replace('export', 'return');
   src = src.slice(0, i) + exportSlice;
 

src/lib/provable-context.ts

@@ -1,6 +1,6 @@
 import { Context } from './global-context.js';
 import { Gate, JsonGate, Snarky } from '../snarky.js';
-import { bytesToBigInt } from '../bindings/crypto/bigint-helpers.js';
+import { parseHexString } from '../bindings/crypto/bigint-helpers.js';
 import { prettifyStacktrace } from './errors.js';
 
 // internal API
@@ -105,12 +105,8 @@ function constraintSystem<T>(f: () => T) {
 // helpers
 
 function gatesFromJson(cs: { gates: JsonGate[]; public_input_size: number }) {
-  let gates: Gate[] = cs.gates.map(({ typ, wires, coeffs: byteCoeffs }) => {
-    let coeffs = [];
-    for (let coefficient of byteCoeffs) {
-      let arr = new Uint8Array(coefficient);
-      coeffs.push(bytesToBigInt(arr).toString());
-    }
+  let gates: Gate[] = cs.gates.map(({ typ, wires, coeffs: hexCoeffs }) => {
+    let coeffs = hexCoeffs.map(hex => parseHexString(hex).toString());
     return { type: typ, wires, coeffs };
   });
   return { publicInputSize: cs.public_input_size, gates };

src/snarky.d.ts

@@ -360,7 +360,7 @@ declare const Snarky: {
 type JsonGate = {
   typ: string;
   wires: { row: number; col: number }[];
-  coeffs: number[][];
+  coeffs: string[];
 };
 type JsonConstraintSystem = { gates: JsonGate[]; public_input_size: number };