@aztec/sequencer-client 0.30.1 → 0.31.0

package/dest/prover/empty.d.ts

@@ -1,53 +0,0 @@
-import { BaseOrMergeRollupPublicInputs, BaseParityInputs, BaseRollupInputs, MergeRollupInputs, ParityPublicInputs, Proof, PublicCircuitPublicInputs, PublicKernelCircuitPublicInputs, RootParityInputs, RootRollupInputs, RootRollupPublicInputs } from '@aztec/circuits.js';
-import { PublicProver, RollupProver } from './index.js';
-/**
- * Prover implementation that returns empty proofs and overrides aggregation objects.
- */
-export declare class EmptyRollupProver implements RollupProver {
-    /**
-     * Creates an empty proof for the given input.
-     * @param inputs - Inputs to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getBaseParityProof(inputs: BaseParityInputs, publicInputs: ParityPublicInputs): Promise<Proof>;
-    /**
-     * Creates an empty proof for the given input.
-     * @param inputs - Inputs to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getRootParityProof(inputs: RootParityInputs, publicInputs: ParityPublicInputs): Promise<Proof>;
-    /**
-     * Creates an empty proof for the given input.
-     * @param _input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getBaseRollupProof(_input: BaseRollupInputs, publicInputs: BaseOrMergeRollupPublicInputs): Promise<Proof>;
-    /**
-     * Creates an empty proof for the given input.
-     * @param _input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getMergeRollupProof(_input: MergeRollupInputs, publicInputs: BaseOrMergeRollupPublicInputs): Promise<Proof>;
-    /**
-     * Creates an empty proof for the given input.
-     * @param _input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getRootRollupProof(_input: RootRollupInputs, publicInputs: RootRollupPublicInputs): Promise<Proof>;
-}
-/**
- * Prover implementation that returns empty proofs.
- */
-export declare class EmptyPublicProver implements PublicProver {
-    /**
-     * Creates an empty proof for the given input.
-     * @param _publicInputs - Public inputs obtained via simulation.
-     */
-    getPublicCircuitProof(_publicInputs: PublicCircuitPublicInputs): Promise<Proof>;
-    /**
-     * Creates an empty proof for the given input.
-     * @param _publicInputs - Public inputs obtained via simulation.
-     */
-    getPublicKernelCircuitProof(_publicInputs: PublicKernelCircuitPublicInputs): Promise<Proof>;
-}
-//# sourceMappingURL=empty.d.ts.map

package/dest/prover/empty.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"empty.d.ts","sourceRoot":"","sources":["../../src/prover/empty.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,6BAA6B,EAC7B,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,KAAK,EACL,yBAAyB,EACzB,+BAA+B,EAC/B,gBAAgB,EAChB,gBAAgB,EAChB,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAOxD;;GAEG;AACH,qBAAa,iBAAkB,YAAW,YAAY;IACpD;;;;OAIG;IACG,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC;IAKpG;;;;OAIG;IACG,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC;IAKpG;;;;OAIG;IACG,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,6BAA6B,GAAG,OAAO,CAAC,KAAK,CAAC;IAK/G;;;;OAIG;IACG,mBAAmB,CAAC,MAAM,EAAE,iBAAiB,EAAE,YAAY,EAAE,6BAA6B,GAAG,OAAO,CAAC,KAAK,CAAC;IAIjH;;;;OAIG;IACG,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,sBAAsB,GAAG,OAAO,CAAC,KAAK,CAAC;CAIzG;AAED;;GAEG;AACH,qBAAa,iBAAkB,YAAW,YAAY;IACpD;;;OAGG;IACG,qBAAqB,CAAC,aAAa,EAAE,yBAAyB,GAAG,OAAO,CAAC,KAAK,CAAC;IAIrF;;;OAGG;IACG,2BAA2B,CAAC,aAAa,EAAE,+BAA+B,GAAG,OAAO,CAAC,KAAK,CAAC;CAGlG"}

package/dest/prover/empty.js

@@ -1,75 +0,0 @@
-/* eslint-disable require-await */
-import { AggregationObject, Proof, } from '@aztec/circuits.js';
-const EMPTY_PROOF_SIZE = 42;
-// TODO: Silently modifying one of the inputs to inject the aggregation object is horrible.
-// We should rethink these interfaces.
-/**
- * Prover implementation that returns empty proofs and overrides aggregation objects.
- */
-export class EmptyRollupProver {
-    /**
-     * Creates an empty proof for the given input.
-     * @param inputs - Inputs to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    async getBaseParityProof(inputs, publicInputs) {
-        publicInputs.aggregationObject = AggregationObject.makeFake();
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-    /**
-     * Creates an empty proof for the given input.
-     * @param inputs - Inputs to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    async getRootParityProof(inputs, publicInputs) {
-        publicInputs.aggregationObject = AggregationObject.makeFake();
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-    /**
-     * Creates an empty proof for the given input.
-     * @param _input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    async getBaseRollupProof(_input, publicInputs) {
-        publicInputs.aggregationObject = AggregationObject.makeFake();
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-    /**
-     * Creates an empty proof for the given input.
-     * @param _input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    async getMergeRollupProof(_input, publicInputs) {
-        publicInputs.aggregationObject = AggregationObject.makeFake();
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-    /**
-     * Creates an empty proof for the given input.
-     * @param _input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    async getRootRollupProof(_input, publicInputs) {
-        publicInputs.aggregationObject = AggregationObject.makeFake();
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-}
-/**
- * Prover implementation that returns empty proofs.
- */
-export class EmptyPublicProver {
-    /**
-     * Creates an empty proof for the given input.
-     * @param _publicInputs - Public inputs obtained via simulation.
-     */
-    async getPublicCircuitProof(_publicInputs) {
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-    /**
-     * Creates an empty proof for the given input.
-     * @param _publicInputs - Public inputs obtained via simulation.
-     */
-    async getPublicKernelCircuitProof(_publicInputs) {
-        return new Proof(Buffer.alloc(EMPTY_PROOF_SIZE, 0));
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW1wdHkuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJvdmVyL2VtcHR5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGtDQUFrQztBQUNsQyxPQUFPLEVBQ0wsaUJBQWlCLEVBTWpCLEtBQUssR0FNTixNQUFNLG9CQUFvQixDQUFDO0FBSTVCLE1BQU0sZ0JBQWdCLEdBQUcsRUFBRSxDQUFDO0FBRTVCLDJGQUEyRjtBQUMzRixzQ0FBc0M7QUFFdEM7O0dBRUc7QUFDSCxNQUFNLE9BQU8saUJBQWlCO0lBQzVCOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsa0JBQWtCLENBQUMsTUFBd0IsRUFBRSxZQUFnQztRQUNqRixZQUFZLENBQUMsaUJBQWlCLEdBQUcsaUJBQWlCLENBQUMsUUFBUSxFQUFFLENBQUM7UUFDOUQsT0FBTyxJQUFJLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdEQsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsa0JBQWtCLENBQUMsTUFBd0IsRUFBRSxZQUFnQztRQUNqRixZQUFZLENBQUMsaUJBQWlCLEdBQUcsaUJBQWlCLENBQUMsUUFBUSxFQUFFLENBQUM7UUFDOUQsT0FBTyxJQUFJLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdEQsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsa0JBQWtCLENBQUMsTUFBd0IsRUFBRSxZQUEyQztRQUM1RixZQUFZLENBQUMsaUJBQWlCLEdBQUcsaUJBQWlCLENBQUMsUUFBUSxFQUFFLENBQUM7UUFDOUQsT0FBTyxJQUFJLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdEQsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsbUJBQW1CLENBQUMsTUFBeUIsRUFBRSxZQUEyQztRQUM5RixZQUFZLENBQUMsaUJBQWlCLEdBQUcsaUJBQWlCLENBQUMsUUFBUSxFQUFFLENBQUM7UUFDOUQsT0FBTyxJQUFJLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdEQsQ0FBQztJQUNEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsa0JBQWtCLENBQUMsTUFBd0IsRUFBRSxZQUFvQztRQUNyRixZQUFZLENBQUMsaUJBQWlCLEdBQUcsaUJBQWlCLENBQUMsUUFBUSxFQUFFLENBQUM7UUFDOUQsT0FBTyxJQUFJLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdEQsQ0FBQztDQUNGO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLE9BQU8saUJBQWlCO0lBQzVCOzs7T0FHRztJQUNILEtBQUssQ0FBQyxxQkFBcUIsQ0FBQyxhQUF3QztRQUNsRSxPQUFPLElBQUksS0FBSyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsZ0JBQWdCLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUN0RCxDQUFDO0lBRUQ7OztPQUdHO0lBQ0gsS0FBSyxDQUFDLDJCQUEyQixDQUFDLGFBQThDO1FBQzlFLE9BQU8sSUFBSSxLQUFLLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxnQkFBZ0IsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3RELENBQUM7Q0FDRiJ9

package/dest/prover/index.d.ts

@@ -1,52 +0,0 @@
-import { BaseOrMergeRollupPublicInputs, BaseParityInputs, BaseRollupInputs, MergeRollupInputs, ParityPublicInputs, Proof, PublicCircuitPublicInputs, PublicKernelCircuitPublicInputs, RootParityInputs, RootRollupInputs, RootRollupPublicInputs } from '@aztec/circuits.js';
-/**
- * Generates proofs for parity and rollup circuits.
- */
-export interface RollupProver {
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getBaseParityProof(inputs: BaseParityInputs, publicInputs: ParityPublicInputs): Promise<Proof>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getRootParityProof(inputs: RootParityInputs, publicInputs: ParityPublicInputs): Promise<Proof>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getBaseRollupProof(input: BaseRollupInputs, publicInputs: BaseOrMergeRollupPublicInputs): Promise<Proof>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getMergeRollupProof(input: MergeRollupInputs, publicInputs: BaseOrMergeRollupPublicInputs): Promise<Proof>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     * @param publicInputs - Public inputs of the circuit obtained via simulation, modified by this call.
-     */
-    getRootRollupProof(input: RootRollupInputs, publicInputs: RootRollupPublicInputs): Promise<Proof>;
-}
-/**
- * Generates proofs for the public and public kernel circuits.
- */
-export interface PublicProver {
-    /**
-     * Creates a proof for the given input.
-     * @param publicInputs - Public inputs obtained via simulation.
-     */
-    getPublicCircuitProof(publicInputs: PublicCircuitPublicInputs): Promise<Proof>;
-    /**
-     * Creates a proof for the given input.
-     * @param publicInputs - Public inputs obtained via simulation.
-     */
-    getPublicKernelCircuitProof(publicInputs: PublicKernelCircuitPublicInputs): Promise<Proof>;
-}
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/prover/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,KAAK,EACL,yBAAyB,EACzB,+BAA+B,EAC/B,gBAAgB,EAChB,gBAAgB,EAChB,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAE/F;;;;OAIG;IACH,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAE/F;;;;OAIG;IACH,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,6BAA6B,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAEzG;;;;OAIG;IACH,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,6BAA6B,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAE3G;;;;OAIG;IACH,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,sBAAsB,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;CACnG;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B;;;OAGG;IACH,qBAAqB,CAAC,YAAY,EAAE,yBAAyB,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAE/E;;;OAGG;IACH,2BAA2B,CAAC,YAAY,EAAE,+BAA+B,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;CAC5F"}

package/dest/prover/index.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJvdmVyL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiIifQ==

package/dest/sequencer/processed_tx.d.ts

@@ -1,81 +0,0 @@
-import { SimulationError, Tx, TxEffect, TxHash } from '@aztec/circuit-types';
-import { Fr, Header, Proof, PublicKernelCircuitPublicInputs } from '@aztec/circuits.js';
-/**
- * Represents a tx that has been processed by the sequencer public processor,
- * so its kernel circuit public inputs are filled in.
- */
-export type ProcessedTx = Pick<Tx, 'proof' | 'encryptedLogs' | 'unencryptedLogs'> & {
-    /**
-     * Output of the public kernel circuit for this tx.
-     */
-    data: PublicKernelCircuitPublicInputs;
-    /**
-     * Hash of the transaction.
-     */
-    hash: TxHash;
-    /**
-     * Flag indicating the tx is 'empty' meaning it's a padding tx to take us to a power of 2.
-     */
-    isEmpty: boolean;
-    /**
-     * Reason the tx was reverted.
-     */
-    revertReason: SimulationError | undefined;
-};
-export type RevertedTx = ProcessedTx & {
-    data: PublicKernelCircuitPublicInputs & {
-        reverted: true;
-    };
-    revertReason: SimulationError;
-};
-export declare function isRevertedTx(tx: ProcessedTx): tx is RevertedTx;
-export declare function partitionReverts(txs: ProcessedTx[]): {
-    reverted: RevertedTx[];
-    nonReverted: ProcessedTx[];
-};
-/**
- * Represents a tx that failed to be processed by the sequencer public processor.
- */
-export type FailedTx = {
-    /**
-     * The failing transaction.
-     */
-    tx: Tx;
-    /**
-     * The error that caused the tx to fail.
-     */
-    error: Error;
-};
-/**
- *
- * @param tx - the TX being procesed
- * @param publicKernelPublicInput - the output of the public kernel circuit, unless we just came from private
- * @param publicKernelProof - the proof of the public kernel circuit, unless we just came from private
- * @returns PublicKernelCircuitPublicInputs, either passed through from the input or converted from the output of the TX,
- * and Proof, either passed through from the input or the proof of the TX
- */
-export declare function getPreviousOutputAndProof(tx: Tx, publicKernelPublicInput?: PublicKernelCircuitPublicInputs, publicKernelProof?: Proof): {
-    /**
-     * the output of the public kernel circuit for this phase
-     */
-    publicKernelPublicInput: PublicKernelCircuitPublicInputs;
-    /**
-     * the proof of the public kernel circuit for this phase
-     */
-    previousProof: Proof;
-};
-/**
- * Makes a processed tx out of source tx.
- * @param tx - Source tx.
- * @param kernelOutput - Output of the kernel circuit simulation for this tx.
- * @param proof - Proof of the kernel circuit for this tx.
- */
-export declare function makeProcessedTx(tx: Tx, kernelOutput?: PublicKernelCircuitPublicInputs, proof?: Proof, revertReason?: SimulationError): ProcessedTx;
-/**
- * Makes an empty tx from an empty kernel circuit public inputs.
- * @returns A processed empty tx.
- */
-export declare function makeEmptyProcessedTx(header: Header, chainId: Fr, version: Fr): ProcessedTx;
-export declare function toTxEffect(tx: ProcessedTx): TxEffect;
-export declare function validateProcessedTx(tx: ProcessedTx): void;
-//# sourceMappingURL=processed_tx.d.ts.map

package/dest/sequencer/processed_tx.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"processed_tx.d.ts","sourceRoot":"","sources":["../../src/sequencer/processed_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAY,MAAM,sBAAsB,CAAC;AACxG,OAAO,EACL,EAAE,EACF,MAAM,EAIN,KAAK,EAGL,+BAA+B,EAKhC,MAAM,oBAAoB,CAAC;AAG5B;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,GAAG,eAAe,GAAG,iBAAiB,CAAC,GAAG;IAClF;;OAEG;IACH,IAAI,EAAE,+BAA+B,CAAC;IACtC;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,OAAO,EAAE,OAAO,CAAC;IAEjB;;OAEG;IACH,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG;IACrC,IAAI,EAAE,+BAA+B,GAAG;QACtC,QAAQ,EAAE,IAAI,CAAC;KAChB,CAAC;IAEF,YAAY,EAAE,eAAe,CAAC;CAC/B,CAAC;AAEF,wBAAgB,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,EAAE,IAAI,UAAU,CAE9D;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG;IAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IAAC,WAAW,EAAE,WAAW,EAAE,CAAA;CAAE,CAY3G;AAED;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB;;OAEG;IACH,EAAE,EAAE,EAAE,CAAC;IACP;;OAEG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,EAAE,EACN,uBAAuB,CAAC,EAAE,+BAA+B,EACzD,iBAAiB,CAAC,EAAE,KAAK,GACxB;IACD;;OAEG;IACH,uBAAuB,EAAE,+BAA+B,CAAC;IACzD;;OAEG;IACH,aAAa,EAAE,KAAK,CAAC;CACtB,CAuBA;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,EAAE,EAAE,EAAE,EACN,YAAY,CAAC,EAAE,+BAA+B,EAC9C,KAAK,CAAC,EAAE,KAAK,EACb,YAAY,CAAC,EAAE,eAAe,GAC7B,WAAW,CAWb;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,WAAW,CAiB1F;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,WAAW,GAAG,QAAQ,CAepD;AAgBD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI,CAGzD"}

package/dest/sequencer/processed_tx.js

@@ -1,98 +0,0 @@
-import { PublicDataWrite, TxEffect, TxHash, TxL2Logs } from '@aztec/circuit-types';
-import { Fr, PublicAccumulatedNonRevertibleData, PublicAccumulatedRevertibleData, PublicKernelCircuitPublicInputs, ValidationRequests, makeEmptyProof, } from '@aztec/circuits.js';
-import { fromFieldsTuple } from '@aztec/foundation/serialize';
-export function isRevertedTx(tx) {
-    return tx.data.reverted;
-}
-export function partitionReverts(txs) {
-    return txs.reduce(({ reverted, nonReverted }, tx) => {
-        if (isRevertedTx(tx)) {
-            reverted.push(tx);
-        }
-        else {
-            nonReverted.push(tx);
-        }
-        return { reverted, nonReverted };
-    }, { reverted: [], nonReverted: [] });
-}
-/**
- *
- * @param tx - the TX being procesed
- * @param publicKernelPublicInput - the output of the public kernel circuit, unless we just came from private
- * @param publicKernelProof - the proof of the public kernel circuit, unless we just came from private
- * @returns PublicKernelCircuitPublicInputs, either passed through from the input or converted from the output of the TX,
- * and Proof, either passed through from the input or the proof of the TX
- */
-export function getPreviousOutputAndProof(tx, publicKernelPublicInput, publicKernelProof) {
-    if (publicKernelPublicInput && publicKernelProof) {
-        return {
-            publicKernelPublicInput,
-            previousProof: publicKernelProof,
-        };
-    }
-    else {
-        const publicKernelPublicInput = new PublicKernelCircuitPublicInputs(tx.data.aggregationObject, ValidationRequests.empty(), PublicAccumulatedNonRevertibleData.fromPrivateAccumulatedNonRevertibleData(tx.data.endNonRevertibleData), PublicAccumulatedRevertibleData.fromPrivateAccumulatedRevertibleData(tx.data.end), tx.data.constants, tx.data.needsSetup, tx.data.needsAppLogic, tx.data.needsTeardown, false);
-        return {
-            publicKernelPublicInput,
-            previousProof: publicKernelProof || tx.proof,
-        };
-    }
-}
-/**
- * Makes a processed tx out of source tx.
- * @param tx - Source tx.
- * @param kernelOutput - Output of the kernel circuit simulation for this tx.
- * @param proof - Proof of the kernel circuit for this tx.
- */
-export function makeProcessedTx(tx, kernelOutput, proof, revertReason) {
-    const { publicKernelPublicInput, previousProof } = getPreviousOutputAndProof(tx, kernelOutput, proof);
-    return {
-        hash: tx.getTxHash(),
-        data: publicKernelPublicInput,
-        proof: previousProof,
-        encryptedLogs: revertReason ? new TxL2Logs([]) : tx.encryptedLogs,
-        unencryptedLogs: revertReason ? new TxL2Logs([]) : tx.unencryptedLogs,
-        isEmpty: false,
-        revertReason,
-    };
-}
-/**
- * Makes an empty tx from an empty kernel circuit public inputs.
- * @returns A processed empty tx.
- */
-export function makeEmptyProcessedTx(header, chainId, version) {
-    const emptyKernelOutput = PublicKernelCircuitPublicInputs.empty();
-    emptyKernelOutput.constants.historicalHeader = header;
-    emptyKernelOutput.constants.txContext.chainId = chainId;
-    emptyKernelOutput.constants.txContext.version = version;
-    const emptyProof = makeEmptyProof();
-    const hash = new TxHash(Fr.ZERO.toBuffer());
-    return {
-        hash,
-        encryptedLogs: new TxL2Logs([]),
-        unencryptedLogs: new TxL2Logs([]),
-        data: emptyKernelOutput,
-        proof: emptyProof,
-        isEmpty: true,
-        revertReason: undefined,
-    };
-}
-export function toTxEffect(tx) {
-    return new TxEffect(tx.data.combinedData.newNoteHashes.map((c) => c.value), tx.data.combinedData.newNullifiers.map((n) => n.value), tx.data.combinedData.newL2ToL1Msgs, tx.data.combinedData.publicDataUpdateRequests.map(t => new PublicDataWrite(t.leafSlot, t.newValue)), tx.encryptedLogs || new TxL2Logs([]), tx.unencryptedLogs || new TxL2Logs([]));
-}
-function validateProcessedTxLogs(tx) {
-    const unencryptedLogs = tx.unencryptedLogs || new TxL2Logs([]);
-    const kernelUnencryptedLogsHash = fromFieldsTuple(tx.data.combinedData.unencryptedLogsHash);
-    if (!unencryptedLogs.hash().equals(kernelUnencryptedLogsHash)) {
-        throw new Error(`Unencrypted logs hash mismatch. Expected ${unencryptedLogs
-            .hash()
-            .toString('hex')}, got ${kernelUnencryptedLogsHash.toString('hex')}.
-             Processed: ${JSON.stringify(unencryptedLogs.toJSON())}
-             Kernel Length: ${tx.data.combinedData.unencryptedLogPreimagesLength}`);
-    }
-}
-export function validateProcessedTx(tx) {
-    validateProcessedTxLogs(tx);
-    // TODO: validate other fields
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvY2Vzc2VkX3R4LmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NlcXVlbmNlci9wcm9jZXNzZWRfdHgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGVBQWUsRUFBdUIsUUFBUSxFQUFFLE1BQU0sRUFBRSxRQUFRLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RyxPQUFPLEVBQ0wsRUFBRSxFQU1GLGtDQUFrQyxFQUNsQywrQkFBK0IsRUFDL0IsK0JBQStCLEVBRy9CLGtCQUFrQixFQUNsQixjQUFjLEdBQ2YsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBQVMsZUFBZSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFrQ3JFLE1BQU0sVUFBVSxZQUFZLENBQUMsRUFBZTtJQUMxQyxPQUFPLEVBQUUsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDO0FBQzFCLENBQUM7QUFFRCxNQUFNLFVBQVUsZ0JBQWdCLENBQUMsR0FBa0I7SUFDakQsT0FBTyxHQUFHLENBQUMsTUFBTSxDQUNmLENBQUMsRUFBRSxRQUFRLEVBQUUsV0FBVyxFQUFFLEVBQUUsRUFBRSxFQUFFLEVBQUU7UUFDaEMsSUFBSSxZQUFZLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQztZQUNyQixRQUFRLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxDQUFDO1FBQ3BCLENBQUM7YUFBTSxDQUFDO1lBQ04sV0FBVyxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUN2QixDQUFDO1FBQ0QsT0FBTyxFQUFFLFFBQVEsRUFBRSxXQUFXLEVBQUUsQ0FBQztJQUNuQyxDQUFDLEVBQ0QsRUFBRSxRQUFRLEVBQUUsRUFBRSxFQUFFLFdBQVcsRUFBRSxFQUFFLEVBQXlDLENBQ3pFLENBQUM7QUFDSixDQUFDO0FBZ0JEOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLFVBQVUseUJBQXlCLENBQ3ZDLEVBQU0sRUFDTix1QkFBeUQsRUFDekQsaUJBQXlCO0lBV3pCLElBQUksdUJBQXVCLElBQUksaUJBQWlCLEVBQUUsQ0FBQztRQUNqRCxPQUFPO1lBQ0wsdUJBQXVCO1lBQ3ZCLGFBQWEsRUFBRSxpQkFBaUI7U0FDakMsQ0FBQztJQUNKLENBQUM7U0FBTSxDQUFDO1FBQ04sTUFBTSx1QkFBdUIsR0FBRyxJQUFJLCtCQUErQixDQUNqRSxFQUFFLENBQUMsSUFBSSxDQUFDLGlCQUFpQixFQUN6QixrQkFBa0IsQ0FBQyxLQUFLLEVBQUUsRUFDMUIsa0NBQWtDLENBQUMsdUNBQXVDLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxvQkFBb0IsQ0FBQyxFQUN4RywrQkFBK0IsQ0FBQyxvQ0FBb0MsQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUNqRixFQUFFLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFDakIsRUFBRSxDQUFDLElBQUksQ0FBQyxVQUFVLEVBQ2xCLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxFQUNyQixFQUFFLENBQUMsSUFBSSxDQUFDLGFBQWEsRUFDckIsS0FBSyxDQUNOLENBQUM7UUFDRixPQUFPO1lBQ0wsdUJBQXVCO1lBQ3ZCLGFBQWEsRUFBRSxpQkFBaUIsSUFBSSxFQUFFLENBQUMsS0FBSztTQUM3QyxDQUFDO0lBQ0osQ0FBQztBQUNILENBQUM7QUFFRDs7Ozs7R0FLRztBQUNILE1BQU0sVUFBVSxlQUFlLENBQzdCLEVBQU0sRUFDTixZQUE4QyxFQUM5QyxLQUFhLEVBQ2IsWUFBOEI7SUFFOUIsTUFBTSxFQUFFLHVCQUF1QixFQUFFLGFBQWEsRUFBRSxHQUFHLHlCQUF5QixDQUFDLEVBQUUsRUFBRSxZQUFZLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDdEcsT0FBTztRQUNMLElBQUksRUFBRSxFQUFFLENBQUMsU0FBUyxFQUFFO1FBQ3BCLElBQUksRUFBRSx1QkFBdUI7UUFDN0IsS0FBSyxFQUFFLGFBQWE7UUFDcEIsYUFBYSxFQUFFLFlBQVksQ0FBQyxDQUFDLENBQUMsSUFBSSxRQUFRLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxhQUFhO1FBQ2pFLGVBQWUsRUFBRSxZQUFZLENBQUMsQ0FBQyxDQUFDLElBQUksUUFBUSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsZUFBZTtRQUNyRSxPQUFPLEVBQUUsS0FBSztRQUNkLFlBQVk7S0FDYixDQUFDO0FBQ0osQ0FBQztBQUVEOzs7R0FHRztBQUNILE1BQU0sVUFBVSxvQkFBb0IsQ0FBQyxNQUFjLEVBQUUsT0FBVyxFQUFFLE9BQVc7SUFDM0UsTUFBTSxpQkFBaUIsR0FBRywrQkFBK0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQztJQUNsRSxpQkFBaUIsQ0FBQyxTQUFTLENBQUMsZ0JBQWdCLEdBQUcsTUFBTSxDQUFDO0lBQ3RELGlCQUFpQixDQUFDLFNBQVMsQ0FBQyxTQUFTLENBQUMsT0FBTyxHQUFHLE9BQU8sQ0FBQztJQUN4RCxpQkFBaUIsQ0FBQyxTQUFTLENBQUMsU0FBUyxDQUFDLE9BQU8sR0FBRyxPQUFPLENBQUM7SUFDeEQsTUFBTSxVQUFVLEdBQUcsY0FBYyxFQUFFLENBQUM7SUFFcEMsTUFBTSxJQUFJLEdBQUcsSUFBSSxNQUFNLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO0lBQzVDLE9BQU87UUFDTCxJQUFJO1FBQ0osYUFBYSxFQUFFLElBQUksUUFBUSxDQUFDLEVBQUUsQ0FBQztRQUMvQixlQUFlLEVBQUUsSUFBSSxRQUFRLENBQUMsRUFBRSxDQUFDO1FBQ2pDLElBQUksRUFBRSxpQkFBaUI7UUFDdkIsS0FBSyxFQUFFLFVBQVU7UUFDakIsT0FBTyxFQUFFLElBQUk7UUFDYixZQUFZLEVBQUUsU0FBUztLQUN4QixDQUFDO0FBQ0osQ0FBQztBQUVELE1BQU0sVUFBVSxVQUFVLENBQUMsRUFBZTtJQUN4QyxPQUFPLElBQUksUUFBUSxDQUNqQixFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksQ0FBQyxhQUFhLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBYSxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFpRCxFQUNsSCxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksQ0FBQyxhQUFhLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBNkIsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FHaEYsRUFDRCxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksQ0FBQyxhQUFhLEVBQ2xDLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxDQUFDLHdCQUF3QixDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLElBQUksZUFBZSxDQUFDLENBQUMsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxDQUdqRyxFQUNELEVBQUUsQ0FBQyxhQUFhLElBQUksSUFBSSxRQUFRLENBQUMsRUFBRSxDQUFDLEVBQ3BDLEVBQUUsQ0FBQyxlQUFlLElBQUksSUFBSSxRQUFRLENBQUMsRUFBRSxDQUFDLENBQ3ZDLENBQUM7QUFDSixDQUFDO0FBRUQsU0FBUyx1QkFBdUIsQ0FBQyxFQUFlO0lBQzlDLE1BQU0sZUFBZSxHQUFHLEVBQUUsQ0FBQyxlQUFlLElBQUksSUFBSSxRQUFRLENBQUMsRUFBRSxDQUFDLENBQUM7SUFDL0QsTUFBTSx5QkFBeUIsR0FBRyxlQUFlLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLENBQUMsbUJBQW1CLENBQUMsQ0FBQztJQUM1RixJQUFJLENBQUMsZUFBZSxDQUFDLElBQUksRUFBRSxDQUFDLE1BQU0sQ0FBQyx5QkFBeUIsQ0FBQyxFQUFFLENBQUM7UUFDOUQsTUFBTSxJQUFJLEtBQUssQ0FDYiw0Q0FBNEMsZUFBZTthQUN4RCxJQUFJLEVBQUU7YUFDTixRQUFRLENBQUMsS0FBSyxDQUFDLFNBQVMseUJBQXlCLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQzswQkFDaEQsSUFBSSxDQUFDLFNBQVMsQ0FBQyxlQUFlLENBQUMsTUFBTSxFQUFFLENBQUM7OEJBQ3BDLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxDQUFDLDZCQUE2QixFQUFFLENBQzdFLENBQUM7SUFDSixDQUFDO0FBQ0gsQ0FBQztBQUVELE1BQU0sVUFBVSxtQkFBbUIsQ0FBQyxFQUFlO0lBQ2pELHVCQUF1QixDQUFDLEVBQUUsQ0FBQyxDQUFDO0lBQzVCLDhCQUE4QjtBQUNoQyxDQUFDIn0=

package/dest/simulator/acvm_native.d.ts

@@ -1,20 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-import { NoirCompiledCircuit } from '@aztec/types/noir';
-import { WitnessMap } from '@noir-lang/types';
-import { SimulationProvider } from './simulation_provider.js';
-/**
- *
- * @param inputWitness - The circuit's input witness
- * @param bytecode - The circuit buytecode
- * @param workingDirectory - A directory to use for temporary files by the ACVM
- * @param pathToAcvm - The path to the ACVm binary
- * @returns The completed partial witness outputted from the circuit
- */
-export declare function executeNativeCircuit(inputWitness: WitnessMap, bytecode: Buffer, workingDirectory: string, pathToAcvm: string): Promise<Map<number, string>>;
-export declare class NativeACVMSimulator implements SimulationProvider {
-    private workingDirectory;
-    private pathToAcvm;
-    constructor(workingDirectory: string, pathToAcvm: string);
-    simulateCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
-}
-//# sourceMappingURL=acvm_native.d.ts.map

package/dest/simulator/acvm_native.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm_native.d.ts","sourceRoot":"","sources":["../../src/simulator/acvm_native.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAmB9D;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,UAAU,EACxB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,gCAwDnB;AAED,qBAAa,mBAAoB,YAAW,kBAAkB;IAChD,OAAO,CAAC,gBAAgB;IAAU,OAAO,CAAC,UAAU;gBAA5C,gBAAgB,EAAE,MAAM,EAAU,UAAU,EAAE,MAAM;IAClE,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;CAapG"}

package/dest/simulator/acvm_native.js

@@ -1,96 +0,0 @@
-import { randomBytes } from '@aztec/foundation/crypto';
-import * as proc from 'child_process';
-import fs from 'fs/promises';
-/**
- * Parses a TOML format witness map string into a Map structure
- * @param outputString - The witness map in TOML format
- * @returns The parsed witness map
- */
-function parseIntoWitnessMap(outputString) {
-    const lines = outputString.split('\n');
-    return new Map(lines
-        .filter((line) => line.length)
-        .map((line) => {
-        const pair = line.replaceAll(' ', '').split('=');
-        return [Number(pair[0]), pair[1].replaceAll('"', '')];
-    }));
-}
-/**
- *
- * @param inputWitness - The circuit's input witness
- * @param bytecode - The circuit buytecode
- * @param workingDirectory - A directory to use for temporary files by the ACVM
- * @param pathToAcvm - The path to the ACVm binary
- * @returns The completed partial witness outputted from the circuit
- */
-export async function executeNativeCircuit(inputWitness, bytecode, workingDirectory, pathToAcvm) {
-    const bytecodeFilename = 'bytecode';
-    const witnessFilename = 'input_witness.toml';
-    // convert the witness map to TOML format
-    let witnessMap = '';
-    inputWitness.forEach((value, key) => {
-        witnessMap = witnessMap.concat(`${key} = '${value}'\n`);
-    });
-    // In case the directory is still around from some time previously, remove it
-    await fs.rm(workingDirectory, { recursive: true, force: true });
-    // Create the new working directory
-    await fs.mkdir(workingDirectory, { recursive: true });
-    // Write the bytecode and input witness to the working directory
-    await fs.writeFile(`${workingDirectory}/${bytecodeFilename}`, bytecode);
-    await fs.writeFile(`${workingDirectory}/${witnessFilename}`, witnessMap);
-    // Execute the ACVM using the given args
-    const args = [
-        `execute`,
-        `--working-directory`,
-        `${workingDirectory}`,
-        `--bytecode`,
-        `${bytecodeFilename}`,
-        `--input-witness`,
-        `${witnessFilename}`,
-        `--print`,
-    ];
-    const processPromise = new Promise((resolve, reject) => {
-        let outputWitness = Buffer.alloc(0);
-        let errorBuffer = Buffer.alloc(0);
-        const acvm = proc.spawn(pathToAcvm, args);
-        acvm.stdout.on('data', data => {
-            outputWitness = Buffer.concat([outputWitness, data]);
-        });
-        acvm.stderr.on('data', data => {
-            errorBuffer = Buffer.concat([errorBuffer, data]);
-        });
-        acvm.on('close', code => {
-            if (code === 0) {
-                resolve(outputWitness.toString('utf-8'));
-            }
-            else {
-                reject(errorBuffer.toString('utf-8'));
-            }
-        });
-    });
-    try {
-        const output = await processPromise;
-        return parseIntoWitnessMap(output);
-    }
-    finally {
-        // Clean up the working directory before we leave
-        await fs.rm(workingDirectory, { recursive: true, force: true });
-    }
-}
-export class NativeACVMSimulator {
-    constructor(workingDirectory, pathToAcvm) {
-        this.workingDirectory = workingDirectory;
-        this.pathToAcvm = pathToAcvm;
-    }
-    async simulateCircuit(input, compiledCircuit) {
-        // Execute the circuit on those initial witness values
-        // Decode the bytecode from base64 since the acvm does not know about base64 encoding
-        const decodedBytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
-        // Provide a unique working directory so we don't get clashes with parallel executions
-        const directory = `${this.workingDirectory}/${randomBytes(32).toString('hex')}`;
-        // Execute the circuit
-        const _witnessMap = await executeNativeCircuit(input, decodedBytecode, directory, this.pathToAcvm);
-        return _witnessMap;
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV9uYXRpdmUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2ltdWxhdG9yL2Fjdm1fbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUl2RCxPQUFPLEtBQUssSUFBSSxNQUFNLGVBQWUsQ0FBQztBQUN0QyxPQUFPLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFJN0I7Ozs7R0FJRztBQUNILFNBQVMsbUJBQW1CLENBQUMsWUFBb0I7SUFDL0MsTUFBTSxLQUFLLEdBQUcsWUFBWSxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUN2QyxPQUFPLElBQUksR0FBRyxDQUNaLEtBQUs7U0FDRixNQUFNLENBQUMsQ0FBQyxJQUFZLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUM7U0FDckMsR0FBRyxDQUFDLENBQUMsSUFBWSxFQUFFLEVBQUU7UUFDcEIsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsRUFBRSxDQUFDLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQ2pELE9BQU8sQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQztJQUN4RCxDQUFDLENBQUMsQ0FDTCxDQUFDO0FBQ0osQ0FBQztBQUVEOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLG9CQUFvQixDQUN4QyxZQUF3QixFQUN4QixRQUFnQixFQUNoQixnQkFBd0IsRUFDeEIsVUFBa0I7SUFFbEIsTUFBTSxnQkFBZ0IsR0FBRyxVQUFVLENBQUM7SUFDcEMsTUFBTSxlQUFlLEdBQUcsb0JBQW9CLENBQUM7SUFFN0MseUNBQXlDO0lBQ3pDLElBQUksVUFBVSxHQUFHLEVBQUUsQ0FBQztJQUNwQixZQUFZLENBQUMsT0FBTyxDQUFDLENBQUMsS0FBYSxFQUFFLEdBQVcsRUFBRSxFQUFFO1FBQ2xELFVBQVUsR0FBRyxVQUFVLENBQUMsTUFBTSxDQUFDLEdBQUcsR0FBRyxPQUFPLEtBQUssS0FBSyxDQUFDLENBQUM7SUFDMUQsQ0FBQyxDQUFDLENBQUM7SUFFSCw2RUFBNkU7SUFDN0UsTUFBTSxFQUFFLENBQUMsRUFBRSxDQUFDLGdCQUFnQixFQUFFLEVBQUUsU0FBUyxFQUFFLElBQUksRUFBRSxLQUFLLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQztJQUNoRSxtQ0FBbUM7SUFDbkMsTUFBTSxFQUFFLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLEVBQUUsU0FBUyxFQUFFLElBQUksRUFBRSxDQUFDLENBQUM7SUFDdEQsZ0VBQWdFO0lBQ2hFLE1BQU0sRUFBRSxDQUFDLFNBQVMsQ0FBQyxHQUFHLGdCQUFnQixJQUFJLGdCQUFnQixFQUFFLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFDeEUsTUFBTSxFQUFFLENBQUMsU0FBUyxDQUFDLEdBQUcsZ0JBQWdCLElBQUksZUFBZSxFQUFFLEVBQUUsVUFBVSxDQUFDLENBQUM7SUFFekUsd0NBQXdDO0lBQ3hDLE1BQU0sSUFBSSxHQUFHO1FBQ1gsU0FBUztRQUNULHFCQUFxQjtRQUNyQixHQUFHLGdCQUFnQixFQUFFO1FBQ3JCLFlBQVk7UUFDWixHQUFHLGdCQUFnQixFQUFFO1FBQ3JCLGlCQUFpQjtRQUNqQixHQUFHLGVBQWUsRUFBRTtRQUNwQixTQUFTO0tBQ1YsQ0FBQztJQUNGLE1BQU0sY0FBYyxHQUFHLElBQUksT0FBTyxDQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxFQUFFO1FBQzdELElBQUksYUFBYSxHQUFHLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDcEMsSUFBSSxXQUFXLEdBQUcsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUNsQyxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLFVBQVUsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUMxQyxJQUFJLENBQUMsTUFBTSxDQUFDLEVBQUUsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLEVBQUU7WUFDNUIsYUFBYSxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQyxhQUFhLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQztRQUN2RCxDQUFDLENBQUMsQ0FBQztRQUNILElBQUksQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUMsRUFBRTtZQUM1QixXQUFXLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLFdBQVcsRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFDO1FBQ25ELENBQUMsQ0FBQyxDQUFDO1FBQ0gsSUFBSSxDQUFDLEVBQUUsQ0FBQyxPQUFPLEVBQUUsSUFBSSxDQUFDLEVBQUU7WUFDdEIsSUFBSSxJQUFJLEtBQUssQ0FBQyxFQUFFLENBQUM7Z0JBQ2YsT0FBTyxDQUFDLGFBQWEsQ0FBQyxRQUFRLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQztZQUMzQyxDQUFDO2lCQUFNLENBQUM7Z0JBQ04sTUFBTSxDQUFDLFdBQVcsQ0FBQyxRQUFRLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQztZQUN4QyxDQUFDO1FBQ0gsQ0FBQyxDQUFDLENBQUM7SUFDTCxDQUFDLENBQUMsQ0FBQztJQUVILElBQUksQ0FBQztRQUNILE1BQU0sTUFBTSxHQUFHLE1BQU0sY0FBYyxDQUFDO1FBQ3BDLE9BQU8sbUJBQW1CLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDckMsQ0FBQztZQUFTLENBQUM7UUFDVCxpREFBaUQ7UUFDakQsTUFBTSxFQUFFLENBQUMsRUFBRSxDQUFDLGdCQUFnQixFQUFFLEVBQUUsU0FBUyxFQUFFLElBQUksRUFBRSxLQUFLLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQztJQUNsRSxDQUFDO0FBQ0gsQ0FBQztBQUVELE1BQU0sT0FBTyxtQkFBbUI7SUFDOUIsWUFBb0IsZ0JBQXdCLEVBQVUsVUFBa0I7UUFBcEQscUJBQWdCLEdBQWhCLGdCQUFnQixDQUFRO1FBQVUsZUFBVSxHQUFWLFVBQVUsQ0FBUTtJQUFHLENBQUM7SUFDNUUsS0FBSyxDQUFDLGVBQWUsQ0FBQyxLQUFpQixFQUFFLGVBQW9DO1FBQzNFLHNEQUFzRDtRQUV0RCxxRkFBcUY7UUFDckYsTUFBTSxlQUFlLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO1FBRXhFLHNGQUFzRjtRQUN0RixNQUFNLFNBQVMsR0FBRyxHQUFHLElBQUksQ0FBQyxnQkFBZ0IsSUFBSSxXQUFXLENBQUMsRUFBRSxDQUFDLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUM7UUFDaEYsc0JBQXNCO1FBQ3RCLE1BQU0sV0FBVyxHQUFHLE1BQU0sb0JBQW9CLENBQUMsS0FBSyxFQUFFLGVBQWUsRUFBRSxTQUFTLEVBQUUsSUFBSSxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBRW5HLE9BQU8sV0FBVyxDQUFDO0lBQ3JCLENBQUM7Q0FDRiJ9

package/dest/simulator/acvm_wasm.d.ts

@@ -1,7 +0,0 @@
-import { NoirCompiledCircuit } from '@aztec/types/noir';
-import { WitnessMap } from '@noir-lang/types';
-import { SimulationProvider } from './simulation_provider.js';
-export declare class WASMSimulator implements SimulationProvider {
-    simulateCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
-}
-//# sourceMappingURL=acvm_wasm.d.ts.map

package/dest/simulator/acvm_wasm.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm_wasm.d.ts","sourceRoot":"","sources":["../../src/simulator/acvm_wasm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAW9D,qBAAa,aAAc,YAAW,kBAAkB;IAChD,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;CAapG"}

package/dest/simulator/acvm_wasm.js

@@ -1,23 +0,0 @@
-import { createBlackBoxSolver, executeCircuitWithBlackBoxSolver } from '@noir-lang/acvm_js';
-let solver;
-const getSolver = () => {
-    if (!solver) {
-        solver = createBlackBoxSolver();
-    }
-    return solver;
-};
-export class WASMSimulator {
-    async simulateCircuit(input, compiledCircuit) {
-        // Execute the circuit on those initial witness values
-        //
-        // Decode the bytecode from base64 since the acvm does not know about base64 encoding
-        const decodedBytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
-        //
-        // Execute the circuit
-        const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, input, () => {
-            throw Error('unexpected oracle during execution');
-        });
-        return _witnessMap;
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV93YXNtLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NpbXVsYXRvci9hY3ZtX3dhc20udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUE4QixvQkFBb0IsRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBS3hILElBQUksTUFBMkMsQ0FBQztBQUVoRCxNQUFNLFNBQVMsR0FBRyxHQUF3QyxFQUFFO0lBQzFELElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQztRQUNaLE1BQU0sR0FBRyxvQkFBb0IsRUFBRSxDQUFDO0lBQ2xDLENBQUM7SUFDRCxPQUFPLE1BQU0sQ0FBQztBQUNoQixDQUFDLENBQUM7QUFFRixNQUFNLE9BQU8sYUFBYTtJQUN4QixLQUFLLENBQUMsZUFBZSxDQUFDLEtBQWlCLEVBQUUsZUFBb0M7UUFDM0Usc0RBQXNEO1FBQ3RELEVBQUU7UUFDRixxRkFBcUY7UUFDckYsTUFBTSxlQUFlLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO1FBQ3hFLEVBQUU7UUFDRixzQkFBc0I7UUFDdEIsTUFBTSxXQUFXLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FBQyxNQUFNLFNBQVMsRUFBRSxFQUFFLGVBQWUsRUFBRSxLQUFLLEVBQUUsR0FBRyxFQUFFO1lBQ3pHLE1BQU0sS0FBSyxDQUFDLG9DQUFvQyxDQUFDLENBQUM7UUFDcEQsQ0FBQyxDQUFDLENBQUM7UUFFSCxPQUFPLFdBQVcsQ0FBQztJQUNyQixDQUFDO0NBQ0YifQ==

package/dest/simulator/rollup.d.ts

@@ -1,43 +0,0 @@
-import { BaseOrMergeRollupPublicInputs, BaseParityInputs, BaseRollupInputs, MergeRollupInputs, ParityPublicInputs, RootParityInputs, RootRollupInputs, RootRollupPublicInputs } from '@aztec/circuits.js';
-import { RollupSimulator } from './index.js';
-import { SimulationProvider } from './simulation_provider.js';
-/**
- * Implements the rollup circuit simulator.
- */
-export declare class RealRollupCircuitSimulator implements RollupSimulator {
-    private simulationProvider;
-    private log;
-    private wasmSimulator;
-    constructor(simulationProvider: SimulationProvider);
-    /**
-     * Simulates the base parity circuit from its inputs.
-     * @param inputs - Inputs to the circuit.
-     * @returns The public inputs of the parity circuit.
-     */
-    baseParityCircuit(inputs: BaseParityInputs): Promise<ParityPublicInputs>;
-    /**
-     * Simulates the root parity circuit from its inputs.
-     * @param inputs - Inputs to the circuit.
-     * @returns The public inputs of the parity circuit.
-     */
-    rootParityCircuit(inputs: RootParityInputs): Promise<ParityPublicInputs>;
-    /**
-     * Simulates the base rollup circuit from its inputs.
-     * @param input - Inputs to the circuit.
-     * @returns The public inputs as outputs of the simulation.
-     */
-    baseRollupCircuit(input: BaseRollupInputs): Promise<BaseOrMergeRollupPublicInputs>;
-    /**
-     * Simulates the merge rollup circuit from its inputs.
-     * @param input - Inputs to the circuit.
-     * @returns The public inputs as outputs of the simulation.
-     */
-    mergeRollupCircuit(input: MergeRollupInputs): Promise<BaseOrMergeRollupPublicInputs>;
-    /**
-     * Simulates the root rollup circuit from its inputs.
-     * @param input - Inputs to the circuit.
-     * @returns The public inputs as outputs of the simulation.
-     */
-    rootRollupCircuit(input: RootRollupInputs): Promise<RootRollupPublicInputs>;
-}
-//# sourceMappingURL=rollup.d.ts.map

package/dest/simulator/rollup.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"rollup.d.ts","sourceRoot":"","sources":["../../src/simulator/rollup.ts"],"names":[],"mappings":"AACA,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAqB5B,OAAO,EAAE,eAAe,EAAiB,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D;;GAEG;AACH,qBAAa,0BAA2B,YAAW,eAAe;IAMpD,OAAO,CAAC,kBAAkB;IALtC,OAAO,CAAC,GAAG,CAA+C;IAG1D,OAAO,CAAC,aAAa,CAAsC;gBAEvC,kBAAkB,EAAE,kBAAkB;IAE1D;;;;OAIG;IACU,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAUrF;;;;OAIG;IACU,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAUrF;;;;OAIG;IACU,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,6BAA6B,CAAC;IAS/F;;;;OAIG;IACU,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,6BAA6B,CAAC;IAUjG;;;;OAIG;IACU,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,sBAAsB,CAAC;CAiBzF"}