@aztec/simulator 0.0.1-commit.d431d1c → 0.0.1-commit.dbf9cec
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/README.md +4 -4
- package/dest/private/acvm/acvm.d.ts +4 -2
- package/dest/private/acvm/acvm.d.ts.map +1 -1
- package/dest/private/acvm/acvm.js +4 -3
- package/dest/private/acvm_native.d.ts +5 -3
- package/dest/private/acvm_native.d.ts.map +1 -1
- package/dest/private/acvm_native.js +8 -6
- package/dest/private/acvm_wasm.d.ts +4 -3
- package/dest/private/acvm_wasm.d.ts.map +1 -1
- package/dest/private/acvm_wasm.js +4 -4
- package/dest/private/circuit_recording/circuit_recorder.d.ts +4 -3
- package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/circuit_recorder.js +5 -3
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts +3 -2
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/file_circuit_recorder.js +2 -2
- package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
- package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
- package/dest/private/factory.d.ts +3 -3
- package/dest/private/factory.d.ts.map +1 -1
- package/dest/private/factory.js +7 -4
- package/dest/public/avm/avm_context.d.ts +3 -3
- package/dest/public/avm/avm_context.d.ts.map +1 -1
- package/dest/public/avm/avm_contract_call_result.d.ts +6 -6
- package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
- package/dest/public/avm/avm_contract_call_result.js +3 -3
- package/dest/public/avm/avm_execution_environment.d.ts +6 -5
- package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
- package/dest/public/avm/avm_gas.js +3 -3
- package/dest/public/avm/avm_machine_state.d.ts +6 -5
- package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
- package/dest/public/avm/avm_machine_state.js +3 -2
- package/dest/public/avm/avm_memory_types.d.ts +1 -1
- package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
- package/dest/public/avm/avm_memory_types.js +3 -0
- package/dest/public/avm/avm_simulator.d.ts +3 -2
- package/dest/public/avm/avm_simulator.d.ts.map +1 -1
- package/dest/public/avm/avm_simulator.js +5 -4
- package/dest/public/avm/calldata.d.ts +51 -0
- package/dest/public/avm/calldata.d.ts.map +1 -0
- package/dest/public/avm/calldata.js +63 -0
- package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +2 -0
- package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +1 -0
- package/dest/public/avm/fixtures/account_proof_fetcher.js +152 -0
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.js +3 -2
- package/dest/public/avm/fixtures/initializers.d.ts +1 -1
- package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
- package/dest/public/avm/fixtures/initializers.js +2 -1
- package/dest/public/avm/opcodes/accrued_substate.d.ts +4 -5
- package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
- package/dest/public/avm/opcodes/accrued_substate.js +15 -16
- package/dest/public/avm/opcodes/contract.d.ts +1 -1
- package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
- package/dest/public/avm/opcodes/contract.js +4 -4
- package/dest/public/avm/opcodes/external_calls.d.ts +1 -1
- package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
- package/dest/public/avm/opcodes/external_calls.js +7 -7
- package/dest/public/avm/opcodes/memory.js +1 -1
- package/dest/public/avm/opcodes/storage.d.ts +13 -12
- package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
- package/dest/public/avm/opcodes/storage.js +30 -20
- package/dest/public/avm/serialization/bytecode_serialization.js +3 -3
- package/dest/public/avm/serialization/instruction_serialization.d.ts +2 -2
- package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
- package/dest/public/avm/serialization/instruction_serialization.js +1 -1
- package/dest/public/debug_fn_name.d.ts +4 -4
- package/dest/public/debug_fn_name.d.ts.map +1 -1
- package/dest/public/debug_fn_name.js +7 -5
- package/dest/public/executor_metrics.d.ts +1 -1
- package/dest/public/executor_metrics.d.ts.map +1 -1
- package/dest/public/executor_metrics.js +7 -2
- package/dest/public/fixtures/amm_test.js +2 -2
- package/dest/public/fixtures/opcode_spammer.d.ts +3 -4
- package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -1
- package/dest/public/fixtures/opcode_spammer.js +36 -64
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +29 -2
- package/dest/public/fixtures/utils.js +4 -4
- package/dest/public/fuzzing/avm_simulator_bin.js +7 -4
- package/dest/public/hinting_db_sources.d.ts +2 -2
- package/dest/public/hinting_db_sources.d.ts.map +1 -1
- package/dest/public/hinting_db_sources.js +1 -1
- package/dest/public/public_db_sources.d.ts +4 -3
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +4 -4
- package/dest/public/public_processor/guarded_merkle_tree.d.ts +2 -2
- package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.js +1 -1
- package/dest/public/public_processor/public_processor.d.ts +8 -4
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +24 -11
- package/dest/public/public_processor/public_processor_metrics.d.ts +2 -2
- package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor_metrics.js +20 -4
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +3 -2
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +2 -2
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +5 -5
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +10 -11
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +4 -4
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +7 -7
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +4 -4
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +6 -6
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +3 -2
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +2 -2
- package/dest/public/public_tx_simulator/factories.d.ts +3 -2
- package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/factories.js +4 -4
- package/dest/public/public_tx_simulator/public_tx_context.d.ts +4 -3
- package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_context.js +8 -8
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +4 -3
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.js +11 -8
- package/dest/public/side_effect_trace.d.ts +4 -4
- package/dest/public/side_effect_trace.d.ts.map +1 -1
- package/dest/public/side_effect_trace.js +3 -3
- package/dest/public/state_manager/state_manager.d.ts +10 -4
- package/dest/public/state_manager/state_manager.d.ts.map +1 -1
- package/dest/public/state_manager/state_manager.js +12 -5
- package/dest/public/test_executor_metrics.d.ts +8 -2
- package/dest/public/test_executor_metrics.d.ts.map +1 -1
- package/dest/public/test_executor_metrics.js +24 -2
- package/package.json +16 -16
- package/src/private/acvm/acvm.ts +4 -3
- package/src/private/acvm_native.ts +11 -5
- package/src/private/acvm_wasm.ts +7 -3
- package/src/private/circuit_recording/circuit_recorder.ts +5 -3
- package/src/private/circuit_recording/file_circuit_recorder.ts +7 -2
- package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
- package/src/private/factory.ts +7 -4
- package/src/public/avm/avm_context.ts +2 -2
- package/src/public/avm/avm_contract_call_result.ts +8 -6
- package/src/public/avm/avm_execution_environment.ts +9 -4
- package/src/public/avm/avm_gas.ts +2 -2
- package/src/public/avm/avm_machine_state.ts +6 -5
- package/src/public/avm/avm_memory_types.ts +4 -0
- package/src/public/avm/avm_simulator.ts +8 -5
- package/src/public/avm/calldata.ts +100 -0
- package/src/public/avm/fixtures/account_proof.json +553 -0
- package/src/public/avm/fixtures/account_proof_fetcher.ts +166 -0
- package/src/public/avm/fixtures/avm_simulation_tester.ts +8 -2
- package/src/public/avm/fixtures/initializers.ts +2 -1
- package/src/public/avm/opcodes/accrued_substate.ts +16 -19
- package/src/public/avm/opcodes/contract.ts +1 -4
- package/src/public/avm/opcodes/external_calls.ts +8 -7
- package/src/public/avm/opcodes/memory.ts +1 -1
- package/src/public/avm/opcodes/storage.ts +28 -20
- package/src/public/avm/serialization/bytecode_serialization.ts +2 -2
- package/src/public/avm/serialization/instruction_serialization.ts +1 -1
- package/src/public/debug_fn_name.ts +10 -8
- package/src/public/executor_metrics.ts +4 -1
- package/src/public/fixtures/amm_test.ts +2 -2
- package/src/public/fixtures/opcode_spammer.ts +55 -63
- package/src/public/fixtures/public_tx_simulation_tester.ts +34 -3
- package/src/public/fixtures/utils.ts +4 -4
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +1 -1
- package/src/public/fuzzing/avm_simulator_bin.ts +11 -1
- package/src/public/hinting_db_sources.ts +1 -1
- package/src/public/public_db_sources.ts +15 -5
- package/src/public/public_processor/guarded_merkle_tree.ts +1 -1
- package/src/public/public_processor/public_processor.ts +42 -20
- package/src/public/public_processor/public_processor_metrics.ts +10 -4
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +6 -3
- package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +10 -8
- package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +7 -5
- package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +7 -5
- package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +3 -1
- package/src/public/public_tx_simulator/factories.ts +6 -3
- package/src/public/public_tx_simulator/public_tx_context.ts +13 -6
- package/src/public/public_tx_simulator/public_tx_simulator.ts +17 -8
- package/src/public/side_effect_trace.ts +5 -2
- package/src/public/state_manager/state_manager.ts +27 -4
- package/src/public/test_executor_metrics.ts +27 -3
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import { type LoggerBindings } from '@aztec/foundation/log';
|
|
1
2
|
import type { RevertCode } from '@aztec/stdlib/avm';
|
|
2
3
|
import type { GasUsed } from '@aztec/stdlib/gas';
|
|
3
4
|
import type { ExecutorMetricsInterface } from './executor_metrics_interface.js';
|
|
@@ -12,6 +13,10 @@ export interface PublicTxMetrics {
|
|
|
12
13
|
totalDurationMs: number;
|
|
13
14
|
manaUsed: number | undefined;
|
|
14
15
|
totalInstructionsExecuted: number;
|
|
16
|
+
bytecodeSizes: {
|
|
17
|
+
contractName: string;
|
|
18
|
+
sizeBytes: number;
|
|
19
|
+
}[];
|
|
15
20
|
nonRevertiblePrivateInsertionsUs: number | undefined;
|
|
16
21
|
revertiblePrivateInsertionsUs: number | undefined;
|
|
17
22
|
enqueuedCalls: PublicEnqueuedCallMetrics[];
|
|
@@ -40,16 +45,17 @@ export declare class TestExecutorMetrics implements ExecutorMetricsInterface {
|
|
|
40
45
|
private txMetrics;
|
|
41
46
|
private currentTxLabel;
|
|
42
47
|
private txTimer;
|
|
43
|
-
constructor();
|
|
48
|
+
constructor(bindings?: LoggerBindings);
|
|
44
49
|
startRecordingTxSimulation(txLabel: string): void;
|
|
45
50
|
stopRecordingTxSimulation(txLabel: string, gasUsed?: GasUsed, revertedCode?: RevertCode): void;
|
|
46
51
|
recordEnqueuedCallSimulation(fnName: string, durationMs: number, manaUsed: number, totalInstructionsExecuted: number): void;
|
|
47
52
|
recordEnqueuedCallSimulationFailure(fnName: string, durationMs: number, manaUsed: number, totalInstructionsExecuted: number): void;
|
|
48
53
|
recordPrivateEffectsInsertion(durationUs: number, type: 'revertible' | 'non-revertible'): void;
|
|
54
|
+
recordBytecodeSize(txLabel: string, contractName: string, sizeBytes: number): void;
|
|
49
55
|
recordProverMetrics(txLabel: string, metrics: Partial<PublicTxMetrics>): void;
|
|
50
56
|
prettyPrint(filter?: PublicTxMetricsFilter): void;
|
|
51
57
|
toPrettyString(filter?: PublicTxMetricsFilter): string;
|
|
52
58
|
toJSON(indent?: number): string;
|
|
53
59
|
toGithubActionBenchmarkJSON(indent?: number): string;
|
|
54
60
|
}
|
|
55
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
61
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVzdF9leGVjdXRvcl9tZXRyaWNzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL3Rlc3RfZXhlY3V0b3JfbWV0cmljcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQWUsS0FBSyxjQUFjLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFFdkYsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFJakQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVoRixNQUFNLFdBQVcseUJBQXlCO0lBQ3hDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDZixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakIseUJBQXlCLEVBQUUsTUFBTSxDQUFDO0lBQ2xDLFFBQVEsRUFBRSxPQUFPLENBQUM7Q0FDbkI7QUFFRCxNQUFNLFdBQVcsZUFBZTtJQUU5QixlQUFlLEVBQUUsTUFBTSxDQUFDO0lBQ3hCLFFBQVEsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzdCLHlCQUF5QixFQUFFLE1BQU0sQ0FBQztJQUNsQyxhQUFhLEVBQUU7UUFBRSxZQUFZLEVBQUUsTUFBTSxDQUFDO1FBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBQTtLQUFFLEVBQUUsQ0FBQztJQUM3RCxnQ0FBZ0MsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ3JELDZCQUE2QixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDbEQsYUFBYSxFQUFFLHlCQUF5QixFQUFFLENBQUM7SUFDM0MsWUFBWSxFQUFFLFVBQVUsR0FBRyxTQUFTLENBQUM7SUFFckMsc0JBQXNCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUMzQyxtQkFBbUIsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ3hDLDJCQUEyQixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFFaEQsNkJBQTZCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUNsRCx1QkFBdUIsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzVDLGlCQUFpQixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDdEMsWUFBWSxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDakMsNkJBQTZCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUNsRCx3Q0FBd0MsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzdELHdCQUF3QixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7Q0FDOUM7QUFXRCxvQkFBWSxxQkFBcUI7SUFDL0IsR0FBRyxJQUFBO0lBQ0gsTUFBTSxJQUFBO0lBQ04sU0FBUyxJQUFBO0lBQ1QsWUFBWSxJQUFBO0lBQ1osT0FBTyxJQUFBO0NBQ1I7QUE0QkQscUJBQWEsbUJBQW9CLFlBQVcsd0JBQXdCOztJQUNsRSxPQUFPLENBQUMsTUFBTSxDQUFTO0lBRXZCLE9BQU8sQ0FBQyxTQUFTLENBQTJDO0lBQzVELE9BQU8sQ0FBQyxjQUFjLENBQXFCO0lBQzNDLE9BQU8sQ0FBQyxPQUFPLENBQW9CO0lBRW5DLFlBQVksUUFBUSxDQUFDLEVBQUUsY0FBYyxFQUVwQztJQUVELDBCQUEwQixDQUFDLE9BQU8sRUFBRSxNQUFNLFFBTXpDO0lBRUQseUJBQXlCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxPQUFPLENBQUMsRUFBRSxPQUFPLEVBQUUsWUFBWSxDQUFDLEVBQUUsVUFBVSxRQWdCdEY7SUFFRCw0QkFBNEIsQ0FDMUIsTUFBTSxFQUFFLE1BQU0sRUFDZCxVQUFVLEVBQUUsTUFBTSxFQUNsQixRQUFRLEVBQUUsTUFBTSxFQUNoQix5QkFBeUIsRUFBRSxNQUFNLFFBR2xDO0lBRUQsbUNBQW1DLENBQ2pDLE1BQU0sRUFBRSxNQUFNLEVBQ2QsVUFBVSxFQUFFLE1BQU0sRUFDbEIsUUFBUSxFQUFFLE1BQU0sRUFDaEIseUJBQXlCLEVBQUUsTUFBTSxRQUdsQztJQW9CRCw2QkFBNkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxZQUFZLEdBQUcsZ0JBQWdCLFFBZ0J0RjtJQUVELGtCQUFrQixDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsWUFBWSxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxRQUkxRTtJQUVELG1CQUFtQixDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsT0FBTyxFQUFFLE9BQU8sQ0FBQyxlQUFlLENBQUMsUUFVckU7SUFFRCxXQUFXLENBQUMsTUFBTSxHQUFFLHFCQUFpRCxRQUVwRTtJQUVELGNBQWMsQ0FBQyxNQUFNLEdBQUUscUJBQWlELFVBd0Z2RTtJQTBCRCxNQUFNLENBQUMsTUFBTSxTQUFJLFVBRWhCO0lBRUQsMkJBQTJCLENBQUMsTUFBTSxTQUFJLFVBbUdyQztDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"test_executor_metrics.d.ts","sourceRoot":"","sources":["../../src/public/test_executor_metrics.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"test_executor_metrics.d.ts","sourceRoot":"","sources":["../../src/public/test_executor_metrics.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAIjD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB,EAAE,MAAM,CAAC;IAClC,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAE9B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,yBAAyB,EAAE,MAAM,CAAC;IAClC,aAAa,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7D,gCAAgC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,aAAa,EAAE,yBAAyB,EAAE,CAAC;IAC3C,YAAY,EAAE,UAAU,GAAG,SAAS,CAAC;IAErC,sBAAsB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,mBAAmB,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,2BAA2B,EAAE,MAAM,GAAG,SAAS,CAAC;IAEhD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,uBAAuB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,wCAAwC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7D,wBAAwB,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9C;AAWD,oBAAY,qBAAqB;IAC/B,GAAG,IAAA;IACH,MAAM,IAAA;IACN,SAAS,IAAA;IACT,YAAY,IAAA;IACZ,OAAO,IAAA;CACR;AA4BD,qBAAa,mBAAoB,YAAW,wBAAwB;;IAClE,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,OAAO,CAAoB;IAEnC,YAAY,QAAQ,CAAC,EAAE,cAAc,EAEpC;IAED,0BAA0B,CAAC,OAAO,EAAE,MAAM,QAMzC;IAED,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,UAAU,QAgBtF;IAED,4BAA4B,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAGlC;IAED,mCAAmC,CACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAGlC;IAoBD,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,gBAAgB,QAgBtF;IAED,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAI1E;IAED,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC,QAUrE;IAED,WAAW,CAAC,MAAM,GAAE,qBAAiD,QAEpE;IAED,cAAc,CAAC,MAAM,GAAE,qBAAiD,UAwFvE;IA0BD,MAAM,CAAC,MAAM,SAAI,UAEhB;IAED,2BAA2B,CAAC,MAAM,SAAI,UAmGrC;CACF"}
|
|
@@ -24,6 +24,7 @@ function createEmptyTxMetrics() {
|
|
|
24
24
|
totalDurationMs: 0,
|
|
25
25
|
manaUsed: 0,
|
|
26
26
|
totalInstructionsExecuted: 0,
|
|
27
|
+
bytecodeSizes: [],
|
|
27
28
|
nonRevertiblePrivateInsertionsUs: undefined,
|
|
28
29
|
revertiblePrivateInsertionsUs: undefined,
|
|
29
30
|
enqueuedCalls: [],
|
|
@@ -48,8 +49,8 @@ export class TestExecutorMetrics {
|
|
|
48
49
|
txMetrics = new Map();
|
|
49
50
|
currentTxLabel;
|
|
50
51
|
txTimer;
|
|
51
|
-
constructor(){
|
|
52
|
-
this.logger = createLogger(`simulator:test_executor_metrics
|
|
52
|
+
constructor(bindings){
|
|
53
|
+
this.logger = createLogger(`simulator:test_executor_metrics`, bindings);
|
|
53
54
|
}
|
|
54
55
|
startRecordingTxSimulation(txLabel) {
|
|
55
56
|
assert(!this.currentTxLabel, 'Cannot start recording tx simulation when another is live');
|
|
@@ -99,6 +100,14 @@ export class TestExecutorMetrics {
|
|
|
99
100
|
txMetrics.nonRevertiblePrivateInsertionsUs = durationUs;
|
|
100
101
|
}
|
|
101
102
|
}
|
|
103
|
+
recordBytecodeSize(txLabel, contractName, sizeBytes) {
|
|
104
|
+
const txMetrics = this.txMetrics.get(txLabel);
|
|
105
|
+
assert(txMetrics, `Cannot record bytecode size for unknown tx label: ${txLabel}`);
|
|
106
|
+
txMetrics.bytecodeSizes.push({
|
|
107
|
+
contractName,
|
|
108
|
+
sizeBytes
|
|
109
|
+
});
|
|
110
|
+
}
|
|
102
111
|
recordProverMetrics(txLabel, metrics) {
|
|
103
112
|
if (!this.txMetrics.has(txLabel)) {
|
|
104
113
|
this.txMetrics.set(txLabel, createEmptyTxMetrics());
|
|
@@ -132,6 +141,12 @@ export class TestExecutorMetrics {
|
|
|
132
141
|
if (filter === 3 || filter === 1 || filter === 0) {
|
|
133
142
|
pretty += `${INDENT0}Total instructions executed: ${fmtNum(txMetrics.totalInstructionsExecuted)}\n`;
|
|
134
143
|
}
|
|
144
|
+
if ((filter === 1 || filter === 0) && txMetrics.bytecodeSizes.length > 0) {
|
|
145
|
+
pretty += `${INDENT0}Bytecode sizes:\n`;
|
|
146
|
+
for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes){
|
|
147
|
+
pretty += `${INDENT1}${contractName}: ${fmtNum(sizeBytes, 'bytes')}\n`;
|
|
148
|
+
}
|
|
149
|
+
}
|
|
135
150
|
if (filter === 2 || filter === 0) {
|
|
136
151
|
pretty += `${INDENT0}Private insertions:\n`;
|
|
137
152
|
pretty += `${INDENT1}Non-revertible: ${fmtNum(txMetrics.nonRevertiblePrivateInsertionsUs / 1_000, 'ms')}\n`;
|
|
@@ -298,6 +313,13 @@ export class TestExecutorMetrics {
|
|
|
298
313
|
});
|
|
299
314
|
}
|
|
300
315
|
}
|
|
316
|
+
for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes){
|
|
317
|
+
data.push({
|
|
318
|
+
name: `${txLabel}/bytecodeSizeBytes/${contractName}`,
|
|
319
|
+
value: sizeBytes,
|
|
320
|
+
unit: 'bytes'
|
|
321
|
+
});
|
|
322
|
+
}
|
|
301
323
|
}
|
|
302
324
|
return JSON.stringify(data, null, indent);
|
|
303
325
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/simulator",
|
|
3
|
-
"version": "0.0.1-commit.
|
|
3
|
+
"version": "0.0.1-commit.dbf9cec",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
"./server": "./dest/server.js",
|
|
@@ -64,26 +64,26 @@
|
|
|
64
64
|
]
|
|
65
65
|
},
|
|
66
66
|
"dependencies": {
|
|
67
|
-
"@aztec/constants": "0.0.1-commit.
|
|
68
|
-
"@aztec/foundation": "0.0.1-commit.
|
|
69
|
-
"@aztec/native": "0.0.1-commit.
|
|
70
|
-
"@aztec/noir-acvm_js": "0.0.1-commit.
|
|
71
|
-
"@aztec/noir-noirc_abi": "0.0.1-commit.
|
|
72
|
-
"@aztec/noir-protocol-circuits-types": "0.0.1-commit.
|
|
73
|
-
"@aztec/noir-types": "0.0.1-commit.
|
|
74
|
-
"@aztec/protocol-contracts": "0.0.1-commit.
|
|
75
|
-
"@aztec/stdlib": "0.0.1-commit.
|
|
76
|
-
"@aztec/telemetry-client": "0.0.1-commit.
|
|
77
|
-
"@aztec/world-state": "0.0.1-commit.
|
|
67
|
+
"@aztec/constants": "0.0.1-commit.dbf9cec",
|
|
68
|
+
"@aztec/foundation": "0.0.1-commit.dbf9cec",
|
|
69
|
+
"@aztec/native": "0.0.1-commit.dbf9cec",
|
|
70
|
+
"@aztec/noir-acvm_js": "0.0.1-commit.dbf9cec",
|
|
71
|
+
"@aztec/noir-noirc_abi": "0.0.1-commit.dbf9cec",
|
|
72
|
+
"@aztec/noir-protocol-circuits-types": "0.0.1-commit.dbf9cec",
|
|
73
|
+
"@aztec/noir-types": "0.0.1-commit.dbf9cec",
|
|
74
|
+
"@aztec/protocol-contracts": "0.0.1-commit.dbf9cec",
|
|
75
|
+
"@aztec/stdlib": "0.0.1-commit.dbf9cec",
|
|
76
|
+
"@aztec/telemetry-client": "0.0.1-commit.dbf9cec",
|
|
77
|
+
"@aztec/world-state": "0.0.1-commit.dbf9cec",
|
|
78
78
|
"lodash.clonedeep": "^4.5.0",
|
|
79
79
|
"lodash.merge": "^4.6.2",
|
|
80
80
|
"tslib": "^2.4.0"
|
|
81
81
|
},
|
|
82
82
|
"devDependencies": {
|
|
83
|
-
"@aztec/kv-store": "0.0.1-commit.
|
|
84
|
-
"@aztec/merkle-tree": "0.0.1-commit.
|
|
85
|
-
"@aztec/noir-contracts.js": "0.0.1-commit.
|
|
86
|
-
"@aztec/noir-test-contracts.js": "0.0.1-commit.
|
|
83
|
+
"@aztec/kv-store": "0.0.1-commit.dbf9cec",
|
|
84
|
+
"@aztec/merkle-tree": "0.0.1-commit.dbf9cec",
|
|
85
|
+
"@aztec/noir-contracts.js": "0.0.1-commit.dbf9cec",
|
|
86
|
+
"@aztec/noir-test-contracts.js": "0.0.1-commit.dbf9cec",
|
|
87
87
|
"@jest/globals": "^30.0.0",
|
|
88
88
|
"@types/jest": "^30.0.0",
|
|
89
89
|
"@types/lodash.clonedeep": "^4.5.7",
|
package/src/private/acvm/acvm.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
|
|
2
2
|
import {
|
|
3
3
|
type ExecutionError,
|
|
4
4
|
type ForeignCallInput,
|
|
@@ -37,6 +37,7 @@ export interface ACIRExecutionResult {
|
|
|
37
37
|
* @param acir - The ACIR circuit bytecode to execute.
|
|
38
38
|
* @param initialWitness - The initial witness map defining all of the inputs to `circuit`.
|
|
39
39
|
* @param callback - A callback to process any foreign calls from the circuit.
|
|
40
|
+
* @param logger - Optional logger for ACVM execution logs.
|
|
40
41
|
* @returns The solved witness calculated by executing the circuit on the provided inputs, as well as the return
|
|
41
42
|
* witness indices as specified by the circuit.
|
|
42
43
|
*/
|
|
@@ -44,9 +45,9 @@ export async function acvm(
|
|
|
44
45
|
acir: Buffer,
|
|
45
46
|
initialWitness: ACVMWitness,
|
|
46
47
|
callback: ACIRCallback,
|
|
48
|
+
loggerOrBindings?: Logger | LoggerBindings,
|
|
47
49
|
): Promise<ACIRExecutionResult> {
|
|
48
|
-
const logger =
|
|
49
|
-
|
|
50
|
+
const logger = resolveLogger('simulator:acvm', loggerOrBindings);
|
|
50
51
|
const solvedAndReturnWitness = await executeCircuitWithReturnWitness(
|
|
51
52
|
acir,
|
|
52
53
|
initialWitness,
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { runInDirectory } from '@aztec/foundation/fs';
|
|
2
|
-
import {
|
|
2
|
+
import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
|
|
3
3
|
import { Timer } from '@aztec/foundation/timer';
|
|
4
4
|
import type { ForeignCallHandler, WitnessMap } from '@aztec/noir-acvm_js';
|
|
5
5
|
import type { FunctionArtifactWithContractName } from '@aztec/stdlib/abi';
|
|
@@ -12,8 +12,6 @@ import type { ACIRCallback, ACIRExecutionResult } from './acvm/acvm.js';
|
|
|
12
12
|
import type { ACVMWitness } from './acvm/acvm_types.js';
|
|
13
13
|
import type { CircuitSimulator } from './circuit_simulator.js';
|
|
14
14
|
|
|
15
|
-
const logger = createLogger('simulator:acvm-native');
|
|
16
|
-
|
|
17
15
|
export enum ACVM_RESULT {
|
|
18
16
|
SUCCESS,
|
|
19
17
|
FAILURE,
|
|
@@ -64,7 +62,9 @@ export async function executeNativeCircuit(
|
|
|
64
62
|
workingDirectory: string,
|
|
65
63
|
pathToAcvm: string,
|
|
66
64
|
outputFilename?: string,
|
|
65
|
+
loggerOrBindings?: Logger | LoggerBindings,
|
|
67
66
|
): Promise<ACVMResult> {
|
|
67
|
+
const logger = resolveLogger('simulator:acvm-native', loggerOrBindings);
|
|
68
68
|
const bytecodeFilename = 'bytecode';
|
|
69
69
|
const witnessFilename = 'input_witness.toml';
|
|
70
70
|
|
|
@@ -145,11 +145,16 @@ export async function executeNativeCircuit(
|
|
|
145
145
|
}
|
|
146
146
|
|
|
147
147
|
export class NativeACVMSimulator implements CircuitSimulator {
|
|
148
|
+
private logger: Logger;
|
|
149
|
+
|
|
148
150
|
constructor(
|
|
149
151
|
private workingDirectory: string,
|
|
150
152
|
private pathToAcvm: string,
|
|
151
153
|
private witnessFilename?: string,
|
|
152
|
-
|
|
154
|
+
loggerOrBindings?: Logger | LoggerBindings,
|
|
155
|
+
) {
|
|
156
|
+
this.logger = resolveLogger('simulator:acvm-native', loggerOrBindings);
|
|
157
|
+
}
|
|
153
158
|
|
|
154
159
|
async executeProtocolCircuit(
|
|
155
160
|
input: ACVMWitness,
|
|
@@ -172,6 +177,7 @@ export class NativeACVMSimulator implements CircuitSimulator {
|
|
|
172
177
|
directory,
|
|
173
178
|
this.pathToAcvm,
|
|
174
179
|
this.witnessFilename,
|
|
180
|
+
this.logger,
|
|
175
181
|
);
|
|
176
182
|
|
|
177
183
|
if (result.status == ACVM_RESULT.FAILURE) {
|
|
@@ -181,7 +187,7 @@ export class NativeACVMSimulator implements CircuitSimulator {
|
|
|
181
187
|
return result;
|
|
182
188
|
};
|
|
183
189
|
|
|
184
|
-
return await runInDirectory(this.workingDirectory, operation, false, logger);
|
|
190
|
+
return await runInDirectory(this.workingDirectory, operation, false, this.logger);
|
|
185
191
|
}
|
|
186
192
|
|
|
187
193
|
executeUserCircuit(
|
package/src/private/acvm_wasm.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
|
|
2
2
|
import { Timer } from '@aztec/foundation/timer';
|
|
3
3
|
import initACVM, { type ExecutionError, type ForeignCallHandler, executeCircuit } from '@aztec/noir-acvm_js';
|
|
4
4
|
import initAbi from '@aztec/noir-noirc_abi';
|
|
@@ -11,7 +11,11 @@ import type { ACVMSuccess } from './acvm_native.js';
|
|
|
11
11
|
import { type CircuitSimulator, enrichNoirError } from './circuit_simulator.js';
|
|
12
12
|
|
|
13
13
|
export class WASMSimulator implements CircuitSimulator {
|
|
14
|
-
|
|
14
|
+
protected log: Logger;
|
|
15
|
+
|
|
16
|
+
constructor(loggerOrBindings?: Logger | LoggerBindings) {
|
|
17
|
+
this.log = resolveLogger('wasm-simulator', loggerOrBindings);
|
|
18
|
+
}
|
|
15
19
|
|
|
16
20
|
async init(): Promise<void> {
|
|
17
21
|
// If these are available, then we are in the
|
|
@@ -67,6 +71,6 @@ export class WASMSimulator implements CircuitSimulator {
|
|
|
67
71
|
callback: ACIRCallback,
|
|
68
72
|
): Promise<ACIRExecutionResult> {
|
|
69
73
|
await this.init();
|
|
70
|
-
return acvm(artifact.bytecode, input, callback);
|
|
74
|
+
return acvm(artifact.bytecode, input, callback, this.log.createChild('acvm'));
|
|
71
75
|
}
|
|
72
76
|
}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { sha512 } from '@aztec/foundation/crypto/sha512';
|
|
2
|
-
import {
|
|
2
|
+
import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
|
|
3
3
|
import { Timer } from '@aztec/foundation/timer';
|
|
4
4
|
import type { ForeignCallHandler, ForeignCallInput, ForeignCallOutput } from '@aztec/noir-acvm_js';
|
|
5
5
|
|
|
@@ -89,14 +89,16 @@ export class CircuitRecording {
|
|
|
89
89
|
* ```
|
|
90
90
|
*/
|
|
91
91
|
export class CircuitRecorder {
|
|
92
|
-
protected readonly logger
|
|
92
|
+
protected readonly logger: Logger;
|
|
93
93
|
|
|
94
94
|
protected recording?: CircuitRecording;
|
|
95
95
|
|
|
96
96
|
private stackDepth: number = 0;
|
|
97
97
|
private newCircuit: boolean = true;
|
|
98
98
|
|
|
99
|
-
protected constructor() {
|
|
99
|
+
protected constructor(loggerOrBindings?: Logger | LoggerBindings) {
|
|
100
|
+
this.logger = resolveLogger('simulator:acvm:recording', loggerOrBindings);
|
|
101
|
+
}
|
|
100
102
|
|
|
101
103
|
/**
|
|
102
104
|
* Initializes a new circuit recording session.
|
|
@@ -1,3 +1,5 @@
|
|
|
1
|
+
import type { Logger } from '@aztec/foundation/log';
|
|
2
|
+
|
|
1
3
|
import fs from 'fs/promises';
|
|
2
4
|
import path from 'path';
|
|
3
5
|
|
|
@@ -7,8 +9,11 @@ import { CircuitRecorder, type CircuitRecording } from './circuit_recorder.js';
|
|
|
7
9
|
export class FileCircuitRecorder extends CircuitRecorder {
|
|
8
10
|
declare recording?: CircuitRecording & { filePath: string; isFirstCall: boolean };
|
|
9
11
|
|
|
10
|
-
constructor(
|
|
11
|
-
|
|
12
|
+
constructor(
|
|
13
|
+
private readonly recordDir: string,
|
|
14
|
+
logger?: Logger,
|
|
15
|
+
) {
|
|
16
|
+
super(logger);
|
|
12
17
|
}
|
|
13
18
|
|
|
14
19
|
override async start(
|
|
@@ -1,11 +1,13 @@
|
|
|
1
|
+
import type { Logger } from '@aztec/foundation/log';
|
|
2
|
+
|
|
1
3
|
import { CircuitRecorder } from './circuit_recorder.js';
|
|
2
4
|
|
|
3
|
-
|
|
5
|
+
/**
|
|
4
6
|
* In memory circuit recorder uses the default implementation. This is kept
|
|
5
|
-
* while we decide the fate of the FileCircuitRecorder
|
|
7
|
+
* while we decide the fate of the FileCircuitRecorder.
|
|
6
8
|
*/
|
|
7
9
|
export class MemoryCircuitRecorder extends CircuitRecorder {
|
|
8
|
-
constructor() {
|
|
9
|
-
super();
|
|
10
|
+
constructor(logger?: Logger) {
|
|
11
|
+
super(logger);
|
|
10
12
|
}
|
|
11
13
|
}
|
package/src/private/factory.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { type Logger,
|
|
1
|
+
import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
|
|
2
2
|
|
|
3
3
|
import { promises as fs } from 'fs';
|
|
4
4
|
|
|
@@ -21,18 +21,21 @@ export function getSimulatorConfigFromEnv() {
|
|
|
21
21
|
|
|
22
22
|
export async function createSimulator(
|
|
23
23
|
config: SimulatorConfig,
|
|
24
|
-
|
|
24
|
+
loggerOrBindings?: Logger | LoggerBindings,
|
|
25
25
|
): Promise<CircuitSimulator> {
|
|
26
|
+
const logger = resolveLogger('simulator', loggerOrBindings);
|
|
26
27
|
if (config.acvmBinaryPath && config.acvmWorkingDirectory) {
|
|
27
28
|
try {
|
|
28
29
|
await fs.access(config.acvmBinaryPath, fs.constants.R_OK);
|
|
29
30
|
await fs.mkdir(config.acvmWorkingDirectory, { recursive: true });
|
|
30
31
|
logger.info(`Using native ACVM at ${config.acvmBinaryPath} and working directory ${config.acvmWorkingDirectory}`);
|
|
31
|
-
|
|
32
|
+
const acvmLogger = logger.createChild('acvm-native');
|
|
33
|
+
return new NativeACVMSimulator(config.acvmWorkingDirectory, config.acvmBinaryPath, undefined, acvmLogger);
|
|
32
34
|
} catch {
|
|
33
35
|
logger.warn(`Failed to access ACVM at ${config.acvmBinaryPath}, falling back to WASM`);
|
|
34
36
|
}
|
|
35
37
|
}
|
|
36
38
|
logger.info('Using WASM ACVM simulation');
|
|
37
|
-
|
|
39
|
+
const wasmLogger = logger.createChild('wasm');
|
|
40
|
+
return new WASMSimulator(wasmLogger);
|
|
38
41
|
}
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
1
|
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
3
2
|
|
|
4
3
|
import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
|
|
@@ -6,6 +5,7 @@ import type { AvmExecutionEnvironment } from './avm_execution_environment.js';
|
|
|
6
5
|
import { type Gas, gasToGasLeft } from './avm_gas.js';
|
|
7
6
|
import { AvmMachineState } from './avm_machine_state.js';
|
|
8
7
|
import type { AvmSimulatorInterface } from './avm_simulator_interface.js';
|
|
8
|
+
import type { CallData } from './calldata.js';
|
|
9
9
|
|
|
10
10
|
/**
|
|
11
11
|
* An execution context includes the information necessary to initiate AVM
|
|
@@ -45,7 +45,7 @@ export class AvmContext {
|
|
|
45
45
|
*/
|
|
46
46
|
public async createNestedContractCallContext(
|
|
47
47
|
address: AztecAddress,
|
|
48
|
-
calldata:
|
|
48
|
+
calldata: CallData,
|
|
49
49
|
allocatedGas: Gas,
|
|
50
50
|
callType: 'CALL' | 'STATICCALL',
|
|
51
51
|
): Promise<AvmContext> {
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
1
|
import type { SimulationError } from '@aztec/stdlib/errors';
|
|
3
2
|
import { Gas } from '@aztec/stdlib/gas';
|
|
4
3
|
|
|
@@ -6,6 +5,7 @@ import { inspect } from 'util';
|
|
|
6
5
|
|
|
7
6
|
import { createSimulationError } from '../../common/errors.js';
|
|
8
7
|
import type { Gas as AvmGas } from './avm_gas.js';
|
|
8
|
+
import type { ReturnData } from './calldata.js';
|
|
9
9
|
import type { AvmRevertReason } from './errors.js';
|
|
10
10
|
|
|
11
11
|
/**
|
|
@@ -14,14 +14,14 @@ import type { AvmRevertReason } from './errors.js';
|
|
|
14
14
|
export class AvmContractCallResult {
|
|
15
15
|
constructor(
|
|
16
16
|
public reverted: boolean,
|
|
17
|
-
public output:
|
|
17
|
+
public output: ReturnData,
|
|
18
18
|
public gasLeft: AvmGas,
|
|
19
19
|
public revertReason?: AvmRevertReason,
|
|
20
20
|
public totalInstructions: number = 0, // including nested calls
|
|
21
21
|
) {}
|
|
22
22
|
|
|
23
23
|
toString(): string {
|
|
24
|
-
let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(
|
|
24
|
+
let resultsStr = `reverted: ${this.reverted}, output: ${this.output.bestEffortReadAll(10)}${this.output.length() > 10 ? ' ...' : ''}, gasLeft: ${inspect(
|
|
25
25
|
this.gasLeft,
|
|
26
26
|
)}, totalInstructions: ${this.totalInstructions}`;
|
|
27
27
|
if (this.revertReason) {
|
|
@@ -31,7 +31,9 @@ export class AvmContractCallResult {
|
|
|
31
31
|
}
|
|
32
32
|
|
|
33
33
|
finalize(): AvmFinalizedCallResult {
|
|
34
|
-
const revertReason = this.revertReason
|
|
34
|
+
const revertReason = this.revertReason
|
|
35
|
+
? createSimulationError(this.revertReason, this.output.bestEffortReadAll())
|
|
36
|
+
: undefined;
|
|
35
37
|
return new AvmFinalizedCallResult(
|
|
36
38
|
this.reverted,
|
|
37
39
|
this.output,
|
|
@@ -49,14 +51,14 @@ export class AvmContractCallResult {
|
|
|
49
51
|
export class AvmFinalizedCallResult {
|
|
50
52
|
constructor(
|
|
51
53
|
public reverted: boolean,
|
|
52
|
-
public output:
|
|
54
|
+
public output: ReturnData,
|
|
53
55
|
public gasLeft: Gas,
|
|
54
56
|
public revertReason?: SimulationError,
|
|
55
57
|
public totalInstructions: number = 0, // including nested calls
|
|
56
58
|
) {}
|
|
57
59
|
|
|
58
60
|
toString(): string {
|
|
59
|
-
let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(
|
|
61
|
+
let resultsStr = `reverted: ${this.reverted}, output: ${this.output.bestEffortReadAll(10)}${this.output.length() > 10 ? ' ...' : ''}, gasLeft: ${inspect(
|
|
60
62
|
this.gasLeft,
|
|
61
63
|
)}, totalInstructions: ${this.totalInstructions}`;
|
|
62
64
|
if (this.revertReason) {
|
|
@@ -3,6 +3,8 @@ import type { PublicSimulatorConfig } from '@aztec/stdlib/avm';
|
|
|
3
3
|
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
4
4
|
import type { GlobalVariables } from '@aztec/stdlib/tx';
|
|
5
5
|
|
|
6
|
+
import type { CallData } from './calldata.js';
|
|
7
|
+
|
|
6
8
|
/**
|
|
7
9
|
* Contains variables that remain constant during AVM execution
|
|
8
10
|
* These variables are provided by the public kernel circuit
|
|
@@ -15,13 +17,13 @@ export class AvmExecutionEnvironment {
|
|
|
15
17
|
public readonly transactionFee: Fr,
|
|
16
18
|
public readonly globals: GlobalVariables,
|
|
17
19
|
public readonly isStaticCall: boolean,
|
|
18
|
-
public readonly calldata:
|
|
20
|
+
public readonly calldata: CallData,
|
|
19
21
|
public readonly config: PublicSimulatorConfig,
|
|
20
22
|
) {}
|
|
21
23
|
|
|
22
24
|
private deriveEnvironmentForNestedCallInternal(
|
|
23
25
|
targetAddress: AztecAddress,
|
|
24
|
-
calldata:
|
|
26
|
+
calldata: CallData,
|
|
25
27
|
isStaticCall: boolean,
|
|
26
28
|
): AvmExecutionEnvironment {
|
|
27
29
|
return new AvmExecutionEnvironment(
|
|
@@ -36,11 +38,14 @@ export class AvmExecutionEnvironment {
|
|
|
36
38
|
);
|
|
37
39
|
}
|
|
38
40
|
|
|
39
|
-
public deriveEnvironmentForNestedCall(targetAddress: AztecAddress, calldata:
|
|
41
|
+
public deriveEnvironmentForNestedCall(targetAddress: AztecAddress, calldata: CallData): AvmExecutionEnvironment {
|
|
40
42
|
return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ false);
|
|
41
43
|
}
|
|
42
44
|
|
|
43
|
-
public deriveEnvironmentForNestedStaticCall(
|
|
45
|
+
public deriveEnvironmentForNestedStaticCall(
|
|
46
|
+
targetAddress: AztecAddress,
|
|
47
|
+
calldata: CallData,
|
|
48
|
+
): AvmExecutionEnvironment {
|
|
44
49
|
return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ true);
|
|
45
50
|
}
|
|
46
51
|
}
|
|
@@ -110,7 +110,7 @@ const BASE_GAS_COSTS: Record<Opcode, Gas> = {
|
|
|
110
110
|
[Opcode.NULLIFIEREXISTS]: makeCost(c.AVM_NULLIFIEREXISTS_BASE_L2_GAS, 0),
|
|
111
111
|
[Opcode.EMITNULLIFIER]: makeCost(c.AVM_EMITNULLIFIER_BASE_L2_GAS, c.AVM_EMITNULLIFIER_BASE_DA_GAS),
|
|
112
112
|
[Opcode.L1TOL2MSGEXISTS]: makeCost(c.AVM_L1TOL2MSGEXISTS_BASE_L2_GAS, 0),
|
|
113
|
-
[Opcode.
|
|
113
|
+
[Opcode.EMITPUBLICLOG]: makeCost(c.AVM_EMITPUBLICLOG_BASE_L2_GAS, c.AVM_EMITPUBLICLOG_BASE_DA_GAS),
|
|
114
114
|
[Opcode.SENDL2TOL1MSG]: makeCost(c.AVM_SENDL2TOL1MSG_BASE_L2_GAS, c.AVM_SENDL2TOL1MSG_BASE_DA_GAS),
|
|
115
115
|
[Opcode.GETCONTRACTINSTANCE]: makeCost(c.AVM_GETCONTRACTINSTANCE_BASE_L2_GAS, 0),
|
|
116
116
|
[Opcode.CALL]: makeCost(c.AVM_CALL_BASE_L2_GAS, 0),
|
|
@@ -130,7 +130,7 @@ const DYNAMIC_GAS_COSTS = new Map<Opcode, Gas>([
|
|
|
130
130
|
[Opcode.CALLDATACOPY, makeCost(c.AVM_CALLDATACOPY_DYN_L2_GAS, 0)],
|
|
131
131
|
[Opcode.RETURNDATACOPY, makeCost(c.AVM_RETURNDATACOPY_DYN_L2_GAS, 0)],
|
|
132
132
|
// TODO: Call and static call based on bytecode length
|
|
133
|
-
[Opcode.
|
|
133
|
+
[Opcode.EMITPUBLICLOG, makeCost(c.AVM_EMITPUBLICLOG_DYN_L2_GAS, c.AVM_EMITPUBLICLOG_DYN_DA_GAS)],
|
|
134
134
|
[Opcode.TORADIXBE, makeCost(c.AVM_TORADIXBE_DYN_L2_GAS, 0)],
|
|
135
135
|
[Opcode.AND_8, makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)],
|
|
136
136
|
[Opcode.AND_16, makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)],
|
|
@@ -2,6 +2,7 @@ import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
|
2
2
|
|
|
3
3
|
import type { Gas } from './avm_gas.js';
|
|
4
4
|
import { TaggedMemory } from './avm_memory_types.js';
|
|
5
|
+
import { type ReturnData, ReturnDataArray } from './calldata.js';
|
|
5
6
|
import { type AvmRevertReason, OutOfGasError } from './errors.js';
|
|
6
7
|
|
|
7
8
|
/**
|
|
@@ -39,7 +40,7 @@ export class AvmMachineState {
|
|
|
39
40
|
/** program counter of the next instruction, byte based */
|
|
40
41
|
public nextPc: number = 0;
|
|
41
42
|
/** return/revertdata of the last nested call. */
|
|
42
|
-
public nestedReturndata:
|
|
43
|
+
public nestedReturndata: ReturnData = new ReturnDataArray([]);
|
|
43
44
|
/** Tracks whether the last external call was successful */
|
|
44
45
|
public nestedCallSuccess: boolean = false;
|
|
45
46
|
/**
|
|
@@ -66,7 +67,7 @@ export class AvmMachineState {
|
|
|
66
67
|
/** Signals that execution has reverted normally (this does not cover exceptional halts) */
|
|
67
68
|
private reverted: boolean = false;
|
|
68
69
|
/** Output data must NOT be modified once it is set */
|
|
69
|
-
private output:
|
|
70
|
+
private output: ReturnData = new ReturnDataArray([]);
|
|
70
71
|
|
|
71
72
|
// Metrics only - not needed for execution
|
|
72
73
|
/** instruction counter, including nested calls */
|
|
@@ -129,7 +130,7 @@ export class AvmMachineState {
|
|
|
129
130
|
* Output data must NOT be modified once it is set
|
|
130
131
|
* @param output
|
|
131
132
|
*/
|
|
132
|
-
public return(output:
|
|
133
|
+
public return(output: ReturnData) {
|
|
133
134
|
this.halted = true;
|
|
134
135
|
this.output = output;
|
|
135
136
|
}
|
|
@@ -139,7 +140,7 @@ export class AvmMachineState {
|
|
|
139
140
|
* Output data must NOT be modified once it is set
|
|
140
141
|
* @param output
|
|
141
142
|
*/
|
|
142
|
-
public revert(output:
|
|
143
|
+
public revert(output: ReturnData) {
|
|
143
144
|
this.halted = true;
|
|
144
145
|
this.reverted = true;
|
|
145
146
|
this.output = output;
|
|
@@ -153,7 +154,7 @@ export class AvmMachineState {
|
|
|
153
154
|
return this.reverted;
|
|
154
155
|
}
|
|
155
156
|
|
|
156
|
-
public getOutput():
|
|
157
|
+
public getOutput(): ReturnData {
|
|
157
158
|
return this.output;
|
|
158
159
|
}
|
|
159
160
|
|
|
@@ -369,6 +369,10 @@ export class TaggedMemory implements TaggedMemoryInterface {
|
|
|
369
369
|
* Check tags for all memory in the specified range.
|
|
370
370
|
*/
|
|
371
371
|
public checkTagsRange(tag: TypeTag, startOffset: number, size: number) {
|
|
372
|
+
if (startOffset + size > TaggedMemory.MAX_MEMORY_SIZE) {
|
|
373
|
+
throw new MemorySliceOutOfRangeError(startOffset, size);
|
|
374
|
+
}
|
|
375
|
+
|
|
372
376
|
for (let offset = startOffset; offset < startOffset + size; offset++) {
|
|
373
377
|
this.checkTag(tag, offset);
|
|
374
378
|
}
|
|
@@ -15,6 +15,7 @@ import { AvmExecutionEnvironment } from './avm_execution_environment.js';
|
|
|
15
15
|
import type { Gas } from './avm_gas.js';
|
|
16
16
|
import { AvmMachineState } from './avm_machine_state.js';
|
|
17
17
|
import type { AvmSimulatorInterface } from './avm_simulator_interface.js';
|
|
18
|
+
import { type CallData, ReturnDataArray } from './calldata.js';
|
|
18
19
|
import { AvmRevertReason, InvalidProgramCounterError } from './errors.js';
|
|
19
20
|
import type { Instruction } from './opcodes/instruction.js';
|
|
20
21
|
import { revertReasonFromExceptionalHalt, revertReasonFromExplicitRevert } from './revert_reason.js';
|
|
@@ -49,7 +50,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
|
|
|
49
50
|
// This will be used by the CALL opcode to create a new simulator. It is required to
|
|
50
51
|
// avoid a dependency cycle.
|
|
51
52
|
context.provideSimulator = AvmSimulator.build;
|
|
52
|
-
this.log = createLogger(`simulator:avm(calldata[0]: ${context.environment.calldata
|
|
53
|
+
this.log = createLogger(`simulator:avm(calldata[0]: ${context.environment.calldata.read(0)})`);
|
|
53
54
|
// Turn on tallying if explicitly enabled or if trace logging
|
|
54
55
|
if (enableTallying || this.log.isLevelEnabled('trace')) {
|
|
55
56
|
this.tallyPrintFunction = this.printOpcodeTallies;
|
|
@@ -74,7 +75,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
|
|
|
74
75
|
transactionFee: Fr,
|
|
75
76
|
globals: GlobalVariables,
|
|
76
77
|
isStaticCall: boolean,
|
|
77
|
-
calldata:
|
|
78
|
+
calldata: CallData,
|
|
78
79
|
allocatedGas: Gas,
|
|
79
80
|
config: PublicSimulatorConfig,
|
|
80
81
|
) {
|
|
@@ -183,7 +184,9 @@ export class AvmSimulator implements AvmSimulatorInterface {
|
|
|
183
184
|
|
|
184
185
|
const output = machineState.getOutput();
|
|
185
186
|
const reverted = machineState.getReverted();
|
|
186
|
-
const revertReason = reverted
|
|
187
|
+
const revertReason = reverted
|
|
188
|
+
? await revertReasonFromExplicitRevert(output.bestEffortReadAll(), this.context)
|
|
189
|
+
: undefined;
|
|
187
190
|
const results = new AvmContractCallResult(
|
|
188
191
|
reverted,
|
|
189
192
|
output,
|
|
@@ -220,7 +223,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
|
|
|
220
223
|
// Note: "exceptional halts" cannot return data, hence [].
|
|
221
224
|
const results = new AvmContractCallResult(
|
|
222
225
|
/*reverted=*/ true,
|
|
223
|
-
/*output=*/ [],
|
|
226
|
+
/*output=*/ new ReturnDataArray([]),
|
|
224
227
|
noGasLeft,
|
|
225
228
|
revertReason,
|
|
226
229
|
machineState.instrCounter,
|
|
@@ -250,7 +253,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
|
|
|
250
253
|
this.log.warn(message);
|
|
251
254
|
return new AvmContractCallResult(
|
|
252
255
|
/*reverted=*/ true,
|
|
253
|
-
/*output=*/ [],
|
|
256
|
+
/*output=*/ new ReturnDataArray([]),
|
|
254
257
|
/*gasLeft=*/ { l2Gas: 0, daGas: 0 }, // consumes all allocated gas
|
|
255
258
|
revertReason,
|
|
256
259
|
);
|