feat: Public Kernel proving orchestration (#5748)

This PR makes makes the following changes: 1. Moves code related to public function simulation from `sequencer-client` to `simulator` 2. `ProvingOrchestrator` now orchestrates public VM and kernel circuit proving
AztecProtocol · Apr 15, 2024 · 2ae0ee5 · 2ae0ee5
1 parent ae37d32
commit 2ae0ee5
Show file tree

Hide file tree

Showing 50 changed files with 790 additions and 361 deletions.
diff --git a/yarn-project/aztec-node/src/aztec-node/server.ts b/yarn-project/aztec-node/src/aztec-node/server.ts
@@ -51,13 +51,8 @@ import { initStoreForRollup, openTmpStore } from '@aztec/kv-store/utils';
 import { SHA256Trunc, StandardTree } from '@aztec/merkle-tree';
 import { AztecKVTxPool, type P2P, createP2PClient } from '@aztec/p2p';
 import { DummyProver, TxProver } from '@aztec/prover-client';
-import {
-  type GlobalVariableBuilder,
-  PublicProcessorFactory,
-  SequencerClient,
-  getGlobalVariableBuilder,
-} from '@aztec/sequencer-client';
-import { WASMSimulator } from '@aztec/simulator';
+import { type GlobalVariableBuilder, SequencerClient, getGlobalVariableBuilder } from '@aztec/sequencer-client';
+import { PublicProcessorFactory, WASMSimulator } from '@aztec/simulator';
 import {
   type ContractClassPublic,
   type ContractDataSource,

diff --git a/yarn-project/circuit-types/src/tx/index.ts b/yarn-project/circuit-types/src/tx/index.ts
@@ -3,3 +3,4 @@ export * from './simulated_tx.js';
 export * from './tx_hash.js';
 export * from './tx_receipt.js';
 export * from './processed_tx.js';
+export * from './tx_validator.js';
diff --git a/yarn-project/circuit-types/src/tx/processed_tx.ts b/yarn-project/circuit-types/src/tx/processed_tx.ts
@@ -22,6 +22,7 @@ import {
  * Used to communicate to the prover which type of circuit to prove
  */
 export enum PublicKernelType {
+  NON_PUBLIC,
   SETUP,
   APP_LOGIC,
   TEARDOWN,

diff --git a/...r-client/src/tx_validator/tx_validator.ts → ...ject/circuit-types/src/tx/tx_validator.ts b/...r-client/src/tx_validator/tx_validator.ts → ...ject/circuit-types/src/tx/tx_validator.ts
diff --git a/yarn-project/prover-client/Dockerfile.test b/yarn-project/prover-client/Dockerfile.test
@@ -32,7 +32,7 @@ RUN ln -s /usr/src/yarn-project/node_modules /usr/src/node_modules
 ENV PUPPETEER_SKIP_CHROMIUM_DOWNLOAD=true
 
 RUN ./bootstrap.sh
-RUN cd prover-client && LOG_LEVEL=verbose ACVM_WORKING_DIRECTORY='/tmp/acvm' BB_WORKING_DIRECTORY='/tmp/bb' yarn test
+RUN cd prover-client && ACVM_WORKING_DIRECTORY='/tmp/acvm' BB_WORKING_DIRECTORY='/tmp/bb' yarn test
 
 # Avoid pushing some huge container back to ecr.
 FROM scratch

diff --git a/yarn-project/prover-client/package.json b/yarn-project/prover-client/package.json
@@ -48,6 +48,7 @@
     "@aztec/noir-protocol-circuits-types": "workspace:^",
     "@aztec/simulator": "workspace:^",
     "@aztec/world-state": "workspace:^",
+    "@noir-lang/types": "portal:../../noir/packages/types",
     "commander": "^9.0.0",
     "lodash.chunk": "^4.2.0",
     "source-map-support": "^0.5.21",