@aztec/pxe 0.38.0 → 0.40.0

package/src/kernel_prover/test/test_circuit_prover.ts

@@ -1,21 +1,22 @@
+import { type AppCircuitProofOutput, type KernelProofOutput, type ProofCreator } from '@aztec/circuit-types';
 import { type CircuitSimulationStats } from '@aztec/circuit-types/stats';
 import {
+  NESTED_RECURSIVE_PROOF_LENGTH,
   type PrivateCircuitPublicInputs,
   type PrivateKernelCircuitPublicInputs,
   type PrivateKernelInitCircuitPrivateInputs,
   type PrivateKernelInnerCircuitPrivateInputs,
   type PrivateKernelTailCircuitPrivateInputs,
   type PrivateKernelTailCircuitPublicInputs,
-  Proof,
-  makeEmptyProof,
+  RECURSIVE_PROOF_LENGTH,
+  VerificationKeyAsFields,
+  makeRecursiveProof,
 } from '@aztec/circuits.js';
 import { siloNoteHash } from '@aztec/circuits.js/hash';
 import { createDebugLogger } from '@aztec/foundation/log';
 import { elapsed } from '@aztec/foundation/timer';
 import { executeInit, executeInner, executeTail, executeTailForPublic } from '@aztec/noir-protocol-circuits-types';
 
-import { type ProofCreator, type ProofOutput } from '../interface/proof_creator.js';
-
 /**
  * Test Proof Creator executes circuit simulations and provides fake proofs.
  */
