Milestone 1.1 - Deploying a contract.

README.md

@@ -5,13 +5,13 @@ The Aztec 3 system consists of the following sub projects.
 - `acir-simulator`
 - `archiver`
 - `aztec-cli`
+- `aztec-rpc`
 - `aztec.js`
 - `ethereum.js`
-- `kernel-simulator`
+- `kernel-prover`
 - `key-store`
 - `l1-contracts`
 - `p2p`
 - `prover-client`
 - `aztec-node`
 - `sequencer-client`
-- `wallet`

bootstrap.sh

@@ -47,23 +47,20 @@ cd ../..
 
 # We only bootstrap projects that produce artefacts needed for running end-to-end tests.
 PROJECTS=(
-  # "circuits:./bootstrap.sh db_cli rollup_cli"
-  # "yarn-project/acir-simulator:yarn build"
-  # "yarn-project/aztec-cli:yarn build"
   "yarn-project/foundation:yarn build"
   "yarn-project/l1-contracts:yarn build"
-  "yarn-project/aztec.js:yarn build"  
   "yarn-project/ethereum.js:yarn build"
-  "yarn-project/archiver:yarn build"
-  # "yarn-project/kernel-simulator:yarn build"
-  "yarn-project/key-store:yarn build"
   "yarn-project/merkle-tree:yarn build"
-  "yarn-project/p2p:yarn build"
-  # "yarn-project/prover-client:yarn build"  
-  # "yarn-project/wallet:yarn build"
+  "yarn-project/archiver:yarn build"
   "yarn-project/world-state:yarn build"
+  "yarn-project/p2p:yarn build"
   "yarn-project/sequencer-client:yarn build"
   "yarn-project/aztec-node:yarn build"
+  "yarn-project/key-store:yarn build"
+  "yarn-project/acir-simulator:yarn build"
+  "yarn-project/kernel-prover:yarn build"
+  "yarn-project/aztec-rpc:yarn build"
+  "yarn-project/aztec.js:yarn build"
 )
 
 for E in "${PROJECTS[@]}"; do

build_manifest.json

@@ -57,21 +57,28 @@
     "projectDir": "yarn-project/aztec-cli",
     "dockerfile": "aztec-cli/Dockerfile",
     "rebuildPatterns": ["^yarn-project/aztec-cli/"],
-    "dependencies": ["yarn-project-base"]
+    "dependencies": ["aztec.js"]
+  },
+  "aztec-rpc": {
+    "buildDir": "yarn-project",
+    "projectDir": "yarn-project/aztec-rpc",
+    "dockerfile": "aztec-rpc/Dockerfile",
+    "rebuildPatterns": ["^yarn-project/aztec-rpc/"],
+    "dependencies": ["aztec-node"]
   },
   "aztec.js": {
     "buildDir": "yarn-project",
     "projectDir": "yarn-project/aztec.js",
     "dockerfile": "aztec.js/Dockerfile",
     "rebuildPatterns": ["^yarn-project/aztec.js/"],
-    "dependencies": ["yarn-project-base", "foundation"]
+    "dependencies": ["aztec-rpc"]
   },
   "end-to-end": {
     "buildDir": "yarn-project",
     "projectDir": "yarn-project/end-to-end",
     "dockerfile": "end-to-end/Dockerfile",
     "rebuildPatterns": ["^yarn-project/end-to-end/"],
-    "dependencies": ["yarn-project-base", "foundation"]
+    "dependencies": ["aztec.js"]
   },
   "ethereum.js": {
     "buildDir": "yarn-project",
@@ -80,11 +87,18 @@
     "rebuildPatterns": ["^yarn-project/ethereum.js/"],
     "dependencies": ["yarn-project-base", "foundation"]
   },
