@aztec/bb.js 0.86.0 → 0.87.0-nightly.20250521

package/dest/browser/index.js

@@ -1,5 +1,120 @@
 /*! For license information please see index.js.LICENSE.txt */
 var __webpack_modules__ = {
+    0: module => {
+        var s = 1e3;
+        var m = s * 60;
+        var h = m * 60;
+        var d = h * 24;
+        var w = d * 7;
+        var y = d * 365.25;
+        module.exports = function(val, options) {
+            options = options || {};
+            var type = typeof val;
+            if (type === "string" && val.length > 0) {
+                return parse(val);
+            } else if (type === "number" && isFinite(val)) {
+                return options.long ? fmtLong(val) : fmtShort(val);
+            }
+            throw new Error("val is not a non-empty string or a valid number. val=" + JSON.stringify(val));
+        };
+        function parse(str) {
+            str = String(str);
+            if (str.length > 100) {
+                return;
+            }
+            var match = /^(-?(?:\d+)?\.?\d+) *(milliseconds?|msecs?|ms|seconds?|secs?|s|minutes?|mins?|m|hours?|hrs?|h|days?|d|weeks?|w|years?|yrs?|y)?$/i.exec(str);
+            if (!match) {
+                return;
+            }
+            var n = parseFloat(match[1]);
+            var type = (match[2] || "ms").toLowerCase();
+            switch (type) {
+              case "years":
+              case "year":
+              case "yrs":
+              case "yr":
+              case "y":
+                return n * y;
+
+              case "weeks":
+              case "week":
+              case "w":
+                return n * w;
+
+              case "days":
+              case "day":
+              case "d":
+                return n * d;
+
+              case "hours":
+              case "hour":
+              case "hrs":
+              case "hr":
+              case "h":
+                return n * h;
+
+              case "minutes":
+              case "minute":
+              case "mins":
+              case "min":
+              case "m":
+                return n * m;
+
+              case "seconds":
+              case "second":
+              case "secs":
+              case "sec":
+              case "s":
+                return n * s;
+
+              case "milliseconds":
+              case "millisecond":
+              case "msecs":
+              case "msec":
+              case "ms":
+                return n;
+
+              default:
+                return undefined;
+            }
+        }
+        function fmtShort(ms) {
+            var msAbs = Math.abs(ms);
+            if (msAbs >= d) {
+                return Math.round(ms / d) + "d";
+            }
+            if (msAbs >= h) {
+                return Math.round(ms / h) + "h";
+            }
+            if (msAbs >= m) {
+                return Math.round(ms / m) + "m";
+            }
+            if (msAbs >= s) {
+                return Math.round(ms / s) + "s";
+            }
+            return ms + "ms";
+        }
+        function fmtLong(ms) {
+            var msAbs = Math.abs(ms);
+            if (msAbs >= d) {
+                return plural(ms, msAbs, d, "day");
+            }
+            if (msAbs >= h) {
+                return plural(ms, msAbs, h, "hour");
+            }
+            if (msAbs >= m) {
+                return plural(ms, msAbs, m, "minute");
+            }
+            if (msAbs >= s) {
+                return plural(ms, msAbs, s, "second");
+            }
+            return ms + " ms";
+        }
+        function plural(ms, msAbs, n, name) {
+            var isPlural = msAbs >= n * 1.5;
+            return Math.round(ms / n) + " " + name + (isPlural ? "s" : "");
+        }
+    },
     19: (module, exports) => {
         Object.defineProperty(exports, "__esModule", {
             value: true
@@ -1966,121 +2081,7 @@ var __webpack_modules__ = {
             return parts.join("");
         }
     },
-    585: module => {
-        var s = 1e3;
-        var m = s * 60;
-        var h = m * 60;
-        var d = h * 24;
-        var w = d * 7;
-        var y = d * 365.25;
-        module.exports = function(val, options) {
-            options = options || {};
-            var type = typeof val;
-            if (type === "string" && val.length > 0) {
-                return parse(val);
-            } else if (type === "number" && isFinite(val)) {
-                return options.long ? fmtLong(val) : fmtShort(val);
-            }
-            throw new Error("val is not a non-empty string or a valid number. val=" + JSON.stringify(val));
-        };
-        function parse(str) {
-            str = String(str);
-            if (str.length > 100) {
-                return;
-            }
-            var match = /^(-?(?:\d+)?\.?\d+) *(milliseconds?|msecs?|ms|seconds?|secs?|s|minutes?|mins?|m|hours?|hrs?|h|days?|d|weeks?|w|years?|yrs?|y)?$/i.exec(str);
-            if (!match) {
-                return;
-            }
-            var n = parseFloat(match[1]);
-            var type = (match[2] || "ms").toLowerCase();
-            switch (type) {
-              case "years":
-              case "year":
-              case "yrs":
-              case "yr":
-              case "y":
-                return n * y;
-
-              case "weeks":
-              case "week":
-              case "w":
-                return n * w;
-
-              case "days":
-              case "day":
-              case "d":
-                return n * d;
-
-              case "hours":
-              case "hour":
-              case "hrs":
-              case "hr":
-              case "h":
-                return n * h;
-
-              case "minutes":
-              case "minute":
-              case "mins":
-              case "min":
-              case "m":
-                return n * m;
-
-              case "seconds":
-              case "second":
-              case "secs":
-              case "sec":
-              case "s":
-                return n * s;
-
-              case "milliseconds":
-              case "millisecond":
-              case "msecs":
-              case "msec":
-              case "ms":
-                return n;
-
-              default:
-                return undefined;
-            }
-        }
-        function fmtShort(ms) {
-            var msAbs = Math.abs(ms);
-            if (msAbs >= d) {
-                return Math.round(ms / d) + "d";
-            }
-            if (msAbs >= h) {
-                return Math.round(ms / h) + "h";
-            }
-            if (msAbs >= m) {
-                return Math.round(ms / m) + "m";
-            }
-            if (msAbs >= s) {
-                return Math.round(ms / s) + "s";
-            }
-            return ms + "ms";
-        }
-        function fmtLong(ms) {
-            var msAbs = Math.abs(ms);
-            if (msAbs >= d) {
-                return plural(ms, msAbs, d, "day");
-            }
-            if (msAbs >= h) {
-                return plural(ms, msAbs, h, "hour");
-            }
-            if (msAbs >= m) {
-                return plural(ms, msAbs, m, "minute");
-            }
-            if (msAbs >= s) {
-                return plural(ms, msAbs, s, "second");
-            }
-            return ms + " ms";
-        }
-        function plural(ms, msAbs, n, name) {
-            var isPlural = msAbs >= n * 1.5;
-            return Math.round(ms / n) + " " + name + (isPlural ? "s" : "");
-        }
-    },
+    733: () => {},
     736: (module, __unused_webpack_exports, __webpack_require__) => {
         function setup(env) {
             createDebug.debug = createDebug;
@@ -2089,7 +2090,7 @@ var __webpack_modules__ = {
             createDebug.disable = disable;
             createDebug.enable = enable;
             createDebug.enabled = enabled;
-            createDebug.humanize = __webpack_require__(585);
+            createDebug.humanize = __webpack_require__(0);
             createDebug.destroy = destroy;
             Object.keys(env).forEach((key => {
                 createDebug[key] = env[key];
@@ -2334,8 +2335,6 @@ function __webpack_require__(moduleId) {
     return module.exports;
 }
 
-__webpack_require__.m = __webpack_modules__;
-
 (() => {
     __webpack_require__.n = module => {
         var getter = module && module.__esModule ? () => module["default"] : () => module;
@@ -2382,18 +2381,6 @@ __webpack_require__.m = __webpack_modules__;
     };
 })();
 
-(() => {
-    __webpack_require__.f = {};
-    __webpack_require__.e = chunkId => Promise.all(Object.keys(__webpack_require__.f).reduce(((promises, key) => {
-        __webpack_require__.f[key](chunkId, promises);
-        return promises;
-    }), []));
-})();
-
-(() => {
-    __webpack_require__.u = chunkId => "" + chunkId + "." + "655674bbbb79bdf168c4" + ".js";
-})();
-
 (() => {
     __webpack_require__.o = (obj, prop) => Object.prototype.hasOwnProperty.call(obj, prop);
 })();
@@ -2411,46 +2398,6 @@ __webpack_require__.m = __webpack_modules__;
     };
 })();
 
-(() => {
-    var installedChunks = {
-        57: 0
-    };
-    var installChunk = data => {
-        var {__webpack_ids__, __webpack_modules__, __webpack_runtime__} = data;
-        var moduleId, chunkId, i = 0;
-        for (moduleId in __webpack_modules__) {
-            if (__webpack_require__.o(__webpack_modules__, moduleId)) {
-                __webpack_require__.m[moduleId] = __webpack_modules__[moduleId];
-            }
-        }
-        if (__webpack_runtime__) __webpack_runtime__(__webpack_require__);
-        for (;i < __webpack_ids__.length; i++) {
-            chunkId = __webpack_ids__[i];
-            if (__webpack_require__.o(installedChunks, chunkId) && installedChunks[chunkId]) {
-                installedChunks[chunkId][0]();
-            }
-            installedChunks[__webpack_ids__[i]] = 0;
-        }
-    };
-    __webpack_require__.f.j = (chunkId, promises) => {
-        var installedChunkData = __webpack_require__.o(installedChunks, chunkId) ? installedChunks[chunkId] : undefined;
-        if (installedChunkData !== 0) {
-            if (installedChunkData) {
-                promises.push(installedChunkData[1]);
-            } else {
-                if (true) {
-                    var promise = import("./" + __webpack_require__.u(chunkId)).then(installChunk, (e => {
-                        if (installedChunks[chunkId] !== 0) installedChunks[chunkId] = undefined;
-                        throw e;
-                    }));
-                    var promise = Promise.race([ promise, new Promise((resolve => installedChunkData = installedChunks[chunkId] = [ resolve ])) ]);
-                    promises.push(installedChunkData[1] = promise);
-                }
-            }
-        }
-    };
-})();
-
 var __webpack_exports__ = {};
 
 function* backoffGenerator() {
@@ -2517,7 +2464,7 @@ class NetCrs {
             return new Response(new Uint8Array([]));
         }
         const g1End = this.numPoints * 64 - 1;
-        return await retry((() => fetch("https://aztec-ignition.s3.amazonaws.com/MAIN%20IGNITION/flat/g1.dat", {
+        return await retry((() => fetch("https://crs.aztec.network/g1.dat", {
             headers: {
                 Range: `bytes=0-${g1End}`
             },
@@ -2525,7 +2472,7 @@ class NetCrs {
         })), makeBackoff([ 5, 5, 5 ]));
     }
     async fetchG2Data() {
-        return await retry((() => fetch("https://aztec-ignition.s3.amazonaws.com/MAIN%20IGNITION/flat/g2.dat", {
+        return await retry((() => fetch("https://crs.aztec.network/g2.dat", {
             cache: "force-cache"
         })), makeBackoff([ 5, 5, 5 ]));
     }
@@ -2553,11 +2500,10 @@ class NetGrumpkinCrs {
         if (this.numPoints === 0) {
             return new Response(new Uint8Array([]));
         }
-        const g1Start = 28;
-        const g1End = g1Start + (this.numPoints * 64 - 1);
-        return await fetch("https://aztec-ignition.s3.amazonaws.com/TEST%20GRUMPKIN/monomial/transcript00.dat", {
+        const g1End = this.numPoints * 64 - 1;
+        return await fetch("https://crs.aztec.network/grumpkin_g1.dat", {
             headers: {
-                Range: `bytes=${g1Start}-${g1End}`
+                Range: `bytes=0-${g1End}`
             },
             cache: "force-cache"
         });
@@ -3724,13 +3670,6 @@ class BarretenbergApi {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return;
     }
-    async examplesSimpleCreateAndVerifyProof() {
-        const inArgs = [].map(serializeBufferable);
-        const outTypes = [ BoolDeserializer() ];
-        const result = await this.wasm.callWasmExport("examples_simple_create_and_verify_proof", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return out[0];
-    }
     async testThreads(threads, iterations) {
         const inArgs = [ threads, iterations ].map(serializeBufferable);
         const outTypes = [ NumberDeserializer() ];
@@ -3752,34 +3691,6 @@ class BarretenbergApi {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out;
     }
-    async acirNewAcirComposer(sizeHint) {
-        const inArgs = [ sizeHint ].map(serializeBufferable);
-        const outTypes = [ Ptr ];
-        const result = await this.wasm.callWasmExport("acir_new_acir_composer", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return out[0];
-    }
-    async acirDeleteAcirComposer(acirComposerPtr) {
-        const inArgs = [ acirComposerPtr ].map(serializeBufferable);
-        const outTypes = [];
-        const result = await this.wasm.callWasmExport("acir_delete_acir_composer", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return;
-    }
-    async acirInitProvingKey(acirComposerPtr, constraintSystemBuf, recursive) {
-        const inArgs = [ acirComposerPtr, constraintSystemBuf, recursive ].map(serializeBufferable);
-        const outTypes = [];
-        const result = await this.wasm.callWasmExport("acir_init_proving_key", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return;
-    }
-    async acirCreateProof(acirComposerPtr, constraintSystemBuf, recursive, witnessBuf) {
-        const inArgs = [ acirComposerPtr, constraintSystemBuf, recursive, witnessBuf ].map(serializeBufferable);
-        const outTypes = [ BufferDeserializer() ];
-        const result = await this.wasm.callWasmExport("acir_create_proof", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return out[0];
-    }
     async acirProveAndVerifyUltraHonk(constraintSystemBuf, witnessBuf) {
         const inArgs = [ constraintSystemBuf, witnessBuf ].map(serializeBufferable);
         const outTypes = [ BoolDeserializer() ];
@@ -3885,6 +3796,13 @@ class BarretenbergApi {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
+    async acirProveUltraKeccakZKHonk(acirVec, witnessVec) {
+        const inArgs = [ acirVec, witnessVec ].map(serializeBufferable);
+        const outTypes = [ BufferDeserializer() ];
+        const result = await this.wasm.callWasmExport("acir_prove_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
+        return out[0];
+    }
     async acirProveUltraStarknetHonk(acirVec, witnessVec) {
         const inArgs = [ acirVec, witnessVec ].map(serializeBufferable);
         const outTypes = [ BufferDeserializer() ];
@@ -3906,6 +3824,13 @@ class BarretenbergApi {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
+    async acirVerifyUltraKeccakZKHonk(proofBuf, vkBuf) {
+        const inArgs = [ proofBuf, vkBuf ].map(serializeBufferable);
+        const outTypes = [ BoolDeserializer() ];
+        const result = await this.wasm.callWasmExport("acir_verify_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
+        return out[0];
+    }
     async acirVerifyUltraStarknetHonk(proofBuf, vkBuf) {
         const inArgs = [ proofBuf, vkBuf ].map(serializeBufferable);
         const outTypes = [ BoolDeserializer() ];
@@ -3927,6 +3852,13 @@ class BarretenbergApi {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
+    async acirWriteVkUltraKeccakZKHonk(acirVec) {
+        const inArgs = [ acirVec ].map(serializeBufferable);
+        const outTypes = [ BufferDeserializer() ];
+        const result = await this.wasm.callWasmExport("acir_write_vk_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
+        return out[0];
+    }
     async acirWriteVkUltraStarknetHonk(acirVec) {
         const inArgs = [ acirVec ].map(serializeBufferable);
         const outTypes = [ BufferDeserializer() ];
@@ -4066,13 +3998,6 @@ class BarretenbergApiSync {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return;
     }
-    examplesSimpleCreateAndVerifyProof() {
-        const inArgs = [].map(serializeBufferable);
-        const outTypes = [ BoolDeserializer() ];
-        const result = this.wasm.callWasmExport("examples_simple_create_and_verify_proof", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return out[0];
-    }
     testThreads(threads, iterations) {
         const inArgs = [ threads, iterations ].map(serializeBufferable);
         const outTypes = [ NumberDeserializer() ];
@@ -4094,34 +4019,6 @@ class BarretenbergApiSync {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out;
     }
-    acirNewAcirComposer(sizeHint) {
-        const inArgs = [ sizeHint ].map(serializeBufferable);
-        const outTypes = [ Ptr ];
-        const result = this.wasm.callWasmExport("acir_new_acir_composer", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return out[0];
-    }
-    acirDeleteAcirComposer(acirComposerPtr) {
-        const inArgs = [ acirComposerPtr ].map(serializeBufferable);
-        const outTypes = [];
-        const result = this.wasm.callWasmExport("acir_delete_acir_composer", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return;
-    }
-    acirInitProvingKey(acirComposerPtr, constraintSystemBuf, recursive) {
-        const inArgs = [ acirComposerPtr, constraintSystemBuf, recursive ].map(serializeBufferable);
-        const outTypes = [];
-        const result = this.wasm.callWasmExport("acir_init_proving_key", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return;
-    }
-    acirCreateProof(acirComposerPtr, constraintSystemBuf, recursive, witnessBuf) {
-        const inArgs = [ acirComposerPtr, constraintSystemBuf, recursive, witnessBuf ].map(serializeBufferable);
-        const outTypes = [ BufferDeserializer() ];
-        const result = this.wasm.callWasmExport("acir_create_proof", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
-        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
-        return out[0];
-    }
     acirProveAndVerifyUltraHonk(constraintSystemBuf, witnessBuf) {
         const inArgs = [ constraintSystemBuf, witnessBuf ].map(serializeBufferable);
         const outTypes = [ BoolDeserializer() ];
@@ -4227,6 +4124,20 @@ class BarretenbergApiSync {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
+    acirProveUltraKeccakZKHonk(acirVec, witnessVec) {
+        const inArgs = [ acirVec, witnessVec ].map(serializeBufferable);
+        const outTypes = [ BufferDeserializer() ];
+        const result = this.wasm.callWasmExport("acir_prove_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
+        return out[0];
+    }
+    acirProveUltraKeccakZkHonk(acirVec, witnessVec) {
+        const inArgs = [ acirVec, witnessVec ].map(serializeBufferable);
+        const outTypes = [ BufferDeserializer() ];
+        const result = this.wasm.callWasmExport("acir_prove_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
+        return out[0];
+    }
     acirVerifyUltraHonk(proofBuf, vkBuf) {
         const inArgs = [ proofBuf, vkBuf ].map(serializeBufferable);
         const outTypes = [ BoolDeserializer() ];
@@ -4234,10 +4145,10 @@ class BarretenbergApiSync {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
-    acirVerifyUltraKeccakHonk(proofBuf, vkBuf) {
+    acirVerifyUltraKeccakZKHonk(proofBuf, vkBuf) {
         const inArgs = [ proofBuf, vkBuf ].map(serializeBufferable);
         const outTypes = [ BoolDeserializer() ];
-        const result = this.wasm.callWasmExport("acir_verify_ultra_keccak_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const result = this.wasm.callWasmExport("acir_verify_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
@@ -4255,6 +4166,13 @@ class BarretenbergApiSync {
         const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
         return out[0];
     }
+    acirWriteVkUltraKeccakZKHonk(acirVec) {
+        const inArgs = [ acirVec ].map(serializeBufferable);
+        const outTypes = [ BufferDeserializer() ];
+        const result = this.wasm.callWasmExport("acir_write_vk_ultra_keccak_zk_honk", inArgs, outTypes.map((t => t.SIZE_IN_BYTES)));
+        const out = result.map(((r, i) => outTypes[i].fromBuffer(r)));
+        return out[0];
+    }
     acirProofAsFieldsUltraHonk(proofBuf) {
         const inArgs = [ proofBuf ].map(serializeBufferable);
         const outTypes = [ VectorDeserializer(Fr) ];
@@ -8803,7 +8721,7 @@ async function getAvailableThreads(logger) {
         return navigator.hardwareConcurrency;
     } else {
         try {
-            const os = await __webpack_require__.e(733).then(__webpack_require__.t.bind(__webpack_require__, 733, 23));
+            const os = await Promise.resolve().then(__webpack_require__.t.bind(__webpack_require__, 733, 23));
             return os.cpus().length;
         } catch (e) {
             logger(`Could not detect environment to query number of threads. Falling back to one thread. Error: ${e.message ?? e}`);
@@ -8812,7 +8730,7 @@ async function getAvailableThreads(logger) {
     }
 }
 
-const AGGREGATION_OBJECT_LENGTH = 16;
+const PAIRING_POINTS_SIZE = 16;
 
 const fieldByteSize = 32;
 
@@ -8830,12 +8748,6 @@ function reconstructHonkProof(publicInputs, proof) {
     return proofWithPublicInputs;
 }
 
-function reconstructUltraPlonkProof(proofData) {
-    const publicInputsConcatenated = flattenFieldsAsArray(proofData.publicInputs);
-    const proofWithPublicInputs = Uint8Array.from([ ...publicInputsConcatenated, ...proofData.proof ]);
-    return proofWithPublicInputs;
-}
-
 function deflattenFields(flattenedFields) {
     const publicInputSize = 32;
     const chunkedFlattenedPublicInputs = [];
@@ -8898,16 +8810,9 @@ class BarretenbergVerifier {
         if (!this.api) {
             const api = await Barretenberg.new(this.options);
             await api.initSRSForCircuitSize(0);
-            this.acirComposer = await api.acirNewAcirComposer(0);
             this.api = api;
         }
     }
-    async verifyUltraPlonkProof(proofData, verificationKey) {
-        await this.instantiate();
-        await this.api.acirLoadVerificationKey(this.acirComposer, new RawBuffer(verificationKey));
-        const proof = reconstructUltraPlonkProof(proofData);
-        return await this.api.acirVerifyProof(this.acirComposer, proof);
-    }
     async verifyUltraHonkProof(proofData, verificationKey) {
         await this.instantiate();
         const proof = reconstructHonkProof(flattenFieldsAsArray(proofData.publicInputs), proofData.proof);
@@ -13146,7 +13051,6 @@ function parseBigEndianU32Array(buffer) {
     const dv = new DataView(buffer.buffer, buffer.byteOffset, buffer.byteLength);
     let offset = 0;
     const count = buffer.byteLength >>> 2;
-    console.log(buffer);
     const out = new Array(count);
     for (let i = 0; i < count; i++) {
         out[i] = dv.getUint32(offset, false);
@@ -13155,76 +13059,6 @@ function parseBigEndianU32Array(buffer) {
     return out;
 }
 
-class UltraPlonkBackend {
-    constructor(acirBytecode, backendOptions = {
-        threads: 1
-    }, circuitOptions = {
-        recursive: false
-    }) {
-        this.backendOptions = backendOptions;
-        this.circuitOptions = circuitOptions;
-        this.acirUncompressedBytecode = acirToUint8Array(acirBytecode);
-    }
-    async instantiate() {
-        if (!this.api) {
-            const api = await Barretenberg.new(this.backendOptions);
-            const honkRecursion = false;
-            const [_total, subgroupSize] = await api.acirGetCircuitSizes(this.acirUncompressedBytecode, this.circuitOptions.recursive, honkRecursion);
-            await api.initSRSForCircuitSize(subgroupSize);
-            this.acirComposer = await api.acirNewAcirComposer(subgroupSize);
-            await api.acirInitProvingKey(this.acirComposer, this.acirUncompressedBytecode, this.circuitOptions.recursive);
-            this.api = api;
-        }
-    }
-    async generateProof(compressedWitness) {
-        await this.instantiate();
-        const proofWithPublicInputs = await this.api.acirCreateProof(this.acirComposer, this.acirUncompressedBytecode, this.circuitOptions.recursive, decompressSync(compressedWitness));
-        const numBytesInProofWithoutPublicInputs = 2144;
-        const splitIndex = proofWithPublicInputs.length - numBytesInProofWithoutPublicInputs;
-        const publicInputsConcatenated = proofWithPublicInputs.slice(0, splitIndex);
-        const proof = proofWithPublicInputs.slice(splitIndex);
-        const publicInputs = deflattenFields(publicInputsConcatenated);
-        return {
-            proof,
-            publicInputs
-        };
-    }
-    async generateRecursiveProofArtifacts(proofData, numOfPublicInputs = 0) {
-        await this.instantiate();
-        const proof = reconstructUltraPlonkProof(proofData);
-        const proofAsFields = (await this.api.acirSerializeProofIntoFields(this.acirComposer, proof, numOfPublicInputs)).slice(numOfPublicInputs);
-        await this.api.acirInitVerificationKey(this.acirComposer);
-        const vk = await this.api.acirSerializeVerificationKeyIntoFields(this.acirComposer);
-        return {
-            proofAsFields: proofAsFields.map((p => p.toString())),
-            vkAsFields: vk[0].map((vk => vk.toString())),
-            vkHash: vk[1].toString()
-        };
-    }
-    async verifyProof(proofData) {
-        await this.instantiate();
-        await this.api.acirInitVerificationKey(this.acirComposer);
-        const proof = reconstructUltraPlonkProof(proofData);
-        return await this.api.acirVerifyProof(this.acirComposer, proof);
-    }
-    async getVerificationKey() {
-        await this.instantiate();
-        await this.api.acirInitVerificationKey(this.acirComposer);
-        return await this.api.acirGetVerificationKey(this.acirComposer);
-    }
-    async getSolidityVerifier() {
-        await this.instantiate();
-        await this.api.acirInitVerificationKey(this.acirComposer);
-        return await this.api.acirGetSolidityVerifier(this.acirComposer);
-    }
-    async destroy() {
-        if (!this.api) {
-            return;
-        }
-        await this.api.destroy();
-    }
-}
-
 class UltraHonkBackend {
     constructor(acirBytecode, backendOptions = {
         threads: 1
@@ -13245,13 +13079,13 @@ class UltraHonkBackend {
     }
     async generateProof(compressedWitness, options) {
         await this.instantiate();
-        const proveUltraHonk = options?.keccak ? this.api.acirProveUltraKeccakHonk.bind(this.api) : options?.starknet ? this.api.acirProveUltraStarknetHonk.bind(this.api) : this.api.acirProveUltraHonk.bind(this.api);
+        const proveUltraHonk = options?.keccak ? this.api.acirProveUltraKeccakHonk.bind(this.api) : options?.keccakZK ? this.api.acirProveUltraKeccakZKHonk.bind(this.api) : options?.starknet ? this.api.acirProveUltraStarknetHonk.bind(this.api) : this.api.acirProveUltraHonk.bind(this.api);
         const proofWithPublicInputs = await proveUltraHonk(this.acirUncompressedBytecode, decompressSync(compressedWitness));
-        const writeVKUltraHonk = options?.keccak ? this.api.acirWriteVkUltraKeccakHonk.bind(this.api) : options?.starknet ? this.api.acirWriteVkUltraStarknetHonk.bind(this.api) : this.api.acirWriteVkUltraHonk.bind(this.api);
+        const writeVKUltraHonk = options?.keccak ? this.api.acirWriteVkUltraKeccakHonk.bind(this.api) : options?.keccakZK ? this.api.acirWriteVkUltraKeccakZKHonk.bind(this.api) : options?.starknet ? this.api.acirWriteVkUltraStarknetHonk.bind(this.api) : this.api.acirWriteVkUltraHonk.bind(this.api);
         const vk = await writeVKUltraHonk(this.acirUncompressedBytecode);
         const vkAsFields = await this.api.acirVkAsFieldsUltraHonk(new RawBuffer(vk));
         const publicInputsSizeIndex = 1;
-        const numPublicInputs = Number(vkAsFields[publicInputsSizeIndex].toString()) - AGGREGATION_OBJECT_LENGTH;
+        const numPublicInputs = Number(vkAsFields[publicInputsSizeIndex].toString()) - PAIRING_POINTS_SIZE;
         const {proof, publicInputs: publicInputsBytes} = splitHonkProof(proofWithPublicInputs, numPublicInputs);
         const publicInputs = deflattenFields(publicInputsBytes);
         return {
@@ -13262,14 +13096,14 @@ class UltraHonkBackend {
     async verifyProof(proofData, options) {
         await this.instantiate();
         const proof = reconstructHonkProof(flattenFieldsAsArray(proofData.publicInputs), proofData.proof);
-        const writeVkUltraHonk = options?.keccak ? this.api.acirWriteVkUltraKeccakHonk.bind(this.api) : options?.starknet ? this.api.acirWriteVkUltraStarknetHonk.bind(this.api) : this.api.acirWriteVkUltraHonk.bind(this.api);
-        const verifyUltraHonk = options?.keccak ? this.api.acirVerifyUltraKeccakHonk.bind(this.api) : options?.starknet ? this.api.acirVerifyUltraStarknetHonk.bind(this.api) : this.api.acirVerifyUltraHonk.bind(this.api);
+        const writeVkUltraHonk = options?.keccak ? this.api.acirWriteVkUltraKeccakHonk.bind(this.api) : options?.keccakZK ? this.api.acirWriteVkUltraKeccakZKHonk.bind(this.api) : options?.starknet ? this.api.acirWriteVkUltraStarknetHonk.bind(this.api) : this.api.acirWriteVkUltraHonk.bind(this.api);
+        const verifyUltraHonk = options?.keccak ? this.api.acirVerifyUltraKeccakHonk.bind(this.api) : options?.keccakZK ? this.api.acirVerifyUltraKeccakZKHonk.bind(this.api) : options?.starknet ? this.api.acirVerifyUltraStarknetHonk.bind(this.api) : this.api.acirVerifyUltraHonk.bind(this.api);
         const vkBuf = await writeVkUltraHonk(this.acirUncompressedBytecode);
         return await verifyUltraHonk(proof, new RawBuffer(vkBuf));
     }
     async getVerificationKey(options) {
         await this.instantiate();
-        return options?.keccak ? await this.api.acirWriteVkUltraKeccakHonk(this.acirUncompressedBytecode) : options?.starknet ? await this.api.acirWriteVkUltraStarknetHonk(this.acirUncompressedBytecode) : await this.api.acirWriteVkUltraHonk(this.acirUncompressedBytecode);
+        return options?.keccak ? await this.api.acirWriteVkUltraKeccakHonk(this.acirUncompressedBytecode) : options?.keccakZK ? await this.api.acirWriteVkUltraKeccakZKHonk(this.acirUncompressedBytecode) : options?.starknet ? await this.api.acirWriteVkUltraStarknetHonk(this.acirUncompressedBytecode) : await this.api.acirWriteVkUltraHonk(this.acirUncompressedBytecode);
     }
     async getSolidityVerifier(vk) {
         await this.instantiate();
@@ -13416,7 +13250,7 @@ class Barretenberg extends BarretenbergApi {
     }
 }
 
-let barrentenbergSyncSingletonPromise;
+let barretenbergSyncSingletonPromise;
 
 let barretenbergSyncSingleton;
 
@@ -13431,10 +13265,10 @@ class BarretenbergSync extends BarretenbergApiSync {
         return new BarretenbergSync(wasm);
     }
     static async initSingleton(wasmPath, logger = browser_default()("bb.js:bb_wasm_sync")) {
-        if (!barrentenbergSyncSingletonPromise) {
-            barrentenbergSyncSingletonPromise = BarretenbergSync.new(wasmPath, logger);
+        if (!barretenbergSyncSingletonPromise) {
+            barretenbergSyncSingletonPromise = BarretenbergSync.new(wasmPath, logger);
         }
-        barretenbergSyncSingleton = await barrentenbergSyncSingletonPromise;
+        barretenbergSyncSingleton = await barretenbergSyncSingletonPromise;
         return barretenbergSyncSingleton;
     }
     static getSingleton() {
@@ -13448,4 +13282,4 @@ class BarretenbergSync extends BarretenbergApiSync {
     }
 }
 
-export { AztecClientBackend, Barretenberg, BarretenbergSync, BarretenbergVerifier, CachedNetCrs as Crs, Fr, CachedNetGrumpkinCrs as GrumpkinCrs, RawBuffer, UltraHonkBackend, UltraPlonkBackend, deflattenFields, reconstructHonkProof, splitHonkProof };
+export { AztecClientBackend, Barretenberg, BarretenbergSync, BarretenbergVerifier, CachedNetCrs as Crs, Fr, CachedNetGrumpkinCrs as GrumpkinCrs, RawBuffer, UltraHonkBackend, deflattenFields, reconstructHonkProof, splitHonkProof };