@@ -32,7 +33,7 @@ export class TestProofCreator implements ProofCreator {
 
   public async createProofInit(
     privateInputs: PrivateKernelInitCircuitPrivateInputs,
-  ): Promise<ProofOutput<PrivateKernelCircuitPublicInputs>> {
+  ): Promise<KernelProofOutput<PrivateKernelCircuitPublicInputs>> {
     const [duration, result] = await elapsed(() => executeInit(privateInputs));
     this.log.debug(`Simulated private kernel init`, {
       eventName: 'circuit-simulation',
@@ -41,17 +42,12 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    const proof = makeEmptyProof();
-
-    return {
-      publicInputs: result,
-      proof: proof,
-    };
+    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result);
   }
 
   public async createProofInner(
     privateInputs: PrivateKernelInnerCircuitPrivateInputs,
-  ): Promise<ProofOutput<PrivateKernelCircuitPublicInputs>> {
+  ): Promise<KernelProofOutput<PrivateKernelCircuitPublicInputs>> {
     const [duration, result] = await elapsed(() => executeInner(privateInputs));
     this.log.debug(`Simulated private kernel inner`, {
       eventName: 'circuit-simulation',
@@ -60,17 +56,12 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    const proof = makeEmptyProof();
-
-    return {
-      publicInputs: result,
-      proof: proof,
-    };
+    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result);
   }
 
   public async createProofTail(
     privateInputs: PrivateKernelTailCircuitPrivateInputs,
-  ): Promise<ProofOutput<PrivateKernelTailCircuitPublicInputs>> {
+  ): Promise<KernelProofOutput<PrivateKernelTailCircuitPublicInputs>> {
     const isForPublic = privateInputs.isForPublic();
     const [duration, result] = await elapsed(() =>
       isForPublic ? executeTailForPublic(privateInputs) : executeTail(privateInputs),
@@ -82,15 +73,23 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    const proof = makeEmptyProof();
+    return this.makeEmptyKernelProofOutput<PrivateKernelTailCircuitPublicInputs>(result);
+  }
 
-    return {
-      publicInputs: result,
-      proof: proof,
+  createAppCircuitProof(_1: Map<number, string>, _2: Buffer): Promise<AppCircuitProofOutput> {
+    const appCircuitProofOutput: AppCircuitProofOutput = {
+      proof: makeRecursiveProof<typeof RECURSIVE_PROOF_LENGTH>(RECURSIVE_PROOF_LENGTH),
+      verificationKey: VerificationKeyAsFields.makeEmpty(),
     };
+    return Promise.resolve(appCircuitProofOutput);
   }
 
-  createAppCircuitProof(_1: Map<number, string>, _2: Buffer): Promise<Proof> {
-    return Promise.resolve(new Proof(Buffer.alloc(0)));
+  private makeEmptyKernelProofOutput<PublicInputsType>(publicInputs: PublicInputsType) {
+    const kernelProofOutput: KernelProofOutput<PublicInputsType> = {
+      publicInputs,
+      proof: makeRecursiveProof<typeof NESTED_RECURSIVE_PROOF_LENGTH>(NESTED_RECURSIVE_PROOF_LENGTH),
+      verificationKey: VerificationKeyAsFields.makeEmpty(),
+    };
+    return kernelProofOutput;
   }
 }

package/src/note_processor/produce_note_dao.ts

@@ -1,6 +1,6 @@
 import { type L1NotePayload, type TxHash } from '@aztec/circuit-types';
 import { Fr, type PublicKey } from '@aztec/circuits.js';
-import { computeCommitmentNonce, siloNullifier } from '@aztec/circuits.js/hash';
+import { computeNoteHashNonce, siloNullifier } from '@aztec/circuits.js/hash';
 import { type AcirSimulator } from '@aztec/simulator';
 
 import { NoteDao } from '../database/note_dao.js';
@@ -78,7 +78,6 @@ async function findNoteIndexAndNullifier(
   let nonce: Fr | undefined;
   let innerNoteHash: Fr | undefined;
   let siloedNoteHash: Fr | undefined;
-  let uniqueSiloedNoteHash: Fr | undefined;
   let innerNullifier: Fr | undefined;
   const firstNullifier = Fr.fromBuffer(txHash.toBuffer());
 
@@ -92,10 +91,16 @@ async function findNoteIndexAndNullifier(
       break;
     }
 
-    const expectedNonce = computeCommitmentNonce(firstNullifier, commitmentIndex);
-    ({ innerNoteHash, siloedNoteHash, uniqueSiloedNoteHash, innerNullifier } =
-      await simulator.computeNoteHashAndNullifier(contractAddress, expectedNonce, storageSlot, noteTypeId, note));
-    if (commitment.equals(uniqueSiloedNoteHash)) {
+    const expectedNonce = computeNoteHashNonce(firstNullifier, commitmentIndex);
+    ({ innerNoteHash, siloedNoteHash, innerNullifier } = await simulator.computeNoteHashAndNullifier(
+      contractAddress,
+      expectedNonce,
+      storageSlot,
+      noteTypeId,
+      note,
+    ));
+
+    if (commitment.equals(siloedNoteHash)) {
       nonce = expectedNonce;
       break;
     }

package/src/pxe_service/create_pxe_service.ts

@@ -1,4 +1,5 @@
-import { type AztecNode } from '@aztec/circuit-types';
+import { BBNativeProofCreator } from '@aztec/bb-prover';
+import { type AztecNode, type ProofCreator } from '@aztec/circuit-types';
 import { randomBytes } from '@aztec/foundation/crypto';
 import { TestKeyStore } from '@aztec/key-store';
 import { AztecLmdbStore } from '@aztec/kv-store/lmdb';
@@ -13,8 +14,6 @@ import { join } from 'path';
 
 import { type PXEServiceConfig } from '../config/index.js';
 import { KVPxeDatabase } from '../database/kv_pxe_database.js';
-import { BBNativeProofCreator } from '../kernel_prover/bb_prover/bb_native_proof_creator.js';
-import { type ProofCreator } from '../kernel_prover/interface/proof_creator.js';
 import { TestProofCreator } from '../kernel_prover/test/test_circuit_prover.js';
 import { PXEService } from './pxe_service.js';
 

package/src/pxe_service/pxe_service.ts

@@ -11,6 +11,7 @@ import {
   MerkleTreeId,
   type NoteFilter,
   type PXE,
+  type ProofCreator,
   SimulatedTx,
   SimulationError,
   Tx,
@@ -25,19 +26,19 @@ import { type TxPXEProcessingStats } from '@aztec/circuit-types/stats';
 import {
   AztecAddress,
   CallRequest,
-  CompleteAddress,
+  type CompleteAddress,
   FunctionData,
   MAX_PUBLIC_CALL_STACK_LENGTH_PER_TX,
   type PartialAddress,
   type PrivateKernelTailCircuitPublicInputs,
-  PublicCallRequest,
+  type PublicCallRequest,
   computeContractClassId,
   getContractClassFromArtifact,
 } from '@aztec/circuits.js';
-import { computeCommitmentNonce, siloNullifier } from '@aztec/circuits.js/hash';
+import { computeNoteHashNonce, siloNullifier } from '@aztec/circuits.js/hash';
 import { type ContractArtifact, type DecodedReturn, FunctionSelector, encodeArguments } from '@aztec/foundation/abi';
 import { arrayNonEmptyLength, padArrayEnd } from '@aztec/foundation/collection';
-import { Fr, type Point } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/fields';
 import { SerialQueue } from '@aztec/foundation/fifo';
 import { type DebugLogger, createDebugLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
@@ -45,6 +46,7 @@ import {
   type AcirSimulator,
   type ExecutionResult,
   collectEnqueuedPublicFunctionCalls,
+  collectPublicTeardownFunctionCall,
   collectSortedEncryptedLogs,
   collectSortedUnencryptedLogs,
   resolveOpcodeLocations,
@@ -57,7 +59,6 @@ import { ContractDataOracle } from '../contract_data_oracle/index.js';
 import { type PxeDatabase } from '../database/index.js';
 import { NoteDao } from '../database/note_dao.js';
 import { KernelOracle } from '../kernel_oracle/index.js';
-import { type ProofCreator } from '../kernel_prover/interface/proof_creator.js';
 import { KernelProver } from '../kernel_prover/kernel_prover.js';
 import { getAcirSimulator } from '../simulator/index.js';
 import { Synchronizer } from '../synchronizer/index.js';
@@ -114,12 +115,16 @@ export class PXEService implements PXE {
 
     let count = 0;
     for (const address of registeredAddresses) {
-      if (!publicKeysSet.has(address.publicKey.toString())) {
+      if (!publicKeysSet.has(address.publicKeys.masterIncomingViewingPublicKey.toString())) {
         continue;
       }
 
       count++;
-      this.synchronizer.addAccount(address.publicKey, this.keyStore, this.config.l2StartingBlock);
+      this.synchronizer.addAccount(
+        address.publicKeys.masterIncomingViewingPublicKey,
+        this.keyStore,
+        this.config.l2StartingBlock,
+      );
     }
 
     if (count > 0) {
@@ -169,24 +174,21 @@ export class PXEService implements PXE {
 
   public async registerAccount(secretKey: Fr, partialAddress: PartialAddress): Promise<CompleteAddress> {
     const accounts = await this.keyStore.getAccounts();
-    const account = await this.keyStore.addAccount(secretKey, partialAddress);
-    const completeAddress = new CompleteAddress(
-      account,
-      await this.keyStore.getMasterIncomingViewingPublicKey(account),
-      partialAddress,
-    );
-    if (accounts.includes(account)) {
-      this.log.info(`Account:\n "${completeAddress.address.toString()}"\n already registered.`);
-      return completeAddress;
+    const accountCompleteAddress = await this.keyStore.addAccount(secretKey, partialAddress);
+    if (accounts.includes(accountCompleteAddress.address)) {
+      this.log.info(`Account:\n "${accountCompleteAddress.address.toString()}"\n already registered.`);
+      return accountCompleteAddress;
     } else {
-      const masterIncomingViewingPublicKey = await this.keyStore.getMasterIncomingViewingPublicKey(account);
+      const masterIncomingViewingPublicKey = await this.keyStore.getMasterIncomingViewingPublicKey(
+        accountCompleteAddress.address,
+      );
       this.synchronizer.addAccount(masterIncomingViewingPublicKey, this.keyStore, this.config.l2StartingBlock);
-      this.log.info(`Registered account ${completeAddress.address.toString()}`);
-      this.log.debug(`Registered account\n ${completeAddress.toReadableString()}`);
+      this.log.info(`Registered account ${accountCompleteAddress.address.toString()}`);
+      this.log.debug(`Registered account\n ${accountCompleteAddress.toReadableString()}`);
     }
 
-    await this.db.addCompleteAddress(completeAddress);
-    return completeAddress;
+    await this.db.addCompleteAddress(accountCompleteAddress);
+    return accountCompleteAddress;
   }
 
   public async getRegisteredAccounts(): Promise<CompleteAddress[]> {
@@ -213,20 +215,9 @@ export class PXEService implements PXE {
     return this.keyStore.getPublicKeysHash(address);
   }
 
-  public async registerRecipient(recipient: CompleteAddress, publicKeys: Point[] = []): Promise<void> {
+  public async registerRecipient(recipient: CompleteAddress): Promise<void> {
     const wasAdded = await this.db.addCompleteAddress(recipient);
 
-    // TODO #5834: This should be refactored to be okay with only adding complete address
-    if (publicKeys.length !== 0) {
-      await this.keyStore.addPublicKeysForAccount(
-        recipient.address,
-        publicKeys[0],
-        publicKeys[1],
-        publicKeys[2],
-        publicKeys[3],
-      );
-    }
-
     if (wasAdded) {
       this.log.info(`Added recipient:\n ${recipient.toReadableString()}`);
     } else {
@@ -305,7 +296,7 @@ export class PXEService implements PXE {
       let owner = filter.owner;
       if (owner === undefined) {
         const completeAddresses = (await this.db.getCompleteAddresses()).find(address =>
-          address.publicKey.equals(dao.publicKey),
+          address.publicKeys.masterIncomingViewingPublicKey.equals(dao.publicKey),
         );
         if (completeAddresses === undefined) {
           throw new Error(`Cannot find complete address for public key ${dao.publicKey.toString()}`);
@@ -318,9 +309,9 @@ export class PXEService implements PXE {
   }
 
   public async addNote(note: ExtendedNote) {
-    const { publicKey } = (await this.db.getCompleteAddress(note.owner)) ?? {};
-    if (!publicKey) {
-      throw new Error('Unknown account.');
+    const owner = await this.db.getCompleteAddress(note.owner);
+    if (!owner) {
+      throw new Error(`Unknown account: ${note.owner.toString()}`);
     }
 
     const nonces = await this.getNoteNonces(note);
@@ -329,19 +320,15 @@ export class PXEService implements PXE {
     }
 
     for (const nonce of nonces) {
-      const { innerNoteHash, siloedNoteHash, uniqueSiloedNoteHash, innerNullifier } =
-        await this.simulator.computeNoteHashAndNullifier(
-          note.contractAddress,
-          nonce,
-          note.storageSlot,
-          note.noteTypeId,
-          note.note,
-        );
+      const { innerNoteHash, siloedNoteHash, innerNullifier } = await this.simulator.computeNoteHashAndNullifier(
+        note.contractAddress,
+        nonce,
+        note.storageSlot,
+        note.noteTypeId,
+        note.note,
+      );
 
-      // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1386)
-      // This can always be `uniqueSiloedNoteHash` once notes added from public also include nonces.
-      const noteHashToLookUp = nonce.isZero() ? siloedNoteHash : uniqueSiloedNoteHash;
-      const index = await this.node.findLeafIndex('latest', MerkleTreeId.NOTE_HASH_TREE, noteHashToLookUp);
+      const index = await this.node.findLeafIndex('latest', MerkleTreeId.NOTE_HASH_TREE, siloedNoteHash);
       if (index === undefined) {
         throw new Error('Note does not exist.');
       }
@@ -363,7 +350,7 @@ export class PXEService implements PXE {
           innerNoteHash,
           siloedNullifier,
           index,
-          publicKey,
+          owner.publicKeys.masterIncomingViewingPublicKey,
         ),
       );
     }
@@ -383,6 +370,23 @@ export class PXEService implements PXE {
     }
 
     const nonces: Fr[] = [];
+
+    // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1386)
+    // Remove this once notes added from public also include nonces.
+    {
+      const publicNoteNonce = Fr.ZERO;
+      const { siloedNoteHash } = await this.simulator.computeNoteHashAndNullifier(
+        note.contractAddress,
+        publicNoteNonce,
+        note.storageSlot,
+        note.noteTypeId,
+        note.note,
+      );
+      if (tx.noteHashes.some(hash => hash.equals(siloedNoteHash))) {
+        nonces.push(publicNoteNonce);
+      }
+    }
+
     const firstNullifier = tx.nullifiers[0];
     const hashes = tx.noteHashes;
     for (let i = 0; i < hashes.length; ++i) {
@@ -391,21 +395,15 @@ export class PXEService implements PXE {
         break;
       }
 
-      const nonce = computeCommitmentNonce(firstNullifier, i);
-      const { siloedNoteHash, uniqueSiloedNoteHash } = await this.simulator.computeNoteHashAndNullifier(
+      const nonce = computeNoteHashNonce(firstNullifier, i);
+      const { siloedNoteHash } = await this.simulator.computeNoteHashAndNullifier(
         note.contractAddress,
         nonce,
         note.storageSlot,
         note.noteTypeId,
         note.note,
       );
-      // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1386)
-      // Remove this once notes added from public also include nonces.
       if (hash.equals(siloedNoteHash)) {
-        nonces.push(Fr.ZERO);
-        break;
-      }
-      if (hash.equals(uniqueSiloedNoteHash)) {
         nonces.push(nonce);
       }
     }
@@ -670,7 +668,7 @@ export class PXEService implements PXE {
     const unencryptedLogs = new UnencryptedTxL2Logs([collectSortedUnencryptedLogs(executionResult)]);
     const encryptedLogs = new EncryptedTxL2Logs([collectSortedEncryptedLogs(executionResult)]);
     const enqueuedPublicFunctions = collectEnqueuedPublicFunctionCalls(executionResult);
-    const teardownPublicFunction = PublicCallRequest.empty();
+    const teardownPublicFunction = collectPublicTeardownFunctionCall(executionResult);
 
     // HACK(#1639): Manually patches the ordering of the public call stack
     // TODO(#757): Enforce proper ordering of enqueued public calls
@@ -678,7 +676,7 @@ export class PXEService implements PXE {
 
     const tx = new Tx(
       publicInputs,
-      proof,
+      proof.binaryProof,
       encryptedLogs,
       unencryptedLogs,
       enqueuedPublicFunctions,
@@ -806,10 +804,6 @@ export class PXEService implements PXE {
     return Promise.resolve(this.synchronizer.getSyncStatus());
   }
 
-  public getKeyStore() {
-    return this.keyStore;
-  }
-
   public async isContractClassPubliclyRegistered(id: Fr): Promise<boolean> {
     return !!(await this.node.getContractClass(id));
   }

package/src/pxe_service/test/pxe_test_suite.ts

@@ -12,6 +12,7 @@ import {
   FunctionData,
   INITIAL_L2_BLOCK_NUM,
   Point,
+  PublicKeys,
   TxContext,
   getContractClassFromArtifact,
 } from '@aztec/circuits.js';
@@ -68,9 +69,14 @@ export const pxeTestSuite = (testName: string, pxeSetup: () => Promise<PXE>) =>
       await pxe.registerAccount(randomSecretKey, randomPartialAddress);
     });
 
-    it('cannot register a recipient with the same aztec address but different pub key or partial address', async () => {
+    // Disabled as CompleteAddress constructor now performs preimage validation.
+    it.skip('cannot register a recipient with the same aztec address but different pub key or partial address', async () => {
       const recipient1 = CompleteAddress.random();
-      const recipient2 = new CompleteAddress(recipient1.address, Point.random(), Fr.random());
+      const recipient2 = new CompleteAddress(
+        recipient1.address,
+        new PublicKeys(Point.random(), Point.random(), Point.random(), Point.random()),
+        Fr.random(),
+      );
 
       await pxe.registerRecipient(recipient1);
       await expect(() => pxe.registerRecipient(recipient2)).rejects.toThrow(

package/src/simulator_oracle/index.ts

@@ -15,7 +15,6 @@ import {
   type FunctionSelector,
   type Header,
   type L1_TO_L2_MSG_TREE_HEIGHT,
-  type Point,
 } from '@aztec/circuits.js';
 import { computeL1ToL2MessageNullifier } from '@aztec/circuits.js/hash';
 import { type FunctionArtifact, getFunctionArtifact } from '@aztec/foundation/abi';
@@ -44,7 +43,6 @@ export class SimulatorOracle implements DBOracle {
     return { masterNullifierPublicKey, appNullifierSecretKey };
   }
 
-  // TODO: #5834
   async getCompleteAddress(address: AztecAddress): Promise<CompleteAddress> {
     const completeAddress = await this.db.getCompleteAddress(address);
     if (!completeAddress) {
@@ -79,16 +77,6 @@ export class SimulatorOracle implements DBOracle {
     return capsule;
   }
 
-  // TODO: #5834
-  async getPublicKeysForAddress(address: AztecAddress): Promise<Point[]> {
-    const nullifierPublicKey = await this.keyStore.getMasterNullifierPublicKey(address);
-    const incomingViewingPublicKey = await this.keyStore.getMasterIncomingViewingPublicKey(address);
-    const outgoingViewingPublicKey = await this.keyStore.getMasterOutgoingViewingPublicKey(address);
-    const taggingPublicKey = await this.keyStore.getMasterTaggingPublicKey(address);
-
-    return [nullifierPublicKey, incomingViewingPublicKey, outgoingViewingPublicKey, taggingPublicKey];
-  }
-
   async getNotes(contractAddress: AztecAddress, storageSlot: Fr, status: NoteStatus) {
     const noteDaos = await this.db.getNotes({
       contractAddress,

package/src/synchronizer/synchronizer.ts

@@ -285,7 +285,8 @@ export class Synchronizer {
     if (!completeAddress) {
       throw new Error(`Checking if account is synched is not possible for ${account} because it is not registered.`);
     }
-    const findByPublicKey = (x: NoteProcessor) => x.masterIncomingViewingPublicKey.equals(completeAddress.publicKey);
+    const findByPublicKey = (x: NoteProcessor) =>
+      x.masterIncomingViewingPublicKey.equals(completeAddress.publicKeys.masterIncomingViewingPublicKey);
     const processor = this.noteProcessors.find(findByPublicKey) ?? this.noteProcessorsToCatchUp.find(findByPublicKey);
     if (!processor) {
       throw new Error(

package/dest/kernel_prover/bb_prover/bb_native_proof_creator.d.ts

@@ -1,95 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-import { Fr, type PrivateCircuitPublicInputs, type PrivateKernelCircuitPublicInputs, type PrivateKernelInitCircuitPrivateInputs, type PrivateKernelInnerCircuitPrivateInputs, type PrivateKernelTailCircuitPrivateInputs, type PrivateKernelTailCircuitPublicInputs, Proof } from '@aztec/circuits.js';
-import { type LogFn } from '@aztec/foundation/log';
-import { type ClientProtocolArtifact } from '@aztec/noir-protocol-circuits-types';
-import { type ACVMField } from '@aztec/simulator';
-import { type NoirCompiledCircuit } from '@aztec/types/noir';
-import { type ProofCreator, type ProofOutput } from '../interface/proof_creator.js';
-declare enum BB_RESULT {
-    SUCCESS = 0,
-    FAILURE = 1,
-    ALREADY_PRESENT = 2
-}
-type BBSuccess = {
-    status: BB_RESULT.SUCCESS | BB_RESULT.ALREADY_PRESENT;
-    duration: number;
-    pkPath?: string;
-    vkPath?: string;
-    proofPath?: string;
-};
-type BBFailure = {
-    status: BB_RESULT.FAILURE;
-    reason: string;
-};
-/**
- * Used for generating proofs of noir circuits.
- * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
- * @param pathToBB - The full path to the bb binary
- * @param workingDirectory - A working directory for use by bb
- * @param circuitName - An identifier for the circuit
- * @param bytecode - The compiled circuit bytecode
- * @param inputWitnessFile - The circuit input witness
- * @param log - A logging function
- * @returns An object containing a result indication, the location of the proof and the duration taken
- */
-export declare function generateProof(pathToBB: string, workingDirectory: string, circuitName: string, bytecode: Buffer, inputWitnessFile: string, log: LogFn): Promise<BBFailure | BBSuccess>;
-/**
- * Used for generating either a proving or verification key, will exit early if the key already exists
- * It assumes the provided working directory is one where the caller wishes to maintain a permanent set of keys
- * It is not considered a temporary directory
- * @param pathToBB - The full path to the bb binary
- * @param workingDirectory - The directory into which the key should be created
- * @param circuitName - An identifier for the circuit
- * @param compiledCircuit - The compiled circuit
- * @param key - The type of key, either 'pk' or 'vk'
- * @param log - A logging function
- * @param force - Force the key to be regenerated even if it already exists
- * @returns An instance of BBResult
- */
-export declare function generateKeyForNoirCircuit(pathToBB: string, workingDirectory: string, circuitName: string, compiledCircuit: NoirCompiledCircuit, key: 'vk' | 'pk', log: LogFn, force?: boolean): Promise<BBSuccess | BBFailure>;
-/**
- * This proof creator implementation uses the native bb binary.
- * This is a temporary implementation until we make the WASM version work.
- */
-export declare class BBNativeProofCreator implements ProofCreator {
-    private bbBinaryPath;
-    private bbWorkingDirectory;
-    private log;
-    private simulator;
-    private verificationKeys;
-    constructor(bbBinaryPath: string, bbWorkingDirectory: string, log?: import("@aztec/foundation/log").Logger);
-    getSiloedCommitments(publicInputs: PrivateCircuitPublicInputs): Promise<Fr[]>;
-    createProofInit(inputs: PrivateKernelInitCircuitPrivateInputs): Promise<ProofOutput<PrivateKernelCircuitPublicInputs>>;
-    createProofInner(inputs: PrivateKernelInnerCircuitPrivateInputs): Promise<ProofOutput<PrivateKernelCircuitPublicInputs>>;
-    createProofTail(inputs: PrivateKernelTailCircuitPrivateInputs): Promise<ProofOutput<PrivateKernelTailCircuitPublicInputs>>;
-    createAppCircuitProof(partialWitness: Map<number, ACVMField>, bytecode: Buffer): Promise<Proof>;
-    /**
-     * Verifies a proof, will generate the verification key if one is not cached internally
-     * @param circuitType - The type of circuit whose proof is to be verified
-     * @param proof - The proof to be verified
-     */
-    verifyProof(circuitType: ClientProtocolArtifact, proof: Proof): Promise<void>;
-    /**
-     * Returns the verification key data for a circuit, will generate and cache it if not cached internally
-     * @param circuitType - The type of circuit for which the verification key is required
-     * @returns The verification key data
-     */
-    private getVerificationKeyDataForCircuit;
-    /**
-     * Reads the verification key data stored at the specified location and parses into a VerificationKeyData
-     * @param filePath - The directory containing the verification key data files
-     * @returns The verification key data
-     */
-    private convertVk;
-    /**
-     * Ensures our verification key cache includes the key data located at the specified directory
-     * @param filePath - The directory containing the verification key data files
-     * @param circuitType - The type of circuit to which the verification key corresponds
-     */
-    private updateVerificationKeyAfterProof;
-    private createSafeProof;
-    private generateWitnessAndCreateProof;
-    private createProof;
-}
-export {};
-//# sourceMappingURL=bb_native_proof_creator.d.ts.map

package/dest/kernel_prover/bb_prover/bb_native_proof_creator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bb_native_proof_creator.d.ts","sourceRoot":"","sources":["../../../src/kernel_prover/bb_prover/bb_native_proof_creator.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,EAAE,EACF,KAAK,0BAA0B,EAC/B,KAAK,gCAAgC,EACrC,KAAK,qCAAqC,EAC1C,KAAK,sCAAsC,EAC3C,KAAK,qCAAqC,EAC1C,KAAK,oCAAoC,EACzC,KAAK,EAGN,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,KAAK,KAAK,EAAqB,MAAM,uBAAuB,CAAC;AAGtE,OAAO,EAEL,KAAK,sBAAsB,EAS5B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,KAAK,SAAS,EAAiB,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAiBpF,aAAK,SAAS;IACZ,OAAO,IAAA;IACP,OAAO,IAAA;IACP,eAAe,IAAA;CAChB;AAED,KAAK,SAAS,GAAG;IACf,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAuCF;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAgDhC;AA0CD;;;;;;;;;;;;GAYG;AACH,wBAAsB,yBAAyB,CAC7C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,eAAe,EAAE,mBAAmB,EACpC,GAAG,EAAE,IAAI,GAAG,IAAI,EAChB,GAAG,EAAE,KAAK,EACV,KAAK,UAAQ,GACZ,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAoFhC;AAwGD;;;GAGG;AACH,qBAAa,oBAAqB,YAAW,YAAY;IASrD,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,GAAG;IAVb,OAAO,CAAC,SAAS,CAAuB;IAExC,OAAO,CAAC,gBAAgB,CAGpB;gBAGM,YAAY,EAAE,MAAM,EACpB,kBAAkB,EAAE,MAAM,EAC1B,GAAG,yCAA8C;IAGpD,oBAAoB,CAAC,YAAY,EAAE,0BAA0B;IAQvD,eAAe,CAC1B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,WAAW,CAAC,gCAAgC,CAAC,CAAC;IAK5C,gBAAgB,CAC3B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,WAAW,CAAC,gCAAgC,CAAC,CAAC;IAK5C,eAAe,CAC1B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,WAAW,CAAC,oCAAoC,CAAC,CAAC;IAsBhD,qBAAqB,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;IAc5G;;;;OAIG;IACU,WAAW,CAAC,WAAW,EAAE,sBAAsB,EAAE,KAAK,EAAE,KAAK;IA8B1E;;;;OAIG;YACW,gCAAgC;IAqB9C;;;;OAIG;YACW,SAAS;IAqBvB;;;;OAIG;YACW,+BAA+B;YAU/B,eAAe;YAYf,6BAA6B;YA4B7B,WAAW;CAiE1B"}