@aztec/stdlib 0.0.1-commit.934299a21 → 0.0.1-commit.936cb2cae
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/abi.d.ts +138 -1
- package/dest/abi/abi.d.ts.map +1 -1
- package/dest/abi/abi.js +10 -2
- package/dest/abi/buffer.d.ts +14 -4
- package/dest/abi/buffer.d.ts.map +1 -1
- package/dest/abi/buffer.js +25 -4
- package/dest/abi/decoder.d.ts +6 -45
- package/dest/abi/decoder.d.ts.map +1 -1
- package/dest/abi/decoder.js +17 -70
- package/dest/abi/encoder.d.ts +1 -1
- package/dest/abi/encoder.d.ts.map +1 -1
- package/dest/abi/encoder.js +37 -6
- package/dest/abi/event_metadata_definition.d.ts +3 -1
- package/dest/abi/event_metadata_definition.d.ts.map +1 -1
- package/dest/abi/event_metadata_definition.js +1 -1
- package/dest/abi/function_selector.js +1 -1
- package/dest/abi/function_signature_decoder.d.ts +43 -0
- package/dest/abi/function_signature_decoder.d.ts.map +1 -0
- package/dest/abi/function_signature_decoder.js +66 -0
- package/dest/abi/index.d.ts +2 -1
- package/dest/abi/index.d.ts.map +1 -1
- package/dest/abi/index.js +1 -0
- package/dest/abi/utils.d.ts +14 -1
- package/dest/abi/utils.d.ts.map +1 -1
- package/dest/abi/utils.js +15 -0
- package/dest/avm/avm_proving_request.d.ts +166 -166
- package/dest/avm/revert_code.d.ts +16 -1
- package/dest/avm/revert_code.d.ts.map +1 -1
- package/dest/avm/revert_code.js +15 -5
- package/dest/block/l2_block.d.ts +9 -1
- package/dest/block/l2_block.d.ts.map +1 -1
- package/dest/block/l2_block.js +12 -2
- package/dest/block/l2_block_source.d.ts +16 -8
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.js +10 -0
- package/dest/checkpoint/checkpoint.d.ts +2 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +9 -4
- package/dest/checkpoint/index.d.ts +2 -1
- package/dest/checkpoint/index.d.ts.map +1 -1
- package/dest/checkpoint/index.js +1 -0
- package/dest/checkpoint/validate.d.ts +36 -0
- package/dest/checkpoint/validate.d.ts.map +1 -0
- package/dest/checkpoint/validate.js +120 -0
- package/dest/config/index.d.ts +2 -1
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +1 -0
- package/dest/config/pipelining-config.d.ts +19 -0
- package/dest/config/pipelining-config.d.ts.map +1 -0
- package/dest/config/pipelining-config.js +18 -0
- package/dest/config/sequencer-config.d.ts +4 -2
- package/dest/config/sequencer-config.d.ts.map +1 -1
- package/dest/config/sequencer-config.js +6 -0
- package/dest/contract/contract_address.d.ts +3 -3
- package/dest/contract/contract_address.js +3 -3
- package/dest/contract/contract_class_id.d.ts +2 -2
- package/dest/contract/contract_class_id.js +2 -2
- package/dest/contract/index.d.ts +1 -3
- package/dest/contract/index.d.ts.map +1 -1
- package/dest/contract/index.js +0 -2
- package/dest/contract/interfaces/contract_class.d.ts +3 -156
- package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
- package/dest/contract/interfaces/contract_class.js +1 -28
- package/dest/epoch-helpers/index.d.ts +9 -1
- package/dest/epoch-helpers/index.d.ts.map +1 -1
- package/dest/epoch-helpers/index.js +13 -2
- package/dest/file-store/factory.d.ts +4 -3
- package/dest/file-store/factory.d.ts.map +1 -1
- package/dest/file-store/factory.js +2 -2
- package/dest/file-store/http.d.ts +9 -2
- package/dest/file-store/http.d.ts.map +1 -1
- package/dest/file-store/http.js +20 -9
- package/dest/file-store/index.d.ts +2 -1
- package/dest/file-store/index.d.ts.map +1 -1
- package/dest/gas/gas_fees.d.ts +1 -1
- package/dest/gas/gas_fees.d.ts.map +1 -1
- package/dest/gas/gas_fees.js +4 -1
- package/dest/ha-signing/config.d.ts +49 -14
- package/dest/ha-signing/config.d.ts.map +1 -1
- package/dest/ha-signing/config.js +20 -15
- package/dest/ha-signing/index.d.ts +3 -2
- package/dest/ha-signing/index.d.ts.map +1 -1
- package/dest/ha-signing/index.js +2 -1
- package/dest/ha-signing/local_config.d.ts +63 -0
- package/dest/ha-signing/local_config.d.ts.map +1 -0
- package/dest/ha-signing/local_config.js +24 -0
- package/dest/hash/hash.d.ts +19 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +29 -0
- package/dest/interfaces/allowed_element.d.ts +26 -20
- package/dest/interfaces/allowed_element.d.ts.map +1 -1
- package/dest/interfaces/allowed_element.js +8 -8
- package/dest/interfaces/archiver.d.ts +1 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +3 -2
- package/dest/interfaces/aztec-node-admin.d.ts +76 -33
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.d.ts +12 -6
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +5 -2
- package/dest/interfaces/block-builder.d.ts +38 -11
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/block-builder.js +13 -6
- package/dest/interfaces/configs.d.ts +62 -32
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +6 -2
- package/dest/interfaces/l2_logs_source.d.ts +5 -3
- package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
- package/dest/interfaces/merkle_tree_operations.d.ts +9 -19
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/p2p.d.ts +3 -8
- package/dest/interfaces/p2p.d.ts.map +1 -1
- package/dest/interfaces/prover-client.d.ts +6 -1
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +7 -1
- package/dest/interfaces/proving-job.d.ts +200 -200
- package/dest/interfaces/validator.d.ts +104 -50
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +8 -5
- package/dest/interfaces/world_state.d.ts +5 -4
- package/dest/interfaces/world_state.d.ts.map +1 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
- package/dest/kv-store/config.d.ts +17 -0
- package/dest/kv-store/config.d.ts.map +1 -0
- package/dest/kv-store/config.js +26 -0
- package/dest/kv-store/index.d.ts +2 -0
- package/dest/kv-store/index.d.ts.map +1 -0
- package/dest/kv-store/index.js +1 -0
- package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
- package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
- package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +23 -15
- package/dest/logs/index.d.ts +3 -2
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +2 -1
- package/dest/logs/log_filter.d.ts +4 -1
- package/dest/logs/log_filter.d.ts.map +1 -1
- package/dest/logs/log_filter.js +2 -1
- package/dest/logs/message_context.d.ts +4 -7
- package/dest/logs/message_context.d.ts.map +1 -1
- package/dest/logs/message_context.js +23 -9
- package/dest/logs/pending_tagged_log.d.ts +2 -3
- package/dest/logs/pending_tagged_log.d.ts.map +1 -1
- package/dest/logs/pending_tagged_log.js +2 -2
- package/dest/logs/pre_tag.d.ts +16 -11
- package/dest/logs/pre_tag.d.ts.map +1 -1
- package/dest/logs/pre_tag.js +2 -2
- package/dest/logs/public_log.d.ts +4 -3
- package/dest/logs/public_log.d.ts.map +1 -1
- package/dest/logs/public_log.js +2 -1
- package/dest/logs/shared_secret_derivation.d.ts +11 -10
- package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
- package/dest/logs/shared_secret_derivation.js +15 -9
- package/dest/logs/siloed_tag.d.ts +8 -3
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +11 -2
- package/dest/logs/tag.js +1 -1
- package/dest/logs/tagging_index_range.d.ts +40 -0
- package/dest/logs/tagging_index_range.d.ts.map +1 -0
- package/dest/logs/tagging_index_range.js +8 -0
- package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
- package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
- package/dest/logs/tx_scoped_l2_log.js +7 -0
- package/dest/messaging/l1_to_l2_message.d.ts +3 -2
- package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
- package/dest/messaging/l1_to_l2_message.js +11 -13
- package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
- package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
- package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_membership.js +69 -26
- package/dest/noir/index.d.ts +3 -3
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/note/note_dao.d.ts +1 -1
- package/dest/note/note_dao.d.ts.map +1 -1
- package/dest/note/note_dao.js +1 -4
- package/dest/p2p/checkpoint_proposal.d.ts +1 -6
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +13 -23
- package/dest/p2p/client_type.d.ts +2 -5
- package/dest/p2p/client_type.d.ts.map +1 -1
- package/dest/p2p/client_type.js +0 -7
- package/dest/p2p/index.d.ts +1 -2
- package/dest/p2p/index.d.ts.map +1 -1
- package/dest/p2p/index.js +0 -1
- package/dest/p2p/peer_error.d.ts +3 -1
- package/dest/p2p/peer_error.d.ts.map +1 -1
- package/dest/p2p/peer_error.js +5 -0
- package/dest/p2p/topic_type.d.ts +3 -4
- package/dest/p2p/topic_type.d.ts.map +1 -1
- package/dest/p2p/topic_type.js +7 -24
- package/dest/proofs/chonk_proof.d.ts +46 -2
- package/dest/proofs/chonk_proof.d.ts.map +1 -1
- package/dest/proofs/chonk_proof.js +85 -10
- package/dest/slashing/tally.d.ts +7 -2
- package/dest/slashing/tally.d.ts.map +1 -1
- package/dest/slashing/tally.js +30 -2
- package/dest/tests/factories.d.ts +4 -4
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +8 -27
- package/dest/tests/mocks.d.ts +4 -2
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +13 -8
- package/dest/tx/block_header.d.ts +3 -1
- package/dest/tx/block_header.d.ts.map +1 -1
- package/dest/tx/block_header.js +4 -0
- package/dest/tx/capsule.d.ts +6 -2
- package/dest/tx/capsule.d.ts.map +1 -1
- package/dest/tx/capsule.js +9 -3
- package/dest/tx/private_execution_result.d.ts +6 -6
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +6 -6
- package/dest/tx/profiling.d.ts +14 -2
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +13 -3
- package/dest/tx/simulated_tx.d.ts +113 -2
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +4 -1
- package/dest/tx/tx.d.ts +6 -5
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +18 -6
- package/dest/tx/tx_receipt.d.ts +7 -2
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +6 -3
- package/dest/tx/validator/error_texts.d.ts +9 -1
- package/dest/tx/validator/error_texts.d.ts.map +1 -1
- package/dest/tx/validator/error_texts.js +10 -0
- package/dest/update-checker/index.d.ts +3 -2
- package/dest/update-checker/index.d.ts.map +1 -1
- package/dest/update-checker/index.js +2 -1
- package/dest/update-checker/package_version.d.ts +3 -0
- package/dest/update-checker/package_version.d.ts.map +1 -0
- package/dest/update-checker/package_version.js +24 -0
- package/dest/update-checker/version_checker.d.ts +25 -0
- package/dest/update-checker/version_checker.d.ts.map +1 -0
- package/dest/update-checker/version_checker.js +50 -0
- package/dest/validators/errors.d.ts +6 -1
- package/dest/validators/errors.d.ts.map +1 -1
- package/dest/validators/errors.js +7 -0
- package/dest/versioning/versioning.d.ts +4 -2
- package/dest/versioning/versioning.d.ts.map +1 -1
- package/dest/versioning/versioning.js +4 -1
- package/package.json +11 -10
- package/src/abi/abi.ts +25 -2
- package/src/abi/buffer.ts +25 -4
- package/src/abi/decoder.ts +36 -82
- package/src/abi/encoder.ts +49 -6
- package/src/abi/event_metadata_definition.ts +2 -0
- package/src/abi/function_selector.ts +1 -1
- package/src/abi/function_signature_decoder.ts +77 -0
- package/src/abi/index.ts +1 -0
- package/src/abi/utils.ts +25 -0
- package/src/avm/revert_code.ts +15 -0
- package/src/block/l2_block.ts +13 -1
- package/src/block/l2_block_source.ts +16 -7
- package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
- package/src/checkpoint/checkpoint.ts +12 -3
- package/src/checkpoint/index.ts +1 -0
- package/src/checkpoint/validate.ts +230 -0
- package/src/config/index.ts +1 -0
- package/src/config/pipelining-config.ts +31 -0
- package/src/config/sequencer-config.ts +9 -1
- package/src/contract/contract_address.ts +3 -3
- package/src/contract/contract_class_id.ts +2 -2
- package/src/contract/index.ts +0 -2
- package/src/contract/interfaces/contract_class.ts +2 -82
- package/src/epoch-helpers/index.ts +22 -0
- package/src/file-store/factory.ts +13 -4
- package/src/file-store/http.ts +29 -10
- package/src/file-store/index.ts +1 -0
- package/src/gas/README.md +123 -0
- package/src/gas/gas_fees.ts +7 -1
- package/src/ha-signing/config.ts +45 -38
- package/src/ha-signing/index.ts +9 -0
- package/src/ha-signing/local_config.ts +46 -0
- package/src/hash/hash.ts +34 -0
- package/src/interfaces/allowed_element.ts +29 -9
- package/src/interfaces/archiver.ts +3 -2
- package/src/interfaces/aztec-node.ts +24 -5
- package/src/interfaces/block-builder.ts +60 -14
- package/src/interfaces/configs.ts +25 -8
- package/src/interfaces/l2_logs_source.ts +4 -1
- package/src/interfaces/merkle_tree_operations.ts +8 -18
- package/src/interfaces/p2p.ts +2 -13
- package/src/interfaces/prover-client.ts +8 -0
- package/src/interfaces/validator.ts +47 -29
- package/src/interfaces/world_state.ts +4 -3
- package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
- package/src/kv-store/config.ts +36 -0
- package/src/kv-store/index.ts +1 -0
- package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +24 -16
- package/src/logs/index.ts +2 -1
- package/src/logs/log_filter.ts +5 -0
- package/src/logs/message_context.ts +17 -7
- package/src/logs/pending_tagged_log.ts +1 -3
- package/src/logs/pre_tag.ts +5 -5
- package/src/logs/public_log.ts +4 -2
- package/src/logs/shared_secret_derivation.ts +21 -10
- package/src/logs/siloed_tag.ts +14 -3
- package/src/logs/tag.ts +1 -1
- package/src/logs/tagging_index_range.ts +24 -0
- package/src/logs/tx_scoped_l2_log.ts +16 -0
- package/src/messaging/l1_to_l2_message.ts +12 -9
- package/src/messaging/l1_to_l2_message_source.ts +3 -1
- package/src/messaging/l2_to_l1_membership.ts +98 -33
- package/src/noir/index.ts +2 -2
- package/src/note/note_dao.ts +1 -4
- package/src/p2p/checkpoint_proposal.ts +23 -37
- package/src/p2p/client_type.ts +0 -6
- package/src/p2p/index.ts +0 -1
- package/src/p2p/peer_error.ts +7 -0
- package/src/p2p/topic_type.ts +8 -15
- package/src/proofs/chonk_proof.ts +91 -5
- package/src/slashing/tally.ts +34 -1
- package/src/tests/factories.ts +9 -33
- package/src/tests/mocks.ts +18 -7
- package/src/tx/block_header.ts +6 -0
- package/src/tx/capsule.ts +10 -2
- package/src/tx/private_execution_result.ts +5 -5
- package/src/tx/profiling.ts +11 -2
- package/src/tx/simulated_tx.ts +8 -1
- package/src/tx/tx.ts +20 -11
- package/src/tx/tx_receipt.ts +7 -2
- package/src/tx/validator/error_texts.ts +12 -0
- package/src/update-checker/index.ts +2 -1
- package/src/update-checker/package_version.ts +30 -0
- package/src/update-checker/version_checker.ts +65 -0
- package/src/validators/errors.ts +9 -0
- package/src/versioning/versioning.ts +4 -1
- package/dest/contract/private_function_membership_proof.d.ts +0 -32
- package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
- package/dest/contract/private_function_membership_proof.js +0 -124
- package/dest/contract/utility_function_membership_proof.d.ts +0 -27
- package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
- package/dest/contract/utility_function_membership_proof.js +0 -87
- package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
- package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
- package/dest/update-checker/update-checker.d.ts +0 -49
- package/dest/update-checker/update-checker.d.ts.map +0 -1
- package/dest/update-checker/update-checker.js +0 -130
- package/src/contract/private_function_membership_proof.ts +0 -167
- package/src/contract/utility_function_membership_proof.ts +0 -118
- package/src/update-checker/update-checker.ts +0 -166
|
@@ -12,6 +12,7 @@ export type L1RollupConstants = {
|
|
|
12
12
|
ethereumSlotDuration: number;
|
|
13
13
|
proofSubmissionEpochs: number;
|
|
14
14
|
targetCommitteeSize: number;
|
|
15
|
+
rollupManaLimit: number;
|
|
15
16
|
};
|
|
16
17
|
|
|
17
18
|
export const EmptyL1RollupConstants: L1RollupConstants = {
|
|
@@ -22,6 +23,7 @@ export const EmptyL1RollupConstants: L1RollupConstants = {
|
|
|
22
23
|
ethereumSlotDuration: 1,
|
|
23
24
|
proofSubmissionEpochs: 1,
|
|
24
25
|
targetCommitteeSize: 48,
|
|
26
|
+
rollupManaLimit: Number.MAX_SAFE_INTEGER,
|
|
25
27
|
};
|
|
26
28
|
|
|
27
29
|
export const L1RollupConstantsSchema = zodFor<L1RollupConstants>()(
|
|
@@ -33,6 +35,7 @@ export const L1RollupConstantsSchema = zodFor<L1RollupConstants>()(
|
|
|
33
35
|
ethereumSlotDuration: z.number(),
|
|
34
36
|
proofSubmissionEpochs: z.number(),
|
|
35
37
|
targetCommitteeSize: z.number(),
|
|
38
|
+
rollupManaLimit: z.number(),
|
|
36
39
|
}),
|
|
37
40
|
);
|
|
38
41
|
|
|
@@ -54,6 +57,25 @@ export function getSlotAtTimestamp(
|
|
|
54
57
|
: SlotNumber.fromBigInt((ts - constants.l1GenesisTime) / BigInt(constants.slotDuration));
|
|
55
58
|
}
|
|
56
59
|
|
|
60
|
+
/** Returns the timestamp of the next L1 slot boundary after the given wall-clock time. */
|
|
61
|
+
export function getNextL1SlotTimestamp(
|
|
62
|
+
nowInSeconds: number,
|
|
63
|
+
constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'ethereumSlotDuration'>,
|
|
64
|
+
): bigint {
|
|
65
|
+
const now = BigInt(nowInSeconds);
|
|
66
|
+
const elapsed = now - constants.l1GenesisTime;
|
|
67
|
+
const currentL1Slot = elapsed / BigInt(constants.ethereumSlotDuration);
|
|
68
|
+
return constants.l1GenesisTime + (currentL1Slot + 1n) * BigInt(constants.ethereumSlotDuration);
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
/** Returns the timestamp of the last L1 slot within a given L2 slot. */
|
|
72
|
+
export function getLastL1SlotTimestampForL2Slot(
|
|
73
|
+
slot: SlotNumber,
|
|
74
|
+
constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>,
|
|
75
|
+
): bigint {
|
|
76
|
+
return getTimestampForSlot(slot, constants) + BigInt(constants.slotDuration - constants.ethereumSlotDuration);
|
|
77
|
+
}
|
|
78
|
+
|
|
57
79
|
/** Returns the L2 slot number at the next L1 block based on the current timestamp. */
|
|
58
80
|
export function getSlotAtNextL1Block(
|
|
59
81
|
currentL1Timestamp: bigint,
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
2
2
|
|
|
3
3
|
import { GoogleCloudFileStore } from './gcs.js';
|
|
4
|
-
import { HttpFileStore } from './http.js';
|
|
4
|
+
import { HttpFileStore, type HttpFileStoreOptions } from './http.js';
|
|
5
5
|
import type { FileStore, ReadOnlyFileStore } from './interface.js';
|
|
6
6
|
import { LocalFileStore } from './local.js';
|
|
7
7
|
import { S3FileStore } from './s3.js';
|
|
@@ -59,17 +59,26 @@ export async function createFileStore(
|
|
|
59
59
|
}
|
|
60
60
|
}
|
|
61
61
|
|
|
62
|
-
export async function createReadOnlyFileStore(
|
|
63
|
-
|
|
62
|
+
export async function createReadOnlyFileStore(
|
|
63
|
+
config: string,
|
|
64
|
+
logger?: Logger,
|
|
65
|
+
options?: HttpFileStoreOptions,
|
|
66
|
+
): Promise<ReadOnlyFileStore>;
|
|
67
|
+
export async function createReadOnlyFileStore(
|
|
68
|
+
config: undefined,
|
|
69
|
+
logger?: Logger,
|
|
70
|
+
options?: HttpFileStoreOptions,
|
|
71
|
+
): Promise<undefined>;
|
|
64
72
|
export async function createReadOnlyFileStore(
|
|
65
73
|
config: string | undefined,
|
|
66
74
|
logger = createLogger('stdlib:file-store'),
|
|
75
|
+
options?: HttpFileStoreOptions,
|
|
67
76
|
): Promise<ReadOnlyFileStore | undefined> {
|
|
68
77
|
if (config === undefined) {
|
|
69
78
|
return undefined;
|
|
70
79
|
} else if (config.startsWith('http://') || config.startsWith('https://')) {
|
|
71
80
|
logger.info(`Creating read-only HTTP file store at ${config}`);
|
|
72
|
-
return new HttpFileStore(config, logger);
|
|
81
|
+
return new HttpFileStore(config, logger, options);
|
|
73
82
|
} else {
|
|
74
83
|
return await createFileStore(config, logger);
|
|
75
84
|
}
|
package/src/file-store/http.ts
CHANGED
|
@@ -10,6 +10,14 @@ import { pipeline } from 'stream/promises';
|
|
|
10
10
|
|
|
11
11
|
import type { ReadOnlyFileStore } from './interface.js';
|
|
12
12
|
|
|
13
|
+
/** Options for configuring HttpFileStore behavior. */
|
|
14
|
+
export interface HttpFileStoreOptions {
|
|
15
|
+
/** Retry backoff intervals in seconds. Empty array disables retries. Default: [1, 1, 3]. */
|
|
16
|
+
retryBackoff?: number[];
|
|
17
|
+
/** Request timeout in milliseconds. Default: no timeout (axios default). */
|
|
18
|
+
timeoutMs?: number;
|
|
19
|
+
}
|
|
20
|
+
|
|
13
21
|
export class HttpFileStore implements ReadOnlyFileStore {
|
|
14
22
|
private readonly axiosInstance: AxiosInstance;
|
|
15
23
|
private readonly fetch: <T>(config: AxiosRequestConfig) => Promise<AxiosResponse<T>>;
|
|
@@ -17,17 +25,28 @@ export class HttpFileStore implements ReadOnlyFileStore {
|
|
|
17
25
|
constructor(
|
|
18
26
|
private readonly baseUrl: string,
|
|
19
27
|
private readonly log: Logger = createLogger('stdlib:http-file-store'),
|
|
28
|
+
options?: HttpFileStoreOptions,
|
|
20
29
|
) {
|
|
21
|
-
this.axiosInstance = axios.create(
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
30
|
+
this.axiosInstance = axios.create({
|
|
31
|
+
...(options?.timeoutMs !== undefined && { timeout: options.timeoutMs }),
|
|
32
|
+
});
|
|
33
|
+
|
|
34
|
+
const retryBackoff = options?.retryBackoff ?? [1, 1, 3];
|
|
35
|
+
if (retryBackoff.length > 0) {
|
|
36
|
+
this.fetch = async <T>(config: AxiosRequestConfig) => {
|
|
37
|
+
return await retry(
|
|
38
|
+
() => this.axiosInstance.request<T>(config),
|
|
39
|
+
`Fetching ${config.url}`,
|
|
40
|
+
makeBackoff(retryBackoff),
|
|
41
|
+
this.log,
|
|
42
|
+
/*failSilently=*/ true,
|
|
43
|
+
);
|
|
44
|
+
};
|
|
45
|
+
} else {
|
|
46
|
+
this.fetch = async <T>(config: AxiosRequestConfig) => {
|
|
47
|
+
return await this.axiosInstance.request<T>(config);
|
|
48
|
+
};
|
|
49
|
+
}
|
|
31
50
|
}
|
|
32
51
|
|
|
33
52
|
public async read(pathOrUrl: string): Promise<Buffer> {
|
package/src/file-store/index.ts
CHANGED
|
@@ -0,0 +1,123 @@
|
|
|
1
|
+
# Aztec Gas and Fee Model
|
|
2
|
+
|
|
3
|
+
The minimum fee per mana and its components are computed on L1 in
|
|
4
|
+
`l1-contracts/src/core/libraries/rollup/FeeLib.sol`. This document describes the
|
|
5
|
+
formulas, the oracle lag/lifetime mechanism, and the TypeScript types in this directory.
|
|
6
|
+
|
|
7
|
+
## Mana
|
|
8
|
+
|
|
9
|
+
Aztec uses **mana** as its unit of work (analogous to Ethereum gas). Transactions consume
|
|
10
|
+
mana in two dimensions: **DA** (data availability) and **L2** (execution). The total fee
|
|
11
|
+
is `gasUsed * feePerMana` summed across both dimensions.
|
|
12
|
+
|
|
13
|
+
## Fee Components
|
|
14
|
+
|
|
15
|
+
The minimum fee per mana has four components:
|
|
16
|
+
|
|
17
|
+
### Sequencer Cost
|
|
18
|
+
|
|
19
|
+
L1 cost to propose a checkpoint (calldata gas + blob data), amortized over `manaTarget`:
|
|
20
|
+
|
|
21
|
+
```
|
|
22
|
+
sequencerCost = ((L1_GAS_PER_CHECKPOINT_PROPOSED * baseFee)
|
|
23
|
+
+ (BLOBS_PER_CHECKPOINT * BLOB_GAS_PER_BLOB * blobFee))
|
|
24
|
+
/ manaTarget
|
|
25
|
+
```
|
|
26
|
+
|
|
27
|
+
### Prover Cost
|
|
28
|
+
|
|
29
|
+
L1 cost to verify an epoch proof, amortized over epoch duration and `manaTarget`, plus a
|
|
30
|
+
governance-set proving cost that compensates for off-chain proof generation:
|
|
31
|
+
|
|
32
|
+
```
|
|
33
|
+
proverCost = (L1_GAS_PER_EPOCH_VERIFIED * baseFee / epochDuration) / manaTarget
|
|
34
|
+
+ provingCostPerMana
|
|
35
|
+
```
|
|
36
|
+
|
|
37
|
+
### Congestion Cost
|
|
38
|
+
|
|
39
|
+
An exponential surcharge when the network is congested (inspired by EIP-1559; the
|
|
40
|
+
implementation uses the `fakeExponential` Taylor series approximation from EIP-4844):
|
|
41
|
+
|
|
42
|
+
```
|
|
43
|
+
baseCost = sequencerCost + proverCost
|
|
44
|
+
congestionCost = baseCost * congestionMultiplier / MINIMUM_CONGESTION_MULTIPLIER - baseCost
|
|
45
|
+
```
|
|
46
|
+
|
|
47
|
+
When there is no congestion the multiplier equals `MINIMUM_CONGESTION_MULTIPLIER` (1e9)
|
|
48
|
+
and congestion cost is zero.
|
|
49
|
+
|
|
50
|
+
### Congestion Multiplier
|
|
51
|
+
|
|
52
|
+
```
|
|
53
|
+
excessMana = max(0, prevExcessMana + prevManaUsed - manaTarget)
|
|
54
|
+
congestionMultiplier = fakeExponential(MINIMUM_CONGESTION_MULTIPLIER, excessMana, denominator)
|
|
55
|
+
```
|
|
56
|
+
|
|
57
|
+
Each additional `manaTarget` of excess mana increases the multiplier by ~12.5%.
|
|
58
|
+
|
|
59
|
+
### Total
|
|
60
|
+
|
|
61
|
+
```
|
|
62
|
+
minFeePerMana = sequencerCost + proverCost + congestionCost
|
|
63
|
+
```
|
|
64
|
+
|
|
65
|
+
## L1 Gas Oracle: Lag and Lifetime
|
|
66
|
+
|
|
67
|
+
The oracle feeds Ethereum's `baseFee` and `blobFee` into the fee model using a two-phase
|
|
68
|
+
(`pre` / `post`) system that smooths out L1 fee volatility.
|
|
69
|
+
|
|
70
|
+
- **LAG = 2 slots** — when new L1 fees are observed, they activate `LAG` slots later
|
|
71
|
+
(`slotOfChange = currentSlot + LAG`). This gives mempool transactions time to land
|
|
72
|
+
before fees change.
|
|
73
|
+
- **LIFETIME = 5 slots** — after an oracle update, the next update is rejected until
|
|
74
|
+
`slotOfChange + (LIFETIME - LAG)` = 3 more slots have passed. This rate-limits how
|
|
75
|
+
frequently L1 fee data can change.
|
|
76
|
+
|
|
77
|
+
Fee resolution at a given timestamp:
|
|
78
|
+
|
|
79
|
+
```
|
|
80
|
+
if slot < slotOfChange → use pre (old fees)
|
|
81
|
+
else → use post (new fees)
|
|
82
|
+
```
|
|
83
|
+
|
|
84
|
+
**Net effect**: L1 fee changes reach L2 with a 2-slot delay and can update at most once
|
|
85
|
+
every 5 slots.
|
|
86
|
+
|
|
87
|
+
## Fee Asset Price
|
|
88
|
+
|
|
89
|
+
Fees are computed in ETH internally but converted to the fee asset (Fee Juice) via
|
|
90
|
+
`ethPerFeeAsset` (1e12 precision). The price updates at most ±1% (±100 bps) per
|
|
91
|
+
checkpoint:
|
|
92
|
+
|
|
93
|
+
```
|
|
94
|
+
newPrice = currentPrice * (10000 + modifierBps) / 10000
|
|
95
|
+
```
|
|
96
|
+
|
|
97
|
+
## Maximum Fee Change Rate
|
|
98
|
+
|
|
99
|
+
| Component | Bound |
|
|
100
|
+
| ---------------------- | ------------------------------------------------------- |
|
|
101
|
+
| L1 base fee / blob fee | At most once every 5 slots (oracle LIFETIME) |
|
|
102
|
+
| Fee asset price | ±1% per checkpoint |
|
|
103
|
+
| Congestion multiplier | Depends on excess mana accumulation/drain per checkpoint |
|
|
104
|
+
| Sequencer/prover costs | Scale linearly with L1 fees |
|
|
105
|
+
|
|
106
|
+
## Key Constants
|
|
107
|
+
|
|
108
|
+
| Constant | Value |
|
|
109
|
+
| ------------------------------ | -------------- |
|
|
110
|
+
| `L1_GAS_PER_CHECKPOINT_PROPOSED` | 300,000 |
|
|
111
|
+
| `L1_GAS_PER_EPOCH_VERIFIED` | 3,600,000 |
|
|
112
|
+
| `BLOBS_PER_CHECKPOINT` | 3 |
|
|
113
|
+
| `BLOB_GAS_PER_BLOB` | 2^17 |
|
|
114
|
+
| `MINIMUM_CONGESTION_MULTIPLIER` | 1e9 |
|
|
115
|
+
| `LAG` | 2 slots |
|
|
116
|
+
| `LIFETIME` | 5 slots |
|
|
117
|
+
|
|
118
|
+
## TypeScript Types
|
|
119
|
+
|
|
120
|
+
- **`Gas`** — mana quantity in two dimensions (`daGas`, `l2Gas`).
|
|
121
|
+
- **`GasFees`** — per-unit price in each dimension (`feePerDaGas`, `feePerL2Gas`).
|
|
122
|
+
- **`GasSettings`** — sender-chosen fee parameters: gas limits, teardown limits, max fees, priority fees.
|
|
123
|
+
- **`GasUsed`** — actual consumption after execution. Note: `billedGas` uses the teardown gas *limit*, not actual usage.
|
package/src/gas/gas_fees.ts
CHANGED
|
@@ -56,8 +56,14 @@ export class GasFees {
|
|
|
56
56
|
return this.clone();
|
|
57
57
|
} else if (typeof scalar === 'bigint') {
|
|
58
58
|
return new GasFees(this.feePerDaGas * scalar, this.feePerL2Gas * scalar);
|
|
59
|
+
} else if (Number.isInteger(scalar)) {
|
|
60
|
+
const s = BigInt(scalar);
|
|
61
|
+
return new GasFees(this.feePerDaGas * s, this.feePerL2Gas * s);
|
|
59
62
|
} else {
|
|
60
|
-
return new GasFees(
|
|
63
|
+
return new GasFees(
|
|
64
|
+
BigInt(Math.ceil(Number(this.feePerDaGas) * scalar)),
|
|
65
|
+
BigInt(Math.ceil(Number(this.feePerL2Gas) * scalar)),
|
|
66
|
+
);
|
|
61
67
|
}
|
|
62
68
|
}
|
|
63
69
|
|
package/src/ha-signing/config.ts
CHANGED
|
@@ -13,14 +13,9 @@ import type { ZodFor } from '@aztec/foundation/schemas';
|
|
|
13
13
|
import { z } from 'zod';
|
|
14
14
|
|
|
15
15
|
/**
|
|
16
|
-
*
|
|
17
|
-
*
|
|
18
|
-
* This config is used for distributed locking and slashing protection
|
|
19
|
-
* when running multiple validator nodes in a high-availability setup.
|
|
16
|
+
* Base signing protection configuration shared by both HA (Postgres) and local (LMDB) signers.
|
|
20
17
|
*/
|
|
21
|
-
export interface
|
|
22
|
-
/** Whether HA signing / slashing protection is enabled */
|
|
23
|
-
haSigningEnabled: boolean;
|
|
18
|
+
export interface BaseSignerConfig {
|
|
24
19
|
/** L1 contract addresses (rollup address required) */
|
|
25
20
|
l1Contracts: Pick<L1ContractAddresses, 'rollupAddress'>;
|
|
26
21
|
/** Unique identifier for this node */
|
|
@@ -33,30 +28,9 @@ export interface ValidatorHASignerConfig {
|
|
|
33
28
|
maxStuckDutiesAgeMs?: number;
|
|
34
29
|
/** Optional: clean up old duties after this many hours (disabled if not set) */
|
|
35
30
|
cleanupOldDutiesAfterHours?: number;
|
|
36
|
-
/**
|
|
37
|
-
* PostgreSQL connection string
|
|
38
|
-
* Format: postgresql://user:password@host:port/database
|
|
39
|
-
*/
|
|
40
|
-
databaseUrl?: string;
|
|
41
|
-
/**
|
|
42
|
-
* PostgreSQL connection pool configuration
|
|
43
|
-
*/
|
|
44
|
-
/** Maximum number of clients in the pool (default: 10) */
|
|
45
|
-
poolMaxCount?: number;
|
|
46
|
-
/** Minimum number of clients in the pool (default: 0) */
|
|
47
|
-
poolMinCount?: number;
|
|
48
|
-
/** Idle timeout in milliseconds (default: 10000) */
|
|
49
|
-
poolIdleTimeoutMs?: number;
|
|
50
|
-
/** Connection timeout in milliseconds (default: 0, no timeout) */
|
|
51
|
-
poolConnectionTimeoutMs?: number;
|
|
52
31
|
}
|
|
53
32
|
|
|
54
|
-
export const
|
|
55
|
-
haSigningEnabled: {
|
|
56
|
-
env: 'VALIDATOR_HA_SIGNING_ENABLED',
|
|
57
|
-
description: 'Whether HA signing / slashing protection is enabled',
|
|
58
|
-
...booleanConfigHelper(false),
|
|
59
|
-
},
|
|
33
|
+
export const baseSignerConfigMappings: ConfigMappingsType<BaseSignerConfig> = {
|
|
60
34
|
l1Contracts: {
|
|
61
35
|
description: 'L1 contract addresses (rollup address required)',
|
|
62
36
|
nested: {
|
|
@@ -91,6 +65,47 @@ export const validatorHASignerConfigMappings: ConfigMappingsType<ValidatorHASign
|
|
|
91
65
|
description: 'Optional: clean up old duties after this many hours (disabled if not set)',
|
|
92
66
|
...optionalNumberConfigHelper(),
|
|
93
67
|
},
|
|
68
|
+
};
|
|
69
|
+
|
|
70
|
+
export const BaseSignerConfigSchema = z.object({
|
|
71
|
+
l1Contracts: z.object({ rollupAddress: z.instanceof(EthAddress) }),
|
|
72
|
+
nodeId: z.string(),
|
|
73
|
+
pollingIntervalMs: z.number().min(0),
|
|
74
|
+
signingTimeoutMs: z.number().min(0),
|
|
75
|
+
maxStuckDutiesAgeMs: z.number().min(0).optional(),
|
|
76
|
+
cleanupOldDutiesAfterHours: z.number().min(0).optional(),
|
|
77
|
+
}) satisfies ZodFor<BaseSignerConfig>;
|
|
78
|
+
|
|
79
|
+
/**
|
|
80
|
+
* Configuration for the Validator HA Signer.
|
|
81
|
+
*
|
|
82
|
+
* Extends BaseSignerConfig with a flag to enable HA mode and Postgres connection settings.
|
|
83
|
+
*/
|
|
84
|
+
export interface ValidatorHASignerConfig extends BaseSignerConfig {
|
|
85
|
+
/** Whether HA signing / slashing protection is enabled */
|
|
86
|
+
haSigningEnabled: boolean;
|
|
87
|
+
/**
|
|
88
|
+
* PostgreSQL connection string
|
|
89
|
+
* Format: postgresql://user:password@host:port/database
|
|
90
|
+
*/
|
|
91
|
+
databaseUrl?: string;
|
|
92
|
+
/** Maximum number of clients in the pool (default: 10) */
|
|
93
|
+
poolMaxCount?: number;
|
|
94
|
+
/** Minimum number of clients in the pool (default: 0) */
|
|
95
|
+
poolMinCount?: number;
|
|
96
|
+
/** Idle timeout in milliseconds (default: 10000) */
|
|
97
|
+
poolIdleTimeoutMs?: number;
|
|
98
|
+
/** Connection timeout in milliseconds (default: 0, no timeout) */
|
|
99
|
+
poolConnectionTimeoutMs?: number;
|
|
100
|
+
}
|
|
101
|
+
|
|
102
|
+
export const validatorHASignerConfigMappings: ConfigMappingsType<ValidatorHASignerConfig> = {
|
|
103
|
+
...baseSignerConfigMappings,
|
|
104
|
+
haSigningEnabled: {
|
|
105
|
+
env: 'VALIDATOR_HA_SIGNING_ENABLED',
|
|
106
|
+
description: 'Whether HA signing / slashing protection is enabled',
|
|
107
|
+
...booleanConfigHelper(false),
|
|
108
|
+
},
|
|
94
109
|
databaseUrl: {
|
|
95
110
|
env: 'VALIDATOR_HA_DATABASE_URL',
|
|
96
111
|
description:
|
|
@@ -131,16 +146,8 @@ export function getConfigEnvVars(): ValidatorHASignerConfig {
|
|
|
131
146
|
return getConfigFromMappings<ValidatorHASignerConfig>(validatorHASignerConfigMappings);
|
|
132
147
|
}
|
|
133
148
|
|
|
134
|
-
export const ValidatorHASignerConfigSchema =
|
|
149
|
+
export const ValidatorHASignerConfigSchema = BaseSignerConfigSchema.extend({
|
|
135
150
|
haSigningEnabled: z.boolean(),
|
|
136
|
-
l1Contracts: z.object({
|
|
137
|
-
rollupAddress: z.instanceof(EthAddress),
|
|
138
|
-
}),
|
|
139
|
-
nodeId: z.string(),
|
|
140
|
-
pollingIntervalMs: z.number().min(0),
|
|
141
|
-
signingTimeoutMs: z.number().min(0),
|
|
142
|
-
maxStuckDutiesAgeMs: z.number().min(0).optional(),
|
|
143
|
-
cleanupOldDutiesAfterHours: z.number().min(0).optional(),
|
|
144
151
|
databaseUrl: z.string().optional(),
|
|
145
152
|
poolMaxCount: z.number().min(0).optional(),
|
|
146
153
|
poolMinCount: z.number().min(0).optional(),
|
package/src/ha-signing/index.ts
CHANGED
|
@@ -1,10 +1,19 @@
|
|
|
1
1
|
export {
|
|
2
|
+
type BaseSignerConfig,
|
|
3
|
+
BaseSignerConfigSchema,
|
|
4
|
+
baseSignerConfigMappings,
|
|
2
5
|
type ValidatorHASignerConfig,
|
|
3
6
|
ValidatorHASignerConfigSchema,
|
|
4
7
|
defaultValidatorHASignerConfig,
|
|
5
8
|
getConfigEnvVars,
|
|
6
9
|
validatorHASignerConfigMappings,
|
|
7
10
|
} from './config.js';
|
|
11
|
+
export {
|
|
12
|
+
type LocalSignerConfig,
|
|
13
|
+
LocalSignerConfigSchema,
|
|
14
|
+
getLocalSignerConfigEnvVars,
|
|
15
|
+
localSignerConfigMappings,
|
|
16
|
+
} from './local_config.js';
|
|
8
17
|
export {
|
|
9
18
|
DutyType,
|
|
10
19
|
type BlockProposalSigningContext,
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
import { type ConfigMappingsType, getConfigFromMappings } from '@aztec/foundation/config';
|
|
2
|
+
import { zodFor } from '@aztec/foundation/schemas';
|
|
3
|
+
import { type DataStoreConfig, dataConfigMappings } from '@aztec/stdlib/kv-store';
|
|
4
|
+
|
|
5
|
+
import { z } from 'zod';
|
|
6
|
+
|
|
7
|
+
import { type BaseSignerConfig, BaseSignerConfigSchema, baseSignerConfigMappings } from './config.js';
|
|
8
|
+
|
|
9
|
+
/**
|
|
10
|
+
* Configuration for local (single-node) slashing protection.
|
|
11
|
+
*
|
|
12
|
+
* Combines the base signing protection fields (shared with HA mode) with
|
|
13
|
+
* DataStoreConfig for the local LMDB backing store, plus a per-store map-size
|
|
14
|
+
* override. Used when HA signing is disabled.
|
|
15
|
+
*/
|
|
16
|
+
export type LocalSignerConfig = BaseSignerConfig &
|
|
17
|
+
DataStoreConfig & {
|
|
18
|
+
/** Maximum size of the local signing-protection LMDB store in KB. Overwrites the general dataStoreMapSizeKb. */
|
|
19
|
+
signingProtectionMapSizeKb?: number;
|
|
20
|
+
};
|
|
21
|
+
|
|
22
|
+
export const localSignerConfigMappings: ConfigMappingsType<LocalSignerConfig> = {
|
|
23
|
+
...baseSignerConfigMappings,
|
|
24
|
+
...dataConfigMappings,
|
|
25
|
+
signingProtectionMapSizeKb: {
|
|
26
|
+
env: 'SIGNING_PROTECTION_MAP_SIZE_KB',
|
|
27
|
+
description:
|
|
28
|
+
'Maximum size of the local signing-protection LMDB store in KB. Overwrites the general dataStoreMapSizeKb.',
|
|
29
|
+
parseEnv: (val: string | undefined) => (val ? +val : undefined),
|
|
30
|
+
},
|
|
31
|
+
};
|
|
32
|
+
|
|
33
|
+
export const LocalSignerConfigSchema = zodFor<LocalSignerConfig>()(
|
|
34
|
+
BaseSignerConfigSchema.extend({
|
|
35
|
+
dataDirectory: z.string().optional(),
|
|
36
|
+
dataStoreMapSizeKb: z.number(),
|
|
37
|
+
signingProtectionMapSizeKb: z.number().optional(),
|
|
38
|
+
}),
|
|
39
|
+
);
|
|
40
|
+
|
|
41
|
+
/**
|
|
42
|
+
* Returns the local signer configuration from environment variables.
|
|
43
|
+
*/
|
|
44
|
+
export function getLocalSignerConfigEnvVars(): LocalSignerConfig {
|
|
45
|
+
return getConfigFromMappings<LocalSignerConfig>(localSignerConfigMappings);
|
|
46
|
+
}
|
package/src/hash/hash.ts
CHANGED
|
@@ -58,6 +58,35 @@ export function siloNullifier(contract: AztecAddress, innerNullifier: Fr): Promi
|
|
|
58
58
|
return poseidon2HashWithSeparator([contract, innerNullifier], DomainSeparator.SILOED_NULLIFIER);
|
|
59
59
|
}
|
|
60
60
|
|
|
61
|
+
/**
|
|
62
|
+
* Computes the siloed private initialization nullifier for a contract, given its address and initialization hash.
|
|
63
|
+
* @param contract - The contract address.
|
|
64
|
+
* @param initializationHash - The contract's initialization hash.
|
|
65
|
+
* @returns The siloed private initialization nullifier.
|
|
66
|
+
*/
|
|
67
|
+
export async function computeSiloedPrivateInitializationNullifier(
|
|
68
|
+
contract: AztecAddress,
|
|
69
|
+
initializationHash: Fr,
|
|
70
|
+
): Promise<Fr> {
|
|
71
|
+
const innerNullifier = await poseidon2HashWithSeparator(
|
|
72
|
+
[contract, initializationHash],
|
|
73
|
+
DomainSeparator.PRIVATE_INITIALIZATION_NULLIFIER,
|
|
74
|
+
);
|
|
75
|
+
return siloNullifier(contract, innerNullifier);
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
/**
|
|
79
|
+
* Computes the siloed public initialization nullifier for a contract. Not all contracts emit this nullifier: it is only
|
|
80
|
+
* emitted when the contract has public functions that perform initialization checks (i.e. external public functions that
|
|
81
|
+
* are not `#[noinitcheck]` or `#[only_self]`).
|
|
82
|
+
* @param contract - The contract address.
|
|
83
|
+
* @returns The siloed public initialization nullifier.
|
|
84
|
+
*/
|
|
85
|
+
export async function computeSiloedPublicInitializationNullifier(contract: AztecAddress): Promise<Fr> {
|
|
86
|
+
const innerNullifier = await poseidon2HashWithSeparator([contract], DomainSeparator.PUBLIC_INITIALIZATION_NULLIFIER);
|
|
87
|
+
return siloNullifier(contract, innerNullifier);
|
|
88
|
+
}
|
|
89
|
+
|
|
61
90
|
/**
|
|
62
91
|
* Computes the protocol nullifier, which is the hash of the initial tx request siloed with the null msg sender address.
|
|
63
92
|
* @param txRequestHash - The hash of the initial tx request.
|
|
@@ -69,6 +98,11 @@ export function computeProtocolNullifier(txRequestHash: Fr): Promise<Fr> {
|
|
|
69
98
|
return siloNullifier(AztecAddress.fromBigInt(NULL_MSG_SENDER_CONTRACT_ADDRESS), txRequestHash);
|
|
70
99
|
}
|
|
71
100
|
|
|
101
|
+
/** Domain-separates a raw log tag with the given domain separator. */
|
|
102
|
+
export function computeLogTag(rawTag: number | bigint | boolean | Fr | Buffer, domSep: DomainSeparator): Promise<Fr> {
|
|
103
|
+
return poseidon2HashWithSeparator([new Fr(rawTag)], domSep);
|
|
104
|
+
}
|
|
105
|
+
|
|
72
106
|
export function computeSiloedPrivateLogFirstField(contract: AztecAddress, field: Fr): Promise<Fr> {
|
|
73
107
|
return poseidon2HashWithSeparator([contract, field], DomainSeparator.PRIVATE_LOG_FIRST_FIELD);
|
|
74
108
|
}
|
|
@@ -6,18 +6,38 @@ import type { FunctionSelector } from '../abi/function_selector.js';
|
|
|
6
6
|
import type { AztecAddress } from '../aztec-address/index.js';
|
|
7
7
|
import { schemas, zodFor } from '../schemas/index.js';
|
|
8
8
|
|
|
9
|
-
type
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
9
|
+
type AllowedInstanceFunction = {
|
|
10
|
+
address: AztecAddress;
|
|
11
|
+
selector: FunctionSelector;
|
|
12
|
+
onlySelf?: boolean;
|
|
13
|
+
rejectNullMsgSender?: boolean;
|
|
14
|
+
calldataLength?: number;
|
|
15
|
+
};
|
|
16
|
+
type AllowedClassFunction = {
|
|
17
|
+
classId: Fr;
|
|
18
|
+
selector: FunctionSelector;
|
|
19
|
+
onlySelf?: boolean;
|
|
20
|
+
rejectNullMsgSender?: boolean;
|
|
21
|
+
calldataLength?: number;
|
|
22
|
+
};
|
|
13
23
|
|
|
14
|
-
export type AllowedElement =
|
|
24
|
+
export type AllowedElement = AllowedInstanceFunction | AllowedClassFunction;
|
|
15
25
|
|
|
16
26
|
export const AllowedElementSchema = zodFor<AllowedElement>()(
|
|
17
27
|
z.union([
|
|
18
|
-
z.object({
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
28
|
+
z.object({
|
|
29
|
+
address: schemas.AztecAddress,
|
|
30
|
+
selector: schemas.FunctionSelector,
|
|
31
|
+
onlySelf: z.boolean().optional(),
|
|
32
|
+
rejectNullMsgSender: z.boolean().optional(),
|
|
33
|
+
calldataLength: z.number().optional(),
|
|
34
|
+
}),
|
|
35
|
+
z.object({
|
|
36
|
+
classId: schemas.Fr,
|
|
37
|
+
selector: schemas.FunctionSelector,
|
|
38
|
+
onlySelf: z.boolean().optional(),
|
|
39
|
+
rejectNullMsgSender: z.boolean().optional(),
|
|
40
|
+
calldataLength: z.number().optional(),
|
|
41
|
+
}),
|
|
22
42
|
]),
|
|
23
43
|
);
|
|
@@ -86,6 +86,7 @@ export const ArchiverApiSchema: ApiSchemaFor<ArchiverApi> = {
|
|
|
86
86
|
getBlockNumber: z.function().args().returns(BlockNumberSchema),
|
|
87
87
|
getProvenBlockNumber: z.function().args().returns(BlockNumberSchema),
|
|
88
88
|
getCheckpointedL2BlockNumber: z.function().args().returns(BlockNumberSchema),
|
|
89
|
+
getCheckpointNumber: z.function().args().returns(CheckpointNumberSchema),
|
|
89
90
|
getFinalizedL2BlockNumber: z.function().args().returns(BlockNumberSchema),
|
|
90
91
|
getBlock: z.function().args(BlockNumberSchema).returns(L2Block.schema.optional()),
|
|
91
92
|
getBlockHeader: z
|
|
@@ -113,8 +114,8 @@ export const ArchiverApiSchema: ApiSchemaFor<ArchiverApi> = {
|
|
|
113
114
|
getL2BlockByArchive: z.function().args(schemas.Fr).returns(L2Block.schema.optional()),
|
|
114
115
|
getTxEffect: z.function().args(TxHash.schema).returns(indexedTxSchema().optional()),
|
|
115
116
|
getSettledTxReceipt: z.function().args(TxHash.schema).returns(TxReceipt.schema.optional()),
|
|
116
|
-
|
|
117
|
-
|
|
117
|
+
getSyncedL2SlotNumber: z.function().args().returns(schemas.SlotNumber.optional()),
|
|
118
|
+
getSyncedL2EpochNumber: z.function().args().returns(EpochNumberSchema.optional()),
|
|
118
119
|
getCheckpointsForEpoch: z.function().args(EpochNumberSchema).returns(z.array(Checkpoint.schema)),
|
|
119
120
|
getCheckpointsDataForEpoch: z.function().args(EpochNumberSchema).returns(z.array(CheckpointDataSchema)),
|
|
120
121
|
getCheckpointedBlocksForEpoch: z.function().args(EpochNumberSchema).returns(z.array(CheckpointedL2Block.schema)),
|