@aztec/stdlib 0.0.1-commit.f5d02921e → 0.0.1-commit.f7ea82942
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/abi/authorization_selector.d.ts +3 -6
- package/dest/abi/authorization_selector.d.ts.map +1 -1
- package/dest/abi/encoder.d.ts +1 -1
- package/dest/abi/encoder.d.ts.map +1 -1
- package/dest/abi/encoder.js +32 -6
- package/dest/abi/event_selector.d.ts +3 -6
- package/dest/abi/event_selector.d.ts.map +1 -1
- package/dest/abi/function_selector.d.ts +3 -6
- package/dest/abi/function_selector.d.ts.map +1 -1
- package/dest/abi/function_selector.js +1 -3
- package/dest/abi/note_selector.d.ts +3 -6
- package/dest/abi/note_selector.d.ts.map +1 -1
- package/dest/abi/note_selector.js +1 -3
- package/dest/abi/selector.d.ts +2 -2
- package/dest/abi/selector.d.ts.map +1 -1
- package/dest/abi/selector.js +1 -1
- package/dest/avm/avm.d.ts +300 -300
- package/dest/avm/revert_code.d.ts +8 -18
- package/dest/avm/revert_code.d.ts.map +1 -1
- package/dest/avm/revert_code.js +15 -30
- package/dest/aztec-address/index.d.ts +3 -6
- package/dest/aztec-address/index.d.ts.map +1 -1
- package/dest/aztec-address/index.js +2 -4
- package/dest/block/block_data.d.ts +8 -8
- package/dest/block/block_data.d.ts.map +1 -1
- package/dest/block/block_data.js +2 -2
- package/dest/block/block_hash.d.ts +11 -10
- package/dest/block/block_hash.d.ts.map +1 -1
- package/dest/block/block_hash.js +10 -9
- package/dest/block/l2_block_info.d.ts +6 -5
- package/dest/block/l2_block_info.d.ts.map +1 -1
- package/dest/block/l2_block_info.js +6 -5
- package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
- package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
- package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_tips_store_base.js +1 -1
- package/dest/block/test/l2_tips_store_test_suite.js +1 -1
- package/dest/config/chain-config.d.ts +1 -1
- package/dest/config/chain-config.d.ts.map +1 -1
- package/dest/config/chain-config.js +7 -1
- package/dest/config/sequencer-config.d.ts +2 -2
- package/dest/config/sequencer-config.d.ts.map +1 -1
- package/dest/config/sequencer-config.js +10 -3
- package/dest/contract/private_function.d.ts +1 -1
- package/dest/contract/private_function.d.ts.map +1 -1
- package/dest/contract/private_function.js +2 -4
- package/dest/gas/fee_math.d.ts +49 -0
- package/dest/gas/fee_math.d.ts.map +1 -0
- package/dest/gas/fee_math.js +80 -0
- package/dest/gas/gas_fees.d.ts +5 -1
- package/dest/gas/gas_fees.d.ts.map +1 -1
- package/dest/gas/gas_fees.js +10 -1
- package/dest/gas/gas_settings.d.ts +40 -3
- package/dest/gas/gas_settings.d.ts.map +1 -1
- package/dest/gas/gas_settings.js +50 -6
- package/dest/gas/index.d.ts +2 -1
- package/dest/gas/index.d.ts.map +1 -1
- package/dest/gas/index.js +1 -0
- package/dest/ha-signing/config.d.ts +6 -6
- package/dest/ha-signing/config.d.ts.map +1 -1
- package/dest/ha-signing/config.js +4 -3
- package/dest/ha-signing/index.d.ts +2 -2
- package/dest/ha-signing/index.d.ts.map +1 -1
- package/dest/ha-signing/index.js +1 -1
- package/dest/ha-signing/local_config.js +1 -1
- package/dest/ha-signing/types.d.ts +37 -32
- package/dest/ha-signing/types.d.ts.map +1 -1
- package/dest/ha-signing/types.js +13 -6
- package/dest/hash/hash.d.ts +16 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +32 -0
- package/dest/interfaces/archiver.d.ts +11 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +3 -1
- package/dest/interfaces/aztec-node-admin.d.ts +9 -14
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +3 -3
- package/dest/interfaces/aztec-node-debug.d.ts +21 -0
- package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
- package/dest/interfaces/aztec-node-debug.js +18 -0
- package/dest/interfaces/aztec-node.d.ts +10 -1
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +2 -0
- package/dest/interfaces/client.d.ts +2 -1
- package/dest/interfaces/client.d.ts.map +1 -1
- package/dest/interfaces/client.js +1 -0
- package/dest/interfaces/merkle_tree_operations.d.ts +4 -3
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/prover-client.d.ts +1 -1
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +0 -3
- package/dest/interfaces/slasher.d.ts +1 -10
- package/dest/interfaces/slasher.d.ts.map +1 -1
- package/dest/interfaces/slasher.js +0 -2
- package/dest/interfaces/validator.d.ts +14 -17
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/l1-contracts/index.d.ts +2 -2
- package/dest/l1-contracts/index.d.ts.map +1 -1
- package/dest/l1-contracts/index.js +1 -1
- package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
- package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
- package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
- package/dest/logs/log_id.d.ts +1 -1
- package/dest/logs/log_id.d.ts.map +1 -1
- package/dest/logs/log_id.js +1 -2
- package/dest/logs/siloed_tag.d.ts +5 -7
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +4 -0
- package/dest/logs/tag.d.ts +5 -6
- package/dest/logs/tag.d.ts.map +1 -1
- package/dest/logs/tag.js +4 -0
- package/dest/p2p/block_proposal.d.ts +6 -8
- package/dest/p2p/block_proposal.d.ts.map +1 -1
- package/dest/p2p/block_proposal.js +4 -9
- package/dest/p2p/checkpoint_attestation.d.ts +4 -6
- package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
- package/dest/p2p/checkpoint_attestation.js +2 -7
- package/dest/p2p/checkpoint_proposal.d.ts +8 -10
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +5 -24
- package/dest/p2p/gossipable.d.ts +4 -4
- package/dest/p2p/gossipable.d.ts.map +1 -1
- package/dest/rollup/block_headers_hash.d.ts +1 -1
- package/dest/rollup/block_headers_hash.d.ts.map +1 -1
- package/dest/rollup/block_headers_hash.js +8 -2
- package/dest/slashing/index.d.ts +2 -3
- package/dest/slashing/index.d.ts.map +1 -1
- package/dest/slashing/index.js +1 -2
- package/dest/slashing/serialization.d.ts +2 -6
- package/dest/slashing/serialization.d.ts.map +1 -1
- package/dest/slashing/serialization.js +0 -60
- package/dest/slashing/types.d.ts +4 -90
- package/dest/slashing/types.d.ts.map +1 -1
- package/dest/slashing/types.js +0 -14
- package/dest/slashing/{tally.d.ts → votes.d.ts} +1 -1
- package/dest/slashing/{tally.d.ts.map → votes.d.ts.map} +1 -1
- package/dest/slashing/{tally.js → votes.js} +1 -1
- package/dest/tests/factories.d.ts +2 -7
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +2 -8
- package/dest/tests/mocks.d.ts +1 -1
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +14 -19
- package/dest/timetable/index.d.ts +51 -1
- package/dest/timetable/index.d.ts.map +1 -1
- package/dest/timetable/index.js +204 -14
- package/dest/trees/nullifier_leaf.d.ts +2 -1
- package/dest/trees/nullifier_leaf.d.ts.map +1 -1
- package/dest/trees/nullifier_leaf.js +3 -0
- package/dest/tx/block_header.d.ts +2 -2
- package/dest/tx/block_header.d.ts.map +1 -1
- package/dest/tx/block_header.js +1 -1
- package/dest/tx/fee_provider.d.ts +10 -0
- package/dest/tx/fee_provider.d.ts.map +1 -0
- package/dest/tx/fee_provider.js +1 -0
- package/dest/tx/global_variable_builder.d.ts +3 -16
- package/dest/tx/global_variable_builder.d.ts.map +1 -1
- package/dest/tx/index.d.ts +2 -1
- package/dest/tx/index.d.ts.map +1 -1
- package/dest/tx/index.js +1 -0
- package/dest/tx/indexed_tx_effect.d.ts +1 -1
- package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
- package/dest/tx/indexed_tx_effect.js +1 -2
- package/dest/tx/simulated_tx.d.ts +4 -4
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +3 -3
- package/dest/tx/tx.d.ts +3 -3
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx_receipt.d.ts +8 -4
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +8 -15
- package/dest/types/shared.d.ts +1 -10
- package/dest/types/shared.d.ts.map +1 -1
- package/dest/types/shared.js +0 -9
- package/dest/vks/verification_key.d.ts +2 -137
- package/dest/vks/verification_key.d.ts.map +1 -1
- package/dest/vks/verification_key.js +5 -126
- package/dest/world-state/genesis_data.d.ts +11 -0
- package/dest/world-state/genesis_data.d.ts.map +1 -0
- package/dest/world-state/genesis_data.js +4 -0
- package/dest/world-state/index.d.ts +2 -1
- package/dest/world-state/index.d.ts.map +1 -1
- package/dest/world-state/index.js +1 -0
- package/dest/world-state/world_state_revision.d.ts +8 -1
- package/dest/world-state/world_state_revision.d.ts.map +1 -1
- package/dest/world-state/world_state_revision.js +7 -1
- package/package.json +8 -8
- package/src/abi/authorization_selector.ts +2 -8
- package/src/abi/encoder.ts +42 -6
- package/src/abi/event_selector.ts +2 -8
- package/src/abi/function_selector.ts +3 -12
- package/src/abi/note_selector.ts +3 -12
- package/src/abi/selector.ts +1 -1
- package/src/avm/revert_code.ts +25 -39
- package/src/aztec-address/index.ts +4 -10
- package/src/block/block_data.ts +3 -4
- package/src/block/block_hash.ts +21 -14
- package/src/block/l2_block_info.ts +8 -6
- package/src/block/l2_block_stream/interfaces.ts +6 -2
- package/src/block/l2_block_stream/l2_tips_store_base.ts +1 -1
- package/src/block/test/l2_tips_store_test_suite.ts +1 -1
- package/src/config/chain-config.ts +7 -1
- package/src/config/sequencer-config.ts +14 -4
- package/src/contract/private_function.ts +3 -1
- package/src/gas/README.md +31 -0
- package/src/gas/fee_math.ts +120 -0
- package/src/gas/gas_fees.ts +17 -4
- package/src/gas/gas_settings.ts +65 -12
- package/src/gas/index.ts +1 -0
- package/src/ha-signing/config.ts +5 -2
- package/src/ha-signing/index.ts +3 -1
- package/src/ha-signing/local_config.ts +1 -1
- package/src/ha-signing/types.ts +48 -34
- package/src/hash/hash.ts +27 -0
- package/src/interfaces/archiver.ts +8 -0
- package/src/interfaces/aztec-node-admin.ts +5 -7
- package/src/interfaces/aztec-node-debug.ts +40 -0
- package/src/interfaces/aztec-node.ts +15 -0
- package/src/interfaces/client.ts +1 -0
- package/src/interfaces/merkle_tree_operations.ts +3 -2
- package/src/interfaces/prover-client.ts +2 -5
- package/src/interfaces/slasher.ts +0 -6
- package/src/interfaces/validator.ts +15 -8
- package/src/l1-contracts/index.ts +1 -1
- package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
- package/src/logs/log_id.ts +1 -2
- package/src/logs/siloed_tag.ts +8 -9
- package/src/logs/tag.ts +8 -8
- package/src/p2p/block_proposal.ts +13 -9
- package/src/p2p/checkpoint_attestation.ts +5 -9
- package/src/p2p/checkpoint_proposal.ts +21 -36
- package/src/p2p/gossipable.ts +4 -4
- package/src/rollup/block_headers_hash.ts +11 -2
- package/src/slashing/index.ts +1 -2
- package/src/slashing/serialization.ts +1 -81
- package/src/slashing/types.ts +3 -35
- package/src/slashing/{tally.ts → votes.ts} +1 -1
- package/src/tests/factories.ts +2 -10
- package/src/tests/mocks.ts +16 -12
- package/src/timetable/index.ts +293 -13
- package/src/trees/nullifier_leaf.ts +4 -0
- package/src/tx/block_header.ts +2 -2
- package/src/tx/fee_provider.ts +10 -0
- package/src/tx/global_variable_builder.ts +2 -18
- package/src/tx/index.ts +1 -0
- package/src/tx/indexed_tx_effect.ts +1 -2
- package/src/tx/simulated_tx.ts +6 -2
- package/src/tx/tx.ts +2 -2
- package/src/tx/tx_receipt.ts +11 -14
- package/src/types/shared.ts +0 -10
- package/src/vks/verification_key.ts +5 -184
- package/src/world-state/genesis_data.ts +15 -0
- package/src/world-state/index.ts +1 -0
- package/src/world-state/world_state_revision.ts +9 -1
- package/dest/abi/mocked_keys.d.ts +0 -2
- package/dest/abi/mocked_keys.d.ts.map +0 -1
- package/dest/abi/mocked_keys.js +0 -1
- package/dest/l1-contracts/slash_factory.d.ts +0 -45
- package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
- package/dest/l1-contracts/slash_factory.js +0 -158
- package/dest/slashing/empire.d.ts +0 -31
- package/dest/slashing/empire.d.ts.map +0 -1
- package/dest/slashing/empire.js +0 -87
- package/src/abi/mocked_keys.ts +0 -2
- package/src/l1-contracts/slash_factory.ts +0 -180
- package/src/slashing/empire.ts +0 -104
package/dest/tx/tx_receipt.d.ts
CHANGED
|
@@ -18,9 +18,13 @@ export declare const SortedTxStatuses: TxStatus[];
|
|
|
18
18
|
/** Execution result - only set when tx is in a block. */
|
|
19
19
|
export declare enum TxExecutionResult {
|
|
20
20
|
SUCCESS = "success",
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
21
|
+
REVERTED = "reverted",
|
|
22
|
+
/** @deprecated Use REVERTED instead. */
|
|
23
|
+
APP_LOGIC_REVERTED = "reverted",
|
|
24
|
+
/** @deprecated Use REVERTED instead. */
|
|
25
|
+
TEARDOWN_REVERTED = "reverted",
|
|
26
|
+
/** @deprecated Use REVERTED instead. */
|
|
27
|
+
BOTH_REVERTED = "reverted"
|
|
24
28
|
}
|
|
25
29
|
/**
|
|
26
30
|
* Represents a transaction receipt in the Aztec network.
|
|
@@ -99,4 +103,4 @@ export declare class TxReceipt {
|
|
|
99
103
|
}): TxReceipt;
|
|
100
104
|
static executionResultFromRevertCode(revertCode: RevertCode): TxExecutionResult;
|
|
101
105
|
}
|
|
102
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
106
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcmVjZWlwdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBcUIsV0FBVyxFQUFxQixNQUFNLGlDQUFpQyxDQUFDO0FBSWpILE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNuRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDbkQsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFdEMsMkNBQTJDO0FBQzNDLG9CQUFZLFFBQVE7SUFDbEIsT0FBTyxZQUFZO0lBQ25CLE9BQU8sWUFBWTtJQUNuQixRQUFRLGFBQWE7SUFDckIsWUFBWSxpQkFBaUI7SUFDN0IsTUFBTSxXQUFXO0lBQ2pCLFNBQVMsY0FBYztDQUN4QjtBQUVELGlEQUFpRDtBQUNqRCxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsUUFBUSxFQU90QyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELG9CQUFZLGlCQUFpQjtJQUMzQixPQUFPLFlBQVk7SUFDbkIsUUFBUSxhQUFhO0lBQ3JCLHdDQUF3QztJQUV4QyxrQkFBa0IsYUFBYTtJQUMvQix3Q0FBd0M7SUFFeEMsaUJBQWlCLGFBQWE7SUFDOUIsd0NBQXdDO0lBRXhDLGFBQWEsYUFBYTtDQUMzQjtBQUVEOzs7OztHQUtHO0FBQ0gscUJBQWEsU0FBUztJQUVsQiw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLE1BQU07SUFDckIsbURBQW1EO0lBQzVDLE1BQU0sRUFBRSxRQUFRO0lBQ3ZCLCtFQUErRTtJQUN4RSxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsU0FBUztJQUNyRCxnREFBZ0Q7SUFDekMsS0FBSyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ2hDLG9EQUFvRDtJQUM3QyxjQUFjLENBQUM7SUFDdEIsd0RBQXdEO0lBQ2pELFNBQVMsQ0FBQztJQUNqQiw4REFBOEQ7SUFDdkQsV0FBVyxDQUFDO0lBQ25CLDhEQUE4RDtJQUN2RCxXQUFXLENBQUM7SUFDbkI7Ozs7T0FJRztJQUNJLFNBQVMsQ0FBQztJQXRCbkI7SUFDRSw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLE1BQU07SUFDckIsbURBQW1EO0lBQzVDLE1BQU0sRUFBRSxRQUFRO0lBQ3ZCLCtFQUErRTtJQUN4RSxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsU0FBUztJQUNyRCxnREFBZ0Q7SUFDekMsS0FBSyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ2hDLG9EQUFvRDtJQUM3QyxjQUFjLENBQUMsb0JBQVE7SUFDOUIsd0RBQXdEO0lBQ2pELFNBQVMsQ0FBQyx1QkFBVztJQUM1Qiw4REFBOEQ7SUFDdkQsV0FBVyxDQUFDLHlCQUFhO0lBQ2hDLDhEQUE4RDtJQUN2RCxXQUFXLENBQUMseUJBQWE7SUFDaEM7Ozs7T0FJRztJQUNJLFNBQVMsQ0FBQyx3QkFBWSxFQUMzQjtJQUVKLGlFQUFpRTtJQUNqRSxxQkFBcUIsSUFBSSxPQUFPLENBRS9CO0lBRUQsMERBQTBEO0lBQzFELG9CQUFvQixJQUFJLE9BQU8sQ0FFOUI7SUFFRCxtSEFBbUg7SUFDbkgsT0FBTyxJQUFJLE9BQU8sQ0FPakI7SUFFRCxrREFBa0Q7SUFDbEQsU0FBUyxJQUFJLE9BQU8sQ0FFbkI7SUFFRCxtREFBbUQ7SUFDbkQsU0FBUyxJQUFJLE9BQU8sQ0FFbkI7SUFFRCxNQUFNLENBQUMsS0FBSyxjQUVYO0lBRUQsTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsU0FBUyxDQUFDLENBY3JDO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUU7UUFDbEIsTUFBTSxFQUFFLE1BQU0sQ0FBQztRQUNmLE1BQU0sRUFBRSxRQUFRLENBQUM7UUFDakIsZUFBZSxDQUFDLEVBQUUsaUJBQWlCLENBQUM7UUFDcEMsS0FBSyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ2YsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ3hCLFNBQVMsQ0FBQyxFQUFFLFNBQVMsQ0FBQztRQUN0QixXQUFXLENBQUMsRUFBRSxXQUFXLENBQUM7UUFDMUIsV0FBVyxDQUFDLEVBQUUsV0FBVyxDQUFDO1FBQzFCLFNBQVMsQ0FBQyxFQUFFLFFBQVEsRUFBRSxDQUFDO0tBQ3hCLGFBWUE7SUFFRCxPQUFjLDZCQUE2QixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsaUJBQWlCLENBRXJGO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AAIjH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,kBAAkB,
|
|
1
|
+
{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AAIjH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,wCAAwC;IAExC,kBAAkB,aAAa;IAC/B,wCAAwC;IAExC,iBAAiB,aAAa;IAC9B,wCAAwC;IAExC,aAAa,aAAa;CAC3B;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC;IACtB,wDAAwD;IACjD,SAAS,CAAC;IACjB,8DAA8D;IACvD,WAAW,CAAC;IACnB,8DAA8D;IACvD,WAAW,CAAC;IACnB;;;;OAIG;IACI,SAAS,CAAC;IAtBnB;IACE,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC,oBAAQ;IAC9B,wDAAwD;IACjD,SAAS,CAAC,uBAAW;IAC5B,8DAA8D;IACvD,WAAW,CAAC,yBAAa;IAChC,8DAA8D;IACvD,WAAW,CAAC,yBAAa;IAChC;;;;OAIG;IACI,SAAS,CAAC,wBAAY,EAC3B;IAEJ,iEAAiE;IACjE,qBAAqB,IAAI,OAAO,CAE/B;IAED,0DAA0D;IAC1D,oBAAoB,IAAI,OAAO,CAE9B;IAED,mHAAmH;IACnH,OAAO,IAAI,OAAO,CAOjB;IAED,kDAAkD;IAClD,SAAS,IAAI,OAAO,CAEnB;IAED,mDAAmD;IACnD,SAAS,IAAI,OAAO,CAEnB;IAED,MAAM,CAAC,KAAK,cAEX;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAcrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC;QACjB,eAAe,CAAC,EAAE,iBAAiB,CAAC;QACpC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;KACxB,aAYA;IAED,OAAc,6BAA6B,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAErF;CACF"}
|
package/dest/tx/tx_receipt.js
CHANGED
|
@@ -1,6 +1,5 @@
|
|
|
1
1
|
import { BlockNumberSchema, EpochNumberSchema } from '@aztec/foundation/branded-types';
|
|
2
2
|
import { z } from 'zod';
|
|
3
|
-
import { RevertCode } from '../avm/revert_code.js';
|
|
4
3
|
import { BlockHash } from '../block/block_hash.js';
|
|
5
4
|
import { DebugLog } from '../logs/debug_log.js';
|
|
6
5
|
import { schemas } from '../schemas/schemas.js';
|
|
@@ -24,9 +23,13 @@ import { TxHash } from './tx_hash.js';
|
|
|
24
23
|
];
|
|
25
24
|
/** Execution result - only set when tx is in a block. */ export var TxExecutionResult = /*#__PURE__*/ function(TxExecutionResult) {
|
|
26
25
|
TxExecutionResult["SUCCESS"] = "success";
|
|
27
|
-
TxExecutionResult["
|
|
28
|
-
|
|
29
|
-
TxExecutionResult["
|
|
26
|
+
TxExecutionResult["REVERTED"] = "reverted";
|
|
27
|
+
/** @deprecated Use REVERTED instead. */ // eslint-disable-next-line @typescript-eslint/no-duplicate-enum-values
|
|
28
|
+
TxExecutionResult["APP_LOGIC_REVERTED"] = "reverted";
|
|
29
|
+
/** @deprecated Use REVERTED instead. */ // eslint-disable-next-line @typescript-eslint/no-duplicate-enum-values
|
|
30
|
+
TxExecutionResult["TEARDOWN_REVERTED"] = "reverted";
|
|
31
|
+
/** @deprecated Use REVERTED instead. */ // eslint-disable-next-line @typescript-eslint/no-duplicate-enum-values
|
|
32
|
+
TxExecutionResult["BOTH_REVERTED"] = "reverted";
|
|
30
33
|
return TxExecutionResult;
|
|
31
34
|
}({});
|
|
32
35
|
/**
|
|
@@ -94,16 +97,6 @@ import { TxHash } from './tx_hash.js';
|
|
|
94
97
|
return new TxReceipt(fields.txHash, fields.status, fields.executionResult, fields.error, fields.transactionFee, fields.blockHash, fields.blockNumber, fields.epochNumber, fields.debugLogs);
|
|
95
98
|
}
|
|
96
99
|
static executionResultFromRevertCode(revertCode) {
|
|
97
|
-
|
|
98
|
-
return "success";
|
|
99
|
-
} else if (revertCode.equals(RevertCode.APP_LOGIC_REVERTED)) {
|
|
100
|
-
return "app_logic_reverted";
|
|
101
|
-
} else if (revertCode.equals(RevertCode.TEARDOWN_REVERTED)) {
|
|
102
|
-
return "teardown_reverted";
|
|
103
|
-
} else if (revertCode.equals(RevertCode.BOTH_REVERTED)) {
|
|
104
|
-
return "both_reverted";
|
|
105
|
-
} else {
|
|
106
|
-
throw new Error(`Unknown revert code: ${revertCode.getCode()}`);
|
|
107
|
-
}
|
|
100
|
+
return revertCode.isOK() ? "success" : "reverted";
|
|
108
101
|
}
|
|
109
102
|
}
|
package/dest/types/shared.d.ts
CHANGED
|
@@ -27,13 +27,4 @@ export type UInt64 = bigint;
|
|
|
27
27
|
* A type alias for a 128-bit unsigned integer.
|
|
28
28
|
*/
|
|
29
29
|
export type UInt128 = bigint;
|
|
30
|
-
|
|
31
|
-
* CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
|
|
32
|
-
* to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are constructed;
|
|
33
|
-
* Plonk vs Honk; zk-SNARK or just SNARK; etc).
|
|
34
|
-
*/
|
|
35
|
-
export declare enum CircuitType {
|
|
36
|
-
STANDARD = 0,
|
|
37
|
-
ULTRA = 1
|
|
38
|
-
}
|
|
39
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvc2hhcmVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUVqRjs7R0FFRztBQUNILHFCQUFhLE1BQU0sQ0FBQyxDQUFDLFNBQVMsVUFBVTtJQUVwQzs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUU7SUFKbkI7SUFDRTs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFDZjtJQUVKLFFBQVEsNEJBRVA7SUFFRCxjQUFjLFFBRWI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUM7QUFFNUI7O0dBRUc7QUFDSCxNQUFNLE1BQU0sTUFBTSxHQUFHLE1BQU0sQ0FBQztBQUU1Qjs7R0FFRztBQUNILE1BQU0sTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDO0FBRTdCOzs7O0dBSUc7QUFDSCxvQkFBWSxXQUFXO0lBQ3JCLFFBQVEsSUFBSTtJQUNaLEtBQUssSUFBSTtDQUNWIn0=
|
|
30
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvc2hhcmVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUVqRjs7R0FFRztBQUNILHFCQUFhLE1BQU0sQ0FBQyxDQUFDLFNBQVMsVUFBVTtJQUVwQzs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUU7SUFKbkI7SUFDRTs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFDZjtJQUVKLFFBQVEsNEJBRVA7SUFFRCxjQUFjLFFBRWI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUM7QUFFNUI7O0dBRUc7QUFDSCxNQUFNLE1BQU0sTUFBTSxHQUFHLE1BQU0sQ0FBQztBQUU1Qjs7R0FFRztBQUNILE1BQU0sTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAJnB;IACE;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE,EACf;IAEJ,QAAQ,4BAEP;IAED,cAAc,QAEb;CACF;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC
|
|
1
|
+
{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAJnB;IACE;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE,EACf;IAEJ,QAAQ,4BAEP;IAED,cAAc,QAEb;CACF;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC"}
|
package/dest/types/shared.js
CHANGED
|
@@ -15,12 +15,3 @@ import { serializeToBuffer } from '@aztec/foundation/serialize';
|
|
|
15
15
|
return this.items;
|
|
16
16
|
}
|
|
17
17
|
}
|
|
18
|
-
/**
|
|
19
|
-
* CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
|
|
20
|
-
* to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are constructed;
|
|
21
|
-
* Plonk vs Honk; zk-SNARK or just SNARK; etc).
|
|
22
|
-
*/ export var CircuitType = /*#__PURE__*/ function(CircuitType) {
|
|
23
|
-
CircuitType[CircuitType["STANDARD"] = 0] = "STANDARD";
|
|
24
|
-
CircuitType[CircuitType["ULTRA"] = 1] = "ULTRA";
|
|
25
|
-
return CircuitType;
|
|
26
|
-
}({});
|
|
@@ -1,61 +1,5 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
2
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
3
|
-
import { CircuitType } from '../types/shared.js';
|
|
4
|
-
/**
|
|
5
|
-
* Curve data.
|
|
6
|
-
*/
|
|
7
|
-
export declare class G1AffineElement {
|
|
8
|
-
/**
|
|
9
|
-
* Element's x coordinate.
|
|
10
|
-
*/
|
|
11
|
-
x: Fq;
|
|
12
|
-
/**
|
|
13
|
-
* Element's y coordinate.
|
|
14
|
-
*/
|
|
15
|
-
y: Fq;
|
|
16
|
-
constructor(x: Fq | bigint, y: Fq | bigint);
|
|
17
|
-
/**
|
|
18
|
-
* Serialize as a buffer.
|
|
19
|
-
* @returns The buffer.
|
|
20
|
-
*/
|
|
21
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
22
|
-
/**
|
|
23
|
-
* Deserializes from a buffer or reader, corresponding to a write in cpp.
|
|
24
|
-
* @param buffer - Buffer or BufferReader to read from.
|
|
25
|
-
* @returns The G1AffineElement.
|
|
26
|
-
*/
|
|
27
|
-
static fromBuffer(buffer: Buffer | BufferReader): G1AffineElement;
|
|
28
|
-
}
|
|
29
|
-
/**
|
|
30
|
-
* Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
|
|
31
|
-
* the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
|
|
32
|
-
*/
|
|
33
|
-
export declare class CommitmentMap {
|
|
34
|
-
/**
|
|
35
|
-
* An object used to store the commitments.
|
|
36
|
-
*/
|
|
37
|
-
record: {
|
|
38
|
-
[name: string]: G1AffineElement;
|
|
39
|
-
};
|
|
40
|
-
constructor(
|
|
41
|
-
/**
|
|
42
|
-
* An object used to store the commitments.
|
|
43
|
-
*/
|
|
44
|
-
record: {
|
|
45
|
-
[name: string]: G1AffineElement;
|
|
46
|
-
});
|
|
47
|
-
/**
|
|
48
|
-
* Serialize as a buffer.
|
|
49
|
-
* @returns The buffer.
|
|
50
|
-
*/
|
|
51
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
52
|
-
/**
|
|
53
|
-
* Deserializes from a buffer or reader, corresponding to a write in cpp.
|
|
54
|
-
* @param buffer - Buffer or BufferReader to read from.
|
|
55
|
-
* @returns The CommitmentMap.
|
|
56
|
-
*/
|
|
57
|
-
static fromBuffer(buffer: Buffer | BufferReader): CommitmentMap;
|
|
58
|
-
}
|
|
59
3
|
export declare const CIRCUIT_SIZE_INDEX = 0;
|
|
60
4
|
export declare const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
|
|
61
5
|
/**
|
|
@@ -96,84 +40,6 @@ export declare class VerificationKeyAsFields {
|
|
|
96
40
|
*/
|
|
97
41
|
static makeEmpty(size: number): VerificationKeyAsFields;
|
|
98
42
|
}
|
|
99
|
-
export declare class VerificationKey {
|
|
100
|
-
/**
|
|
101
|
-
* For Plonk, this is equivalent to the proving system used to prove and verify.
|
|
102
|
-
*/
|
|
103
|
-
circuitType: CircuitType;
|
|
104
|
-
/**
|
|
105
|
-
* The number of gates in this circuit.
|
|
106
|
-
*/
|
|
107
|
-
circuitSize: number;
|
|
108
|
-
/**
|
|
109
|
-
* The number of public inputs in this circuit.
|
|
110
|
-
*/
|
|
111
|
-
numPublicInputs: number;
|
|
112
|
-
/**
|
|
113
|
-
* The commitments for this circuit.
|
|
114
|
-
*/
|
|
115
|
-
commitments: Record<string, G1AffineElement>;
|
|
116
|
-
/**
|
|
117
|
-
* Contains a recursive proof?
|
|
118
|
-
*/
|
|
119
|
-
containsRecursiveProof: boolean;
|
|
120
|
-
/**
|
|
121
|
-
* Recursion stack.
|
|
122
|
-
*/
|
|
123
|
-
recursiveProofPublicInputIndices: number[];
|
|
124
|
-
constructor(
|
|
125
|
-
/**
|
|
126
|
-
* For Plonk, this is equivalent to the proving system used to prove and verify.
|
|
127
|
-
*/
|
|
128
|
-
circuitType: CircuitType,
|
|
129
|
-
/**
|
|
130
|
-
* The number of gates in this circuit.
|
|
131
|
-
*/
|
|
132
|
-
circuitSize: number,
|
|
133
|
-
/**
|
|
134
|
-
* The number of public inputs in this circuit.
|
|
135
|
-
*/
|
|
136
|
-
numPublicInputs: number,
|
|
137
|
-
/**
|
|
138
|
-
* The commitments for this circuit.
|
|
139
|
-
*/
|
|
140
|
-
commitments: Record<string, G1AffineElement>,
|
|
141
|
-
/**
|
|
142
|
-
* Contains a recursive proof?
|
|
143
|
-
*/
|
|
144
|
-
containsRecursiveProof: boolean,
|
|
145
|
-
/**
|
|
146
|
-
* Recursion stack.
|
|
147
|
-
*/
|
|
148
|
-
recursiveProofPublicInputIndices: number[]);
|
|
149
|
-
/**
|
|
150
|
-
* Serialize as a buffer.
|
|
151
|
-
* @returns The buffer.
|
|
152
|
-
*/
|
|
153
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
154
|
-
/**
|
|
155
|
-
* Deserializes class from a buffer.
|
|
156
|
-
* @returns A VerificationKey instance.
|
|
157
|
-
*/
|
|
158
|
-
static fromBuffer(buffer: Buffer | BufferReader): VerificationKey;
|
|
159
|
-
/**
|
|
160
|
-
* Builds a fake Rollup Honk verification key that should be accepted by circuits.
|
|
161
|
-
* @returns A fake verification key.
|
|
162
|
-
*/
|
|
163
|
-
static makeRollupFake(): VerificationKey;
|
|
164
|
-
/**
|
|
165
|
-
* Builds a fake verification key that should be accepted by circuits.
|
|
166
|
-
* @returns A fake verification key.
|
|
167
|
-
*/
|
|
168
|
-
static makeFake(): VerificationKey;
|
|
169
|
-
/**
|
|
170
|
-
* Builds a fake MegaHonk verification key buffer for testing.
|
|
171
|
-
* Uses a real VK from a compiled contract to ensure proper format.
|
|
172
|
-
*
|
|
173
|
-
* @returns A valid MegaHonk VK buffer (4064 bytes)
|
|
174
|
-
*/
|
|
175
|
-
static makeFakeMegaHonk(): Buffer;
|
|
176
|
-
}
|
|
177
43
|
export declare class VerificationKeyData {
|
|
178
44
|
readonly keyAsFields: VerificationKeyAsFields;
|
|
179
45
|
readonly keyAsBytes: Buffer;
|
|
@@ -183,7 +49,6 @@ export declare class VerificationKeyData {
|
|
|
183
49
|
static empty(): VerificationKeyData;
|
|
184
50
|
static makeFakeHonk(): VerificationKeyData;
|
|
185
51
|
static makeFakeRollupHonk(): VerificationKeyData;
|
|
186
|
-
static makeFake(len?: number): VerificationKeyData;
|
|
187
52
|
/**
|
|
188
53
|
* Serialize as a buffer.
|
|
189
54
|
* @returns The buffer.
|
|
@@ -199,4 +64,4 @@ export declare class VerificationKeyData {
|
|
|
199
64
|
/** Creates an instance from a hex string. */
|
|
200
65
|
static get schema(): import("zod").ZodType<VerificationKeyData, any, string>;
|
|
201
66
|
}
|
|
202
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
67
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyaWZpY2F0aW9uX2tleS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92ZXJpZmljYXRpb25fa2V5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBTTlFLGVBQU8sTUFBTSxrQkFBa0IsSUFBSSxDQUFDO0FBQ3BDLGVBQU8sTUFBTSwyQkFBMkIsSUFBSSxDQUFDO0FBRTdDOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBRXpCLEdBQUcsRUFBRSxFQUFFLEVBQUU7SUFDVCxJQUFJLEVBQUUsRUFBRTtJQUZqQixZQUNTLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFDVCxJQUFJLEVBQUUsRUFBRSxFQUNiO0lBRUosT0FBYSxPQUFPLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxvQ0FHN0I7SUFFRCxJQUFXLGVBQWUsV0FFekI7SUFFRCxJQUFXLFdBQVcsV0FFckI7SUFFRCxNQUFNLEtBQUssTUFBTSxnRUFHaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsb0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyx1QkFBdUIsQ0FHeEU7SUFFRCxNQUFNLENBQUMsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLHVCQUF1QixDQUFDLENBS3JFO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxFQUFFLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUUvRDtJQUVELE1BQU0sQ0FBQyxZQUFZLENBQUMsSUFBSSxTQUFJLEdBQUcsdUJBQXVCLENBRXJEO0lBRUQsTUFBTSxDQUFDLGtCQUFrQixDQUFDLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUszRDtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyx1QkFBdUIsQ0FFdEQ7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjthQUVaLFdBQVcsRUFBRSx1QkFBdUI7YUFDcEMsVUFBVSxFQUFFLE1BQU07SUFGcEMsWUFDa0IsV0FBVyxFQUFFLHVCQUF1QixFQUNwQyxVQUFVLEVBQUUsTUFBTSxFQUNoQztJQUVKLElBQVcsZUFBZSxXQUV6QjtJQUVELElBQVcsV0FBVyxXQUVyQjtJQUVELE1BQU0sQ0FBQyxLQUFLLHdCQUVYO0lBRUQsTUFBTSxDQUFDLFlBQVksSUFBSSxtQkFBbUIsQ0FHekM7SUFFRCxNQUFNLENBQUMsa0JBQWtCLElBQUksbUJBQW1CLENBRy9DO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQU1wRTtJQUVELE9BQWEsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixDQUFDLENBRXZFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLG1CQUFtQixDQUVsRDtJQUVNLEtBQUssd0JBRVg7SUFFRCwyREFBMkQ7SUFDM0QsTUFBTSw0QkFFTDtJQUVELDZDQUE2QztJQUM3QyxNQUFNLEtBQUssTUFBTSw0REFFaEI7Q0FDRiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAM9E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;IAFjB,YACS,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE,EACb;IAEJ,OAAa,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,oCAG7B;IAED,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM,4BAEL;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,oBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAGxE;IAED,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKrE;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB,CAE/D;IAED,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAErD;IAED,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAK3D;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEtD;CACF;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;IAFpC,YACkB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM,EAChC;IAEJ,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,MAAM,CAAC,YAAY,IAAI,mBAAmB,CAGzC;IAED,MAAM,CAAC,kBAAkB,IAAI,mBAAmB,CAG/C;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAMpE;IAED,OAAa,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAEvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAElD;IAEM,KAAK,wBAEX;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
|
|
@@ -1,66 +1,10 @@
|
|
|
1
1
|
import { ULTRA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { makeTuple } from '@aztec/foundation/array';
|
|
3
|
-
import {
|
|
4
|
-
import { Fq, Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
5
4
|
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
6
5
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
7
6
|
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
8
7
|
import { hashVK } from '../hash/index.js';
|
|
9
|
-
import { CircuitType } from '../types/shared.js';
|
|
10
|
-
/**
|
|
11
|
-
* Curve data.
|
|
12
|
-
*/ export class G1AffineElement {
|
|
13
|
-
/**
|
|
14
|
-
* Element's x coordinate.
|
|
15
|
-
*/ x;
|
|
16
|
-
/**
|
|
17
|
-
* Element's y coordinate.
|
|
18
|
-
*/ y;
|
|
19
|
-
constructor(x, y){
|
|
20
|
-
this.x = typeof x === 'bigint' ? new Fq(x) : x;
|
|
21
|
-
this.y = typeof y === 'bigint' ? new Fq(y) : y;
|
|
22
|
-
}
|
|
23
|
-
/**
|
|
24
|
-
* Serialize as a buffer.
|
|
25
|
-
* @returns The buffer.
|
|
26
|
-
*/ toBuffer() {
|
|
27
|
-
return serializeToBuffer(this.x, this.y);
|
|
28
|
-
}
|
|
29
|
-
/**
|
|
30
|
-
* Deserializes from a buffer or reader, corresponding to a write in cpp.
|
|
31
|
-
* @param buffer - Buffer or BufferReader to read from.
|
|
32
|
-
* @returns The G1AffineElement.
|
|
33
|
-
*/ static fromBuffer(buffer) {
|
|
34
|
-
const reader = BufferReader.asReader(buffer);
|
|
35
|
-
return new G1AffineElement(Fq.fromBuffer(reader), Fq.fromBuffer(reader));
|
|
36
|
-
}
|
|
37
|
-
}
|
|
38
|
-
/**
|
|
39
|
-
* Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
|
|
40
|
-
* the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
|
|
41
|
-
*/ export class CommitmentMap {
|
|
42
|
-
record;
|
|
43
|
-
constructor(/**
|
|
44
|
-
* An object used to store the commitments.
|
|
45
|
-
*/ record){
|
|
46
|
-
this.record = record;
|
|
47
|
-
}
|
|
48
|
-
/**
|
|
49
|
-
* Serialize as a buffer.
|
|
50
|
-
* @returns The buffer.
|
|
51
|
-
*/ toBuffer() {
|
|
52
|
-
const values = Object.entries(this.record);
|
|
53
|
-
return serializeToBuffer(values.length, ...values.flat());
|
|
54
|
-
}
|
|
55
|
-
/**
|
|
56
|
-
* Deserializes from a buffer or reader, corresponding to a write in cpp.
|
|
57
|
-
* @param buffer - Buffer or BufferReader to read from.
|
|
58
|
-
* @returns The CommitmentMap.
|
|
59
|
-
*/ static fromBuffer(buffer) {
|
|
60
|
-
const reader = BufferReader.asReader(buffer);
|
|
61
|
-
return new CommitmentMap(reader.readMap(G1AffineElement));
|
|
62
|
-
}
|
|
63
|
-
}
|
|
64
8
|
// TODO: find better home for these constants
|
|
65
9
|
export const CIRCUIT_SIZE_INDEX = 0;
|
|
66
10
|
export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
|
|
@@ -136,70 +80,6 @@ export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
|
|
|
136
80
|
return new VerificationKeyAsFields(makeTuple(size, Fr.zero), Fr.zero());
|
|
137
81
|
}
|
|
138
82
|
}
|
|
139
|
-
export class VerificationKey {
|
|
140
|
-
circuitType;
|
|
141
|
-
circuitSize;
|
|
142
|
-
numPublicInputs;
|
|
143
|
-
commitments;
|
|
144
|
-
containsRecursiveProof;
|
|
145
|
-
recursiveProofPublicInputIndices;
|
|
146
|
-
constructor(/**
|
|
147
|
-
* For Plonk, this is equivalent to the proving system used to prove and verify.
|
|
148
|
-
*/ circuitType, /**
|
|
149
|
-
* The number of gates in this circuit.
|
|
150
|
-
*/ circuitSize, /**
|
|
151
|
-
* The number of public inputs in this circuit.
|
|
152
|
-
*/ numPublicInputs, /**
|
|
153
|
-
* The commitments for this circuit.
|
|
154
|
-
*/ commitments, /**
|
|
155
|
-
* Contains a recursive proof?
|
|
156
|
-
*/ containsRecursiveProof, /**
|
|
157
|
-
* Recursion stack.
|
|
158
|
-
*/ recursiveProofPublicInputIndices){
|
|
159
|
-
this.circuitType = circuitType;
|
|
160
|
-
this.circuitSize = circuitSize;
|
|
161
|
-
this.numPublicInputs = numPublicInputs;
|
|
162
|
-
this.commitments = commitments;
|
|
163
|
-
this.containsRecursiveProof = containsRecursiveProof;
|
|
164
|
-
this.recursiveProofPublicInputIndices = recursiveProofPublicInputIndices;
|
|
165
|
-
}
|
|
166
|
-
/**
|
|
167
|
-
* Serialize as a buffer.
|
|
168
|
-
* @returns The buffer.
|
|
169
|
-
*/ toBuffer() {
|
|
170
|
-
return serializeToBuffer(this.circuitType, this.circuitSize, this.numPublicInputs, new CommitmentMap(this.commitments), this.containsRecursiveProof, serializeToBuffer(this.recursiveProofPublicInputIndices.length, this.recursiveProofPublicInputIndices));
|
|
171
|
-
}
|
|
172
|
-
/**
|
|
173
|
-
* Deserializes class from a buffer.
|
|
174
|
-
* @returns A VerificationKey instance.
|
|
175
|
-
*/ static fromBuffer(buffer) {
|
|
176
|
-
const reader = BufferReader.asReader(buffer);
|
|
177
|
-
return new VerificationKey(reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readObject(CommitmentMap).record, reader.readBoolean(), reader.readNumberVector());
|
|
178
|
-
}
|
|
179
|
-
/**
|
|
180
|
-
* Builds a fake Rollup Honk verification key that should be accepted by circuits.
|
|
181
|
-
* @returns A fake verification key.
|
|
182
|
-
*/ static makeRollupFake() {
|
|
183
|
-
return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
|
|
184
|
-
}
|
|
185
|
-
/**
|
|
186
|
-
* Builds a fake verification key that should be accepted by circuits.
|
|
187
|
-
* @returns A fake verification key.
|
|
188
|
-
*/ static makeFake() {
|
|
189
|
-
return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
|
|
190
|
-
}
|
|
191
|
-
/**
|
|
192
|
-
* Builds a fake MegaHonk verification key buffer for testing.
|
|
193
|
-
* Uses a real VK from a compiled contract to ensure proper format.
|
|
194
|
-
*
|
|
195
|
-
* @returns A valid MegaHonk VK buffer (4064 bytes)
|
|
196
|
-
*/ static makeFakeMegaHonk() {
|
|
197
|
-
// This is a real MegaFlavor VK from token_contract, base64-encoded
|
|
198
|
-
// Size: 4064 bytes (127 fields × 32 bytes)
|
|
199
|
-
const vk = 'AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANuAAAAAAAAAAAAAAAAAAAAP/2mLzBM1pS5uiSckb1BVHkAAAAAAAAAAAAAAAAAAAAAAAj416UaEYnPzn49IUFSXgAAAAAAAAAAAAAAAAAAAIXdwCJK3KYAoGKX4p6GfmryAAAAAAAAAAAAAAAAAAAAAAAokraNwSgFcpF48hQxNGkAAAAAAAAAAAAAAAAAAAC7oxlMkGNLFkB2hf+YZ3ZxbgAAAAAAAAAAAAAAAAAAAAAAJxTarsiWssfiDyt71jURAAAAAAAAAAAAAAAAAAAAXrNqIIwSwfoH9ohkDg7vOVkAAAAAAAAAAAAAAAAAAAAAAAmoSGxP3U/r3hzEvHateQAAAAAAAAAAAAAAAAAAABsMbbs6st4J8g1rt+BsNQ/tAAAAAAAAAAAAAAAAAAAAAAAG1jgBz1oWwF9cgJAcbokAAAAAAAAAAAAAAAAAAAAiSGg7Y4g8BZRm7Y263TfzBQAAAAAAAAAAAAAAAAAAAAAABAifGWuruwdNirdcMLaZAAAAAAAAAAAAAAAAAAAAvnjsQ6y/R+pkGIZG+8VaSmoAAAAAAAAAAAAAAAAAAAAAACZ132MJqewzJSlpMIlLrwAAAAAAAAAAAAAAAAAAAGLurX4BKthJm1qWxgHy6poVAAAAAAAAAAAAAAAAAAAAAAATyCVmUda23MUKev5O7H8AAAAAAAAAAAAAAAAAAAAHgBXlGsmyGwFKCc8ECZMtygAAAAAAAAAAAAAAAAAAAAAAA5NUCZBujE33vAepEGQDAAAAAAAAAAAAAAAAAAAAezL+gT6bMTInwgAVVNNDXRkAAAAAAAAAAAAAAAAAAAAAABCAWIHhkvWaCS2ZnKPvSwAAAAAAAAAAAAAAAAAAANPQvFAiWRA8ERg5yGvr88ALAAAAAAAAAAAAAAAAAAAAAAApoSMoGsXzQJaFneSv1KgAAAAAAAAAAAAAAAAAAAB340oDJmM304cJnC9ueo+O5AAAAAAAAAAAAAAAAAAAAAAAHZK4hjDrXvy49q13vwGAAAAAAAAAAAAAAAAAAAAAtQi6GtLBaVOlbS6XGA9eqnwAAAAAAAAAAAAAAAAAAAAAABfiIWL6/lPx838UMvXv4wAAAAAAAAAAAAAAAAAAADr/3SHoETrf6uZZ1rp+WIZQAAAAAAAAAAAAAAAAAAAAAAAqvpwOG8VS0GsAo7Jkj0UAAAAAAAAAAAAAAAAAAABUJxHlFbLDzcMOKg2f7hCicAAAAAAAAAAAAAAAAAAAAAAAEWBEq9cQJCgbdAYavBP5AAAAAAAAAAAAAAAAAAAAdrkZueUT2Ets4CFAG+vXcr4AAAAAAAAAAAAAAAAAAAAAAB6B5XXXSu46eOAFWZAkrwAAAAAAAAAAAAAAAAAAANmWqVvVT2mZ7QrYWIirAquXAAAAAAAAAAAAAAAAAAAAAAACF9hD8+IrMaRi+lqRkAMAAAAAAAAAAAAAAAAAAAAD5Z0isCORGRBnbAxmzTrctgAAAAAAAAAAAAAAAAAAAAAAMAWa6kNzndYcZpD/z9psAAAAAAAAAAAAAAAAAAAA+bz6NGciDYP69hwbHlOFemYAAAAAAAAAAAAAAAAAAAAAACxtqvyR362MHKUfRa1atAAAAAAAAAAAAAAAAAAAABHmXRvQcsHNHFVezkzmPcbGAAAAAAAAAAAAAAAAAAAAAAAgnfqubAIcahOIvmgu5kEAAAAAAAAAAAAAAAAAAACzkNYUnJ/7869CHmpqFcvY7gAAAAAAAAAAAAAAAAAAAAAAByZU2ZsU3OZBBKhDaro4AAAAAAAAAAAAAAAAAAAA5WKKgNFBqO30Fqe8nWMZOfkAAAAAAAAAAAAAAAAAAAAAABeI+NTdPf/53PNok25fhwAAAAAAAAAAAAAAAAAAANTx1sizxFU9c4qiWkoCg1G9AAAAAAAAAAAAAAAAAAAAAAAKK321DuTcjXFo351Z7fAAAAAAAAAAAAAAAAAAAADOP1b+njU8sem9GjVjXe1qTAAAAAAAAAAAAAAAAAAAAAAADLPaoo1d53oBsUXMc0GIAAAAAAAAAAAAAAAAAAAAcW4ObhQI/r76cmLEMHA6iHsAAAAAAAAAAAAAAAAAAAAAAAxzcj9JsZ+WcmGtvE3NSAAAAAAAAAAAAAAAAAAAAPqjE1vBe0DhRJfyQPZj8eamAAAAAAAAAAAAAAAAAAAAAAAOXS9sKDjHSU17NYl3NWcAAAAAAAAAAAAAAAAAAACMJCYI98PRZEMXCwrwNffRggAAAAAAAAAAAAAAAAAAAAAAF7iR11vxzfrikwSlMSOwAAAAAAAAAAAAAAAAAAAAjYxSswL26VlnQdfkOYS9MuYAAAAAAAAAAAAAAAAAAAAAAC6jqRgX46I790Y9ebEJ9gAAAAAAAAAAAAAAAAAAAJq7Vw3WpNxo+vzjpCxfVu0rAAAAAAAAAAAAAAAAAAAAAAAPd0DnQkVFd7Rhjlk7k0wAAAAAAAAAAAAAAAAAAAA/SdmtkYZfq+d1bkNp2l0IdQAAAAAAAAAAAAAAAAAAAAAAEGEmscJv8D/jR09GElDyAAAAAAAAAAAAAAAAAAAAgY2ip4PPEb5BgXBJV0bUHpsAAAAAAAAAAAAAAAAAAAAAABiRsTgHAURQXmqPKFtBggAAAAAAAAAAAAAAAAAAAKWWQ0j6nz6pIx27umcNoUk1AAAAAAAAAAAAAAAAAAAAAAABk5iNZXp0vuxhWmZ0F0YAAAAAAAAAAAAAAAAAAADkU74RRH4d3TDyCXGUcQdG6wAAAAAAAAAAAAAAAAAAAAAALi6nWpWc4hq35DuQOxCdAAAAAAAAAAAAAAAAAAAAjBnq8cvZwI0dqFiGgI3kP/sAAAAAAAAAAAAAAAAAAAAAAAZDjNqd6UXeD/Xbw2vT3wAAAAAAAAAAAAAAAAAAAAey7c2Kz+U0azWgd9i/FoI7AAAAAAAAAAAAAAAAAAAAAAAO4lm5hFdU3KY1MMVooKoAAAAAAAAAAAAAAAAAAAA11ut5lZwgPDn0A1cwtLCjDAAAAAAAAAAAAAAAAAAAAAAADhG7sXUMPuGPPEEkGD/MAAAAAAAAAAAAAAAAAAAAkFC/P2UgsVTxrLhFyeRcTqUAAAAAAAAAAAAAAAAAAAAAAAXZUHR9pRmVh2U5hXP8UgAAAAAAAAAAAAAAAAAAAM9CK5rTZMf33eqMsQVDsdUbAAAAAAAAAAAAAAAAAAAAAAAKfdl2Itg9xMw19PoJjw4AAAAAAAAAAAAAAAAAAACh6Wbif3ZcchD1B7vZ8b5DHwAAAAAAAAAAAAAAAAAAAAAAHGRY+P8dj2Szvs/BINaZAAAAAAAAAAAAAAAAAAAA57z5vC986jfHkCdbvBGY9UEAAAAAAAAAAAAAAAAAAAAAABuC5Ph+YUMEdCTygzTQLgAAAAAAAAAAAAAAAAAAAMdxf6hfQQBnhI5uc4PPJkiwAAAAAAAAAAAAAAAAAAAAAAApr+0qBIeZZf5wFnDZGNcAAAAAAAAAAAAAAAAAAADqhA6wE2ALsS/9BFYP32waPAAAAAAAAAAAAAAAAAAAAAAAKN90iROZj56eOgBuC4DlAAAAAAAAAAAAAAAAAAAAUItiITw6coKXGWZYVGs6EvMAAAAAAAAAAAAAAAAAAAAAAB/gFpTMjB81T6kjfu9v5AAAAAAAAAAAAAAAAAAAAGQG2CBHDqOoGrVyJFkVxqotAAAAAAAAAAAAAAAAAAAAAAAf6yUuTb9Uwg1tZ4id9jcAAAAAAAAAAAAAAAAAAADlkZ2DA7pZH9wO11w4cy+s/gAAAAAAAAAAAAAAAAAAAAAAAt5B32eTTs4csyhddidyAAAAAAAAAAAAAAAAAAAA2aKmCGyHs9jOnHNSufEdfO4AAAAAAAAAAAAAAAAAAAAAAC/vRXfEwTCgPImIiqOUswAAAAAAAAAAAAAAAAAAAFGkxws8pjGFPFrAxEiNiKZvAAAAAAAAAAAAAAAAAAAAAAAaPDkex9QFa+M1+cKv3uYAAAAAAAAAAAAAAAAAAACBxRbxgX6dH/bX8+18EZFW0AAAAAAAAAAAAAAAAAAAAAAAFvOBcJpsuXdvthvuKTZLAAAAAAAAAAAAAAAAAAAAT1jrSA1EinKmegreBOM17oQAAAAAAAAAAAAAAAAAAAAAACpP5938XueYK9lRsqQx8AAAAAAAAAAAAAAAAAAAAD7gDhTe1BwxuEHsc2agJEc/AAAAAAAAAAAAAAAAAAAAAAAhj3icxTsLkBO1+Nwz5bkAAAAAAAAAAAAAAAAAAADUotDXrDmLTxZKvbT011rGRgAAAAAAAAAAAAAAAAAAAAAAAm2Vy0XXc5bPTwYiCnozAAAAAAAAAAAAAAAAAAAA4m//D/oaIEkcbfvcsY8m3yEAAAAAAAAAAAAAAAAAAAAAAAUtiBCqfomCGC6GywfTDQAAAAAAAAAAAAAAAAAAANedPq+IpIRxcYWtqKNbMcFBAAAAAAAAAAAAAAAAAAAAAAAYqcAnwnFfdxcE/rO/iEMAAAAAAAAAAAAAAAAAAADOpZm7rhU1EjBVJa6+CsG3SwAAAAAAAAAAAAAAAAAAAAAADE3UV3HYY4to5MdMoyhzAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADR5j3OosE3DcjqfYFSVRVvhQAAAAAAAAAAAAAAAAAAAAAAIkOVicHIGw8ySdK6LLsSAAAAAAAAAAAAAAAAAAAAiUo00o971hiazvZDn4Ir9CsAAAAAAAAAAAAAAAAAAAAAADA8czfrc4+po12HYzzeswAAAAAAAAAAAAAAAAAAAGvMegX/lalrKJQkxfczZw2WAAAAAAAAAAAAAAAAAAAAAAAAxDcm91tv2g3iLODg36sAAAAAAAAAAAAAAAAAAAAdCgnXF47JO614WPluZPC0jQAAAAAAAAAAAAAAAAAAAAAAL5tuC04sAZaN5cMkgqp9AAAAAAAAAAAAAAAAAAAAjKmgRRlkp7urvZ42nbdVYlMAAAAAAAAAAAAAAAAAAAAAABRWfiw+hPwePmnYH2zlgAAAAAAAAAAAAAAAAAAAANYJxZ/uz4mfK5Wv9Rm78/s8AAAAAAAAAAAAAAAAAAAAAAADeJJvFQwwx2CWXfRprm4=';
|
|
200
|
-
return Buffer.from(vk, 'base64');
|
|
201
|
-
}
|
|
202
|
-
}
|
|
203
83
|
export class VerificationKeyData {
|
|
204
84
|
keyAsFields;
|
|
205
85
|
keyAsBytes;
|
|
@@ -217,13 +97,12 @@ export class VerificationKeyData {
|
|
|
217
97
|
return new VerificationKeyData(VerificationKeyAsFields.makeEmpty(0), Buffer.alloc(0));
|
|
218
98
|
}
|
|
219
99
|
static makeFakeHonk() {
|
|
220
|
-
|
|
100
|
+
const keyAsFields = VerificationKeyAsFields.makeFakeHonk();
|
|
101
|
+
return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
|
|
221
102
|
}
|
|
222
103
|
static makeFakeRollupHonk() {
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
static makeFake(len = ULTRA_VK_LENGTH_IN_FIELDS) {
|
|
226
|
-
return new VerificationKeyData(VerificationKeyAsFields.makeFake(len), VerificationKey.makeFake().toBuffer());
|
|
104
|
+
const keyAsFields = VerificationKeyAsFields.makeFakeRollupHonk();
|
|
105
|
+
return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
|
|
227
106
|
}
|
|
228
107
|
/**
|
|
229
108
|
* Serialize as a buffer.
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { PublicDataTreeLeaf } from '../trees/index.js';
|
|
2
|
+
/** Data used to initialize the genesis block, including prefilled public state and an optional timestamp. */
|
|
3
|
+
export type GenesisData = {
|
|
4
|
+
/** Public data tree leaves to pre-populate in the genesis state (e.g. fee juice balances). */
|
|
5
|
+
prefilledPublicData: PublicDataTreeLeaf[];
|
|
6
|
+
/** Timestamp for the genesis block header. Defaults to 0 (canonical empty genesis) in production. */
|
|
7
|
+
genesisTimestamp: bigint;
|
|
8
|
+
};
|
|
9
|
+
/** An empty genesis data with no prefilled state and a zero timestamp. */
|
|
10
|
+
export declare const EMPTY_GENESIS_DATA: GenesisData;
|
|
11
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXNpc19kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd29ybGQtc3RhdGUvZ2VuZXNpc19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsNkdBQTZHO0FBQzdHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsOEZBQThGO0lBQzlGLG1CQUFtQixFQUFFLGtCQUFrQixFQUFFLENBQUM7SUFDMUMscUdBQXFHO0lBQ3JHLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztDQUMxQixDQUFDO0FBRUYsMEVBQTBFO0FBQzFFLGVBQU8sTUFBTSxrQkFBa0IsRUFBRSxXQUdoQyxDQUFDIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"genesis_data.d.ts","sourceRoot":"","sources":["../../src/world-state/genesis_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,WAAW,GAAG;IACxB,8FAA8F;IAC9F,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,qGAAqG;IACrG,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,WAGhC,CAAC"}
|
|
@@ -1,2 +1,3 @@
|
|
|
1
|
+
export * from './genesis_data.js';
|
|
1
2
|
export * from './world_state_revision.js';
|
|
2
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
3
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsMkJBQTJCLENBQUMifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC"}
|
|
@@ -3,6 +3,13 @@ export declare class WorldStateRevision {
|
|
|
3
3
|
readonly forkId: number;
|
|
4
4
|
readonly blockNumber: number;
|
|
5
5
|
readonly includeUncommitted: boolean;
|
|
6
|
+
/**
|
|
7
|
+
* Sentinel `blockNumber` meaning "not pinned to any historical block; use the latest committed
|
|
8
|
+
* state of the underlying tree". Mirrors the `WorldStateRevision::LATEST` constant on the C++
|
|
9
|
+
* side (defined as `std::numeric_limits<uint32_t>::max()`). Distinct from `blockNumber === 0`,
|
|
10
|
+
* which pins to the initial / genesis state.
|
|
11
|
+
*/
|
|
12
|
+
static readonly LATEST = 4294967295;
|
|
6
13
|
constructor(forkId: number, blockNumber: number, includeUncommitted: boolean);
|
|
7
14
|
toString(): string;
|
|
8
15
|
static empty(): WorldStateRevision;
|
|
@@ -51,4 +58,4 @@ export declare class WorldStateRevisionWithHandle extends WorldStateRevision {
|
|
|
51
58
|
handle?: any;
|
|
52
59
|
}>;
|
|
53
60
|
}
|
|
54
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
61
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid29ybGRfc3RhdGVfcmV2aXNpb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS93b3JsZF9zdGF0ZV9yZXZpc2lvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLHFCQUFhLGtCQUFrQjthQVVYLE1BQU0sRUFBRSxNQUFNO2FBQ2QsV0FBVyxFQUFFLE1BQU07YUFDbkIsa0JBQWtCLEVBQUUsT0FBTztJQVg3Qzs7Ozs7T0FLRztJQUNILGdCQUF1QixNQUFNLGNBQWM7SUFFM0MsWUFDa0IsTUFBTSxFQUFFLE1BQU0sRUFDZCxXQUFXLEVBQUUsTUFBTSxFQUNuQixrQkFBa0IsRUFBRSxPQUFPLEVBQ3pDO0lBRUcsUUFBUSxXQUVkO0lBRUQsTUFBTSxDQUFDLEtBQUssdUJBRVg7SUFFRCxNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7OztPQVdoQjtDQUNGO0FBRUQscUJBQWEsNEJBQTZCLFNBQVEsa0JBQWtCO2FBS2hELE1BQU0sRUFBRSxHQUFHO0lBSjdCLFlBQ0UsTUFBTSxFQUFFLE1BQU0sRUFDZCxXQUFXLEVBQUUsTUFBTSxFQUNuQixrQkFBa0IsRUFBRSxPQUFPLEVBQ1gsTUFBTSxFQUFFLEdBQUcsRUFHNUI7SUFFTSxvQkFBb0IsdUJBRTFCO0lBRUQsTUFBTSxDQUFDLHNCQUFzQixDQUFDLFFBQVEsRUFBRSxrQkFBa0IsRUFBRSxNQUFNLEVBQUUsR0FBRyxnQ0FFdEU7SUFFRCxXQUFvQixNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVl6QjtDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"world_state_revision.d.ts","sourceRoot":"","sources":["../../src/world-state/world_state_revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,kBAAkB;
|
|
1
|
+
{"version":3,"file":"world_state_revision.d.ts","sourceRoot":"","sources":["../../src/world-state/world_state_revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,kBAAkB;aAUX,MAAM,EAAE,MAAM;aACd,WAAW,EAAE,MAAM;aACnB,kBAAkB,EAAE,OAAO;IAX7C;;;;;OAKG;IACH,gBAAuB,MAAM,cAAc;IAE3C,YACkB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACzC;IAEG,QAAQ,WAEd;IAED,MAAM,CAAC,KAAK,uBAEX;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,4BAA6B,SAAQ,kBAAkB;aAKhD,MAAM,EAAE,GAAG;IAJ7B,YACE,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACX,MAAM,EAAE,GAAG,EAG5B;IAEM,oBAAoB,uBAE1B;IAED,MAAM,CAAC,sBAAsB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,GAAG,gCAEtE;IAED,WAAoB,MAAM;;;;;;;;;;;;;;;;;;;;OAYzB;CACF"}
|
|
@@ -3,6 +3,12 @@ export class WorldStateRevision {
|
|
|
3
3
|
forkId;
|
|
4
4
|
blockNumber;
|
|
5
5
|
includeUncommitted;
|
|
6
|
+
/**
|
|
7
|
+
* Sentinel `blockNumber` meaning "not pinned to any historical block; use the latest committed
|
|
8
|
+
* state of the underlying tree". Mirrors the `WorldStateRevision::LATEST` constant on the C++
|
|
9
|
+
* side (defined as `std::numeric_limits<uint32_t>::max()`). Distinct from `blockNumber === 0`,
|
|
10
|
+
* which pins to the initial / genesis state.
|
|
11
|
+
*/ static LATEST = 0xffffffff;
|
|
6
12
|
constructor(forkId, blockNumber, includeUncommitted){
|
|
7
13
|
this.forkId = forkId;
|
|
8
14
|
this.blockNumber = blockNumber;
|
|
@@ -12,7 +18,7 @@ export class WorldStateRevision {
|
|
|
12
18
|
return `WorldStateRevision(forkId: ${this.forkId}, blockNumber: ${this.blockNumber}, includeUncommitted: ${this.includeUncommitted})`;
|
|
13
19
|
}
|
|
14
20
|
static empty() {
|
|
15
|
-
return new WorldStateRevision(0,
|
|
21
|
+
return new WorldStateRevision(0, WorldStateRevision.LATEST, false);
|
|
16
22
|
}
|
|
17
23
|
static get schema() {
|
|
18
24
|
return z.object({
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/stdlib",
|
|
3
|
-
"version": "0.0.1-commit.
|
|
3
|
+
"version": "0.0.1-commit.f7ea82942",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"inherits": [
|
|
6
6
|
"../package.common.json",
|
|
@@ -92,13 +92,13 @@
|
|
|
92
92
|
},
|
|
93
93
|
"dependencies": {
|
|
94
94
|
"@aws-sdk/client-s3": "^3.892.0",
|
|
95
|
-
"@aztec/bb.js": "0.0.1-commit.
|
|
96
|
-
"@aztec/blob-lib": "0.0.1-commit.
|
|
97
|
-
"@aztec/constants": "0.0.1-commit.
|
|
98
|
-
"@aztec/ethereum": "0.0.1-commit.
|
|
99
|
-
"@aztec/foundation": "0.0.1-commit.
|
|
100
|
-
"@aztec/l1-artifacts": "0.0.1-commit.
|
|
101
|
-
"@aztec/noir-noirc_abi": "0.0.1-commit.
|
|
95
|
+
"@aztec/bb.js": "0.0.1-commit.f7ea82942",
|
|
96
|
+
"@aztec/blob-lib": "0.0.1-commit.f7ea82942",
|
|
97
|
+
"@aztec/constants": "0.0.1-commit.f7ea82942",
|
|
98
|
+
"@aztec/ethereum": "0.0.1-commit.f7ea82942",
|
|
99
|
+
"@aztec/foundation": "0.0.1-commit.f7ea82942",
|
|
100
|
+
"@aztec/l1-artifacts": "0.0.1-commit.f7ea82942",
|
|
101
|
+
"@aztec/noir-noirc_abi": "0.0.1-commit.f7ea82942",
|
|
102
102
|
"@google-cloud/storage": "^7.15.0",
|
|
103
103
|
"axios": "^1.13.5",
|
|
104
104
|
"json-stringify-deterministic": "1.0.12",
|
|
@@ -7,18 +7,12 @@ import { BufferReader } from '@aztec/foundation/serialize';
|
|
|
7
7
|
|
|
8
8
|
import { Selector } from './selector.js';
|
|
9
9
|
|
|
10
|
-
/* eslint-disable @typescript-eslint/no-unsafe-declaration-merging */
|
|
11
|
-
|
|
12
|
-
/** Authorization selector branding */
|
|
13
|
-
export interface AuthorizationSelector {
|
|
14
|
-
/** Brand. */
|
|
15
|
-
_branding: 'AuthorizationSelector';
|
|
16
|
-
}
|
|
17
|
-
|
|
18
10
|
/**
|
|
19
11
|
* An authorization selector is the first 4 bytes of the hash of an authorization struct signature.
|
|
20
12
|
*/
|
|
21
13
|
export class AuthorizationSelector extends Selector {
|
|
14
|
+
/** Branding for nominal typing. */
|
|
15
|
+
declare private readonly _branding: 'AuthorizationSelector';
|
|
22
16
|
/**
|
|
23
17
|
* Deserializes from a buffer or reader, corresponding to a write in cpp.
|
|
24
18
|
* @param buffer - Buffer or BufferReader to read from.
|