@aztec/ivc-integration 0.84.0 → 0.85.0

package/dest/index.d.ts

@@ -1,36 +1,2 @@
-import type { CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS } from '@aztec/constants';
-import MockAppCreatorCircuit from '../artifacts/app_creator.json';
-import MockAppReaderCircuit from '../artifacts/app_reader.json';
-import MockAppCreatorVk from '../artifacts/keys/app_creator.vk.data.json';
-import MockAppReaderVk from '../artifacts/keys/app_reader.vk.data.json';
-import MockPrivateKernelInitVk from '../artifacts/keys/mock_private_kernel_init.vk.data.json';
-import MockPrivateKernelInnerVk from '../artifacts/keys/mock_private_kernel_inner.vk.data.json';
-import MockPrivateKernelResetVk from '../artifacts/keys/mock_private_kernel_reset.vk.data.json';
-import MockPrivateKernelTailVk from '../artifacts/keys/mock_private_kernel_tail.vk.data.json';
-import MockPrivateKernelInitCircuit from '../artifacts/mock_private_kernel_init.json';
-import MockPrivateKernelInnerCircuit from '../artifacts/mock_private_kernel_inner.json';
-import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_reset.json';
-import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json';
-import MockPublicBaseCircuit from '../artifacts/mock_public_base.json';
-import type { AppCreatorInputType, AppPublicInputs, AppReaderInputType, FixedLengthArray, KernelPublicInputs, MockPrivateKernelInitInputType, MockPrivateKernelInnerInputType, MockPrivateKernelResetInputType, MockPrivateKernelTailInputType, MockPublicBaseInputType, PrivateKernelPublicInputs, u8 } from './types/index.js';
-export { MockAppCreatorCircuit, MockAppReaderCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelInnerCircuit, MockPrivateKernelResetCircuit, MockPrivateKernelTailCircuit, MockPublicBaseCircuit, MockAppCreatorVk, MockAppReaderVk, MockPrivateKernelInitVk, MockPrivateKernelInnerVk, MockPrivateKernelResetVk, MockPrivateKernelTailVk, };
-export declare const MOCK_MAX_COMMITMENTS_PER_TX = 4;
-export interface WitnessGenResult<PublicInputsType> {
-    witness: Uint8Array;
-    publicInputs: PublicInputsType;
-}
-export declare function witnessGenCreatorAppMockCircuit(args: AppCreatorInputType): Promise<WitnessGenResult<AppPublicInputs>>;
-export declare function witnessGenReaderAppMockCircuit(args: AppReaderInputType): Promise<WitnessGenResult<AppPublicInputs>>;
-export declare function witnessGenMockPrivateKernelInitCircuit(args: MockPrivateKernelInitInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
-export declare function witnessGenMockPrivateKernelInnerCircuit(args: MockPrivateKernelInnerInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
-export declare function witnessGenMockPrivateKernelResetCircuit(args: MockPrivateKernelResetInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
-export declare function witnessGenMockPrivateKernelTailCircuit(args: MockPrivateKernelTailInputType): Promise<WitnessGenResult<KernelPublicInputs>>;
-export declare function witnessGenMockPublicBaseCircuit(args: MockPublicBaseInputType): Promise<WitnessGenResult<u8>>;
-export declare function getVkAsFields(vk: {
-    keyAsBytes: string;
-    keyAsFields: string[];
-}): FixedLengthArray<string, typeof CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS>;
-export declare function generate3FunctionTestingIVCStack(): Promise<[string[], Uint8Array[]]>;
-export declare function generate6FunctionTestingIVCStack(): Promise<[string[], Uint8Array[]]>;
-export declare function proveThenVerifyAztecClient(bytecodes: string[], witnessStack: Uint8Array[], threads?: number): Promise<boolean>;
+export * from './witgen.js';
 //# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4CAA4C,EAAE,MAAM,kBAAkB,CAAC;AAMrF,OAAO,qBAAqB,MAAM,+BAA+B,CAAyB;AAC1F,OAAO,oBAAoB,MAAM,8BAA8B,CAAyB;AACxF,OAAO,gBAAgB,MAAM,4CAA4C,CAAyB;AAClG,OAAO,eAAe,MAAM,2CAA2C,CAAyB;AAChG,OAAO,uBAAuB,MAAM,yDAAyD,CAAyB;AACtH,OAAO,wBAAwB,MAAM,0DAA0D,CAAyB;AACxH,OAAO,wBAAwB,MAAM,0DAA0D,CAAyB;AACxH,OAAO,uBAAuB,MAAM,yDAAyD,CAAyB;AACtH,OAAO,4BAA4B,MAAM,4CAA4C,CAAyB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAyB;AAChH,OAAO,6BAA6B,MAAM,6CAA6C,CAAyB;AAChH,OAAO,4BAA4B,MAAM,4CAA4C,CAAyB;AAC9G,OAAO,qBAAqB,MAAM,oCAAoC,CAAyB;AAC/F,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,yBAAyB,EACzB,EAAE,EACH,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,4BAA4B,EAC5B,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,uBAAuB,GACxB,CAAC;AAMF,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAM7C,MAAM,WAAW,gBAAgB,CAAC,gBAAgB;IAChD,OAAO,EAAE,UAAU,CAAC;IACpB,YAAY,EAAE,gBAAgB,CAAC;CAChC;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CAAC,IAAI,EAAE,uBAAuB,GAAG,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAOlH;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,4CAA4C,CAAC,CAEhF;AAED,wBAAsB,gCAAgC,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CA+B1F;AAED,wBAAsB,gCAAgC,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CAuD1F;AAMD,wBAAsB,0BAA0B,CAC9C,SAAS,EAAE,MAAM,EAAE,EACnB,YAAY,EAAE,UAAU,EAAE,EAC1B,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,OAAO,CAAC,CAalB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC"}

package/dest/index.js

@@ -1,227 +1 @@
-import { Noir } from '@aztec/noir-noir_js';
-import createDebug from 'debug';
-import { ungzip } from 'pako';
-import MockAppCreatorCircuit from '../artifacts/app_creator.json' assert {
-    type: 'json'
-};
-import MockAppReaderCircuit from '../artifacts/app_reader.json' assert {
-    type: 'json'
-};
-import MockAppCreatorVk from '../artifacts/keys/app_creator.vk.data.json' assert {
-    type: 'json'
-};
-import MockAppReaderVk from '../artifacts/keys/app_reader.vk.data.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelInitVk from '../artifacts/keys/mock_private_kernel_init.vk.data.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelInnerVk from '../artifacts/keys/mock_private_kernel_inner.vk.data.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelResetVk from '../artifacts/keys/mock_private_kernel_reset.vk.data.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelTailVk from '../artifacts/keys/mock_private_kernel_tail.vk.data.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelInitCircuit from '../artifacts/mock_private_kernel_init.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelInnerCircuit from '../artifacts/mock_private_kernel_inner.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_reset.json' assert {
-    type: 'json'
-};
-import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json' assert {
-    type: 'json'
-};
-import MockPublicBaseCircuit from '../artifacts/mock_public_base.json' assert {
-    type: 'json'
-};
-// Re export the circuit jsons
-export { MockAppCreatorCircuit, MockAppReaderCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelInnerCircuit, MockPrivateKernelResetCircuit, MockPrivateKernelTailCircuit, MockPublicBaseCircuit, MockAppCreatorVk, MockAppReaderVk, MockPrivateKernelInitVk, MockPrivateKernelInnerVk, MockPrivateKernelResetVk, MockPrivateKernelTailVk };
-const logger = createDebug('aztec:ivc-test');
-/* eslint-disable camelcase */ export const MOCK_MAX_COMMITMENTS_PER_TX = 4;
-function foreignCallHandler() {
-    throw new Error('Unexpected foreign call');
-}
-export async function witnessGenCreatorAppMockCircuit(args) {
-    const program = new Noir(MockAppCreatorCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export async function witnessGenReaderAppMockCircuit(args) {
-    const program = new Noir(MockAppReaderCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export async function witnessGenMockPrivateKernelInitCircuit(args) {
-    const program = new Noir(MockPrivateKernelInitCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export async function witnessGenMockPrivateKernelInnerCircuit(args) {
-    const program = new Noir(MockPrivateKernelInnerCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export async function witnessGenMockPrivateKernelResetCircuit(args) {
-    const program = new Noir(MockPrivateKernelResetCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export async function witnessGenMockPrivateKernelTailCircuit(args) {
-    const program = new Noir(MockPrivateKernelTailCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export async function witnessGenMockPublicBaseCircuit(args) {
-    const program = new Noir(MockPublicBaseCircuit);
-    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
-    return {
-        witness,
-        publicInputs: returnValue
-    };
-}
-export function getVkAsFields(vk) {
-    return vk.keyAsFields;
-}
-export async function generate3FunctionTestingIVCStack() {
-    const tx = {
-        number_of_calls: '0x1'
-    };
-    // Witness gen app and kernels
-    const appWitnessGenResult = await witnessGenCreatorAppMockCircuit({
-        commitments_to_create: [
-            '0x1',
-            '0x2'
-        ]
-    });
-    logger('generated app mock circuit witness');
-    const initWitnessGenResult = await witnessGenMockPrivateKernelInitCircuit({
-        app_inputs: appWitnessGenResult.publicInputs,
-        tx,
-        app_vk: getVkAsFields(MockAppCreatorVk)
-    });
-    logger('generated mock private kernel init witness');
-    const tailWitnessGenResult = await witnessGenMockPrivateKernelTailCircuit({
-        prev_kernel_public_inputs: initWitnessGenResult.publicInputs,
-        kernel_vk: getVkAsFields(MockPrivateKernelResetVk)
-    });
-    logger('generated mock private kernel tail witness');
-    // Create client IVC proof
-    const bytecodes = [
-        MockAppCreatorCircuit.bytecode,
-        MockPrivateKernelInitCircuit.bytecode,
-        MockPrivateKernelTailCircuit.bytecode
-    ];
-    const witnessStack = [
-        appWitnessGenResult.witness,
-        initWitnessGenResult.witness,
-        tailWitnessGenResult.witness
-    ];
-    return [
-        bytecodes,
-        witnessStack
-    ];
-}
-export async function generate6FunctionTestingIVCStack() {
-    const tx = {
-        number_of_calls: '0x2'
-    };
-    // Witness gen app and kernels
-    const creatorAppWitnessGenResult = await witnessGenCreatorAppMockCircuit({
-        commitments_to_create: [
-            '0x1',
-            '0x2'
-        ]
-    });
-    const readerAppWitnessGenResult = await witnessGenReaderAppMockCircuit({
-        commitments_to_read: [
-            '0x2',
-            '0x0'
-        ]
-    });
-    const initWitnessGenResult = await witnessGenMockPrivateKernelInitCircuit({
-        app_inputs: creatorAppWitnessGenResult.publicInputs,
-        tx,
-        app_vk: getVkAsFields(MockAppCreatorVk)
-    });
-    const innerWitnessGenResult = await witnessGenMockPrivateKernelInnerCircuit({
-        prev_kernel_public_inputs: initWitnessGenResult.publicInputs,
-        app_inputs: readerAppWitnessGenResult.publicInputs,
-        app_vk: getVkAsFields(MockAppReaderVk),
-        kernel_vk: getVkAsFields(MockPrivateKernelInitVk)
-    });
-    const resetWitnessGenResult = await witnessGenMockPrivateKernelResetCircuit({
-        prev_kernel_public_inputs: innerWitnessGenResult.publicInputs,
-        commitment_read_hints: [
-            '0x1',
-            MOCK_MAX_COMMITMENTS_PER_TX.toString(),
-            MOCK_MAX_COMMITMENTS_PER_TX.toString(),
-            MOCK_MAX_COMMITMENTS_PER_TX.toString()
-        ],
-        kernel_vk: getVkAsFields(MockPrivateKernelInnerVk)
-    });
-    const tailWitnessGenResult = await witnessGenMockPrivateKernelTailCircuit({
-        prev_kernel_public_inputs: resetWitnessGenResult.publicInputs,
-        kernel_vk: getVkAsFields(MockPrivateKernelResetVk)
-    });
-    // Create client IVC proof
-    const bytecodes = [
-        MockAppCreatorCircuit.bytecode,
-        MockPrivateKernelInitCircuit.bytecode,
-        MockAppReaderCircuit.bytecode,
-        MockPrivateKernelInnerCircuit.bytecode,
-        MockPrivateKernelResetCircuit.bytecode,
-        MockPrivateKernelTailCircuit.bytecode
-    ];
-    const witnessStack = [
-        creatorAppWitnessGenResult.witness,
-        initWitnessGenResult.witness,
-        readerAppWitnessGenResult.witness,
-        innerWitnessGenResult.witness,
-        resetWitnessGenResult.witness,
-        tailWitnessGenResult.witness
-    ];
-    return [
-        bytecodes,
-        witnessStack
-    ];
-}
-function base64ToUint8Array(base64) {
-    return Uint8Array.from(atob(base64), (c)=>c.charCodeAt(0));
-}
-export async function proveThenVerifyAztecClient(bytecodes, witnessStack, threads) {
-    const { AztecClientBackend } = await import('@aztec/bb.js');
-    const backend = new AztecClientBackend(bytecodes.map(base64ToUint8Array).map((arr)=>ungzip(arr)), {
-        threads
-    });
-    try {
-        const [proof, vk] = await backend.prove(witnessStack.map((arr)=>ungzip(arr)));
-        const verified = await backend.verify(proof, vk);
-        return verified;
-    } finally{
-        await backend.destroy();
-    }
-}
+export * from './witgen.js';

package/dest/prove_native.d.ts

@@ -0,0 +1,15 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { Logger } from '@aztec/foundation/log';
+import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
+import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
+import type { ClientIvcProof } from '@aztec/stdlib/proofs';
+export declare function proveClientIVC(bbBinaryPath: string, bbWorkingDirectory: string, witnessStack: Uint8Array[], bytecodes: string[], logger: Logger): Promise<ClientIvcProof>;
+export declare function proveTube(pathToBB: string, workingDirectory: string, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<535>>;
+export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<535>>;
+export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<456>>;
+export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger): Promise<{
+    vk: Fr[];
+    proof: Fr[];
+    publicInputs: AvmCircuitPublicInputs;
+}>;
+//# sourceMappingURL=prove_native.d.ts.map

package/dest/prove_native.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAS,MAAM,sBAAsB,CAAC;AAOlE,wBAAsB,cAAc,CAClC,YAAY,EAAE,MAAM,EACpB,kBAAkB,EAAE,MAAM,EAC1B,YAAY,EAAE,UAAU,EAAE,EAC1B,SAAS,EAAE,MAAM,EAAE,EACnB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,cAAc,CAAC,CAqBzB;AAyBD,wBAAsB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mFAczF;AAoCD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IACT,EAAE,EAAE,EAAE,EAAE,CAAC;IACT,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAoDD"}

package/dest/prove_native.js

@@ -0,0 +1,105 @@
+import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, executeBbClientIvcProof, extractVkData, generateAvmProofV2, generateProof, generateTubeProof, readClientIVCProofFromOutputDirectory, readProofAsFields, verifyProof } from '@aztec/bb-prover';
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
+import { encode } from '@msgpack/msgpack';
+import * as fs from 'fs/promises';
+import * as path from 'path';
+export async function proveClientIVC(bbBinaryPath, bbWorkingDirectory, witnessStack, bytecodes, logger) {
+    await fs.writeFile(path.join(bbWorkingDirectory, 'acir.msgpack'), encode(bytecodes.map((bytecode)=>Buffer.from(bytecode, 'base64'))));
+    await fs.writeFile(path.join(bbWorkingDirectory, 'witnesses.msgpack'), encode(witnessStack));
+    const provingResult = await executeBbClientIvcProof(bbBinaryPath, bbWorkingDirectory, path.join(bbWorkingDirectory, 'acir.msgpack'), path.join(bbWorkingDirectory, 'witnesses.msgpack'), logger.info, true);
+    if (provingResult.status === BB_RESULT.FAILURE) {
+        throw new Error(provingResult.reason);
+    }
+    return readClientIVCProofFromOutputDirectory(bbWorkingDirectory);
+}
+async function verifyProofWithKey(pathToBB, workingDirectory, verificationKey, proof, flavor, logger) {
+    const publicInputsFileName = path.join(workingDirectory, PUBLIC_INPUTS_FILENAME);
+    const proofFileName = path.join(workingDirectory, PROOF_FILENAME);
+    const verificationKeyPath = path.join(workingDirectory, VK_FILENAME);
+    // TODO(https://github.com/AztecProtocol/aztec-packages/issues/13189): Put this proof parsing logic in the proof class.
+    await fs.writeFile(publicInputsFileName, proof.buffer.slice(0, proof.numPublicInputs * 32));
+    await fs.writeFile(proofFileName, proof.buffer.slice(proof.numPublicInputs * 32));
+    await fs.writeFile(verificationKeyPath, verificationKey.keyAsBytes);
+    const result = await verifyProof(pathToBB, proofFileName, verificationKeyPath, flavor, logger);
+    if (result.status === BB_RESULT.FAILURE) {
+        throw new Error(`Failed to verify proof from key!`);
+    }
+    logger.info(`Successfully verified proof from key in ${result.durationMs} ms`);
+}
+export async function proveTube(pathToBB, workingDirectory, logger) {
+    const tubeResult = await generateTubeProof(pathToBB, workingDirectory, workingDirectory.concat('/vk'), logger.info);
+    if (tubeResult.status != BB_RESULT.SUCCESS) {
+        throw new Error('Failed to prove tube');
+    }
+    const tubeVK = await extractVkData(tubeResult.vkPath);
+    const tubeProof = await readProofAsFields(tubeResult.proofPath, tubeVK, TUBE_PROOF_LENGTH, logger);
+    // Sanity check the tube proof
+    await verifyProofWithKey(pathToBB, workingDirectory, tubeVK, tubeProof.binaryProof, 'ultra_rollup_honk', logger);
+    return makeProofAndVerificationKey(tubeProof, tubeVK);
+}
+async function proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, flavor, proofLength) {
+    await fs.writeFile(path.join(workingDirectory, 'witness.gz'), witness);
+    const proofResult = await generateProof(pathToBB, workingDirectory, name, Buffer.from(circuit.bytecode, 'base64'), true, path.join(workingDirectory, 'witness.gz'), flavor, logger.info);
+    if (proofResult.status != BB_RESULT.SUCCESS) {
+        throw new Error(`Failed to generate proof for ${name} with flavor ${flavor}`);
+    }
+    const vk = await extractVkData(proofResult.vkPath);
+    const proof = await readProofAsFields(proofResult.proofPath, vk, proofLength, logger);
+    await verifyProofWithKey(pathToBB, workingDirectory, vk, proof.binaryProof, flavor, logger);
+    return makeProofAndVerificationKey(proof, vk);
+}
+export function proveRollupHonk(name, pathToBB, workingDirectory, circuit, witness, logger) {
+    return proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, 'ultra_rollup_honk', RECURSIVE_ROLLUP_HONK_PROOF_LENGTH);
+}
+export function proveKeccakHonk(name, pathToBB, workingDirectory, circuit, witness, logger) {
+    return proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, 'ultra_keccak_honk', NESTED_RECURSIVE_PROOF_LENGTH);
+}
+export async function proveAvm(avmCircuitInputs, workingDirectory, logger) {
+    // The paths for the barretenberg binary and the write path are hardcoded for now.
+    const bbPath = path.resolve('../../barretenberg/cpp/build/bin/bb');
+    // Then we prove.
+    const proofRes = await generateAvmProofV2(bbPath, workingDirectory, avmCircuitInputs, logger);
+    if (proofRes.status === BB_RESULT.FAILURE) {
+        throw new Error(`AVM V2 proof generation failed: ${proofRes.reason}`);
+    } else if (proofRes.status === BB_RESULT.ALREADY_PRESENT) {
+        throw new Error(`AVM V2 proof already exists`);
+    }
+    const avmProofPath = proofRes.proofPath;
+    const avmVkPath = proofRes.vkPath;
+    expect(avmProofPath).toBeDefined();
+    expect(avmVkPath).toBeDefined();
+    // Read the binary proof
+    const avmProofBuffer = await fs.readFile(avmProofPath);
+    const reader = BufferReader.asReader(avmProofBuffer);
+    const proof = [];
+    while(!reader.isEmpty()){
+        proof.push(Fr.fromBuffer(reader));
+    }
+    // We extend to a fixed-size padded proof as during development any new AVM circuit column changes the
+    // proof length and we do not have a mechanism to feedback a cpp constant to noir/TS.
+    // TODO(#13390): Revive a non-padded AVM proof
+    while(proof.length < AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED){
+        proof.push(new Fr(0));
+    }
+    // Read the key
+    const vkBuffer = await fs.readFile(avmVkPath);
+    const vkReader = BufferReader.asReader(vkBuffer);
+    const vk = [];
+    while(!vkReader.isEmpty()){
+        vk.push(Fr.fromBuffer(vkReader));
+    }
+    // We extend to a fixed-size padded vk as during development any new AVM circuit precomputed
+    // column changes the vk length and we do not have a mechanism to feedback a cpp constant to noir/TS.
+    // TODO(#13390): Revive a non-padded vk proof
+    while(vk.length < AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED){
+        vk.push(new Fr(0));
+    }
+    return {
+        proof,
+        vk,
+        publicInputs: avmCircuitInputs.publicInputs
+    };
+}

package/dest/prove_wasm.d.ts

@@ -0,0 +1,2 @@
+export declare function proveThenVerifyAztecClient(bytecodes: string[], witnessStack: Uint8Array[], threads?: number): Promise<boolean>;
+//# sourceMappingURL=prove_wasm.d.ts.map

package/dest/prove_wasm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prove_wasm.d.ts","sourceRoot":"","sources":["../src/prove_wasm.ts"],"names":[],"mappings":"AAMA,wBAAsB,0BAA0B,CAC9C,SAAS,EAAE,MAAM,EAAE,EACnB,YAAY,EAAE,UAAU,EAAE,EAC1B,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,OAAO,CAAC,CAalB"}

package/dest/prove_wasm.js

@@ -0,0 +1,17 @@
+import { ungzip } from 'pako';
+function base64ToUint8Array(base64) {
+    return Uint8Array.from(atob(base64), (c)=>c.charCodeAt(0));
+}
+export async function proveThenVerifyAztecClient(bytecodes, witnessStack, threads) {
+    const { AztecClientBackend } = await import('@aztec/bb.js');
+    const backend = new AztecClientBackend(bytecodes.map(base64ToUint8Array).map((arr)=>ungzip(arr)), {
+        threads
+    });
+    try {
+        const [proof, vk] = await backend.prove(witnessStack.map((arr)=>ungzip(arr)));
+        const verified = await backend.verify(proof, vk);
+        return verified;
+    } finally{
+        await backend.destroy();
+    }
+}

package/dest/scripts/generate_ts_from_abi.js

@@ -10,7 +10,10 @@ const circuits = [
     'mock_private_kernel_inner',
     'mock_private_kernel_reset',
     'mock_private_kernel_tail',
-    'mock_public_base'
+    'mock_rollup_base_public',
+    'mock_rollup_base_private',
+    'mock_rollup_merge',
+    'mock_rollup_root'
 ];
 const main = async ()=>{
     try {

package/dest/serve.js

@@ -1,5 +1,6 @@
 import createDebug from 'debug';
-import { generate3FunctionTestingIVCStack, proveThenVerifyAztecClient } from './index.js';
+import { generate3FunctionTestingIVCStack } from './index.js';
+import { proveThenVerifyAztecClient } from './prove_wasm.js';
 const logger = createDebug('aztec:ivc-test');
 /* eslint-disable no-console */ // Function to set up the output element and redirect all console output
 function setupConsoleOutput() {

package/dest/types/index.d.ts

@@ -5,7 +5,6 @@ export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[]
 };
 export type Field = string;
 export type u32 = string;
-export type u8 = string;
 export type AppPublicInputs = {
     commitments: FixedLengthArray<Field, 2>;
     read_requests: FixedLengthArray<Field, 2>;
@@ -21,6 +20,23 @@ export type PrivateKernelPublicInputs = {
 export type KernelPublicInputs = {
     commitments: FixedLengthArray<Field, 4>;
 };
+export type TubeData = {
+    public_inputs: KernelPublicInputs;
+    proof: FixedLengthArray<Field, 535>;
+    vk_data: VerificationKey;
+};
+export type VerificationKey = {
+    key: FixedLengthArray<Field, 139>;
+    hash: Field;
+};
+export type RollupPublicInputs = {
+    accumulated: u32;
+};
+export type PreviousRollupData = {
+    base_or_merge_public_inputs: RollupPublicInputs;
+    proof: FixedLengthArray<Field, 535>;
+    vk: VerificationKey;
+};
 export type AppCreatorInputType = {
     commitments_to_create: FixedLengthArray<Field, 2>;
 };
@@ -59,11 +75,29 @@ export type MockPrivateKernelTailInputType = {
 };
 export type MockPrivateKernelTailReturnType = KernelPublicInputs;
 export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: FixedLengthArray<Field, 143>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
-export type MockPublicBaseInputType = {
-    verification_key: FixedLengthArray<Field, 86>;
-    proof: FixedLengthArray<Field, 4154>;
-    pub_cols_flattened: FixedLengthArray<Field, 2956>;
+export type MockRollupBasePublicInputType = {
+    tube_data: TubeData;
+    verification_key: FixedLengthArray<Field, 1000>;
+    proof: FixedLengthArray<Field, 20000>;
+    pub_cols_flattened: FixedLengthArray<Field, 1>;
+};
+export type MockRollupBasePublicReturnType = RollupPublicInputs;
+export declare function MockRollupBasePublic(tube_data: TubeData, verification_key: FixedLengthArray<Field, 1000>, proof: FixedLengthArray<Field, 20000>, pub_cols_flattened: FixedLengthArray<Field, 1>, MockRollupBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
+export type MockRollupBasePrivateInputType = {
+    tube_data: TubeData;
+};
+export type MockRollupBasePrivateReturnType = RollupPublicInputs;
+export declare function MockRollupBasePrivate(tube_data: TubeData, MockRollupBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
+export type MockRollupMergeInputType = {
+    a: PreviousRollupData;
+    b: PreviousRollupData;
+};
+export type MockRollupMergeReturnType = RollupPublicInputs;
+export declare function MockRollupMerge(a: PreviousRollupData, b: PreviousRollupData, MockRollupMerge_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
+export type MockRollupRootInputType = {
+    a: PreviousRollupData;
+    b: PreviousRollupData;
 };
-export type MockPublicBaseReturnType = u8;
-export declare function MockPublicBase(verification_key: FixedLengthArray<Field, 86>, proof: FixedLengthArray<Field, 4154>, pub_cols_flattened: FixedLengthArray<Field, 2956>, MockPublicBase_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<u8>;
+export type MockRollupRootReturnType = RollupPublicInputs;
+export declare function MockRollupRoot(a: PreviousRollupData, b: PreviousRollupData, MockRollupRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
 //# sourceMappingURL=index.d.ts.map

package/dest/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAkB,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAEnG,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAE,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAC9F,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,EAAE,GAAG,MAAM,CAAC;AAExB,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,GAAG,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,GAAG,CAAC;IACrB,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACzC,CAAA;AAGD,MAAM,MAAM,mBAAmB,GAAG;IAChC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACnD,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAGnD,wBAAsB,UAAU,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAK1L;AACD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAGlD,wBAAsB,SAAS,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,iBAAiB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAKtL;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,EAAE,EAAE,SAAS,CAAC;IACd,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACtC,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,CAAC;AAGxE,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKzP;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACtC,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAK3U;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKzT;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,kBAAkB,CAAC;AAGjE,wBAAsB,qBAAqB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAK/P;AACD,MAAM,MAAM,uBAAuB,GAAG;IACpC,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9C,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,kBAAkB,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;CACnD,CAAA;AAED,MAAM,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAG1C,wBAAsB,cAAc,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,kBAAkB,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,sBAAsB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,EAAE,CAAC,CAK1Q"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAkB,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAEnG,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAE,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAC9F,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,GAAG,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,GAAG,CAAC;IACrB,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG;IACrB,aAAa,EAAE,kBAAkB,CAAC;IAClC,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpC,OAAO,EAAE,eAAe,CAAC;CAC1B,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,IAAI,EAAE,KAAK,CAAC;CACb,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,GAAG,CAAC;CAClB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,2BAA2B,EAAE,kBAAkB,CAAC;IAChD,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpC,EAAE,EAAE,eAAe,CAAC;CACrB,CAAA;AAGD,MAAM,MAAM,mBAAmB,GAAG;IAChC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACnD,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAGnD,wBAAsB,UAAU,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAK1L;AACD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAGlD,wBAAsB,SAAS,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,iBAAiB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAKtL;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,EAAE,EAAE,SAAS,CAAC;IACd,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACtC,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,CAAC;AAGxE,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKzP;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACtC,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAK3U;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKzT;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,kBAAkB,CAAC;AAGjE,wBAAsB,qBAAqB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAK/P;AACD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,SAAS,EAAE,QAAQ,CAAC;IACpB,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChD,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,kBAAkB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAChD,CAAA;AAED,MAAM,MAAM,8BAA8B,GAAG,kBAAkB,CAAC;AAGhE,wBAAsB,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,kBAAkB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,4BAA4B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAK3T;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,SAAS,EAAE,QAAQ,CAAC;CACrB,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,kBAAkB,CAAC;AAGjE,wBAAsB,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKrL;AACD,MAAM,MAAM,wBAAwB,GAAG;IACrC,CAAC,EAAE,kBAAkB,CAAC;IACtB,CAAC,EAAE,kBAAkB,CAAC;CACvB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAG3D,wBAAsB,eAAe,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKlM;AACD,MAAM,MAAM,uBAAuB,GAAG;IACpC,CAAC,EAAE,kBAAkB,CAAC;IACtB,CAAC,EAAE,kBAAkB,CAAC;CACvB,CAAA;AAED,MAAM,MAAM,wBAAwB,GAAG,kBAAkB,CAAC;AAG1D,wBAAsB,cAAc,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKhM"}

package/dest/types/index.js

@@ -55,9 +55,10 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs, kernel_vk
     const { returnValue } = await program.execute(args, foreignCallHandler);
     return returnValue;
 }
-export async function MockPublicBase(verification_key, proof, pub_cols_flattened, MockPublicBase_circuit, foreignCallHandler) {
-    const program = new Noir(MockPublicBase_circuit);
+export async function MockRollupBasePublic(tube_data, verification_key, proof, pub_cols_flattened, MockRollupBasePublic_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupBasePublic_circuit);
     const args = {
+        tube_data,
         verification_key,
         proof,
         pub_cols_flattened
@@ -65,3 +66,29 @@ export async function MockPublicBase(verification_key, proof, pub_cols_flattened
     const { returnValue } = await program.execute(args, foreignCallHandler);
     return returnValue;
 }
+export async function MockRollupBasePrivate(tube_data, MockRollupBasePrivate_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupBasePrivate_circuit);
+    const args = {
+        tube_data
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockRollupMerge(a, b, MockRollupMerge_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupMerge_circuit);
+    const args = {
+        a,
+        b
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockRollupRoot(a, b, MockRollupRoot_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupRoot_circuit);
+    const args = {
+        a,
+        b
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}