@aztec/stdlib 0.0.1-commit.dbf9cec → 0.0.1-commit.ddcf04837
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/authorization_selector.d.ts +3 -6
- package/dest/abi/authorization_selector.d.ts.map +1 -1
- 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 -67
- package/dest/abi/encoder.d.ts +1 -1
- package/dest/abi/encoder.d.ts.map +1 -1
- package/dest/abi/encoder.js +28 -1
- 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/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 +2 -4
- 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/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/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/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.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_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_source.d.ts +95 -10
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_source.js +1 -0
- 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 +18 -5
- package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
- package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
- package/dest/block/test/l2_tips_store_test_suite.js +4 -3
- package/dest/checkpoint/checkpoint.d.ts +8 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +18 -5
- package/dest/checkpoint/checkpoint_data.d.ts +71 -5
- package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint_data.js +10 -0
- 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/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/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 +15 -2
- 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 +11 -1
- package/dest/epoch-helpers/index.d.ts.map +1 -1
- package/dest/epoch-helpers/index.js +16 -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/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 +1 -1
- package/dest/gas/gas_fees.d.ts.map +1 -1
- package/dest/gas/gas_fees.js +13 -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 +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 +4 -3
- package/dest/ha-signing/index.d.ts.map +1 -1
- package/dest/ha-signing/index.js +3 -2
- 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/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 +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 +6 -3
- package/dest/interfaces/aztec-node-admin.d.ts +79 -43
- 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 +21 -6
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +7 -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/client.d.ts +2 -1
- package/dest/interfaces/client.d.ts.map +1 -1
- package/dest/interfaces/client.js +1 -0
- 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 +12 -21
- package/dest/interfaces/merkle_tree_operations.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 -4
- package/dest/interfaces/proving-job.d.ts +200 -200
- 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 +111 -60
- 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/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/index.d.ts +2 -1
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +1 -0
- 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/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/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/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 -7
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +11 -3
- 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/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/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 -15
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +5 -34
- package/dest/p2p/gossipable.d.ts +4 -4
- package/dest/p2p/gossipable.d.ts.map +1 -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/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/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} +7 -2
- package/dest/slashing/votes.d.ts.map +1 -0
- package/dest/slashing/{tally.js → votes.js} +30 -2
- package/dest/tests/factories.d.ts +2 -4
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +11 -28
- package/dest/tests/mocks.d.ts +4 -2
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +27 -27
- 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/tx/block_header.d.ts +4 -2
- package/dest/tx/block_header.d.ts.map +1 -1
- package/dest/tx/block_header.js +5 -1
- 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/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 -4
- 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/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 +116 -5
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +7 -4
- package/dest/tx/tx.d.ts +8 -7
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +18 -6
- package/dest/tx/tx_receipt.d.ts +14 -5
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +14 -18
- 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/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/package.json +10 -9
- package/src/abi/abi.ts +25 -2
- package/src/abi/authorization_selector.ts +2 -8
- package/src/abi/buffer.ts +25 -4
- package/src/abi/decoder.ts +36 -79
- package/src/abi/encoder.ts +41 -1
- package/src/abi/event_metadata_definition.ts +2 -0
- package/src/abi/event_selector.ts +2 -8
- package/src/abi/function_selector.ts +4 -13
- package/src/abi/function_signature_decoder.ts +77 -0
- package/src/abi/index.ts +1 -0
- package/src/abi/note_selector.ts +3 -12
- package/src/abi/selector.ts +1 -1
- package/src/abi/utils.ts +25 -0
- 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.ts +13 -1
- package/src/block/l2_block_info.ts +8 -6
- package/src/block/l2_block_source.ts +26 -9
- package/src/block/l2_block_stream/interfaces.ts +6 -2
- package/src/block/l2_block_stream/l2_tips_store_base.ts +25 -13
- package/src/block/test/l2_tips_store_test_suite.ts +9 -2
- package/src/checkpoint/checkpoint.ts +23 -4
- package/src/checkpoint/checkpoint_data.ts +40 -4
- package/src/checkpoint/index.ts +1 -0
- package/src/checkpoint/validate.ts +230 -0
- package/src/config/chain-config.ts +7 -1
- package/src/config/index.ts +1 -0
- package/src/config/pipelining-config.ts +31 -0
- package/src/config/sequencer-config.ts +21 -3
- 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 +27 -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 +154 -0
- package/src/gas/fee_math.ts +120 -0
- package/src/gas/gas_fees.ts +15 -1
- package/src/gas/gas_settings.ts +65 -12
- package/src/gas/index.ts +1 -0
- package/src/ha-signing/config.ts +45 -38
- package/src/ha-signing/index.ts +12 -1
- package/src/ha-signing/local_config.ts +46 -0
- package/src/ha-signing/types.ts +48 -34
- package/src/hash/hash.ts +34 -0
- package/src/interfaces/allowed_element.ts +29 -9
- package/src/interfaces/archiver.ts +6 -3
- package/src/interfaces/aztec-node-admin.ts +5 -7
- package/src/interfaces/aztec-node-debug.ts +40 -0
- package/src/interfaces/aztec-node.ts +39 -5
- package/src/interfaces/block-builder.ts +60 -14
- package/src/interfaces/client.ts +1 -0
- package/src/interfaces/configs.ts +25 -8
- package/src/interfaces/l2_logs_source.ts +4 -1
- package/src/interfaces/merkle_tree_operations.ts +11 -20
- package/src/interfaces/prover-client.ts +10 -5
- package/src/interfaces/slasher.ts +0 -6
- package/src/interfaces/validator.ts +62 -37
- 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/l1-contracts/index.ts +1 -1
- package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
- package/src/logs/index.ts +1 -0
- package/src/logs/log_filter.ts +5 -0
- package/src/logs/log_id.ts +1 -2
- package/src/logs/message_context.ts +17 -7
- package/src/logs/pending_tagged_log.ts +1 -3
- package/src/logs/public_log.ts +4 -2
- package/src/logs/shared_secret_derivation.ts +21 -10
- package/src/logs/siloed_tag.ts +15 -11
- package/src/logs/tag.ts +8 -8
- 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/block_proposal.ts +13 -9
- package/src/p2p/checkpoint_attestation.ts +5 -9
- package/src/p2p/checkpoint_proposal.ts +19 -48
- package/src/p2p/gossipable.ts +4 -4
- package/src/p2p/peer_error.ts +7 -0
- package/src/proofs/chonk_proof.ts +91 -5
- 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} +34 -1
- package/src/tests/factories.ts +5 -34
- package/src/tests/mocks.ts +33 -18
- package/src/timetable/index.ts +293 -13
- package/src/tx/block_header.ts +8 -2
- package/src/tx/capsule.ts +10 -2
- package/src/tx/fee_provider.ts +10 -0
- package/src/tx/global_variable_builder.ts +2 -3
- package/src/tx/index.ts +1 -0
- package/src/tx/indexed_tx_effect.ts +1 -2
- package/src/tx/private_execution_result.ts +5 -5
- package/src/tx/profiling.ts +11 -2
- package/src/tx/simulated_tx.ts +14 -3
- package/src/tx/tx.ts +22 -13
- package/src/tx/tx_receipt.ts +18 -16
- 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/src/world-state/genesis_data.ts +15 -0
- package/src/world-state/index.ts +1 -0
- 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/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/dest/slashing/tally.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/l1-contracts/slash_factory.ts +0 -180
- package/src/slashing/empire.ts +0 -104
- package/src/update-checker/update-checker.ts +0 -166
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import { BlockNumber, BlockNumberSchema } from '@aztec/foundation/branded-types';
|
|
2
|
+
import { times } from '@aztec/foundation/collection';
|
|
2
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
4
|
import { schemas as foundationSchemas } from '@aztec/foundation/schemas';
|
|
4
5
|
import {
|
|
@@ -83,6 +84,21 @@ export class TxScopedL2Log {
|
|
|
83
84
|
return new TxScopedL2Log(txHash, blockNumber, blockTimestamp, logData, noteHashes, firstNullifier);
|
|
84
85
|
}
|
|
85
86
|
|
|
87
|
+
static getBlockNumberFromBuffer(buffer: Buffer) {
|
|
88
|
+
return BlockNumber(buffer.readUint32BE(Fr.SIZE_IN_BYTES));
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
static random() {
|
|
92
|
+
return new TxScopedL2Log(
|
|
93
|
+
TxHash.fromField(Fr.random()),
|
|
94
|
+
BlockNumber(Math.floor(Math.random() * 100000) + 1),
|
|
95
|
+
BigInt(Math.floor(Date.now() / 1000)),
|
|
96
|
+
times(3, Fr.random),
|
|
97
|
+
times(3, Fr.random),
|
|
98
|
+
Fr.random(),
|
|
99
|
+
);
|
|
100
|
+
}
|
|
101
|
+
|
|
86
102
|
equals(other: TxScopedL2Log) {
|
|
87
103
|
return (
|
|
88
104
|
this.txHash.equals(other.txHash) &&
|
|
@@ -6,6 +6,7 @@ import { bufferToHex } from '@aztec/foundation/string';
|
|
|
6
6
|
import { SiblingPath } from '@aztec/foundation/trees';
|
|
7
7
|
|
|
8
8
|
import type { AztecAddress } from '../aztec-address/index.js';
|
|
9
|
+
import type { BlockParameter } from '../block/block_parameter.js';
|
|
9
10
|
import { computeL1ToL2MessageNullifier } from '../hash/hash.js';
|
|
10
11
|
import type { AztecNode } from '../interfaces/aztec-node.js';
|
|
11
12
|
import { MerkleTreeId } from '../trees/merkle_tree_id.js';
|
|
@@ -79,20 +80,22 @@ export async function getNonNullifiedL1ToL2MessageWitness(
|
|
|
79
80
|
contractAddress: AztecAddress,
|
|
80
81
|
messageHash: Fr,
|
|
81
82
|
secret: Fr,
|
|
83
|
+
referenceBlock: BlockParameter = 'latest',
|
|
82
84
|
): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>]> {
|
|
83
|
-
const
|
|
84
|
-
if (!response) {
|
|
85
|
-
throw new Error(`No L1 to L2 message found for message hash ${messageHash.toString()}`);
|
|
86
|
-
}
|
|
85
|
+
const messageNullifier = await computeL1ToL2MessageNullifier(contractAddress, messageHash, secret);
|
|
87
86
|
|
|
88
|
-
const [
|
|
87
|
+
const [l1ToL2Response, nullifierResponse] = await Promise.all([
|
|
88
|
+
node.getL1ToL2MessageMembershipWitness(referenceBlock, messageHash),
|
|
89
|
+
node.findLeavesIndexes(referenceBlock, MerkleTreeId.NULLIFIER_TREE, [messageNullifier]),
|
|
90
|
+
]);
|
|
89
91
|
|
|
90
|
-
|
|
92
|
+
if (!l1ToL2Response) {
|
|
93
|
+
throw new Error(`No L1 to L2 message found for message hash ${messageHash.toString()}`);
|
|
94
|
+
}
|
|
91
95
|
|
|
92
|
-
|
|
93
|
-
if (nullifierIndex !== undefined) {
|
|
96
|
+
if (nullifierResponse[0] !== undefined) {
|
|
94
97
|
throw new Error(`No non-nullified L1 to L2 message found for message hash ${messageHash.toString()}`);
|
|
95
98
|
}
|
|
96
99
|
|
|
97
|
-
return
|
|
100
|
+
return l1ToL2Response;
|
|
98
101
|
}
|
|
@@ -10,7 +10,9 @@ export interface L1ToL2MessageSource {
|
|
|
10
10
|
/**
|
|
11
11
|
* Gets new L1 to L2 message (to be) included in a given checkpoint.
|
|
12
12
|
* @param checkpointNumber - Checkpoint number to get messages for.
|
|
13
|
-
* @returns The L1 to L2 messages/leaves of the messages subtree
|
|
13
|
+
* @returns The L1 to L2 messages/leaves of the messages subtree.
|
|
14
|
+
* @throws If the message tree for the given checkpoint has not yet been sealed on L1
|
|
15
|
+
* (i.e., checkpointNumber >= inbox treeInProgress).
|
|
14
16
|
*/
|
|
15
17
|
getL1ToL2Messages(checkpointNumber: CheckpointNumber): Promise<Fr[]>;
|
|
16
18
|
|
|
@@ -3,6 +3,9 @@ import type { EpochNumber } from '@aztec/foundation/branded-types';
|
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot } from '@aztec/foundation/trees';
|
|
5
5
|
|
|
6
|
+
import type { AztecNode } from '../interfaces/aztec-node.js';
|
|
7
|
+
import { TxHash } from '../tx/tx_hash.js';
|
|
8
|
+
|
|
6
9
|
/**
|
|
7
10
|
* # L2-to-L1 Message Tree Structure and Leaf IDs
|
|
8
11
|
*
|
|
@@ -92,59 +95,94 @@ export function getL2ToL1MessageLeafId(
|
|
|
92
95
|
return 2n ** BigInt(membershipWitness.siblingPath.pathSize) + membershipWitness.leafIndex;
|
|
93
96
|
}
|
|
94
97
|
|
|
95
|
-
export interface MessageRetrieval {
|
|
96
|
-
getL2ToL1Messages(epoch: EpochNumber): Promise<Fr[][][][]>;
|
|
97
|
-
}
|
|
98
|
-
|
|
99
98
|
export type L2ToL1MembershipWitness = {
|
|
100
99
|
root: Fr;
|
|
101
100
|
leafIndex: bigint;
|
|
102
101
|
siblingPath: SiblingPath<number>;
|
|
102
|
+
epochNumber: EpochNumber;
|
|
103
103
|
};
|
|
104
104
|
|
|
105
|
+
/**
|
|
106
|
+
* Computes the L2 to L1 membership witness for a given message in a transaction.
|
|
107
|
+
*
|
|
108
|
+
* @param node - The Aztec node to query for block/tx/epoch data.
|
|
109
|
+
* @param message - The L2 to L1 message hash to prove membership of.
|
|
110
|
+
* @param txHash - The hash of the transaction that emitted the message.
|
|
111
|
+
* @param messageIndexInTx - Optional index of the message within the transaction's L2-to-L1 messages.
|
|
112
|
+
* If not provided, the message is found by scanning the tx's messages (throws if duplicates exist).
|
|
113
|
+
* @returns The membership witness and epoch number, or undefined if the tx is not yet in a block/epoch.
|
|
114
|
+
*/
|
|
105
115
|
export async function computeL2ToL1MembershipWitness(
|
|
106
|
-
|
|
107
|
-
|
|
116
|
+
node: Pick<
|
|
117
|
+
AztecNode,
|
|
118
|
+
'getL2ToL1Messages' | 'getTxReceipt' | 'getTxEffect' | 'getBlock' | 'getCheckpointsDataForEpoch'
|
|
119
|
+
>,
|
|
108
120
|
message: Fr,
|
|
121
|
+
txHash: TxHash,
|
|
122
|
+
messageIndexInTx?: number,
|
|
109
123
|
): Promise<L2ToL1MembershipWitness | undefined> {
|
|
110
|
-
const
|
|
111
|
-
if (
|
|
124
|
+
const { epochNumber, blockNumber } = await node.getTxReceipt(txHash);
|
|
125
|
+
if (epochNumber === undefined || blockNumber === undefined) {
|
|
126
|
+
return undefined;
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
const [messagesInEpoch, block, txEffect, checkpointsData] = await Promise.all([
|
|
130
|
+
node.getL2ToL1Messages(epochNumber),
|
|
131
|
+
node.getBlock(blockNumber),
|
|
132
|
+
node.getTxEffect(txHash),
|
|
133
|
+
node.getCheckpointsDataForEpoch(epochNumber),
|
|
134
|
+
]);
|
|
135
|
+
|
|
136
|
+
if (messagesInEpoch.length === 0 || !block || !txEffect) {
|
|
137
|
+
return undefined;
|
|
138
|
+
}
|
|
139
|
+
|
|
140
|
+
const checkpointIndex = checkpointsData.findIndex(c => c.checkpointNumber === block.checkpointNumber);
|
|
141
|
+
if (checkpointIndex === -1) {
|
|
112
142
|
return undefined;
|
|
113
143
|
}
|
|
114
144
|
|
|
115
|
-
|
|
145
|
+
const blockIndex = block.indexWithinCheckpoint;
|
|
146
|
+
const txIndex = txEffect.txIndexInBlock;
|
|
147
|
+
|
|
148
|
+
const { root, leafIndex, siblingPath } = computeL2ToL1MembershipWitnessFromMessagesInEpoch(
|
|
149
|
+
messagesInEpoch,
|
|
150
|
+
message,
|
|
151
|
+
checkpointIndex,
|
|
152
|
+
blockIndex,
|
|
153
|
+
txIndex,
|
|
154
|
+
messageIndexInTx,
|
|
155
|
+
);
|
|
156
|
+
return { epochNumber, root, leafIndex, siblingPath };
|
|
116
157
|
}
|
|
117
158
|
|
|
118
|
-
|
|
119
|
-
|
|
159
|
+
/**
|
|
160
|
+
* Computes a membership witness for a message in the epoch's L2-to-L1 message tree, given explicit position indices.
|
|
161
|
+
*
|
|
162
|
+
* @param messagesInEpoch - All L2-to-L1 messages in the epoch, organized as checkpoints → blocks → txs → messages.
|
|
163
|
+
* @param message - The message hash to prove membership of.
|
|
164
|
+
* @param checkpointIndex - Index of the checkpoint within the epoch's message array.
|
|
165
|
+
* @param blockIndex - Index of the block within the checkpoint.
|
|
166
|
+
* @param txIndex - Index of the transaction within the block.
|
|
167
|
+
* @param messageIndexInTx - Optional index of the message within the transaction's messages.
|
|
168
|
+
* If not provided, the message is found by scanning (throws if duplicates exist within the tx).
|
|
169
|
+
*/
|
|
170
|
+
/** @internal Exported for testing only. */
|
|
120
171
|
export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
|
|
121
172
|
messagesInEpoch: Fr[][][][],
|
|
122
173
|
message: Fr,
|
|
123
|
-
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
const
|
|
129
|
-
|
|
130
|
-
txIndex = messagesInBlock.findIndex(messagesInTx => {
|
|
131
|
-
messageIndexInTx = messagesInTx.findIndex(msg => msg.equals(message));
|
|
132
|
-
return messageIndexInTx !== -1;
|
|
133
|
-
});
|
|
134
|
-
return txIndex !== -1;
|
|
135
|
-
});
|
|
136
|
-
return blockIndex !== -1;
|
|
137
|
-
});
|
|
138
|
-
|
|
139
|
-
if (checkpointIndex === -1) {
|
|
140
|
-
throw new Error('The L2ToL1Message you are trying to prove inclusion of does not exist');
|
|
141
|
-
}
|
|
174
|
+
checkpointIndex: number,
|
|
175
|
+
blockIndex: number,
|
|
176
|
+
txIndex: number,
|
|
177
|
+
messageIndexInTx?: number,
|
|
178
|
+
): { root: Fr; leafIndex: bigint; siblingPath: SiblingPath<number> } {
|
|
179
|
+
const messagesInTx = messagesInEpoch[checkpointIndex][blockIndex][txIndex];
|
|
180
|
+
const resolvedMessageIndex = resolveMessageIndex(messagesInTx, message, messageIndexInTx);
|
|
142
181
|
|
|
143
182
|
// Build the tx tree.
|
|
144
|
-
const messagesInTx = messagesInEpoch[checkpointIndex][blockIndex][txIndex];
|
|
145
183
|
const txTree = UnbalancedMerkleTreeCalculator.create(messagesInTx.map(msg => msg.toBuffer()));
|
|
146
184
|
// Get the sibling path of the target message in the tx tree.
|
|
147
|
-
const pathToMessageInTxSubtree = txTree.getSiblingPathByLeafIndex(
|
|
185
|
+
const pathToMessageInTxSubtree = txTree.getSiblingPathByLeafIndex(resolvedMessageIndex);
|
|
148
186
|
|
|
149
187
|
// Build the tree of the block containing the target message.
|
|
150
188
|
const blockTree = buildBlockTree(messagesInEpoch[checkpointIndex][blockIndex]);
|
|
@@ -189,7 +227,7 @@ export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
|
|
|
189
227
|
// Compute the combined index.
|
|
190
228
|
// It is the index of the message in the balanced tree (by filling up the wonky tree with empty nodes) at its current
|
|
191
229
|
// height. It's used to validate the membership proof.
|
|
192
|
-
const messageLeafPosition = txTree.getLeafLocation(
|
|
230
|
+
const messageLeafPosition = txTree.getLeafLocation(resolvedMessageIndex);
|
|
193
231
|
const txLeafPosition = blockTree.getLeafLocation(txIndex);
|
|
194
232
|
const blockLeafPosition = checkpointTree.getLeafLocation(blockIndex);
|
|
195
233
|
const checkpointLeafPosition = epochTree.getLeafLocation(checkpointIndex);
|
|
@@ -207,6 +245,33 @@ export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
|
|
|
207
245
|
};
|
|
208
246
|
}
|
|
209
247
|
|
|
248
|
+
function resolveMessageIndex(messagesInTx: Fr[], message: Fr, messageIndexInTx?: number): number {
|
|
249
|
+
if (messageIndexInTx !== undefined) {
|
|
250
|
+
if (!messagesInTx[messageIndexInTx]?.equals(message)) {
|
|
251
|
+
throw new Error(`Message at index ${messageIndexInTx} in tx does not match the expected message ${message}`);
|
|
252
|
+
}
|
|
253
|
+
return messageIndexInTx;
|
|
254
|
+
}
|
|
255
|
+
|
|
256
|
+
const indices = messagesInTx.reduce<number[]>((acc, msg, i) => {
|
|
257
|
+
if (msg.equals(message)) {
|
|
258
|
+
acc.push(i);
|
|
259
|
+
}
|
|
260
|
+
return acc;
|
|
261
|
+
}, []);
|
|
262
|
+
|
|
263
|
+
if (indices.length === 0) {
|
|
264
|
+
throw new Error('The L2ToL1Message you are trying to prove inclusion of does not exist');
|
|
265
|
+
}
|
|
266
|
+
if (indices.length > 1) {
|
|
267
|
+
throw new Error(
|
|
268
|
+
`Multiple messages with the same value ${message} found in tx (indices: ${indices.join(', ')}). ` +
|
|
269
|
+
`Provide messageIndexInTx to disambiguate.`,
|
|
270
|
+
);
|
|
271
|
+
}
|
|
272
|
+
return indices[0];
|
|
273
|
+
}
|
|
274
|
+
|
|
210
275
|
function buildCheckpointTree(messagesInCheckpoint: Fr[][][]) {
|
|
211
276
|
const blockOutHashes = messagesInCheckpoint.map(messagesInBlock => buildBlockTree(messagesInBlock).getRoot());
|
|
212
277
|
return buildCompressedTree(blockOutHashes);
|
package/src/noir/index.ts
CHANGED
|
@@ -19,7 +19,7 @@ export const AZTEC_VIEW_ATTRIBUTE = 'abi_view';
|
|
|
19
19
|
export interface NoirFunctionAbi {
|
|
20
20
|
/** The parameters of the function. */
|
|
21
21
|
parameters: ABIParameter[];
|
|
22
|
-
/** The return type of the function. */
|
|
22
|
+
/** The return type of the function, or null for void functions. */
|
|
23
23
|
return_type: {
|
|
24
24
|
/**
|
|
25
25
|
* The type of the return value.
|
|
@@ -29,7 +29,7 @@ export interface NoirFunctionAbi {
|
|
|
29
29
|
* The visibility of the return value.
|
|
30
30
|
*/
|
|
31
31
|
visibility: ABIParameterVisibility;
|
|
32
|
-
};
|
|
32
|
+
} | null;
|
|
33
33
|
/** Mapping of error selector => error type */
|
|
34
34
|
error_types: Partial<Record<string, AbiErrorType>>;
|
|
35
35
|
}
|
package/src/note/note_dao.ts
CHANGED
|
@@ -1,6 +1,5 @@
|
|
|
1
1
|
import { BlockNumber } from '@aztec/foundation/branded-types';
|
|
2
2
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
-
import { Point } from '@aztec/foundation/curves/grumpkin';
|
|
4
3
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
5
4
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
6
5
|
import { Note } from '@aztec/stdlib/note';
|
|
@@ -148,9 +147,7 @@ export class NoteDao {
|
|
|
148
147
|
* @returns - Its size in bytes.
|
|
149
148
|
*/
|
|
150
149
|
public getSize() {
|
|
151
|
-
|
|
152
|
-
// 2 numbers for txIndexInBlock and noteIndexInTx (4 bytes each)
|
|
153
|
-
return noteSize + AztecAddress.SIZE_IN_BYTES * 2 + Fr.SIZE_IN_BYTES * 4 + TxHash.SIZE + Point.SIZE_IN_BYTES + 8;
|
|
150
|
+
return this.toBuffer().length;
|
|
154
151
|
}
|
|
155
152
|
|
|
156
153
|
static async random({
|
|
@@ -1,5 +1,11 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
1
|
+
import {
|
|
2
|
+
BlockNumber,
|
|
3
|
+
BlockProposalHash,
|
|
4
|
+
type CheckpointNumber,
|
|
5
|
+
IndexWithinCheckpoint,
|
|
6
|
+
SlotNumber,
|
|
7
|
+
} from '@aztec/foundation/branded-types';
|
|
8
|
+
import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
|
|
3
9
|
import { keccak256 } from '@aztec/foundation/crypto/keccak';
|
|
4
10
|
import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
5
11
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
@@ -23,11 +29,7 @@ import {
|
|
|
23
29
|
import { SignedTxs } from './signed_txs.js';
|
|
24
30
|
import { TopicType } from './topic_type.js';
|
|
25
31
|
|
|
26
|
-
export
|
|
27
|
-
constructor(hash: Buffer) {
|
|
28
|
-
super(hash);
|
|
29
|
-
}
|
|
30
|
-
}
|
|
32
|
+
export type { BlockProposalHash } from '@aztec/foundation/branded-types';
|
|
31
33
|
|
|
32
34
|
export type BlockProposalOptions = {
|
|
33
35
|
/**
|
|
@@ -77,8 +79,8 @@ export class BlockProposal extends Gossipable {
|
|
|
77
79
|
super();
|
|
78
80
|
}
|
|
79
81
|
|
|
80
|
-
override generateP2PMessageIdentifier(): Promise<
|
|
81
|
-
return Promise.resolve(
|
|
82
|
+
override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
|
|
83
|
+
return Promise.resolve(BlockProposalHash.fromBuffer(keccak256(this.signature.toBuffer())));
|
|
82
84
|
}
|
|
83
85
|
|
|
84
86
|
get archive(): Fr {
|
|
@@ -126,6 +128,7 @@ export class BlockProposal extends Gossipable {
|
|
|
126
128
|
|
|
127
129
|
static async createProposalFromSigner(
|
|
128
130
|
blockHeader: BlockHeader,
|
|
131
|
+
checkpointNumber: CheckpointNumber,
|
|
129
132
|
indexWithinCheckpoint: IndexWithinCheckpoint,
|
|
130
133
|
inHash: Fr,
|
|
131
134
|
archiveRoot: Fr,
|
|
@@ -147,6 +150,7 @@ export class BlockProposal extends Gossipable {
|
|
|
147
150
|
const blockContext: SigningContext = {
|
|
148
151
|
slot: blockHeader.globalVariables.slotNumber,
|
|
149
152
|
blockNumber: blockHeader.globalVariables.blockNumber,
|
|
153
|
+
checkpointNumber,
|
|
150
154
|
blockIndexWithinCheckpoint: indexWithinCheckpoint,
|
|
151
155
|
dutyType: DutyType.BLOCK_PROPOSAL,
|
|
152
156
|
};
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import {
|
|
1
|
+
import { CheckpointAttestationHash, SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import type { BaseBuffer32 } from '@aztec/foundation/buffer';
|
|
3
3
|
import { keccak256 } from '@aztec/foundation/crypto/keccak';
|
|
4
4
|
import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
5
5
|
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
@@ -16,11 +16,7 @@ import { Gossipable } from './gossipable.js';
|
|
|
16
16
|
import { SignatureDomainSeparator, getHashedSignaturePayloadEthSignedMessage } from './signature_utils.js';
|
|
17
17
|
import { TopicType } from './topic_type.js';
|
|
18
18
|
|
|
19
|
-
export
|
|
20
|
-
constructor(hash: Buffer) {
|
|
21
|
-
super(hash);
|
|
22
|
-
}
|
|
23
|
-
}
|
|
19
|
+
export type { CheckpointAttestationHash } from '@aztec/foundation/branded-types';
|
|
24
20
|
|
|
25
21
|
/**
|
|
26
22
|
* CheckpointAttestation
|
|
@@ -57,8 +53,8 @@ export class CheckpointAttestation extends Gossipable {
|
|
|
57
53
|
.transform(obj => new CheckpointAttestation(obj.payload, obj.signature, obj.proposerSignature));
|
|
58
54
|
}
|
|
59
55
|
|
|
60
|
-
override generateP2PMessageIdentifier(): Promise<
|
|
61
|
-
return Promise.resolve(
|
|
56
|
+
override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
|
|
57
|
+
return Promise.resolve(CheckpointAttestationHash.fromBuffer(keccak256(this.signature.toBuffer())));
|
|
62
58
|
}
|
|
63
59
|
|
|
64
60
|
get archive(): Fr {
|
|
@@ -1,5 +1,10 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
1
|
+
import {
|
|
2
|
+
type CheckpointNumber,
|
|
3
|
+
CheckpointProposalHash,
|
|
4
|
+
IndexWithinCheckpoint,
|
|
5
|
+
SlotNumber,
|
|
6
|
+
} from '@aztec/foundation/branded-types';
|
|
7
|
+
import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
|
|
3
8
|
import { keccak256 } from '@aztec/foundation/crypto/keccak';
|
|
4
9
|
import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
5
10
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
@@ -24,12 +29,7 @@ import {
|
|
|
24
29
|
import { SignedTxs } from './signed_txs.js';
|
|
25
30
|
import { TopicType } from './topic_type.js';
|
|
26
31
|
|
|
27
|
-
|
|
28
|
-
export class CheckpointProposalHash extends Buffer32 {
|
|
29
|
-
constructor(hash: Buffer) {
|
|
30
|
-
super(hash);
|
|
31
|
-
}
|
|
32
|
-
}
|
|
32
|
+
export type { CheckpointProposalHash } from '@aztec/foundation/branded-types';
|
|
33
33
|
|
|
34
34
|
export type CheckpointProposalOptions = {
|
|
35
35
|
/**
|
|
@@ -93,31 +93,14 @@ export class CheckpointProposal extends Gossipable {
|
|
|
93
93
|
super();
|
|
94
94
|
}
|
|
95
95
|
|
|
96
|
-
override generateP2PMessageIdentifier(): Promise<
|
|
97
|
-
return Promise.resolve(
|
|
96
|
+
override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
|
|
97
|
+
return Promise.resolve(CheckpointProposalHash.fromBuffer(keccak256(this.signature.toBuffer())));
|
|
98
98
|
}
|
|
99
99
|
|
|
100
100
|
get slotNumber(): SlotNumber {
|
|
101
101
|
return this.checkpointHeader.slotNumber;
|
|
102
102
|
}
|
|
103
103
|
|
|
104
|
-
get blockNumber(): BlockNumber {
|
|
105
|
-
if (!this.lastBlock) {
|
|
106
|
-
throw new Error('Cannot get blockNumber without lastBlock');
|
|
107
|
-
}
|
|
108
|
-
return this.lastBlock.blockHeader.getBlockNumber();
|
|
109
|
-
}
|
|
110
|
-
|
|
111
|
-
/** Convenience getter for txHashes from lastBlock */
|
|
112
|
-
get txHashes(): TxHash[] {
|
|
113
|
-
return this.lastBlock?.txHashes ?? [];
|
|
114
|
-
}
|
|
115
|
-
|
|
116
|
-
/** Convenience getter for txs from lastBlock */
|
|
117
|
-
get txs(): Tx[] | undefined {
|
|
118
|
-
return this.lastBlock?.signedTxs?.txs;
|
|
119
|
-
}
|
|
120
|
-
|
|
121
104
|
/**
|
|
122
105
|
* Extract a BlockProposal from the last block info.
|
|
123
106
|
* Uses inHash from checkpointHeader.contentCommitment.inHash
|
|
@@ -177,8 +160,9 @@ export class CheckpointProposal extends Gossipable {
|
|
|
177
160
|
static async createProposalFromSigner(
|
|
178
161
|
checkpointHeader: CheckpointHeader,
|
|
179
162
|
archiveRoot: Fr,
|
|
163
|
+
checkpointNumber: CheckpointNumber,
|
|
180
164
|
feeAssetPriceModifier: bigint,
|
|
181
|
-
|
|
165
|
+
lastBlockProposal: BlockProposal | undefined,
|
|
182
166
|
payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>,
|
|
183
167
|
): Promise<CheckpointProposal> {
|
|
184
168
|
// Sign the checkpoint payload with CHECKPOINT_PROPOSAL duty type
|
|
@@ -192,32 +176,19 @@ export class CheckpointProposal extends Gossipable {
|
|
|
192
176
|
|
|
193
177
|
const checkpointContext: SigningContext = {
|
|
194
178
|
slot: checkpointHeader.slotNumber,
|
|
195
|
-
|
|
179
|
+
checkpointNumber,
|
|
196
180
|
dutyType: DutyType.CHECKPOINT_PROPOSAL,
|
|
197
181
|
};
|
|
198
|
-
const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
|
|
199
182
|
|
|
200
|
-
|
|
201
|
-
return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature);
|
|
202
|
-
}
|
|
183
|
+
const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
|
|
203
184
|
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
lastBlockInfo.indexWithinCheckpoint,
|
|
207
|
-
checkpointHeader.inHash,
|
|
185
|
+
return new CheckpointProposal(
|
|
186
|
+
checkpointHeader,
|
|
208
187
|
archiveRoot,
|
|
209
|
-
|
|
210
|
-
|
|
211
|
-
|
|
188
|
+
feeAssetPriceModifier,
|
|
189
|
+
checkpointSignature,
|
|
190
|
+
lastBlockProposal,
|
|
212
191
|
);
|
|
213
|
-
|
|
214
|
-
return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, {
|
|
215
|
-
blockHeader: lastBlockInfo.blockHeader,
|
|
216
|
-
indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
|
|
217
|
-
txHashes: lastBlockInfo.txHashes,
|
|
218
|
-
signature: lastBlockProposal.signature,
|
|
219
|
-
signedTxs: lastBlockProposal.signedTxs,
|
|
220
|
-
});
|
|
221
192
|
}
|
|
222
193
|
|
|
223
194
|
/**
|
package/src/p2p/gossipable.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { BaseBuffer32 } from '@aztec/foundation/buffer';
|
|
2
2
|
import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
3
3
|
|
|
4
4
|
import type { TopicType } from './topic_type.js';
|
|
@@ -46,7 +46,7 @@ export class P2PMessage {
|
|
|
46
46
|
* Any class which extends gossipable will be able to be Gossiped over the p2p network
|
|
47
47
|
*/
|
|
48
48
|
export abstract class Gossipable {
|
|
49
|
-
private cachedId:
|
|
49
|
+
private cachedId: BaseBuffer32 | undefined;
|
|
50
50
|
/** The p2p topic identifier, this determines how the message is handled */
|
|
51
51
|
static p2pTopic: TopicType;
|
|
52
52
|
|
|
@@ -54,7 +54,7 @@ export abstract class Gossipable {
|
|
|
54
54
|
* A digest of the message information **used for logging only**.
|
|
55
55
|
* The identifier used for deduplication is `getMsgIdFn` as defined in `encoding.ts` which is a hash over topic and data.
|
|
56
56
|
*/
|
|
57
|
-
async p2pMessageLoggingIdentifier(): Promise<
|
|
57
|
+
async p2pMessageLoggingIdentifier(): Promise<BaseBuffer32> {
|
|
58
58
|
if (this.cachedId) {
|
|
59
59
|
return this.cachedId;
|
|
60
60
|
}
|
|
@@ -62,7 +62,7 @@ export abstract class Gossipable {
|
|
|
62
62
|
return this.cachedId;
|
|
63
63
|
}
|
|
64
64
|
|
|
65
|
-
abstract generateP2PMessageIdentifier(): Promise<
|
|
65
|
+
abstract generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
|
|
66
66
|
|
|
67
67
|
abstract toBuffer(): Buffer;
|
|
68
68
|
|
package/src/p2p/peer_error.ts
CHANGED
|
@@ -15,3 +15,10 @@ export enum PeerErrorSeverity {
|
|
|
15
15
|
*/
|
|
16
16
|
HighToleranceError = 'HighToleranceError',
|
|
17
17
|
}
|
|
18
|
+
|
|
19
|
+
/** Severities ordered from mildest to harshest. */
|
|
20
|
+
export const PeerErrorSeverityByHarshness = [
|
|
21
|
+
PeerErrorSeverity.HighToleranceError,
|
|
22
|
+
PeerErrorSeverity.MidToleranceError,
|
|
23
|
+
PeerErrorSeverity.LowToleranceError,
|
|
24
|
+
] as const;
|