@aztec/bb-prover 0.55.1 → 0.57.0

package/src/verifier/bb_verifier.ts

@@ -22,7 +22,7 @@ import {
   verifyProof,
 } from '../bb/execute.js';
 import { type BBConfig } from '../config.js';
-import { getUltraHonkFlavorForCircuit } from '../honk.js';
+import { type UltraKeccakHonkProtocolArtifact, getUltraHonkFlavorForCircuit } from '../honk.js';
 import { mapProtocolArtifactNameToCircuitName } from '../stats.js';
 import { extractVkData } from '../verification_key/verification_key_data.js';
 
@@ -127,7 +127,7 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
     await runInDirectory(this.config.bbWorkingDirectory, operation, this.config.bbSkipCleanup);
   }
 
-  public async generateSolidityContract(circuit: ProtocolArtifact, contractName: string) {
+  public async generateSolidityContract(circuit: UltraKeccakHonkProtocolArtifact, contractName: string) {
     const result = await generateContractForCircuit(
       this.config.bbBinaryPath,
       this.config.bbWorkingDirectory,

package/dest/mappings/mappings.d.ts

@@ -1,13 +0,0 @@
-import { PublicKernelType } from '@aztec/circuit-types';
-import { type PublicKernelCircuitPrivateInputs, type PublicKernelCircuitPublicInputs } from '@aztec/circuits.js';
-import { type ServerProtocolArtifact } from '@aztec/noir-protocol-circuits-types';
-import { type WitnessMap } from '@noir-lang/types';
-export type PublicKernelProvingOps = {
-    artifact: ServerProtocolArtifact;
-    convertInputs: (inputs: PublicKernelCircuitPrivateInputs) => WitnessMap;
-    convertOutputs: (outputs: WitnessMap) => PublicKernelCircuitPublicInputs;
-};
-export type KernelTypeToArtifact = Record<PublicKernelType, PublicKernelProvingOps | undefined>;
-export declare const SimulatedPublicKernelArtifactMapping: KernelTypeToArtifact;
-export declare const PublicKernelArtifactMapping: KernelTypeToArtifact;
-//# sourceMappingURL=mappings.d.ts.map

package/dest/mappings/mappings.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mappings.d.ts","sourceRoot":"","sources":["../../src/mappings/mappings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,KAAK,gCAAgC,EAAE,KAAK,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AACjH,OAAO,EACL,KAAK,sBAAsB,EAa5B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,EAAE,sBAAsB,CAAC;IACjC,aAAa,EAAE,CAAC,MAAM,EAAE,gCAAgC,KAAK,UAAU,CAAC;IACxE,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,+BAA+B,CAAC;CAC1E,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,GAAG,SAAS,CAAC,CAAC;AAEhG,eAAO,MAAM,oCAAoC,EAAE,oBAkBlD,CAAC;AAEF,eAAO,MAAM,2BAA2B,EAAE,oBAkBzC,CAAC"}

package/dest/mappings/mappings.js

@@ -1,41 +0,0 @@
-import { PublicKernelType } from '@aztec/circuit-types';
-import { convertPublicInnerInputsToWitnessMap, convertPublicInnerOutputFromWitnessMap, convertPublicSetupInputsToWitnessMap, convertPublicSetupOutputFromWitnessMap, convertPublicTeardownInputsToWitnessMap, convertPublicTeardownOutputFromWitnessMap, convertSimulatedPublicInnerInputsToWitnessMap, convertSimulatedPublicInnerOutputFromWitnessMap, convertSimulatedPublicSetupInputsToWitnessMap, convertSimulatedPublicSetupOutputFromWitnessMap, convertSimulatedPublicTeardownInputsToWitnessMap, convertSimulatedPublicTeardownOutputFromWitnessMap, } from '@aztec/noir-protocol-circuits-types';
-export const SimulatedPublicKernelArtifactMapping = {
-    [PublicKernelType.NON_PUBLIC]: undefined,
-    [PublicKernelType.APP_LOGIC]: {
-        artifact: 'PublicKernelAppLogicArtifact',
-        convertInputs: convertSimulatedPublicInnerInputsToWitnessMap,
-        convertOutputs: convertSimulatedPublicInnerOutputFromWitnessMap,
-    },
-    [PublicKernelType.SETUP]: {
-        artifact: 'PublicKernelSetupArtifact',
-        convertInputs: convertSimulatedPublicSetupInputsToWitnessMap,
-        convertOutputs: convertSimulatedPublicSetupOutputFromWitnessMap,
-    },
-    [PublicKernelType.TEARDOWN]: {
-        artifact: 'PublicKernelTeardownArtifact',
-        convertInputs: convertSimulatedPublicTeardownInputsToWitnessMap,
-        convertOutputs: convertSimulatedPublicTeardownOutputFromWitnessMap,
-    },
-    [PublicKernelType.TAIL]: undefined,
-};
-export const PublicKernelArtifactMapping = {
-    [PublicKernelType.NON_PUBLIC]: undefined,
-    [PublicKernelType.APP_LOGIC]: {
-        artifact: 'PublicKernelAppLogicArtifact',
-        convertInputs: convertPublicInnerInputsToWitnessMap,
-        convertOutputs: convertPublicInnerOutputFromWitnessMap,
-    },
-    [PublicKernelType.SETUP]: {
-        artifact: 'PublicKernelSetupArtifact',
-        convertInputs: convertPublicSetupInputsToWitnessMap,
-        convertOutputs: convertPublicSetupOutputFromWitnessMap,
-    },
-    [PublicKernelType.TEARDOWN]: {
-        artifact: 'PublicKernelTeardownArtifact',
-        convertInputs: convertPublicTeardownInputsToWitnessMap,
-        convertOutputs: convertPublicTeardownOutputFromWitnessMap,
-    },
-    [PublicKernelType.TAIL]: undefined,
-};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWFwcGluZ3MuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbWFwcGluZ3MvbWFwcGluZ3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFeEQsT0FBTyxFQUVMLG9DQUFvQyxFQUNwQyxzQ0FBc0MsRUFDdEMsb0NBQW9DLEVBQ3BDLHNDQUFzQyxFQUN0Qyx1Q0FBdUMsRUFDdkMseUNBQXlDLEVBQ3pDLDZDQUE2QyxFQUM3QywrQ0FBK0MsRUFDL0MsNkNBQTZDLEVBQzdDLCtDQUErQyxFQUMvQyxnREFBZ0QsRUFDaEQsa0RBQWtELEdBQ25ELE1BQU0scUNBQXFDLENBQUM7QUFZN0MsTUFBTSxDQUFDLE1BQU0sb0NBQW9DLEdBQXlCO0lBQ3hFLENBQUMsZ0JBQWdCLENBQUMsVUFBVSxDQUFDLEVBQUUsU0FBUztJQUN4QyxDQUFDLGdCQUFnQixDQUFDLFNBQVMsQ0FBQyxFQUFFO1FBQzVCLFFBQVEsRUFBRSw4QkFBOEI7UUFDeEMsYUFBYSxFQUFFLDZDQUE2QztRQUM1RCxjQUFjLEVBQUUsK0NBQStDO0tBQ2hFO0lBQ0QsQ0FBQyxnQkFBZ0IsQ0FBQyxLQUFLLENBQUMsRUFBRTtRQUN4QixRQUFRLEVBQUUsMkJBQTJCO1FBQ3JDLGFBQWEsRUFBRSw2Q0FBNkM7UUFDNUQsY0FBYyxFQUFFLCtDQUErQztLQUNoRTtJQUNELENBQUMsZ0JBQWdCLENBQUMsUUFBUSxDQUFDLEVBQUU7UUFDM0IsUUFBUSxFQUFFLDhCQUE4QjtRQUN4QyxhQUFhLEVBQUUsZ0RBQWdEO1FBQy9ELGNBQWMsRUFBRSxrREFBa0Q7S0FDbkU7SUFDRCxDQUFDLGdCQUFnQixDQUFDLElBQUksQ0FBQyxFQUFFLFNBQVM7Q0FDbkMsQ0FBQztBQUVGLE1BQU0sQ0FBQyxNQUFNLDJCQUEyQixHQUF5QjtJQUMvRCxDQUFDLGdCQUFnQixDQUFDLFVBQVUsQ0FBQyxFQUFFLFNBQVM7SUFDeEMsQ0FBQyxnQkFBZ0IsQ0FBQyxTQUFTLENBQUMsRUFBRTtRQUM1QixRQUFRLEVBQUUsOEJBQThCO1FBQ3hDLGFBQWEsRUFBRSxvQ0FBb0M7UUFDbkQsY0FBYyxFQUFFLHNDQUFzQztLQUN2RDtJQUNELENBQUMsZ0JBQWdCLENBQUMsS0FBSyxDQUFDLEVBQUU7UUFDeEIsUUFBUSxFQUFFLDJCQUEyQjtRQUNyQyxhQUFhLEVBQUUsb0NBQW9DO1FBQ25ELGNBQWMsRUFBRSxzQ0FBc0M7S0FDdkQ7SUFDRCxDQUFDLGdCQUFnQixDQUFDLFFBQVEsQ0FBQyxFQUFFO1FBQzNCLFFBQVEsRUFBRSw4QkFBOEI7UUFDeEMsYUFBYSxFQUFFLHVDQUF1QztRQUN0RCxjQUFjLEVBQUUseUNBQXlDO0tBQzFEO0lBQ0QsQ0FBQyxnQkFBZ0IsQ0FBQyxJQUFJLENBQUMsRUFBRSxTQUFTO0NBQ25DLENBQUMifQ==

package/src/mappings/mappings.ts

@@ -1,67 +0,0 @@
-import { PublicKernelType } from '@aztec/circuit-types';
-import { type PublicKernelCircuitPrivateInputs, type PublicKernelCircuitPublicInputs } from '@aztec/circuits.js';
-import {
-  type ServerProtocolArtifact,
-  convertPublicInnerInputsToWitnessMap,
-  convertPublicInnerOutputFromWitnessMap,
-  convertPublicSetupInputsToWitnessMap,
-  convertPublicSetupOutputFromWitnessMap,
-  convertPublicTeardownInputsToWitnessMap,
-  convertPublicTeardownOutputFromWitnessMap,
-  convertSimulatedPublicInnerInputsToWitnessMap,
-  convertSimulatedPublicInnerOutputFromWitnessMap,
-  convertSimulatedPublicSetupInputsToWitnessMap,
-  convertSimulatedPublicSetupOutputFromWitnessMap,
-  convertSimulatedPublicTeardownInputsToWitnessMap,
-  convertSimulatedPublicTeardownOutputFromWitnessMap,
-} from '@aztec/noir-protocol-circuits-types';
-
-import { type WitnessMap } from '@noir-lang/types';
-
-export type PublicKernelProvingOps = {
-  artifact: ServerProtocolArtifact;
-  convertInputs: (inputs: PublicKernelCircuitPrivateInputs) => WitnessMap;
-  convertOutputs: (outputs: WitnessMap) => PublicKernelCircuitPublicInputs;
-};
-
-export type KernelTypeToArtifact = Record<PublicKernelType, PublicKernelProvingOps | undefined>;
-
-export const SimulatedPublicKernelArtifactMapping: KernelTypeToArtifact = {
-  [PublicKernelType.NON_PUBLIC]: undefined,
-  [PublicKernelType.APP_LOGIC]: {
-    artifact: 'PublicKernelAppLogicArtifact',
-    convertInputs: convertSimulatedPublicInnerInputsToWitnessMap,
-    convertOutputs: convertSimulatedPublicInnerOutputFromWitnessMap,
-  },
-  [PublicKernelType.SETUP]: {
-    artifact: 'PublicKernelSetupArtifact',
-    convertInputs: convertSimulatedPublicSetupInputsToWitnessMap,
-    convertOutputs: convertSimulatedPublicSetupOutputFromWitnessMap,
-  },
-  [PublicKernelType.TEARDOWN]: {
-    artifact: 'PublicKernelTeardownArtifact',
-    convertInputs: convertSimulatedPublicTeardownInputsToWitnessMap,
-    convertOutputs: convertSimulatedPublicTeardownOutputFromWitnessMap,
-  },
-  [PublicKernelType.TAIL]: undefined,
-};
-
-export const PublicKernelArtifactMapping: KernelTypeToArtifact = {
-  [PublicKernelType.NON_PUBLIC]: undefined,
-  [PublicKernelType.APP_LOGIC]: {
-    artifact: 'PublicKernelAppLogicArtifact',
-    convertInputs: convertPublicInnerInputsToWitnessMap,
-    convertOutputs: convertPublicInnerOutputFromWitnessMap,
-  },
-  [PublicKernelType.SETUP]: {
-    artifact: 'PublicKernelSetupArtifact',
-    convertInputs: convertPublicSetupInputsToWitnessMap,
-    convertOutputs: convertPublicSetupOutputFromWitnessMap,
-  },
-  [PublicKernelType.TEARDOWN]: {
-    artifact: 'PublicKernelTeardownArtifact',
-    convertInputs: convertPublicTeardownInputsToWitnessMap,
-    convertOutputs: convertPublicTeardownOutputFromWitnessMap,
-  },
-  [PublicKernelType.TAIL]: undefined,
-};