-  "kernel-simulator": {
+  "foundation": {
+    "buildDir": "yarn-project",
+    "projectDir": "yarn-project/foundation",
+    "dockerfile": "foundation/Dockerfile",
+    "rebuildPatterns": ["^yarn-project/foundation/"],
+    "dependencies": []
+  },
+  "kernel-prover": {
     "buildDir": "yarn-project",
-    "projectDir": "yarn-project/kernel-simulator",
-    "dockerfile": "kernel-simulator/Dockerfile",
-    "rebuildPatterns": ["^yarn-project/kernel-simulator/"],
+    "projectDir": "yarn-project/kernel-prover",
+    "dockerfile": "kernel-prover/Dockerfile",
+    "rebuildPatterns": ["^yarn-project/kernel-prover/"],
     "dependencies": ["yarn-project-base"]
   },
   "key-store": {
@@ -94,13 +108,6 @@
     "rebuildPatterns": ["^yarn-project/key-store/"],
     "dependencies": ["yarn-project-base"]
   },
-  "foundation": {
-    "buildDir": "yarn-project",
-    "projectDir": "yarn-project/foundation",
-    "dockerfile": "foundation/Dockerfile",
-    "rebuildPatterns": ["^yarn-project/foundation/"],
-    "dependencies": ["yarn-project-base"]
-  },
   "merkle-tree": {
     "buildDir": "yarn-project",
     "projectDir": "yarn-project/merkle-tree",
@@ -157,13 +164,6 @@
       "archiver"
     ]
   },
-  "wallet": {
-    "buildDir": "yarn-project",
-    "projectDir": "yarn-project/wallet",
-    "dockerfile": "wallet/Dockerfile",
-    "rebuildPatterns": ["^yarn-project/wallet/"],
-    "dependencies": ["yarn-project-base"]
-  },
   "world-state": {
     "buildDir": "yarn-project",
     "projectDir": "yarn-project/world-state",

build_manifest.sh

@@ -14,16 +14,16 @@ PROJECTS=(
   # acir-simulator:yarn-project
   # archiver:yarn-project
   # aztec-cli:yarn-project
+  # aztec-rpc:yarn-project
   # aztec.js:yarn-project
   # end-to-end:yarn-project
   # ethereum.js:yarn-project
-  # kernel-simulator:yarn-project
+  # kernel-prover:yarn-project
   # key-store:yarn-project
   # merkle-tree:yarn-project
   # p2p:yarn-project
   # prover-client:yarn-project
   # aztec-node:yarn-project
   # sequencer-client:yarn-project
-  # wallet:yarn-project
   # world-state:yarn-project
 )

yarn-project/acir-simulator/package.json

@@ -9,7 +9,7 @@
     "tsconfig": "./tsconfig.dest.json"
   },
   "scripts": {
-    "build": "yarn clean && yarn formatting && tsc -b tsconfig.dest.json",
+    "build": "yarn clean && tsc -b tsconfig.dest.json",
     "build:dev": "tsc -b tsconfig.dest.json --watch",
     "clean": "rm -rf ./dest .tsbuildinfo",
     "formatting": "run -T prettier --check ./src && run -T eslint --max-warnings 0 ./src",

yarn-project/acir-simulator/src/acvm.ts

@@ -0,0 +1,31 @@
+import { AztecAddress, CallContext, ContractDeploymentData } from './circuits.js';
+import { NoteLoadOracleInputs } from './db_oracle.js';
+
+export interface ACIRCallback {
+  getSecretKey(keyId: Buffer): Promise<Buffer>;
+  getNotes(storageSlot: Buffer): Promise<NoteLoadOracleInputs[]>;
+  getRandomField(): Promise<Buffer>;
+  privateFunctionCall(
+    contractAddress: AztecAddress,
+    functionSelector: string,
+    args: Array<Buffer>,
+  ): Promise<Array<Buffer>>;
+}
+
+export interface ExecutionPreimages {
+  newNotes: Buffer[];
+  nullifiedNotes: Buffer[];
+}
+
+export interface ACIRExecutionResult {
+  preimages: ExecutionPreimages;
+  partialWitness: Buffer;
+}
+
+export type execute = (
+  acir: Buffer,
+  args: Array<Buffer>,
+  callContext: CallContext,
+  contractDeploymentData: ContractDeploymentData,
+  oracle: ACIRCallback,
+) => Promise<ACIRExecutionResult>;