@aztec/pxe 0.0.1-commit.8f9871590 → 0.0.1-commit.934299a21
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/config/package_info.js +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +8 -8
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +2 -2
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +2 -10
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +4 -7
- package/dest/contract_logging.d.ts +22 -0
- package/dest/contract_logging.d.ts.map +1 -0
- package/dest/contract_logging.js +23 -0
- package/dest/debug/pxe_debug_utils.d.ts +2 -2
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/debug/pxe_debug_utils.js +4 -4
- package/dest/entrypoints/client/bundle/index.d.ts +2 -1
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +1 -0
- package/dest/entrypoints/client/lazy/index.d.ts +2 -1
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +1 -0
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +4 -3
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -1
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.js +129 -68
- package/dest/private_kernel/hints/test_utils.d.ts +122 -0
- package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
- package/dest/private_kernel/hints/test_utils.js +203 -0
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.js +13 -5
- package/dest/private_kernel/private_kernel_oracle.d.ts +6 -2
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +7 -3
- package/dest/pxe.d.ts +6 -6
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +27 -23
- package/dest/storage/contract_store/contract_store.d.ts +42 -15
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
- package/dest/storage/contract_store/contract_store.js +140 -64
- package/package.json +16 -16
- package/src/config/package_info.ts +1 -1
- package/src/contract_function_simulator/contract_function_simulator.ts +15 -17
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +1 -1
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +1 -1
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +2 -11
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +8 -7
- package/src/contract_logging.ts +39 -0
- package/src/debug/pxe_debug_utils.ts +4 -4
- package/src/entrypoints/client/bundle/index.ts +1 -0
- package/src/entrypoints/client/lazy/index.ts +1 -0
- package/src/private_kernel/hints/private_kernel_reset_private_inputs_builder.ts +164 -117
- package/src/private_kernel/hints/test_utils.ts +325 -0
- package/src/private_kernel/private_kernel_execution_prover.ts +13 -6
- package/src/private_kernel/private_kernel_oracle.ts +7 -7
- package/src/pxe.ts +33 -30
- package/src/storage/contract_store/contract_store.ts +170 -71
|
@@ -1,10 +1,37 @@
|
|
|
1
1
|
import type { FUNCTION_TREE_HEIGHT } from '@aztec/constants';
|
|
2
|
-
import
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
+
import { BufferReader } from '@aztec/foundation/serialize';
|
|
3
4
|
import type { MembershipWitness } from '@aztec/foundation/trees';
|
|
4
5
|
import type { AztecAsyncKVStore } from '@aztec/kv-store';
|
|
5
6
|
import { type ContractArtifact, type FunctionAbi, type FunctionArtifactWithContractName, FunctionCall, type FunctionDebugMetadata, FunctionSelector } from '@aztec/stdlib/abi';
|
|
6
7
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
7
|
-
import { type
|
|
8
|
+
import { type ContractClassIdPreimage, type ContractClassWithId, type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
|
|
9
|
+
/**
|
|
10
|
+
* All contract class data except the large packedBytecode.
|
|
11
|
+
* The expensive data from the ContractClass is precomputed and stored in this format to avoid redundant hashing.
|
|
12
|
+
* Since we have to store the artifacts anyway, the final ContractClass is reconstructed by combining this data
|
|
13
|
+
* with the packedBytecode obtained from the former. That way we can have quick class lookups without wasted storage.
|
|
14
|
+
*/
|
|
15
|
+
export declare class SerializableContractClassData {
|
|
16
|
+
readonly version: 1;
|
|
17
|
+
readonly id: Fr;
|
|
18
|
+
readonly artifactHash: Fr;
|
|
19
|
+
readonly privateFunctionsRoot: Fr;
|
|
20
|
+
readonly publicBytecodeCommitment: Fr;
|
|
21
|
+
readonly privateFunctions: {
|
|
22
|
+
selector: FunctionSelector;
|
|
23
|
+
vkHash: Fr;
|
|
24
|
+
}[];
|
|
25
|
+
constructor(data: ContractClassIdPreimage & {
|
|
26
|
+
id: Fr;
|
|
27
|
+
privateFunctions: {
|
|
28
|
+
selector: FunctionSelector;
|
|
29
|
+
vkHash: Fr;
|
|
30
|
+
}[];
|
|
31
|
+
});
|
|
32
|
+
toBuffer(): Buffer;
|
|
33
|
+
static fromBuffer(bufferOrReader: Buffer | BufferReader): SerializableContractClassData;
|
|
34
|
+
}
|
|
8
35
|
/**
|
|
9
36
|
* ContractStore serves as a data manager and retriever for Aztec.nr contracts.
|
|
10
37
|
* It provides methods to obtain contract addresses, function ABI, bytecode, and membership witnesses
|
|
@@ -15,19 +42,24 @@ import { type ContractClass, type ContractInstanceWithAddress } from '@aztec/std
|
|
|
15
42
|
export declare class ContractStore {
|
|
16
43
|
#private;
|
|
17
44
|
constructor(store: AztecAsyncKVStore);
|
|
18
|
-
|
|
45
|
+
/**
|
|
46
|
+
* Registers a new contract artifact and its corresponding class data.
|
|
47
|
+
* IMPORTANT: This method does not verify that the provided artifact matches the class data or that the class id matches the artifact.
|
|
48
|
+
* It is the caller's responsibility to ensure the consistency and correctness of the provided data.
|
|
49
|
+
* This is done to avoid redundant, expensive contract class computations
|
|
50
|
+
*/
|
|
51
|
+
addContractArtifact(contract: ContractArtifact, contractClassWithIdAndPreimage?: ContractClassWithId & ContractClassIdPreimage): Promise<Fr>;
|
|
19
52
|
addContractInstance(contract: ContractInstanceWithAddress): Promise<void>;
|
|
20
53
|
getContractsAddresses(): Promise<AztecAddress[]>;
|
|
21
|
-
/** Returns a contract instance for a given address.
|
|
54
|
+
/** Returns a contract instance for a given address. */
|
|
22
55
|
getContractInstance(contractAddress: AztecAddress): Promise<ContractInstanceWithAddress | undefined>;
|
|
56
|
+
/** Returns the raw contract artifact for a given class id. */
|
|
23
57
|
getContractArtifact(contractClassId: Fr): Promise<ContractArtifact | undefined>;
|
|
24
|
-
/** Returns a contract class for a given class id.
|
|
25
|
-
|
|
58
|
+
/** Returns a contract class for a given class id. */
|
|
59
|
+
getContractClassWithPreimage(contractClassId: Fr): Promise<(ContractClassWithId & ContractClassIdPreimage) | undefined>;
|
|
26
60
|
getContract(address: AztecAddress): Promise<(ContractInstanceWithAddress & ContractArtifact) | undefined>;
|
|
27
61
|
/**
|
|
28
62
|
* Retrieves the artifact of a specified function within a given contract.
|
|
29
|
-
* The function is identified by its selector, which is a unique code generated from the function's signature.
|
|
30
|
-
* Throws an error if the contract address or function selector are invalid or not found.
|
|
31
63
|
*
|
|
32
64
|
* @param contractAddress - The AztecAddress representing the contract containing the function.
|
|
33
65
|
* @param selector - The function selector.
|
|
@@ -39,20 +71,15 @@ export declare class ContractStore {
|
|
|
39
71
|
getFunctionAbi(contractAddress: AztecAddress, selector: FunctionSelector): Promise<FunctionAbi | undefined>;
|
|
40
72
|
/**
|
|
41
73
|
* Retrieves the debug metadata of a specified function within a given contract.
|
|
42
|
-
* The function is identified by its selector, which is a unique code generated from the function's signature.
|
|
43
|
-
* Returns undefined if the debug metadata for the given function is not found.
|
|
44
|
-
* Throws if the contract has not been added to the database.
|
|
45
74
|
*
|
|
46
75
|
* @param contractAddress - The AztecAddress representing the contract containing the function.
|
|
47
76
|
* @param selector - The function selector.
|
|
48
|
-
* @returns The corresponding function's
|
|
77
|
+
* @returns The corresponding function's debug metadata, or undefined.
|
|
49
78
|
*/
|
|
50
79
|
getFunctionDebugMetadata(contractAddress: AztecAddress, selector: FunctionSelector): Promise<FunctionDebugMetadata | undefined>;
|
|
51
80
|
getPublicFunctionDebugMetadata(contractAddress: AztecAddress): Promise<FunctionDebugMetadata | undefined>;
|
|
52
81
|
/**
|
|
53
82
|
* Retrieve the function membership witness for the given contract class and function selector.
|
|
54
|
-
* The function membership witness represents a proof that the function belongs to the specified contract.
|
|
55
|
-
* Throws an error if the contract address or function selector is unknown.
|
|
56
83
|
*
|
|
57
84
|
* @param contractClassId - The id of the class.
|
|
58
85
|
* @param selector - The function selector.
|
|
@@ -63,4 +90,4 @@ export declare class ContractStore {
|
|
|
63
90
|
getDebugFunctionName(contractAddress: AztecAddress, selector: FunctionSelector): Promise<string>;
|
|
64
91
|
getFunctionCall(functionName: string, args: any[], to: AztecAddress): Promise<FunctionCall>;
|
|
65
92
|
}
|
|
66
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
93
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3Rfc3RvcmUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zdG9yYWdlL2NvbnRyYWN0X3N0b3JlL2NvbnRyYWN0X3N0b3JlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDN0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQWlDLE1BQU0sNkJBQTZCLENBQUM7QUFDMUYsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBaUIsTUFBTSxpQkFBaUIsQ0FBQztBQUN4RSxPQUFPLEVBQ0wsS0FBSyxnQkFBZ0IsRUFDckIsS0FBSyxXQUFXLEVBRWhCLEtBQUssZ0NBQWdDLEVBQ3JDLFlBQVksRUFDWixLQUFLLHFCQUFxQixFQUMxQixnQkFBZ0IsRUFNakIsTUFBTSxtQkFBbUIsQ0FBQztBQUMzQixPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxFQUNMLEtBQUssdUJBQXVCLEVBQzVCLEtBQUssbUJBQW1CLEVBQ3hCLEtBQUssMkJBQTJCLEVBR2pDLE1BQU0sd0JBQXdCLENBQUM7QUFNaEM7Ozs7O0dBS0c7QUFDSCxxQkFBYSw2QkFBNkI7SUFDeEMsU0FBZ0IsT0FBTyxJQUFXO0lBQ2xDLFNBQWdCLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDdkIsU0FBZ0IsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQyxTQUFnQixvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFDekMsU0FBZ0Isd0JBQXdCLEVBQUUsRUFBRSxDQUFDO0lBQzdDLFNBQWdCLGdCQUFnQixFQUFFO1FBQUUsUUFBUSxFQUFFLGdCQUFnQixDQUFDO1FBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQTtLQUFFLEVBQUUsQ0FBQztJQUUvRSxZQUNFLElBQUksRUFBRSx1QkFBdUIsR0FBRztRQUM5QixFQUFFLEVBQUUsRUFBRSxDQUFDO1FBQ1AsZ0JBQWdCLEVBQUU7WUFBRSxRQUFRLEVBQUUsZ0JBQWdCLENBQUM7WUFBQyxNQUFNLEVBQUUsRUFBRSxDQUFBO1NBQUUsRUFBRSxDQUFDO0tBQ2hFLEVBT0Y7SUFFRCxRQUFRLElBQUksTUFBTSxDQVVqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsNkJBQTZCLENBa0J0RjtDQUNGO0FBRUQ7Ozs7OztHQU1HO0FBQ0gscUJBQWEsYUFBYTs7SUFxQnhCLFlBQVksS0FBSyxFQUFFLGlCQUFpQixFQUtuQztJQUlEOzs7OztPQUtHO0lBQ1UsbUJBQW1CLENBQzlCLFFBQVEsRUFBRSxnQkFBZ0IsRUFDMUIsOEJBQThCLENBQUMsRUFBRSxtQkFBbUIsR0FBRyx1QkFBdUIsR0FDN0UsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQTRCYjtJQUVLLG1CQUFtQixDQUFDLFFBQVEsRUFBRSwyQkFBMkIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBTzlFO0lBbUNELHFCQUFxQixJQUFJLE9BQU8sQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUsvQztJQUVELHVEQUF1RDtJQUNoRCxtQkFBbUIsQ0FBQyxlQUFlLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQywyQkFBMkIsR0FBRyxTQUFTLENBQUMsQ0FLMUc7SUFFRCw4REFBOEQ7SUFDakQsbUJBQW1CLENBQUMsZUFBZSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsZ0JBQWdCLEdBQUcsU0FBUyxDQUFDLENBYzNGO0lBRUQscURBQXFEO0lBQ3hDLDRCQUE0QixDQUN2QyxlQUFlLEVBQUUsRUFBRSxHQUNsQixPQUFPLENBQUMsQ0FBQyxtQkFBbUIsR0FBRyx1QkFBdUIsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxDQWF0RTtJQUVZLFdBQVcsQ0FDdEIsT0FBTyxFQUFFLFlBQVksR0FDcEIsT0FBTyxDQUFDLENBQUMsMkJBQTJCLEdBQUcsZ0JBQWdCLENBQUMsR0FBRyxTQUFTLENBQUMsQ0FVdkU7SUFFRDs7Ozs7O09BTUc7SUFDVSxtQkFBbUIsQ0FDOUIsZUFBZSxFQUFFLFlBQVksRUFDN0IsUUFBUSxFQUFFLGdCQUFnQixHQUN6QixPQUFPLENBQUMsZ0NBQWdDLEdBQUcsU0FBUyxDQUFDLENBT3ZEO0lBRVksb0NBQW9DLENBQy9DLGVBQWUsRUFBRSxZQUFZLEVBQzdCLFFBQVEsRUFBRSxnQkFBZ0IsR0FDekIsT0FBTyxDQUFDLGdDQUFnQyxDQUFDLENBVTNDO0lBRVkseUJBQXlCLENBQ3BDLGVBQWUsRUFBRSxZQUFZLEdBQzVCLE9BQU8sQ0FBQyxnQ0FBZ0MsR0FBRyxTQUFTLENBQUMsQ0FJdkQ7SUFFWSxjQUFjLENBQ3pCLGVBQWUsRUFBRSxZQUFZLEVBQzdCLFFBQVEsRUFBRSxnQkFBZ0IsR0FDekIsT0FBTyxDQUFDLFdBQVcsR0FBRyxTQUFTLENBQUMsQ0FHbEM7SUFFRDs7Ozs7O09BTUc7SUFDVSx3QkFBd0IsQ0FDbkMsZUFBZSxFQUFFLFlBQVksRUFDN0IsUUFBUSxFQUFFLGdCQUFnQixHQUN6QixPQUFPLENBQUMscUJBQXFCLEdBQUcsU0FBUyxDQUFDLENBTzVDO0lBRVksOEJBQThCLENBQ3pDLGVBQWUsRUFBRSxZQUFZLEdBQzVCLE9BQU8sQ0FBQyxxQkFBcUIsR0FBRyxTQUFTLENBQUMsQ0FJNUM7SUFFRDs7Ozs7O09BTUc7SUFDVSw0QkFBNEIsQ0FDdkMsZUFBZSxFQUFFLEVBQUUsRUFDbkIsUUFBUSxFQUFFLGdCQUFnQixHQUN6QixPQUFPLENBQUMsaUJBQWlCLENBQUMsT0FBTyxvQkFBb0IsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxDQUdyRTtJQUVZLG9CQUFvQixDQUFDLGVBQWUsRUFBRSxZQUFZLCtCQUc5RDtJQUVZLG9CQUFvQixDQUFDLGVBQWUsRUFBRSxZQUFZLEVBQUUsUUFBUSxFQUFFLGdCQUFnQixtQkFJMUY7SUEwQlksZUFBZSxDQUFDLFlBQVksRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLFlBQVksQ0FBQyxDQXlCdkc7Q0FDRiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract_store.d.ts","sourceRoot":"","sources":["../../../src/storage/contract_store/contract_store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,
|
|
1
|
+
{"version":3,"file":"contract_store.d.ts","sourceRoot":"","sources":["../../../src/storage/contract_store/contract_store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAiC,MAAM,6BAA6B,CAAC;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAiB,MAAM,iBAAiB,CAAC;AACxE,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAEhB,KAAK,gCAAgC,EACrC,YAAY,EACZ,KAAK,qBAAqB,EAC1B,gBAAgB,EAMjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,KAAK,uBAAuB,EAC5B,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAGjC,MAAM,wBAAwB,CAAC;AAMhC;;;;;GAKG;AACH,qBAAa,6BAA6B;IACxC,SAAgB,OAAO,IAAW;IAClC,SAAgB,EAAE,EAAE,EAAE,CAAC;IACvB,SAAgB,YAAY,EAAE,EAAE,CAAC;IACjC,SAAgB,oBAAoB,EAAE,EAAE,CAAC;IACzC,SAAgB,wBAAwB,EAAE,EAAE,CAAC;IAC7C,SAAgB,gBAAgB,EAAE;QAAE,QAAQ,EAAE,gBAAgB,CAAC;QAAC,MAAM,EAAE,EAAE,CAAA;KAAE,EAAE,CAAC;IAE/E,YACE,IAAI,EAAE,uBAAuB,GAAG;QAC9B,EAAE,EAAE,EAAE,CAAC;QACP,gBAAgB,EAAE;YAAE,QAAQ,EAAE,gBAAgB,CAAC;YAAC,MAAM,EAAE,EAAE,CAAA;SAAE,EAAE,CAAC;KAChE,EAOF;IAED,QAAQ,IAAI,MAAM,CAUjB;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B,CAkBtF;CACF;AAED;;;;;;GAMG;AACH,qBAAa,aAAa;;IAqBxB,YAAY,KAAK,EAAE,iBAAiB,EAKnC;IAID;;;;;OAKG;IACU,mBAAmB,CAC9B,QAAQ,EAAE,gBAAgB,EAC1B,8BAA8B,CAAC,EAAE,mBAAmB,GAAG,uBAAuB,GAC7E,OAAO,CAAC,EAAE,CAAC,CA4Bb;IAEK,mBAAmB,CAAC,QAAQ,EAAE,2BAA2B,GAAG,OAAO,CAAC,IAAI,CAAC,CAO9E;IAmCD,qBAAqB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAK/C;IAED,uDAAuD;IAChD,mBAAmB,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC,CAK1G;IAED,8DAA8D;IACjD,mBAAmB,CAAC,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAc3F;IAED,qDAAqD;IACxC,4BAA4B,CACvC,eAAe,EAAE,EAAE,GAClB,OAAO,CAAC,CAAC,mBAAmB,GAAG,uBAAuB,CAAC,GAAG,SAAS,CAAC,CAatE;IAEY,WAAW,CACtB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC,CAAC,2BAA2B,GAAG,gBAAgB,CAAC,GAAG,SAAS,CAAC,CAUvE;IAED;;;;;;OAMG;IACU,mBAAmB,CAC9B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,gCAAgC,GAAG,SAAS,CAAC,CAOvD;IAEY,oCAAoC,CAC/C,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,gCAAgC,CAAC,CAU3C;IAEY,yBAAyB,CACpC,eAAe,EAAE,YAAY,GAC5B,OAAO,CAAC,gCAAgC,GAAG,SAAS,CAAC,CAIvD;IAEY,cAAc,CACzB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAGlC;IAED;;;;;;OAMG;IACU,wBAAwB,CACnC,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAO5C;IAEY,8BAA8B,CACzC,eAAe,EAAE,YAAY,GAC5B,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAI5C;IAED;;;;;;OAMG;IACU,4BAA4B,CACvC,eAAe,EAAE,EAAE,EACnB,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,iBAAiB,CAAC,OAAO,oBAAoB,CAAC,GAAG,SAAS,CAAC,CAGrE;IAEY,oBAAoB,CAAC,eAAe,EAAE,YAAY,+BAG9D;IAEY,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,mBAI1F;IA0BY,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAyBvG;CACF"}
|
|
@@ -1,8 +1,53 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
1
2
|
import { toArray } from '@aztec/foundation/iterable';
|
|
3
|
+
import { BufferReader, numToUInt8, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
2
4
|
import { FunctionCall, FunctionSelector, FunctionType, contractArtifactFromBuffer, contractArtifactToBuffer, encodeArguments, getFunctionDebugMetadata } from '@aztec/stdlib/abi';
|
|
3
5
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
4
6
|
import { SerializableContractInstance, getContractClassFromArtifact } from '@aztec/stdlib/contract';
|
|
5
7
|
import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
8
|
+
const VERSION = 1;
|
|
9
|
+
/**
|
|
10
|
+
* All contract class data except the large packedBytecode.
|
|
11
|
+
* The expensive data from the ContractClass is precomputed and stored in this format to avoid redundant hashing.
|
|
12
|
+
* Since we have to store the artifacts anyway, the final ContractClass is reconstructed by combining this data
|
|
13
|
+
* with the packedBytecode obtained from the former. That way we can have quick class lookups without wasted storage.
|
|
14
|
+
*/ export class SerializableContractClassData {
|
|
15
|
+
version = VERSION;
|
|
16
|
+
id;
|
|
17
|
+
artifactHash;
|
|
18
|
+
privateFunctionsRoot;
|
|
19
|
+
publicBytecodeCommitment;
|
|
20
|
+
privateFunctions;
|
|
21
|
+
constructor(data){
|
|
22
|
+
this.id = data.id;
|
|
23
|
+
this.artifactHash = data.artifactHash;
|
|
24
|
+
this.privateFunctionsRoot = data.privateFunctionsRoot;
|
|
25
|
+
this.publicBytecodeCommitment = data.publicBytecodeCommitment;
|
|
26
|
+
this.privateFunctions = data.privateFunctions;
|
|
27
|
+
}
|
|
28
|
+
toBuffer() {
|
|
29
|
+
return serializeToBuffer(numToUInt8(this.version), this.id, this.artifactHash, this.privateFunctionsRoot, this.publicBytecodeCommitment, this.privateFunctions.length, ...this.privateFunctions.map((fn)=>serializeToBuffer(fn.selector, fn.vkHash)));
|
|
30
|
+
}
|
|
31
|
+
static fromBuffer(bufferOrReader) {
|
|
32
|
+
const reader = BufferReader.asReader(bufferOrReader);
|
|
33
|
+
const version = reader.readUInt8();
|
|
34
|
+
if (version !== VERSION) {
|
|
35
|
+
throw new Error(`Unexpected contract class data version ${version}`);
|
|
36
|
+
}
|
|
37
|
+
return new SerializableContractClassData({
|
|
38
|
+
id: reader.readObject(Fr),
|
|
39
|
+
artifactHash: reader.readObject(Fr),
|
|
40
|
+
privateFunctionsRoot: reader.readObject(Fr),
|
|
41
|
+
publicBytecodeCommitment: reader.readObject(Fr),
|
|
42
|
+
privateFunctions: reader.readVector({
|
|
43
|
+
fromBuffer: (r)=>({
|
|
44
|
+
selector: r.readObject(FunctionSelector),
|
|
45
|
+
vkHash: r.readObject(Fr)
|
|
46
|
+
})
|
|
47
|
+
})
|
|
48
|
+
});
|
|
49
|
+
}
|
|
50
|
+
}
|
|
6
51
|
/**
|
|
7
52
|
* ContractStore serves as a data manager and retriever for Aztec.nr contracts.
|
|
8
53
|
* It provides methods to obtain contract addresses, function ABI, bytecode, and membership witnesses
|
|
@@ -12,24 +57,46 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
12
57
|
*/ export class ContractStore {
|
|
13
58
|
/** Map from contract class id to private function tree. */ // TODO: Update it to be LRU cache so that it doesn't keep all the data all the time.
|
|
14
59
|
#privateFunctionTrees = new Map();
|
|
15
|
-
/**
|
|
60
|
+
/**
|
|
61
|
+
* In-memory cache of deserialized ContractArtifact objects, keyed by class id string.
|
|
62
|
+
* Avoids repeated LMDB reads + JSON.parse + Zod validation on every oracle call.
|
|
63
|
+
* Artifacts are large but immutable after registration — safe to cache for the lifetime of the store.
|
|
64
|
+
*/ // TODO: Update it to be LRU cache so that it doesn't keep all the data all the time.
|
|
65
|
+
#contractArtifactCache = new Map();
|
|
66
|
+
/** Map from contract address to contract class id (avoids KV round-trip on hot path). */ #contractClassIdMap = new Map();
|
|
16
67
|
#store;
|
|
17
68
|
#contractArtifacts;
|
|
69
|
+
#contractClassData;
|
|
18
70
|
#contractInstances;
|
|
19
71
|
constructor(store){
|
|
20
72
|
this.#store = store;
|
|
21
73
|
this.#contractArtifacts = store.openMap('contract_artifacts');
|
|
74
|
+
this.#contractClassData = store.openMap('contract_classes');
|
|
22
75
|
this.#contractInstances = store.openMap('contracts_instances');
|
|
23
76
|
}
|
|
24
77
|
// Setters
|
|
25
|
-
|
|
26
|
-
|
|
78
|
+
/**
|
|
79
|
+
* Registers a new contract artifact and its corresponding class data.
|
|
80
|
+
* IMPORTANT: This method does not verify that the provided artifact matches the class data or that the class id matches the artifact.
|
|
81
|
+
* It is the caller's responsibility to ensure the consistency and correctness of the provided data.
|
|
82
|
+
* This is done to avoid redundant, expensive contract class computations
|
|
83
|
+
*/ async addContractArtifact(contract, contractClassWithIdAndPreimage) {
|
|
84
|
+
const contractClass = contractClassWithIdAndPreimage ?? await getContractClassFromArtifact(contract);
|
|
85
|
+
const key = contractClass.id.toString();
|
|
86
|
+
if (this.#contractArtifactCache.has(key)) {
|
|
87
|
+
return contractClass.id;
|
|
88
|
+
}
|
|
27
89
|
const privateFunctions = contract.functions.filter((functionArtifact)=>functionArtifact.functionType === FunctionType.PRIVATE);
|
|
28
|
-
const privateSelectors = await Promise.all(privateFunctions.map(async (
|
|
90
|
+
const privateSelectors = await Promise.all(privateFunctions.map(async (fn)=>(await FunctionSelector.fromNameAndParameters(fn.name, fn.parameters)).toString()));
|
|
29
91
|
if (privateSelectors.length !== new Set(privateSelectors).size) {
|
|
30
92
|
throw new Error('Repeated function selectors of private functions');
|
|
31
93
|
}
|
|
32
|
-
|
|
94
|
+
this.#contractArtifactCache.set(key, contract);
|
|
95
|
+
await this.#store.transactionAsync(async ()=>{
|
|
96
|
+
await this.#contractArtifacts.set(key, contractArtifactToBuffer(contract));
|
|
97
|
+
await this.#contractClassData.set(key, new SerializableContractClassData(contractClass).toBuffer());
|
|
98
|
+
});
|
|
99
|
+
return contractClass.id;
|
|
33
100
|
}
|
|
34
101
|
async addContractInstance(contract) {
|
|
35
102
|
this.#contractClassIdMap.set(contract.address.toString(), contract.currentContractClassId);
|
|
@@ -37,25 +104,17 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
37
104
|
}
|
|
38
105
|
// Private getters
|
|
39
106
|
async #getContractClassId(contractAddress) {
|
|
40
|
-
|
|
107
|
+
const key = contractAddress.toString();
|
|
108
|
+
if (!this.#contractClassIdMap.has(key)) {
|
|
41
109
|
const instance = await this.getContractInstance(contractAddress);
|
|
42
110
|
if (!instance) {
|
|
43
111
|
return;
|
|
44
112
|
}
|
|
45
|
-
this.#contractClassIdMap.set(
|
|
113
|
+
this.#contractClassIdMap.set(key, instance.currentContractClassId);
|
|
46
114
|
}
|
|
47
|
-
return this.#contractClassIdMap.get(
|
|
115
|
+
return this.#contractClassIdMap.get(key);
|
|
48
116
|
}
|
|
49
|
-
|
|
50
|
-
* Retrieve or create a ContractTree instance based on the provided class id.
|
|
51
|
-
* If an existing tree with the same class id is found in the cache, it will be returned.
|
|
52
|
-
* Otherwise, a new ContractTree instance will be created using the contract data from the database
|
|
53
|
-
* and added to the cache before returning.
|
|
54
|
-
*
|
|
55
|
-
* @param classId - The class id of the contract for which the ContractTree is required.
|
|
56
|
-
* @returns A ContractTree instance associated with the specified contract address.
|
|
57
|
-
* @throws An Error if the contract is not found in the ContractDatabase.
|
|
58
|
-
*/ async #getPrivateFunctionTreeForClassId(classId) {
|
|
117
|
+
async #getPrivateFunctionTreeForClassId(classId) {
|
|
59
118
|
if (!this.#privateFunctionTrees.has(classId.toString())) {
|
|
60
119
|
const artifact = await this.getContractArtifact(classId);
|
|
61
120
|
if (!artifact) {
|
|
@@ -66,9 +125,9 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
66
125
|
}
|
|
67
126
|
return this.#privateFunctionTrees.get(classId.toString());
|
|
68
127
|
}
|
|
69
|
-
async #
|
|
70
|
-
const
|
|
71
|
-
return
|
|
128
|
+
async #getArtifactByAddress(contractAddress) {
|
|
129
|
+
const classId = await this.#getContractClassId(contractAddress);
|
|
130
|
+
return classId && this.getContractArtifact(classId);
|
|
72
131
|
}
|
|
73
132
|
// Public getters
|
|
74
133
|
getContractsAddresses() {
|
|
@@ -77,22 +136,43 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
77
136
|
return keys.map(AztecAddress.fromString);
|
|
78
137
|
});
|
|
79
138
|
}
|
|
80
|
-
/** Returns a contract instance for a given address.
|
|
139
|
+
/** Returns a contract instance for a given address. */ getContractInstance(contractAddress) {
|
|
81
140
|
return this.#store.transactionAsync(async ()=>{
|
|
82
141
|
const contract = await this.#contractInstances.getAsync(contractAddress.toString());
|
|
83
142
|
return contract && SerializableContractInstance.fromBuffer(contract).withAddress(contractAddress);
|
|
84
143
|
});
|
|
85
144
|
}
|
|
86
|
-
getContractArtifact(contractClassId) {
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
return
|
|
145
|
+
/** Returns the raw contract artifact for a given class id. */ async getContractArtifact(contractClassId) {
|
|
146
|
+
const key = contractClassId.toString();
|
|
147
|
+
const cached = this.#contractArtifactCache.get(key);
|
|
148
|
+
if (cached) {
|
|
149
|
+
return cached;
|
|
150
|
+
}
|
|
151
|
+
const artifact = await this.#store.transactionAsync(async ()=>{
|
|
152
|
+
const buf = await this.#contractArtifacts.getAsync(key);
|
|
153
|
+
return buf && contractArtifactFromBuffer(buf);
|
|
91
154
|
});
|
|
155
|
+
if (artifact) {
|
|
156
|
+
this.#contractArtifactCache.set(key, artifact);
|
|
157
|
+
}
|
|
158
|
+
return artifact;
|
|
92
159
|
}
|
|
93
|
-
/** Returns a contract class for a given class id.
|
|
160
|
+
/** Returns a contract class for a given class id. */ async getContractClassWithPreimage(contractClassId) {
|
|
161
|
+
const key = contractClassId.toString();
|
|
162
|
+
const buf = await this.#contractClassData.getAsync(key);
|
|
163
|
+
if (!buf) {
|
|
164
|
+
return undefined;
|
|
165
|
+
}
|
|
166
|
+
const classData = SerializableContractClassData.fromBuffer(buf);
|
|
94
167
|
const artifact = await this.getContractArtifact(contractClassId);
|
|
95
|
-
|
|
168
|
+
if (!artifact) {
|
|
169
|
+
return undefined;
|
|
170
|
+
}
|
|
171
|
+
const packedBytecode = artifact.functions.find((f)=>f.name === 'public_dispatch')?.bytecode ?? Buffer.alloc(0);
|
|
172
|
+
return {
|
|
173
|
+
...classData,
|
|
174
|
+
packedBytecode
|
|
175
|
+
};
|
|
96
176
|
}
|
|
97
177
|
async getContract(address) {
|
|
98
178
|
const instance = await this.getContractInstance(address);
|
|
@@ -110,17 +190,18 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
110
190
|
}
|
|
111
191
|
/**
|
|
112
192
|
* Retrieves the artifact of a specified function within a given contract.
|
|
113
|
-
* The function is identified by its selector, which is a unique code generated from the function's signature.
|
|
114
|
-
* Throws an error if the contract address or function selector are invalid or not found.
|
|
115
193
|
*
|
|
116
194
|
* @param contractAddress - The AztecAddress representing the contract containing the function.
|
|
117
195
|
* @param selector - The function selector.
|
|
118
196
|
* @returns The corresponding function's artifact as an object.
|
|
119
197
|
*/ async getFunctionArtifact(contractAddress, selector) {
|
|
120
|
-
const artifact = await this.#
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
|
|
198
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
199
|
+
if (!artifact) {
|
|
200
|
+
return undefined;
|
|
201
|
+
}
|
|
202
|
+
const fn = await this.#findFunctionArtifactBySelector(artifact, selector);
|
|
203
|
+
return fn && {
|
|
204
|
+
...fn,
|
|
124
205
|
contractName: artifact.name
|
|
125
206
|
};
|
|
126
207
|
}
|
|
@@ -136,40 +217,38 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
136
217
|
};
|
|
137
218
|
}
|
|
138
219
|
async getPublicFunctionArtifact(contractAddress) {
|
|
139
|
-
const artifact = await this.#
|
|
140
|
-
const
|
|
141
|
-
return
|
|
142
|
-
...
|
|
220
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
221
|
+
const fn = artifact && artifact.functions.find((f)=>f.functionType === FunctionType.PUBLIC);
|
|
222
|
+
return fn && {
|
|
223
|
+
...fn,
|
|
143
224
|
contractName: artifact.name
|
|
144
225
|
};
|
|
145
226
|
}
|
|
146
227
|
async getFunctionAbi(contractAddress, selector) {
|
|
147
|
-
const artifact = await this.#
|
|
228
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
148
229
|
return artifact && await this.#findFunctionAbiBySelector(artifact, selector);
|
|
149
230
|
}
|
|
150
231
|
/**
|
|
151
232
|
* Retrieves the debug metadata of a specified function within a given contract.
|
|
152
|
-
* The function is identified by its selector, which is a unique code generated from the function's signature.
|
|
153
|
-
* Returns undefined if the debug metadata for the given function is not found.
|
|
154
|
-
* Throws if the contract has not been added to the database.
|
|
155
233
|
*
|
|
156
234
|
* @param contractAddress - The AztecAddress representing the contract containing the function.
|
|
157
235
|
* @param selector - The function selector.
|
|
158
|
-
* @returns The corresponding function's
|
|
236
|
+
* @returns The corresponding function's debug metadata, or undefined.
|
|
159
237
|
*/ async getFunctionDebugMetadata(contractAddress, selector) {
|
|
160
|
-
const artifact = await this.#
|
|
161
|
-
|
|
162
|
-
|
|
238
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
239
|
+
if (!artifact) {
|
|
240
|
+
return undefined;
|
|
241
|
+
}
|
|
242
|
+
const fn = await this.#findFunctionArtifactBySelector(artifact, selector);
|
|
243
|
+
return fn && getFunctionDebugMetadata(artifact, fn);
|
|
163
244
|
}
|
|
164
245
|
async getPublicFunctionDebugMetadata(contractAddress) {
|
|
165
|
-
const artifact = await this.#
|
|
166
|
-
const
|
|
167
|
-
return
|
|
246
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
247
|
+
const fn = artifact && artifact.functions.find((f)=>f.functionType === FunctionType.PUBLIC);
|
|
248
|
+
return fn && getFunctionDebugMetadata(artifact, fn);
|
|
168
249
|
}
|
|
169
250
|
/**
|
|
170
251
|
* Retrieve the function membership witness for the given contract class and function selector.
|
|
171
|
-
* The function membership witness represents a proof that the function belongs to the specified contract.
|
|
172
|
-
* Throws an error if the contract address or function selector is unknown.
|
|
173
252
|
*
|
|
174
253
|
* @param contractClassId - The id of the class.
|
|
175
254
|
* @param selector - The function selector.
|
|
@@ -179,18 +258,16 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
179
258
|
return tree?.getFunctionMembershipWitness(selector);
|
|
180
259
|
}
|
|
181
260
|
async getDebugContractName(contractAddress) {
|
|
182
|
-
const artifact = await this.#
|
|
261
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
183
262
|
return artifact?.name;
|
|
184
263
|
}
|
|
185
264
|
async getDebugFunctionName(contractAddress, selector) {
|
|
186
|
-
const artifact = await this.#
|
|
187
|
-
const
|
|
188
|
-
return `${artifact?.name ?? contractAddress}:${
|
|
265
|
+
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
266
|
+
const fn = artifact && await this.#findFunctionAbiBySelector(artifact, selector);
|
|
267
|
+
return `${artifact?.name ?? contractAddress}:${fn?.name ?? selector}`;
|
|
189
268
|
}
|
|
190
269
|
async #findFunctionArtifactBySelector(artifact, selector) {
|
|
191
|
-
const
|
|
192
|
-
for(let i = 0; i < functions.length; i++){
|
|
193
|
-
const fn = functions[i];
|
|
270
|
+
for (const fn of artifact.functions){
|
|
194
271
|
const fnSelector = await FunctionSelector.fromNameAndParameters(fn.name, fn.parameters);
|
|
195
272
|
if (fnSelector.equals(selector)) {
|
|
196
273
|
return fn;
|
|
@@ -198,12 +275,10 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
198
275
|
}
|
|
199
276
|
}
|
|
200
277
|
async #findFunctionAbiBySelector(artifact, selector) {
|
|
201
|
-
const
|
|
278
|
+
for (const fn of [
|
|
202
279
|
...artifact.functions,
|
|
203
280
|
...artifact.nonDispatchPublicFunctions ?? []
|
|
204
|
-
]
|
|
205
|
-
for(let i = 0; i < functions.length; i++){
|
|
206
|
-
const fn = functions[i];
|
|
281
|
+
]){
|
|
207
282
|
const fnSelector = await FunctionSelector.fromNameAndParameters(fn.name, fn.parameters);
|
|
208
283
|
if (fnSelector.equals(selector)) {
|
|
209
284
|
return fn;
|
|
@@ -219,10 +294,11 @@ import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
|
219
294
|
if (!functionDao) {
|
|
220
295
|
throw new Error(`Unknown function ${functionName} in contract ${contract.name}.`);
|
|
221
296
|
}
|
|
297
|
+
const selector = await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters);
|
|
222
298
|
return FunctionCall.from({
|
|
223
299
|
name: functionDao.name,
|
|
224
300
|
to,
|
|
225
|
-
selector
|
|
301
|
+
selector,
|
|
226
302
|
type: functionDao.functionType,
|
|
227
303
|
hideMsgSender: false,
|
|
228
304
|
isStatic: functionDao.isStatic,
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/pxe",
|
|
3
|
-
"version": "0.0.1-commit.
|
|
3
|
+
"version": "0.0.1-commit.934299a21",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"typedocOptions": {
|
|
6
6
|
"entryPoints": [
|
|
@@ -70,19 +70,19 @@
|
|
|
70
70
|
]
|
|
71
71
|
},
|
|
72
72
|
"dependencies": {
|
|
73
|
-
"@aztec/bb-prover": "0.0.1-commit.
|
|
74
|
-
"@aztec/bb.js": "0.0.1-commit.
|
|
75
|
-
"@aztec/builder": "0.0.1-commit.
|
|
76
|
-
"@aztec/constants": "0.0.1-commit.
|
|
77
|
-
"@aztec/ethereum": "0.0.1-commit.
|
|
78
|
-
"@aztec/foundation": "0.0.1-commit.
|
|
79
|
-
"@aztec/key-store": "0.0.1-commit.
|
|
80
|
-
"@aztec/kv-store": "0.0.1-commit.
|
|
81
|
-
"@aztec/noir-protocol-circuits-types": "0.0.1-commit.
|
|
82
|
-
"@aztec/noir-types": "0.0.1-commit.
|
|
83
|
-
"@aztec/protocol-contracts": "0.0.1-commit.
|
|
84
|
-
"@aztec/simulator": "0.0.1-commit.
|
|
85
|
-
"@aztec/stdlib": "0.0.1-commit.
|
|
73
|
+
"@aztec/bb-prover": "0.0.1-commit.934299a21",
|
|
74
|
+
"@aztec/bb.js": "0.0.1-commit.934299a21",
|
|
75
|
+
"@aztec/builder": "0.0.1-commit.934299a21",
|
|
76
|
+
"@aztec/constants": "0.0.1-commit.934299a21",
|
|
77
|
+
"@aztec/ethereum": "0.0.1-commit.934299a21",
|
|
78
|
+
"@aztec/foundation": "0.0.1-commit.934299a21",
|
|
79
|
+
"@aztec/key-store": "0.0.1-commit.934299a21",
|
|
80
|
+
"@aztec/kv-store": "0.0.1-commit.934299a21",
|
|
81
|
+
"@aztec/noir-protocol-circuits-types": "0.0.1-commit.934299a21",
|
|
82
|
+
"@aztec/noir-types": "0.0.1-commit.934299a21",
|
|
83
|
+
"@aztec/protocol-contracts": "0.0.1-commit.934299a21",
|
|
84
|
+
"@aztec/simulator": "0.0.1-commit.934299a21",
|
|
85
|
+
"@aztec/stdlib": "0.0.1-commit.934299a21",
|
|
86
86
|
"koa": "^2.16.1",
|
|
87
87
|
"koa-router": "^13.1.1",
|
|
88
88
|
"lodash.omit": "^4.5.0",
|
|
@@ -91,8 +91,8 @@
|
|
|
91
91
|
"viem": "npm:@aztec/viem@2.38.2"
|
|
92
92
|
},
|
|
93
93
|
"devDependencies": {
|
|
94
|
-
"@aztec/merkle-tree": "0.0.1-commit.
|
|
95
|
-
"@aztec/noir-test-contracts.js": "0.0.1-commit.
|
|
94
|
+
"@aztec/merkle-tree": "0.0.1-commit.934299a21",
|
|
95
|
+
"@aztec/noir-test-contracts.js": "0.0.1-commit.934299a21",
|
|
96
96
|
"@jest/globals": "^30.0.0",
|
|
97
97
|
"@types/jest": "^30.0.0",
|
|
98
98
|
"@types/lodash.omit": "^4.5.7",
|
|
@@ -2,11 +2,8 @@ import {
|
|
|
2
2
|
AVM_EMITNOTEHASH_BASE_L2_GAS,
|
|
3
3
|
AVM_EMITNULLIFIER_BASE_L2_GAS,
|
|
4
4
|
AVM_SENDL2TOL1MSG_BASE_L2_GAS,
|
|
5
|
-
|
|
6
|
-
DA_GAS_PER_BYTE,
|
|
5
|
+
DA_GAS_PER_FIELD,
|
|
7
6
|
FIXED_AVM_STARTUP_L2_GAS,
|
|
8
|
-
FIXED_DA_GAS,
|
|
9
|
-
FIXED_L2_GAS,
|
|
10
7
|
L2_GAS_PER_CONTRACT_CLASS_LOG,
|
|
11
8
|
L2_GAS_PER_L2_TO_L1_MSG,
|
|
12
9
|
L2_GAS_PER_NOTE_HASH,
|
|
@@ -20,6 +17,9 @@ import {
|
|
|
20
17
|
MAX_NULLIFIERS_PER_TX,
|
|
21
18
|
MAX_NULLIFIER_READ_REQUESTS_PER_TX,
|
|
22
19
|
MAX_PRIVATE_LOGS_PER_TX,
|
|
20
|
+
PRIVATE_TX_L2_GAS_OVERHEAD,
|
|
21
|
+
PUBLIC_TX_L2_GAS_OVERHEAD,
|
|
22
|
+
TX_DA_GAS_OVERHEAD,
|
|
23
23
|
} from '@aztec/constants';
|
|
24
24
|
import { arrayNonEmptyLength, padArrayEnd } from '@aztec/foundation/collection';
|
|
25
25
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
@@ -361,7 +361,7 @@ export class ContractFunctionSimulator {
|
|
|
361
361
|
);
|
|
362
362
|
});
|
|
363
363
|
|
|
364
|
-
this.log.verbose(`Utility
|
|
364
|
+
this.log.verbose(`Utility execution for ${call.to}.${call.selector} completed`);
|
|
365
365
|
return witnessMapToFields(acirExecutionResult.returnWitness);
|
|
366
366
|
} catch (err) {
|
|
367
367
|
throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during private execution'));
|
|
@@ -654,7 +654,12 @@ export async function generateSimulatedProvingResult(
|
|
|
654
654
|
|
|
655
655
|
const publicInputs = new PrivateKernelTailCircuitPublicInputs(
|
|
656
656
|
constantData,
|
|
657
|
-
/*gasUsed=*/ gasUsed.add(
|
|
657
|
+
/*gasUsed=*/ gasUsed.add(
|
|
658
|
+
Gas.from({
|
|
659
|
+
l2Gas: isPrivateOnlyTx ? PRIVATE_TX_L2_GAS_OVERHEAD : PUBLIC_TX_L2_GAS_OVERHEAD,
|
|
660
|
+
daGas: TX_DA_GAS_OVERHEAD,
|
|
661
|
+
}),
|
|
662
|
+
),
|
|
658
663
|
/*feePayer=*/ AztecAddress.zero(),
|
|
659
664
|
/*expirationTimestamp=*/ 0n,
|
|
660
665
|
hasPublicCalls ? inputsForPublic : undefined,
|
|
@@ -684,6 +689,7 @@ function squashTransientSideEffects(
|
|
|
684
689
|
scopedNullifiersCLA,
|
|
685
690
|
/*futureNoteHashReads=*/ [],
|
|
686
691
|
/*futureNullifierReads=*/ [],
|
|
692
|
+
/*futureLogs=*/ [],
|
|
687
693
|
noteHashNullifierCounterMap,
|
|
688
694
|
minRevertibleSideEffectCounter,
|
|
689
695
|
);
|
|
@@ -726,16 +732,8 @@ async function verifyReadRequests(
|
|
|
726
732
|
nullifierReadRequests.length,
|
|
727
733
|
);
|
|
728
734
|
|
|
729
|
-
const noteHashResetActions = getNoteHashReadRequestResetActions(
|
|
730
|
-
|
|
731
|
-
scopedNoteHashesCLA,
|
|
732
|
-
/*futureNoteHashes=*/ [],
|
|
733
|
-
);
|
|
734
|
-
const nullifierResetActions = getNullifierReadRequestResetActions(
|
|
735
|
-
nullifierReadRequestsCLA,
|
|
736
|
-
scopedNullifiersCLA,
|
|
737
|
-
/*futureNullifiers=*/ [],
|
|
738
|
-
);
|
|
735
|
+
const noteHashResetActions = getNoteHashReadRequestResetActions(noteHashReadRequestsCLA, scopedNoteHashesCLA);
|
|
736
|
+
const nullifierResetActions = getNullifierReadRequestResetActions(nullifierReadRequestsCLA, scopedNullifiersCLA);
|
|
739
737
|
|
|
740
738
|
const settledNoteHashReads: { index: number; value: Fr }[] = [];
|
|
741
739
|
for (let i = 0; i < noteHashResetActions.actions.length; i++) {
|
|
@@ -818,7 +816,7 @@ function meterGasUsed(data: PrivateToRollupAccumulatedData | PrivateToPublicAccu
|
|
|
818
816
|
);
|
|
819
817
|
meteredL2Gas += numContractClassLogs * L2_GAS_PER_CONTRACT_CLASS_LOG;
|
|
820
818
|
|
|
821
|
-
const meteredDAGas = meteredDAFields *
|
|
819
|
+
const meteredDAGas = meteredDAFields * DA_GAS_PER_FIELD;
|
|
822
820
|
|
|
823
821
|
if ((data as PrivateToPublicAccumulatedData).publicCallRequests) {
|
|
824
822
|
const dataForPublic = data as PrivateToPublicAccumulatedData;
|
|
@@ -5,7 +5,7 @@ import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
|
5
5
|
import { TxHash } from '@aztec/stdlib/tx';
|
|
6
6
|
|
|
7
7
|
// TODO(#14617): should we compute this from constants? This value is aztec-nr specific.
|
|
8
|
-
const MAX_EVENT_SERIALIZED_LEN =
|
|
8
|
+
const MAX_EVENT_SERIALIZED_LEN = 11;
|
|
9
9
|
|
|
10
10
|
/**
|
|
11
11
|
* Intermediate struct used to perform batch event validation by PXE. The `utilityValidateAndStoreEnqueuedNotesAndEvents` oracle
|
|
@@ -4,7 +4,7 @@ import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
|
4
4
|
import { TxHash } from '@aztec/stdlib/tx';
|
|
5
5
|
|
|
6
6
|
// TODO(#14617): should we compute this from constants? This value is aztec-nr specific.
|
|
7
|
-
export const MAX_NOTE_PACKED_LEN =
|
|
7
|
+
export const MAX_NOTE_PACKED_LEN = 9;
|
|
8
8
|
|
|
9
9
|
/**
|
|
10
10
|
* Intermediate struct used to perform batch note validation by PXE. The `utilityValidateAndStoreEnqueuedNotesAndEvents` oracle
|