@aztec/pxe 0.69.1 → 0.70.0

package/dest/kernel_prover/test/test_circuit_prover.js

@@ -1,75 +0,0 @@
-import { ClientIvcProof, } from '@aztec/circuits.js';
-import { createLogger } from '@aztec/foundation/log';
-import { elapsed } from '@aztec/foundation/timer';
-import { ClientCircuitVks, executeInit, executeInner, executeReset, executeTail, executeTailForPublic, getPrivateKernelResetArtifactName, maxPrivateKernelResetDimensions, } from '@aztec/noir-protocol-circuits-types/client';
-/**
- * Test Proof Creator executes circuit simulations and provides fake proofs.
- */
-export class TestPrivateKernelProver {
-    constructor(log = createLogger('pxe:test_proof_creator')) {
-        this.log = log;
-    }
-    createClientIvcProof(_acirs, _witnessStack) {
-        return Promise.resolve(ClientIvcProof.empty());
-    }
-    async simulateProofInit(privateInputs) {
-        const [duration, result] = await elapsed(() => executeInit(privateInputs));
-        this.log.debug(`Simulated private kernel init`, {
-            eventName: 'circuit-simulation',
-            circuitName: 'private-kernel-init',
-            duration,
-            inputSize: privateInputs.toBuffer().length,
-            outputSize: result.toBuffer().length,
-        });
-        return this.makeEmptyKernelSimulateOutput(result, 'PrivateKernelInitArtifact');
-    }
-    async simulateProofInner(privateInputs) {
-        const [duration, result] = await elapsed(() => executeInner(privateInputs));
-        this.log.debug(`Simulated private kernel inner`, {
-            eventName: 'circuit-simulation',
-            circuitName: 'private-kernel-inner',
-            duration,
-            inputSize: privateInputs.toBuffer().length,
-            outputSize: result.toBuffer().length,
-        });
-        return this.makeEmptyKernelSimulateOutput(result, 'PrivateKernelInnerArtifact');
-    }
-    async simulateProofReset(privateInputs) {
-        const variantPrivateInputs = privateInputs.trimToSizes();
-        const [duration, result] = await elapsed(() => executeReset(variantPrivateInputs, privateInputs.dimensions, privateInputs));
-        this.log.debug(`Simulated private kernel reset`, {
-            eventName: 'circuit-simulation',
-            circuitName: 'private-kernel-reset',
-            duration,
-            inputSize: variantPrivateInputs.toBuffer().length,
-            outputSize: result.toBuffer().length,
-        });
-        return this.makeEmptyKernelSimulateOutput(result, getPrivateKernelResetArtifactName(maxPrivateKernelResetDimensions));
-    }
-    async simulateProofTail(privateInputs) {
-        const isForPublic = privateInputs.isForPublic();
-        const [duration, result] = await elapsed(() => isForPublic ? executeTailForPublic(privateInputs) : executeTail(privateInputs));
-        this.log.debug(`Simulated private kernel ordering`, {
-            eventName: 'circuit-simulation',
-            circuitName: 'private-kernel-tail',
-            duration,
-            inputSize: privateInputs.toBuffer().length,
-            outputSize: result.toBuffer().length,
-        });
-        return this.makeEmptyKernelSimulateOutput(result, isForPublic ? 'PrivateKernelTailToPublicArtifact' : 'PrivateKernelTailArtifact');
-    }
-    computeGateCountForCircuit(_bytecode, _circuitName) {
-        // No gates in test prover
-        return Promise.resolve(0);
-    }
-    makeEmptyKernelSimulateOutput(publicInputs, circuitType) {
-        const kernelProofOutput = {
-            publicInputs,
-            verificationKey: ClientCircuitVks[circuitType].keyAsFields,
-            outputWitness: new Map(),
-            bytecode: Buffer.from([]),
-        };
-        return kernelProofOutput;
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVzdF9jaXJjdWl0X3Byb3Zlci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWxfcHJvdmVyL3Rlc3QvdGVzdF9jaXJjdWl0X3Byb3Zlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEVBQ0wsY0FBYyxHQU9mLE1BQU0sb0JBQW9CLENBQUM7QUFDNUIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3JELE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNsRCxPQUFPLEVBQ0wsZ0JBQWdCLEVBRWhCLFdBQVcsRUFDWCxZQUFZLEVBQ1osWUFBWSxFQUNaLFdBQVcsRUFDWCxvQkFBb0IsRUFDcEIsaUNBQWlDLEVBQ2pDLCtCQUErQixHQUNoQyxNQUFNLDRDQUE0QyxDQUFDO0FBSXBEOztHQUVHO0FBQ0gsTUFBTSxPQUFPLHVCQUF1QjtJQUNsQyxZQUFvQixNQUFNLFlBQVksQ0FBQyx3QkFBd0IsQ0FBQztRQUE1QyxRQUFHLEdBQUgsR0FBRyxDQUF5QztJQUFHLENBQUM7SUFFcEUsb0JBQW9CLENBQUMsTUFBZ0IsRUFBRSxhQUEyQjtRQUNoRSxPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUMsY0FBYyxDQUFDLEtBQUssRUFBRSxDQUFDLENBQUM7SUFDakQsQ0FBQztJQUVNLEtBQUssQ0FBQyxpQkFBaUIsQ0FDNUIsYUFBb0Q7UUFFcEQsTUFBTSxDQUFDLFFBQVEsRUFBRSxNQUFNLENBQUMsR0FBRyxNQUFNLE9BQU8sQ0FBQyxHQUFHLEVBQUUsQ0FBQyxXQUFXLENBQUMsYUFBYSxDQUFDLENBQUMsQ0FBQztRQUMzRSxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQywrQkFBK0IsRUFBRTtZQUM5QyxTQUFTLEVBQUUsb0JBQW9CO1lBQy9CLFdBQVcsRUFBRSxxQkFBcUI7WUFDbEMsUUFBUTtZQUNSLFNBQVMsRUFBRSxhQUFhLENBQUMsUUFBUSxFQUFFLENBQUMsTUFBTTtZQUMxQyxVQUFVLEVBQUUsTUFBTSxDQUFDLFFBQVEsRUFBRSxDQUFDLE1BQU07U0FDSixDQUFDLENBQUM7UUFDcEMsT0FBTyxJQUFJLENBQUMsNkJBQTZCLENBQW1DLE1BQU0sRUFBRSwyQkFBMkIsQ0FBQyxDQUFDO0lBQ25ILENBQUM7SUFFTSxLQUFLLENBQUMsa0JBQWtCLENBQzdCLGFBQXFEO1FBRXJELE1BQU0sQ0FBQyxRQUFRLEVBQUUsTUFBTSxDQUFDLEdBQUcsTUFBTSxPQUFPLENBQUMsR0FBRyxFQUFFLENBQUMsWUFBWSxDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUM7UUFDNUUsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsZ0NBQWdDLEVBQUU7WUFDL0MsU0FBUyxFQUFFLG9CQUFvQjtZQUMvQixXQUFXLEVBQUUsc0JBQXNCO1lBQ25DLFFBQVE7WUFDUixTQUFTLEVBQUUsYUFBYSxDQUFDLFFBQVEsRUFBRSxDQUFDLE1BQU07WUFDMUMsVUFBVSxFQUFFLE1BQU0sQ0FBQyxRQUFRLEVBQUUsQ0FBQyxNQUFNO1NBQ0osQ0FBQyxDQUFDO1FBQ3BDLE9BQU8sSUFBSSxDQUFDLDZCQUE2QixDQUFtQyxNQUFNLEVBQUUsNEJBQTRCLENBQUMsQ0FBQztJQUNwSCxDQUFDO0lBRU0sS0FBSyxDQUFDLGtCQUFrQixDQUM3QixhQUFxRDtRQUVyRCxNQUFNLG9CQUFvQixHQUFHLGFBQWEsQ0FBQyxXQUFXLEVBQUUsQ0FBQztRQUN6RCxNQUFNLENBQUMsUUFBUSxFQUFFLE1BQU0sQ0FBQyxHQUFHLE1BQU0sT0FBTyxDQUFDLEdBQUcsRUFBRSxDQUM1QyxZQUFZLENBQUMsb0JBQW9CLEVBQUUsYUFBYSxDQUFDLFVBQVUsRUFBRSxhQUFhLENBQUMsQ0FDNUUsQ0FBQztRQUNGLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLGdDQUFnQyxFQUFFO1lBQy9DLFNBQVMsRUFBRSxvQkFBb0I7WUFDL0IsV0FBVyxFQUFFLHNCQUFzQjtZQUNuQyxRQUFRO1lBQ1IsU0FBUyxFQUFFLG9CQUFvQixDQUFDLFFBQVEsRUFBRSxDQUFDLE1BQU07WUFDakQsVUFBVSxFQUFFLE1BQU0sQ0FBQyxRQUFRLEVBQUUsQ0FBQyxNQUFNO1NBQ0osQ0FBQyxDQUFDO1FBQ3BDLE9BQU8sSUFBSSxDQUFDLDZCQUE2QixDQUN2QyxNQUFNLEVBQ04saUNBQWlDLENBQUMsK0JBQStCLENBQUMsQ0FDbkUsQ0FBQztJQUNKLENBQUM7SUFFTSxLQUFLLENBQUMsaUJBQWlCLENBQzVCLGFBQW9EO1FBRXBELE1BQU0sV0FBVyxHQUFHLGFBQWEsQ0FBQyxXQUFXLEVBQUUsQ0FBQztRQUNoRCxNQUFNLENBQUMsUUFBUSxFQUFFLE1BQU0sQ0FBQyxHQUFHLE1BQU0sT0FBTyxDQUFDLEdBQUcsRUFBRSxDQUM1QyxXQUFXLENBQUMsQ0FBQyxDQUFDLG9CQUFvQixDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsYUFBYSxDQUFDLENBQy9FLENBQUM7UUFDRixJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxtQ0FBbUMsRUFBRTtZQUNsRCxTQUFTLEVBQUUsb0JBQW9CO1lBQy9CLFdBQVcsRUFBRSxxQkFBcUI7WUFDbEMsUUFBUTtZQUNSLFNBQVMsRUFBRSxhQUFhLENBQUMsUUFBUSxFQUFFLENBQUMsTUFBTTtZQUMxQyxVQUFVLEVBQUUsTUFBTSxDQUFDLFFBQVEsRUFBRSxDQUFDLE1BQU07U0FDSixDQUFDLENBQUM7UUFDcEMsT0FBTyxJQUFJLENBQUMsNkJBQTZCLENBQ3ZDLE1BQU0sRUFDTixXQUFXLENBQUMsQ0FBQyxDQUFDLG1DQUFtQyxDQUFDLENBQUMsQ0FBQywyQkFBMkIsQ0FDaEYsQ0FBQztJQUNKLENBQUM7SUFFTSwwQkFBMEIsQ0FBQyxTQUFpQixFQUFFLFlBQW9CO1FBQ3ZFLDBCQUEwQjtRQUMxQixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDNUIsQ0FBQztJQUVPLDZCQUE2QixDQUVuQyxZQUE4QixFQUFFLFdBQW1DO1FBQ25FLE1BQU0saUJBQWlCLEdBQWtEO1lBQ3ZFLFlBQVk7WUFDWixlQUFlLEVBQUUsZ0JBQWdCLENBQUMsV0FBVyxDQUFDLENBQUMsV0FBVztZQUMxRCxhQUFhLEVBQUUsSUFBSSxHQUFHLEVBQUU7WUFDeEIsUUFBUSxFQUFFLE1BQU0sQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDO1NBQzFCLENBQUM7UUFDRixPQUFPLGlCQUFpQixDQUFDO0lBQzNCLENBQUM7Q0FDRiJ9

package/src/kernel_prover/test/test_circuit_prover.ts

@@ -1,122 +0,0 @@
-import { type PrivateKernelProver, type PrivateKernelSimulateOutput } from '@aztec/circuit-types';
-import type { CircuitSimulationStats } from '@aztec/circuit-types/stats';
-import {
-  ClientIvcProof,
-  type PrivateKernelCircuitPublicInputs,
-  type PrivateKernelInitCircuitPrivateInputs,
-  type PrivateKernelInnerCircuitPrivateInputs,
-  type PrivateKernelResetCircuitPrivateInputs,
-  type PrivateKernelTailCircuitPrivateInputs,
-  type PrivateKernelTailCircuitPublicInputs,
-} from '@aztec/circuits.js';
-import { createLogger } from '@aztec/foundation/log';
-import { elapsed } from '@aztec/foundation/timer';
-import {
-  ClientCircuitVks,
-  type ClientProtocolArtifact,
-  executeInit,
-  executeInner,
-  executeReset,
-  executeTail,
-  executeTailForPublic,
-  getPrivateKernelResetArtifactName,
-  maxPrivateKernelResetDimensions,
-} from '@aztec/noir-protocol-circuits-types/client';
-
-import { type WitnessMap } from '@noir-lang/types';
-
-/**
- * Test Proof Creator executes circuit simulations and provides fake proofs.
- */
-export class TestPrivateKernelProver implements PrivateKernelProver {
-  constructor(private log = createLogger('pxe:test_proof_creator')) {}
-
-  createClientIvcProof(_acirs: Buffer[], _witnessStack: WitnessMap[]): Promise<ClientIvcProof> {
-    return Promise.resolve(ClientIvcProof.empty());
-  }
-
-  public async simulateProofInit(
-    privateInputs: PrivateKernelInitCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>> {
-    const [duration, result] = await elapsed(() => executeInit(privateInputs));
-    this.log.debug(`Simulated private kernel init`, {
-      eventName: 'circuit-simulation',
-      circuitName: 'private-kernel-init',
-      duration,
-      inputSize: privateInputs.toBuffer().length,
-      outputSize: result.toBuffer().length,
-    } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelSimulateOutput<PrivateKernelCircuitPublicInputs>(result, 'PrivateKernelInitArtifact');
-  }
-
-  public async simulateProofInner(
-    privateInputs: PrivateKernelInnerCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>> {
-    const [duration, result] = await elapsed(() => executeInner(privateInputs));
-    this.log.debug(`Simulated private kernel inner`, {
-      eventName: 'circuit-simulation',
-      circuitName: 'private-kernel-inner',
-      duration,
-      inputSize: privateInputs.toBuffer().length,
-      outputSize: result.toBuffer().length,
-    } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelSimulateOutput<PrivateKernelCircuitPublicInputs>(result, 'PrivateKernelInnerArtifact');
-  }
-
-  public async simulateProofReset(
-    privateInputs: PrivateKernelResetCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>> {
-    const variantPrivateInputs = privateInputs.trimToSizes();
-    const [duration, result] = await elapsed(() =>
-      executeReset(variantPrivateInputs, privateInputs.dimensions, privateInputs),
-    );
-    this.log.debug(`Simulated private kernel reset`, {
-      eventName: 'circuit-simulation',
-      circuitName: 'private-kernel-reset',
-      duration,
-      inputSize: variantPrivateInputs.toBuffer().length,
-      outputSize: result.toBuffer().length,
-    } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelSimulateOutput<PrivateKernelCircuitPublicInputs>(
-      result,
-      getPrivateKernelResetArtifactName(maxPrivateKernelResetDimensions),
-    );
-  }
-
-  public async simulateProofTail(
-    privateInputs: PrivateKernelTailCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>> {
-    const isForPublic = privateInputs.isForPublic();
-    const [duration, result] = await elapsed(() =>
-      isForPublic ? executeTailForPublic(privateInputs) : executeTail(privateInputs),
-    );
-    this.log.debug(`Simulated private kernel ordering`, {
-      eventName: 'circuit-simulation',
-      circuitName: 'private-kernel-tail',
-      duration,
-      inputSize: privateInputs.toBuffer().length,
-      outputSize: result.toBuffer().length,
-    } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>(
-      result,
-      isForPublic ? 'PrivateKernelTailToPublicArtifact' : 'PrivateKernelTailArtifact',
-    );
-  }
-
-  public computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
-    // No gates in test prover
-    return Promise.resolve(0);
-  }
-
-  private makeEmptyKernelSimulateOutput<
-    PublicInputsType extends PrivateKernelTailCircuitPublicInputs | PrivateKernelCircuitPublicInputs,
-  >(publicInputs: PublicInputsType, circuitType: ClientProtocolArtifact) {
-    const kernelProofOutput: PrivateKernelSimulateOutput<PublicInputsType> = {
-      publicInputs,
-      verificationKey: ClientCircuitVks[circuitType].keyAsFields,
-      outputWitness: new Map(),
-      bytecode: Buffer.from([]),
-    };
-    return kernelProofOutput;
-  }
-}