@aztec/stdlib 0.0.1-commit.a072138 → 0.0.1-commit.b1c78909e
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/decoder.d.ts +2 -2
- package/dest/abi/decoder.d.ts.map +1 -1
- package/dest/abi/decoder.js +7 -5
- 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_call.d.ts +39 -9
- package/dest/abi/function_call.d.ts.map +1 -1
- package/dest/abi/function_call.js +20 -3
- 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/auth_witness/auth_witness.js +3 -3
- package/dest/avm/avm.d.ts +300 -300
- 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/block_data.d.ts +52 -0
- package/dest/block/block_data.d.ts.map +1 -0
- package/dest/block/block_data.js +12 -0
- package/dest/block/in_block.js +1 -1
- package/dest/block/index.d.ts +2 -1
- package/dest/block/index.d.ts.map +1 -1
- package/dest/block/index.js +1 -0
- 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 +33 -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 +22 -7
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +32 -16
- package/dest/checkpoint/checkpoint_data.d.ts +120 -0
- package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
- package/dest/checkpoint/checkpoint_data.js +26 -0
- package/dest/checkpoint/index.d.ts +3 -1
- package/dest/checkpoint/index.d.ts.map +1 -1
- package/dest/checkpoint/index.js +2 -0
- package/dest/checkpoint/published_checkpoint.d.ts +17 -2
- package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/published_checkpoint.js +1 -2
- 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/sequencer-config.d.ts +12 -0
- package/dest/config/sequencer-config.d.ts.map +1 -0
- package/dest/config/sequencer-config.js +24 -0
- package/dest/contract/contract_address.js +4 -4
- package/dest/contract/contract_class.d.ts +2 -3
- package/dest/contract/contract_class.d.ts.map +1 -1
- package/dest/contract/contract_class_id.d.ts +1 -1
- package/dest/contract/contract_class_id.d.ts.map +1 -1
- package/dest/contract/contract_class_id.js +5 -4
- package/dest/contract/interfaces/node-info.d.ts +3 -1
- package/dest/contract/interfaces/node-info.d.ts.map +1 -1
- package/dest/contract/interfaces/node-info.js +2 -1
- package/dest/contract/private_function.js +2 -2
- 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 +6 -2
- package/dest/file-store/local.d.ts +3 -3
- package/dest/file-store/local.d.ts.map +1 -1
- package/dest/file-store/local.js +13 -4
- package/dest/file-store/s3.d.ts +1 -1
- package/dest/file-store/s3.d.ts.map +1 -1
- package/dest/file-store/s3.js +11 -3
- 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 +136 -0
- package/dest/ha-signing/config.d.ts.map +1 -0
- package/dest/ha-signing/config.js +97 -0
- package/dest/ha-signing/index.d.ts +4 -0
- package/dest/ha-signing/index.d.ts.map +1 -0
- package/dest/ha-signing/index.js +3 -0
- 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 +85 -0
- package/dest/ha-signing/types.d.ts.map +1 -0
- package/dest/ha-signing/types.js +32 -0
- package/dest/hash/hash.d.ts +2 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +16 -10
- package/dest/hash/map_slot.js +2 -2
- 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 +8 -2
- package/dest/interfaces/aztec-node-admin.d.ts +118 -32
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +12 -4
- package/dest/interfaces/aztec-node.d.ts +11 -6
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +3 -2
- package/dest/interfaces/block-builder.d.ts +9 -6
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/block-builder.js +7 -2
- package/dest/interfaces/configs.d.ts +72 -32
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +9 -3
- package/dest/interfaces/get_logs_response.d.ts +8 -1
- package/dest/interfaces/get_logs_response.d.ts.map +1 -1
- package/dest/interfaces/merkle_tree_operations.d.ts +2 -2
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/p2p.d.ts +4 -9
- package/dest/interfaces/p2p.d.ts.map +1 -1
- package/dest/interfaces/prover-broker.d.ts +16 -1
- package/dest/interfaces/prover-broker.d.ts.map +1 -1
- package/dest/interfaces/prover-broker.js +4 -1
- package/dest/interfaces/prover-client.d.ts +11 -1
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +12 -1
- package/dest/interfaces/proving-job.d.ts +202 -202
- package/dest/interfaces/slasher.d.ts +9 -1
- package/dest/interfaces/slasher.d.ts.map +1 -1
- package/dest/interfaces/slasher.js +2 -0
- package/dest/interfaces/validator.d.ts +148 -40
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +11 -4
- package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
- package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
- package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
- package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
- package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
- package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
- package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
- package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
- package/dest/kernel/hints/build_transient_data_hints.js +9 -3
- package/dest/kernel/hints/index.d.ts +2 -2
- package/dest/kernel/hints/index.js +2 -2
- package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
- package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
- package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
- package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
- package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
- package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
- package/dest/kernel/private_circuit_public_inputs.d.ts +9 -9
- package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_circuit_public_inputs.js +16 -16
- package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +3 -3
- package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_circuit_public_inputs.js +4 -4
- package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +3 -3
- package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +4 -4
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +4 -3
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +11 -7
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +3 -3
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -7
- package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +3 -3
- package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +7 -7
- package/dest/kernel/private_validation_requests.d.ts +3 -3
- package/dest/kernel/private_validation_requests.js +9 -9
- package/dest/keys/derivation.js +8 -8
- package/dest/keys/key_types.d.ts +3 -3
- package/dest/keys/key_types.d.ts.map +1 -1
- package/dest/keys/public_keys.js +2 -2
- package/dest/keys/utils.js +5 -5
- 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/debug_log_store.d.ts +30 -0
- package/dest/logs/debug_log_store.d.ts.map +1 -0
- package/dest/logs/debug_log_store.js +30 -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/extended_public_log.d.ts +7 -1
- package/dest/logs/extended_public_log.d.ts.map +1 -1
- 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_id.d.ts +10 -7
- package/dest/logs/log_id.d.ts.map +1 -1
- package/dest/logs/log_id.js +15 -13
- 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/private_log.d.ts +2 -2
- package/dest/logs/private_log.d.ts.map +1 -1
- 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/siloed_tag.d.ts +5 -3
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +8 -7
- package/dest/logs/tag.js +1 -1
- package/dest/messaging/l2_to_l1_membership.d.ts +2 -2
- package/dest/messaging/l2_to_l1_membership.js +3 -3
- package/dest/note/index.d.ts +1 -2
- package/dest/note/index.d.ts.map +1 -1
- package/dest/note/index.js +0 -1
- package/dest/p2p/attestation_utils.d.ts +11 -1
- package/dest/p2p/attestation_utils.d.ts.map +1 -1
- package/dest/p2p/attestation_utils.js +45 -0
- package/dest/p2p/block_proposal.d.ts +2 -2
- package/dest/p2p/block_proposal.d.ts.map +1 -1
- package/dest/p2p/block_proposal.js +2 -4
- package/dest/p2p/checkpoint_attestation.d.ts +2 -1
- package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
- package/dest/p2p/checkpoint_attestation.js +1 -1
- package/dest/p2p/checkpoint_proposal.d.ts +18 -11
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +30 -28
- 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/consensus_payload.d.ts +12 -3
- package/dest/p2p/consensus_payload.d.ts.map +1 -1
- package/dest/p2p/consensus_payload.js +22 -15
- package/dest/p2p/constants.d.ts +3 -1
- package/dest/p2p/constants.d.ts.map +1 -1
- package/dest/p2p/constants.js +1 -0
- 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/rollup/checkpoint_header.d.ts +2 -2
- package/dest/rollup/checkpoint_header.js +2 -2
- package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +6 -6
- package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
- package/dest/rollup/checkpoint_rollup_public_inputs.js +2 -2
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +2 -2
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
- package/dest/rollup/root_rollup_public_inputs.d.ts +6 -6
- package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
- package/dest/rollup/root_rollup_public_inputs.js +3 -3
- package/dest/slashing/empire.d.ts +1 -1
- package/dest/slashing/empire.d.ts.map +1 -1
- package/dest/slashing/empire.js +2 -0
- package/dest/slashing/helpers.d.ts +2 -2
- package/dest/slashing/helpers.d.ts.map +1 -1
- package/dest/slashing/helpers.js +6 -0
- package/dest/slashing/tally.d.ts +8 -2
- package/dest/slashing/tally.d.ts.map +1 -1
- package/dest/slashing/tally.js +35 -3
- package/dest/slashing/types.d.ts +7 -3
- package/dest/slashing/types.d.ts.map +1 -1
- package/dest/slashing/types.js +13 -1
- package/dest/tests/factories.d.ts +3 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +21 -13
- package/dest/tests/mocks.d.ts +8 -3
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +31 -21
- package/dest/timetable/index.d.ts +37 -0
- package/dest/timetable/index.d.ts.map +1 -0
- package/dest/timetable/index.js +39 -0
- package/dest/trees/public_data_leaf.d.ts +2 -1
- package/dest/trees/public_data_leaf.d.ts.map +1 -1
- package/dest/trees/public_data_leaf.js +7 -6
- 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 +6 -2
- package/dest/tx/global_variables.d.ts +4 -4
- package/dest/tx/global_variables.d.ts.map +1 -1
- package/dest/tx/profiling.d.ts +4 -4
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +3 -3
- package/dest/tx/protocol_contracts.d.ts +1 -1
- package/dest/tx/protocol_contracts.d.ts.map +1 -1
- package/dest/tx/protocol_contracts.js +2 -2
- package/dest/tx/public_simulation_output.d.ts +4 -2
- package/dest/tx/public_simulation_output.d.ts.map +1 -1
- package/dest/tx/public_simulation_output.js +7 -3
- package/dest/tx/simulated_tx.d.ts +5 -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 +16 -2
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +11 -3
- package/dest/tx/tx_request.js +2 -2
- package/dest/tx/validator/empty_validator.d.ts +2 -2
- package/dest/tx/validator/empty_validator.d.ts.map +1 -1
- package/dest/tx/validator/error_texts.d.ts +6 -2
- package/dest/tx/validator/error_texts.d.ts.map +1 -1
- package/dest/tx/validator/error_texts.js +5 -1
- package/dest/tx/validator/tx_validator.d.ts +2 -2
- package/dest/tx/validator/tx_validator.d.ts.map +1 -1
- 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 +11 -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/validators/schemas.d.ts +30 -30
- package/dest/validators/schemas.d.ts.map +1 -1
- package/dest/validators/schemas.js +4 -3
- package/dest/validators/types.d.ts +3 -3
- package/dest/validators/types.d.ts.map +1 -1
- package/package.json +24 -12
- package/src/abi/decoder.ts +15 -6
- package/src/abi/encoder.ts +49 -6
- package/src/abi/event_metadata_definition.ts +2 -0
- package/src/abi/function_call.ts +25 -3
- package/src/abi/utils.ts +25 -0
- package/src/auth_witness/auth_witness.ts +3 -3
- package/src/avm/revert_code.ts +15 -0
- package/src/block/block_data.ts +26 -0
- package/src/block/in_block.ts +1 -1
- package/src/block/index.ts +1 -0
- package/src/block/l2_block.ts +13 -1
- package/src/block/l2_block_source.ts +36 -7
- package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
- package/src/checkpoint/checkpoint.ts +43 -16
- package/src/checkpoint/checkpoint_data.ts +51 -0
- package/src/checkpoint/index.ts +2 -0
- package/src/checkpoint/published_checkpoint.ts +3 -1
- package/src/checkpoint/validate.ts +230 -0
- package/src/config/index.ts +1 -0
- package/src/config/sequencer-config.ts +37 -0
- package/src/contract/contract_address.ts +4 -4
- package/src/contract/contract_class.ts +3 -3
- package/src/contract/contract_class_id.ts +5 -4
- package/src/contract/interfaces/node-info.ts +3 -0
- package/src/contract/private_function.ts +2 -2
- package/src/epoch-helpers/index.ts +6 -0
- package/src/file-store/local.ts +15 -5
- package/src/file-store/s3.ts +12 -3
- package/src/gas/gas_fees.ts +7 -1
- package/src/ha-signing/config.ts +156 -0
- package/src/ha-signing/index.ts +27 -0
- package/src/ha-signing/local_config.ts +46 -0
- package/src/ha-signing/types.ts +112 -0
- package/src/hash/hash.ts +14 -10
- package/src/hash/map_slot.ts +2 -2
- package/src/interfaces/allowed_element.ts +29 -9
- package/src/interfaces/archiver.ts +8 -2
- package/src/interfaces/aztec-node-admin.ts +26 -2
- package/src/interfaces/aztec-node.ts +15 -5
- package/src/interfaces/block-builder.ts +24 -6
- package/src/interfaces/configs.ts +33 -8
- package/src/interfaces/merkle_tree_operations.ts +1 -1
- package/src/interfaces/p2p.ts +3 -14
- package/src/interfaces/prover-broker.ts +22 -0
- package/src/interfaces/prover-client.ts +15 -0
- package/src/interfaces/slasher.ts +4 -0
- package/src/interfaces/validator.ts +59 -27
- package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
- package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
- package/src/kernel/hints/build_transient_data_hints.ts +17 -2
- package/src/kernel/hints/index.ts +2 -2
- package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
- package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
- package/src/kernel/private_circuit_public_inputs.ts +14 -14
- package/src/kernel/private_kernel_circuit_public_inputs.ts +2 -2
- package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +2 -2
- package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +14 -5
- package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +5 -5
- package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +5 -5
- package/src/kernel/private_validation_requests.ts +8 -8
- package/src/keys/derivation.ts +8 -8
- package/src/keys/key_types.ts +6 -2
- package/src/keys/public_keys.ts +2 -2
- package/src/keys/utils.ts +5 -5
- package/src/kv-store/config.ts +36 -0
- package/src/kv-store/index.ts +1 -0
- package/src/logs/debug_log_store.ts +54 -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_id.ts +15 -12
- package/src/logs/pre_tag.ts +5 -5
- package/src/logs/public_log.ts +4 -2
- package/src/logs/siloed_tag.ts +10 -5
- package/src/logs/tag.ts +1 -1
- package/src/messaging/l2_to_l1_membership.ts +3 -3
- package/src/note/index.ts +0 -1
- package/src/p2p/attestation_utils.ts +56 -0
- package/src/p2p/block_proposal.ts +1 -3
- package/src/p2p/checkpoint_attestation.ts +6 -1
- package/src/p2p/checkpoint_proposal.ts +46 -31
- package/src/p2p/client_type.ts +0 -6
- package/src/p2p/consensus_payload.ts +25 -12
- package/src/p2p/constants.ts +3 -0
- 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/rollup/checkpoint_header.ts +2 -2
- package/src/rollup/checkpoint_rollup_public_inputs.ts +5 -5
- package/src/rollup/root_rollup_public_inputs.ts +7 -7
- package/src/slashing/empire.ts +3 -1
- package/src/slashing/helpers.ts +8 -0
- package/src/slashing/tally.ts +41 -2
- package/src/slashing/types.ts +14 -0
- package/src/tests/factories.ts +26 -17
- package/src/tests/mocks.ts +46 -20
- package/src/timetable/index.ts +66 -0
- package/src/trees/public_data_leaf.ts +11 -5
- package/src/tx/block_header.ts +8 -2
- package/src/tx/global_variables.ts +3 -3
- package/src/tx/profiling.ts +5 -5
- package/src/tx/protocol_contracts.ts +2 -2
- package/src/tx/public_simulation_output.ts +4 -0
- package/src/tx/simulated_tx.ts +8 -1
- package/src/tx/tx.ts +20 -11
- package/src/tx/tx_receipt.ts +11 -1
- package/src/tx/tx_request.ts +2 -2
- package/src/tx/validator/empty_validator.ts +1 -1
- package/src/tx/validator/error_texts.ts +5 -1
- package/src/tx/validator/tx_validator.ts +1 -1
- package/src/update-checker/index.ts +2 -1
- package/src/update-checker/package_version.ts +17 -0
- package/src/update-checker/version_checker.ts +65 -0
- package/src/validators/errors.ts +9 -0
- package/src/validators/schemas.ts +8 -1
- package/src/validators/types.ts +5 -4
- package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -30
- package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
- 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/note/notes_filter.d.ts +0 -27
- package/dest/note/notes_filter.d.ts.map +0 -1
- package/dest/note/notes_filter.js +0 -11
- 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/note/notes_filter.ts +0 -38
- package/src/update-checker/update-checker.ts +0 -166
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import type { TxReceipt } from '../tx/tx_receipt.js';
|
|
2
|
+
import type { DebugLog } from './debug_log.js';
|
|
3
|
+
|
|
4
|
+
/**
|
|
5
|
+
* Store for debug logs emitted by public functions during transaction execution.
|
|
6
|
+
*
|
|
7
|
+
* Uses the Null Object pattern: production code uses NullDebugLogStore (no-op), while test mode uses
|
|
8
|
+
* InMemoryDebugLogStore (stores and serves logs).
|
|
9
|
+
*/
|
|
10
|
+
export interface DebugLogStore {
|
|
11
|
+
/** Store debug logs for a processed transaction. */
|
|
12
|
+
storeLogs(txHash: string, logs: DebugLog[]): void;
|
|
13
|
+
/** Decorate a TxReceipt with any stored debug logs for the given tx. */
|
|
14
|
+
decorateReceiptWithLogs(txHash: string, receipt: TxReceipt): void;
|
|
15
|
+
/** Whether debug log collection is enabled. */
|
|
16
|
+
readonly isEnabled: boolean;
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
/** No-op implementation for production mode. */
|
|
20
|
+
export class NullDebugLogStore implements DebugLogStore {
|
|
21
|
+
storeLogs(_txHash: string, _logs: DebugLog[]): void {
|
|
22
|
+
return;
|
|
23
|
+
}
|
|
24
|
+
decorateReceiptWithLogs(_txHash: string, _receipt: TxReceipt): void {
|
|
25
|
+
return;
|
|
26
|
+
}
|
|
27
|
+
get isEnabled(): boolean {
|
|
28
|
+
return false;
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
|
|
32
|
+
/** In-memory implementation for test mode that stores and serves debug logs. */
|
|
33
|
+
export class InMemoryDebugLogStore implements DebugLogStore {
|
|
34
|
+
private map = new Map<string, DebugLog[]>();
|
|
35
|
+
|
|
36
|
+
storeLogs(txHash: string, logs: DebugLog[]): void {
|
|
37
|
+
if (logs.length > 0) {
|
|
38
|
+
this.map.set(txHash, logs);
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
decorateReceiptWithLogs(txHash: string, receipt: TxReceipt): void {
|
|
43
|
+
if (receipt.isMined()) {
|
|
44
|
+
const debugLogs = this.map.get(txHash);
|
|
45
|
+
if (debugLogs) {
|
|
46
|
+
receipt.debugLogs = debugLogs;
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
get isEnabled(): boolean {
|
|
52
|
+
return true;
|
|
53
|
+
}
|
|
54
|
+
}
|
package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts}
RENAMED
|
@@ -5,22 +5,28 @@ import type { Point } from '@aztec/foundation/curves/grumpkin';
|
|
|
5
5
|
|
|
6
6
|
import { z } from 'zod';
|
|
7
7
|
|
|
8
|
-
import
|
|
8
|
+
import { AztecAddress } from '../aztec-address/index.js';
|
|
9
9
|
import type { CompleteAddress } from '../contract/complete_address.js';
|
|
10
10
|
import { computeAddressSecret, computePreaddress } from '../keys/derivation.js';
|
|
11
11
|
|
|
12
12
|
/**
|
|
13
|
-
*
|
|
13
|
+
* Extended directional application tagging secret used for log tagging.
|
|
14
14
|
*
|
|
15
|
-
* "
|
|
16
|
-
*
|
|
15
|
+
* "Extended" because it bundles the directional app tagging secret with the app (contract) address. This bundling was
|
|
16
|
+
* done because where this type is used we commonly need access to both the secret and the address.
|
|
17
17
|
*
|
|
18
|
-
*
|
|
19
|
-
*
|
|
20
|
-
*
|
|
18
|
+
* "Directional" because the derived secret is bound to the recipient address: A→B differs from B→A even with the same
|
|
19
|
+
* participants and app.
|
|
20
|
+
*
|
|
21
|
+
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides in
|
|
22
|
+
* `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types in stdlib hence there
|
|
23
|
+
* doesn't seem to be a good way around this.
|
|
21
24
|
*/
|
|
22
|
-
export class
|
|
23
|
-
private constructor(
|
|
25
|
+
export class ExtendedDirectionalAppTaggingSecret {
|
|
26
|
+
private constructor(
|
|
27
|
+
public readonly secret: Fr,
|
|
28
|
+
public readonly app: AztecAddress,
|
|
29
|
+
) {}
|
|
24
30
|
|
|
25
31
|
/**
|
|
26
32
|
* Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
|
|
@@ -39,20 +45,21 @@ export class DirectionalAppTaggingSecret {
|
|
|
39
45
|
externalAddress: AztecAddress,
|
|
40
46
|
app: AztecAddress,
|
|
41
47
|
recipient: AztecAddress,
|
|
42
|
-
): Promise<
|
|
48
|
+
): Promise<ExtendedDirectionalAppTaggingSecret> {
|
|
43
49
|
const taggingSecretPoint = await computeSharedTaggingSecret(localAddress, localIvsk, externalAddress);
|
|
44
50
|
const appTaggingSecret = await poseidon2Hash([taggingSecretPoint.x, taggingSecretPoint.y, app]);
|
|
45
51
|
const directionalAppTaggingSecret = await poseidon2Hash([appTaggingSecret, recipient]);
|
|
46
52
|
|
|
47
|
-
return new
|
|
53
|
+
return new ExtendedDirectionalAppTaggingSecret(directionalAppTaggingSecret, app);
|
|
48
54
|
}
|
|
49
55
|
|
|
50
56
|
toString(): string {
|
|
51
|
-
return this.
|
|
57
|
+
return `${this.secret.toString()}:${this.app.toString()}`;
|
|
52
58
|
}
|
|
53
59
|
|
|
54
|
-
static fromString(str: string):
|
|
55
|
-
|
|
60
|
+
static fromString(str: string): ExtendedDirectionalAppTaggingSecret {
|
|
61
|
+
const [secretStr, appStr] = str.split(':');
|
|
62
|
+
return new ExtendedDirectionalAppTaggingSecret(Fr.fromString(secretStr), AztecAddress.fromString(appStr));
|
|
56
63
|
}
|
|
57
64
|
}
|
|
58
65
|
|
|
@@ -74,6 +81,7 @@ async function computeSharedTaggingSecret(
|
|
|
74
81
|
return Grumpkin.mul(externalAddressPoint, await computeAddressSecret(knownPreaddress, localIvsk));
|
|
75
82
|
}
|
|
76
83
|
|
|
77
|
-
export const
|
|
78
|
-
|
|
84
|
+
export const ExtendedDirectionalAppTaggingSecretSchema = z.object({
|
|
85
|
+
secret: Fr.schema,
|
|
86
|
+
app: AztecAddress.schema,
|
|
79
87
|
});
|
package/src/logs/index.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
export * from './
|
|
1
|
+
export * from './extended_directional_app_tagging_secret.js';
|
|
2
2
|
export * from './pre_tag.js';
|
|
3
3
|
export * from './contract_class_log.js';
|
|
4
4
|
export * from './public_log.js';
|
|
@@ -12,5 +12,6 @@ export * from './shared_secret_derivation.js';
|
|
|
12
12
|
export * from './tx_scoped_l2_log.js';
|
|
13
13
|
export * from './message_context.js';
|
|
14
14
|
export * from './debug_log.js';
|
|
15
|
+
export * from './debug_log_store.js';
|
|
15
16
|
export * from './tag.js';
|
|
16
17
|
export * from './siloed_tag.js';
|
package/src/logs/log_id.ts
CHANGED
|
@@ -8,20 +8,17 @@ import { z } from 'zod';
|
|
|
8
8
|
|
|
9
9
|
import { BlockHash } from '../block/block_hash.js';
|
|
10
10
|
import { schemas } from '../schemas/index.js';
|
|
11
|
+
import { TxHash } from '../tx/tx_hash.js';
|
|
11
12
|
|
|
12
13
|
/** A globally unique log id. */
|
|
13
14
|
export class LogId {
|
|
14
|
-
/**
|
|
15
|
-
* Parses a log id from a string.
|
|
16
|
-
* @param blockNumber - The block number.
|
|
17
|
-
* @param txIndex - The transaction index.
|
|
18
|
-
* @param logIndex - The log index.
|
|
19
|
-
*/
|
|
20
15
|
constructor(
|
|
21
16
|
/** The block number the log was emitted in. */
|
|
22
17
|
public readonly blockNumber: BlockNumber,
|
|
23
18
|
/** The hash of the block the log was emitted in. */
|
|
24
19
|
public readonly blockHash: BlockHash,
|
|
20
|
+
/** The hash of the transaction the log was emitted in. */
|
|
21
|
+
public readonly txHash: TxHash,
|
|
25
22
|
/** The index of a tx in a block the log was emitted in. */
|
|
26
23
|
public readonly txIndex: number,
|
|
27
24
|
/** The index of a log the tx was emitted in. */
|
|
@@ -42,6 +39,7 @@ export class LogId {
|
|
|
42
39
|
return new LogId(
|
|
43
40
|
BlockNumber(Math.floor(Math.random() * 1000) + 1),
|
|
44
41
|
BlockHash.random(),
|
|
42
|
+
TxHash.random(),
|
|
45
43
|
Math.floor(Math.random() * 1000),
|
|
46
44
|
Math.floor(Math.random() * 100),
|
|
47
45
|
);
|
|
@@ -52,11 +50,13 @@ export class LogId {
|
|
|
52
50
|
.object({
|
|
53
51
|
blockNumber: BlockNumberSchema,
|
|
54
52
|
blockHash: BlockHash.schema,
|
|
53
|
+
txHash: TxHash.schema,
|
|
55
54
|
txIndex: schemas.Integer,
|
|
56
55
|
logIndex: schemas.Integer,
|
|
57
56
|
})
|
|
58
57
|
.transform(
|
|
59
|
-
({ blockNumber, blockHash, txIndex, logIndex }) =>
|
|
58
|
+
({ blockNumber, blockHash, txHash, txIndex, logIndex }) =>
|
|
59
|
+
new LogId(blockNumber, blockHash, txHash, txIndex, logIndex),
|
|
60
60
|
);
|
|
61
61
|
}
|
|
62
62
|
|
|
@@ -68,6 +68,7 @@ export class LogId {
|
|
|
68
68
|
return Buffer.concat([
|
|
69
69
|
toBufferBE(BigInt(this.blockNumber), 4),
|
|
70
70
|
this.blockHash.toBuffer(),
|
|
71
|
+
this.txHash.toBuffer(),
|
|
71
72
|
toBufferBE(BigInt(this.txIndex), 4),
|
|
72
73
|
toBufferBE(BigInt(this.logIndex), 4),
|
|
73
74
|
]);
|
|
@@ -83,10 +84,11 @@ export class LogId {
|
|
|
83
84
|
|
|
84
85
|
const blockNumber = BlockNumber(reader.readNumber());
|
|
85
86
|
const blockHash = new BlockHash(reader.readObject(Fr));
|
|
87
|
+
const txHash = reader.readObject(TxHash);
|
|
86
88
|
const txIndex = reader.readNumber();
|
|
87
89
|
const logIndex = reader.readNumber();
|
|
88
90
|
|
|
89
|
-
return new LogId(blockNumber, blockHash, txIndex, logIndex);
|
|
91
|
+
return new LogId(blockNumber, blockHash, txHash, txIndex, logIndex);
|
|
90
92
|
}
|
|
91
93
|
|
|
92
94
|
/**
|
|
@@ -94,7 +96,7 @@ export class LogId {
|
|
|
94
96
|
* @returns A string representation of the log id.
|
|
95
97
|
*/
|
|
96
98
|
public toString(): string {
|
|
97
|
-
return `${this.blockNumber}-${this.txIndex}-${this.logIndex}-${this.blockHash.toString()}`;
|
|
99
|
+
return `${this.blockNumber}-${this.txIndex}-${this.logIndex}-${this.blockHash.toString()}-${this.txHash.toString()}`;
|
|
98
100
|
}
|
|
99
101
|
|
|
100
102
|
/**
|
|
@@ -103,13 +105,14 @@ export class LogId {
|
|
|
103
105
|
* @returns A log id.
|
|
104
106
|
*/
|
|
105
107
|
static fromString(data: string): LogId {
|
|
106
|
-
const [rawBlockNumber, rawTxIndex, rawLogIndex, rawBlockHash] = data.split('-');
|
|
108
|
+
const [rawBlockNumber, rawTxIndex, rawLogIndex, rawBlockHash, rawTxHash] = data.split('-');
|
|
107
109
|
const blockNumber = BlockNumber(Number(rawBlockNumber));
|
|
108
110
|
const blockHash = BlockHash.fromString(rawBlockHash);
|
|
111
|
+
const txHash = TxHash.fromString(rawTxHash);
|
|
109
112
|
const txIndex = Number(rawTxIndex);
|
|
110
113
|
const logIndex = Number(rawLogIndex);
|
|
111
114
|
|
|
112
|
-
return new LogId(blockNumber, blockHash, txIndex, logIndex);
|
|
115
|
+
return new LogId(blockNumber, blockHash, txHash, txIndex, logIndex);
|
|
113
116
|
}
|
|
114
117
|
|
|
115
118
|
/**
|
|
@@ -117,6 +120,6 @@ export class LogId {
|
|
|
117
120
|
* @returns A human readable representation of the log id.
|
|
118
121
|
*/
|
|
119
122
|
public toHumanReadable(): string {
|
|
120
|
-
return `logId: (blockNumber: ${this.blockNumber}, blockHash: ${this.blockHash.toString()}, txIndex: ${this.txIndex}, logIndex: ${this.logIndex})`;
|
|
123
|
+
return `logId: (blockNumber: ${this.blockNumber}, blockHash: ${this.blockHash.toString()}, txHash: ${this.txHash.toString()}, txIndex: ${this.txIndex}, logIndex: ${this.logIndex})`;
|
|
121
124
|
}
|
|
122
125
|
}
|
package/src/logs/pre_tag.ts
CHANGED
|
@@ -3,9 +3,9 @@ import { schemas } from '@aztec/foundation/schemas';
|
|
|
3
3
|
import { z } from 'zod';
|
|
4
4
|
|
|
5
5
|
import {
|
|
6
|
-
type
|
|
7
|
-
|
|
8
|
-
} from './
|
|
6
|
+
type ExtendedDirectionalAppTaggingSecret,
|
|
7
|
+
ExtendedDirectionalAppTaggingSecretSchema,
|
|
8
|
+
} from './extended_directional_app_tagging_secret.js';
|
|
9
9
|
|
|
10
10
|
/**
|
|
11
11
|
* Represents a preimage of a private log tag (see `Tag` in `pxe/src/tagging`).
|
|
@@ -15,11 +15,11 @@ import {
|
|
|
15
15
|
* around this.
|
|
16
16
|
*/
|
|
17
17
|
export type PreTag = {
|
|
18
|
-
|
|
18
|
+
extendedSecret: ExtendedDirectionalAppTaggingSecret;
|
|
19
19
|
index: number;
|
|
20
20
|
};
|
|
21
21
|
|
|
22
22
|
export const PreTagSchema = z.object({
|
|
23
|
-
|
|
23
|
+
extendedSecret: ExtendedDirectionalAppTaggingSecretSchema,
|
|
24
24
|
index: schemas.Integer,
|
|
25
25
|
});
|
package/src/logs/public_log.ts
CHANGED
|
@@ -120,8 +120,8 @@ export class FlatPublicLogs {
|
|
|
120
120
|
|
|
121
121
|
export class PublicLog {
|
|
122
122
|
constructor(
|
|
123
|
-
public contractAddress: AztecAddress,
|
|
124
|
-
public fields: Fr[],
|
|
123
|
+
public readonly contractAddress: AztecAddress,
|
|
124
|
+
public readonly fields: Fr[],
|
|
125
125
|
) {}
|
|
126
126
|
|
|
127
127
|
static from(fields: FieldsOf<PublicLog>) {
|
|
@@ -146,7 +146,9 @@ export class PublicLog {
|
|
|
146
146
|
return this.fields.length + PUBLIC_LOG_HEADER_LENGTH;
|
|
147
147
|
}
|
|
148
148
|
|
|
149
|
+
/** Returns the serialized log (field as in noir field and not a struct field). */
|
|
149
150
|
getEmittedFields() {
|
|
151
|
+
// We slice from 0 to return a shallow copy.
|
|
150
152
|
return this.fields.slice(0);
|
|
151
153
|
}
|
|
152
154
|
|
package/src/logs/siloed_tag.ts
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
import { GeneratorIndex } from '@aztec/constants';
|
|
2
|
-
import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
|
|
3
1
|
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
2
|
import type { ZodFor } from '@aztec/foundation/schemas';
|
|
5
3
|
|
|
6
4
|
import type { AztecAddress } from '../aztec-address/index.js';
|
|
5
|
+
import { computeSiloedPrivateLogFirstField } from '../hash/hash.js';
|
|
7
6
|
import { schemas } from '../schemas/schemas.js';
|
|
8
|
-
import type {
|
|
7
|
+
import type { PreTag } from './pre_tag.js';
|
|
8
|
+
import { Tag } from './tag.js';
|
|
9
9
|
|
|
10
10
|
/* eslint-disable @typescript-eslint/no-unsafe-declaration-merging */
|
|
11
11
|
|
|
@@ -22,8 +22,13 @@ export interface SiloedTag {
|
|
|
22
22
|
export class SiloedTag {
|
|
23
23
|
constructor(public readonly value: Fr) {}
|
|
24
24
|
|
|
25
|
-
static async compute(
|
|
26
|
-
const
|
|
25
|
+
static async compute(preTag: PreTag): Promise<SiloedTag> {
|
|
26
|
+
const tag = await Tag.compute(preTag);
|
|
27
|
+
return SiloedTag.computeFromTagAndApp(tag, preTag.extendedSecret.app);
|
|
28
|
+
}
|
|
29
|
+
|
|
30
|
+
static async computeFromTagAndApp(tag: Tag, app: AztecAddress): Promise<SiloedTag> {
|
|
31
|
+
const siloedTag = await computeSiloedPrivateLogFirstField(app, tag.value);
|
|
27
32
|
return new SiloedTag(siloedTag);
|
|
28
33
|
}
|
|
29
34
|
|
package/src/logs/tag.ts
CHANGED
|
@@ -20,7 +20,7 @@ export class Tag {
|
|
|
20
20
|
constructor(public readonly value: Fr) {}
|
|
21
21
|
|
|
22
22
|
static async compute(preTag: PreTag): Promise<Tag> {
|
|
23
|
-
const tag = await poseidon2Hash([preTag.secret
|
|
23
|
+
const tag = await poseidon2Hash([preTag.extendedSecret.secret, preTag.index]);
|
|
24
24
|
return new Tag(tag);
|
|
25
25
|
}
|
|
26
26
|
|
|
@@ -32,10 +32,10 @@ import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot }
|
|
|
32
32
|
* - Compression: If a block has no messages (out hash = 0), that branch is ignored
|
|
33
33
|
*
|
|
34
34
|
* 4. **Epoch Tree**
|
|
35
|
-
* - Leaves: Checkpoint out hashes from all checkpoints in an epoch (padded to
|
|
35
|
+
* - Leaves: Checkpoint out hashes from all checkpoints in an epoch (padded to OUT_HASH_TREE_LEAF_COUNT)
|
|
36
36
|
* - Root: Epoch out hash (set in the root rollup's public inputs and inserted into the Outbox on L1 when the epoch is proven)
|
|
37
37
|
* - Type: Unbalanced, non-compressed
|
|
38
|
-
* - **Important**: Padded with zeros up to
|
|
38
|
+
* - **Important**: Padded with zeros up to OUT_HASH_TREE_LEAF_COUNT to allow for proofs of partial epochs
|
|
39
39
|
*
|
|
40
40
|
* ## Combined Membership Proof
|
|
41
41
|
* To prove a message exists in an epoch, we combine the sibling paths from all 4 trees:
|
|
@@ -163,7 +163,7 @@ export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
|
|
|
163
163
|
}
|
|
164
164
|
return buildCheckpointTree(messagesInCheckpoint).getRoot();
|
|
165
165
|
});
|
|
166
|
-
// Pad to
|
|
166
|
+
// Pad to OUT_HASH_TREE_LEAF_COUNT with zeros.
|
|
167
167
|
checkpointOutHashes = checkpointOutHashes.concat(
|
|
168
168
|
Array.from({ length: OUT_HASH_TREE_LEAF_COUNT - messagesInEpoch.length }, () => Buffer.alloc(32)),
|
|
169
169
|
);
|
package/src/note/index.ts
CHANGED
|
@@ -33,3 +33,59 @@ export function orderAttestations(
|
|
|
33
33
|
|
|
34
34
|
return orderedAttestations;
|
|
35
35
|
}
|
|
36
|
+
|
|
37
|
+
/**
|
|
38
|
+
* Trims attestations to the minimum required number to save L1 calldata gas.
|
|
39
|
+
* Each signature costs 65 bytes of calldata vs 20 bytes for just an address.
|
|
40
|
+
*
|
|
41
|
+
* Priority order for keeping attestations:
|
|
42
|
+
* 1. The proposer's attestation (required by L1 contract - MissingProposerSignature revert)
|
|
43
|
+
* 2. Attestations from the local node's validator keys
|
|
44
|
+
* 3. Remaining attestations filled to reach the required count
|
|
45
|
+
*/
|
|
46
|
+
export function trimAttestations(
|
|
47
|
+
attestations: CheckpointAttestation[],
|
|
48
|
+
required: number,
|
|
49
|
+
proposerAddress: EthAddress,
|
|
50
|
+
localAddresses: EthAddress[],
|
|
51
|
+
): CheckpointAttestation[] {
|
|
52
|
+
if (attestations.length <= required) {
|
|
53
|
+
return attestations;
|
|
54
|
+
}
|
|
55
|
+
|
|
56
|
+
const proposerAttestation: CheckpointAttestation[] = [];
|
|
57
|
+
const localAttestations: CheckpointAttestation[] = [];
|
|
58
|
+
const otherAttestations: CheckpointAttestation[] = [];
|
|
59
|
+
|
|
60
|
+
for (const attestation of attestations) {
|
|
61
|
+
const sender = attestation.getSender();
|
|
62
|
+
if (!sender) {
|
|
63
|
+
continue;
|
|
64
|
+
}
|
|
65
|
+
if (sender.equals(proposerAddress)) {
|
|
66
|
+
proposerAttestation.push(attestation);
|
|
67
|
+
} else if (localAddresses.some(addr => addr.equals(sender))) {
|
|
68
|
+
localAttestations.push(attestation);
|
|
69
|
+
} else {
|
|
70
|
+
otherAttestations.push(attestation);
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
const result: CheckpointAttestation[] = [...proposerAttestation];
|
|
75
|
+
|
|
76
|
+
for (const att of localAttestations) {
|
|
77
|
+
if (result.length >= required) {
|
|
78
|
+
break;
|
|
79
|
+
}
|
|
80
|
+
result.push(att);
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
for (const att of otherAttestations) {
|
|
84
|
+
if (result.length >= required) {
|
|
85
|
+
break;
|
|
86
|
+
}
|
|
87
|
+
result.push(att);
|
|
88
|
+
}
|
|
89
|
+
|
|
90
|
+
return result;
|
|
91
|
+
}
|
|
@@ -6,11 +6,11 @@ import { Fr } from '@aztec/foundation/curves/bn254';
|
|
|
6
6
|
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
7
7
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
8
8
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
9
|
-
import { DutyType, type SigningContext } from '@aztec/validator-ha-signer/types';
|
|
10
9
|
|
|
11
10
|
import type { L2Block } from '../block/l2_block.js';
|
|
12
11
|
import type { L2BlockInfo } from '../block/l2_block_info.js';
|
|
13
12
|
import { MAX_TXS_PER_BLOCK } from '../deserialization/index.js';
|
|
13
|
+
import { DutyType, type SigningContext } from '../ha-signing/index.js';
|
|
14
14
|
import { BlockHeader } from '../tx/block_header.js';
|
|
15
15
|
import { TxHash } from '../tx/index.js';
|
|
16
16
|
import type { Tx } from '../tx/tx.js';
|
|
@@ -56,8 +56,6 @@ export class BlockProposal extends Gossipable {
|
|
|
56
56
|
/** The per-block header containing block state and global variables */
|
|
57
57
|
public readonly blockHeader: BlockHeader,
|
|
58
58
|
|
|
59
|
-
// TODO(palla/mbps): Is this really needed? Can we just derive it from the indexWithinCheckpoint of the parent block and the slot number?
|
|
60
|
-
// See the block-proposal-handler, we have a lot of extra validations to check this is correct, so maybe we can avoid storing it here.
|
|
61
59
|
/** Index of this block within the checkpoint (0-indexed) */
|
|
62
60
|
public readonly indexWithinCheckpoint: IndexWithinCheckpoint,
|
|
63
61
|
|
|
@@ -96,7 +96,12 @@ export class CheckpointAttestation extends Gossipable {
|
|
|
96
96
|
// Create a temporary CheckpointProposal to recover the proposer address.
|
|
97
97
|
// We need to use CheckpointProposal because it has a different getPayloadToSign()
|
|
98
98
|
// implementation than ConsensusPayload (uses serializeToBuffer vs ABI encoding).
|
|
99
|
-
const proposal = new CheckpointProposal(
|
|
99
|
+
const proposal = new CheckpointProposal(
|
|
100
|
+
this.payload.header,
|
|
101
|
+
this.payload.archive,
|
|
102
|
+
this.payload.feeAssetPriceModifier,
|
|
103
|
+
this.proposerSignature,
|
|
104
|
+
);
|
|
100
105
|
// Cache the proposer for later use
|
|
101
106
|
this.proposer = proposal.getSender();
|
|
102
107
|
}
|
|
@@ -5,11 +5,11 @@ import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
|
5
5
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
6
6
|
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
7
7
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
8
|
-
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
9
|
-
import { DutyType, type SigningContext } from '@aztec/validator-ha-signer/types';
|
|
8
|
+
import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
10
9
|
|
|
11
10
|
import type { L2BlockInfo } from '../block/l2_block_info.js';
|
|
12
11
|
import { MAX_TXS_PER_BLOCK } from '../deserialization/index.js';
|
|
12
|
+
import { DutyType, type SigningContext } from '../ha-signing/index.js';
|
|
13
13
|
import { CheckpointHeader } from '../rollup/checkpoint_header.js';
|
|
14
14
|
import { BlockHeader } from '../tx/block_header.js';
|
|
15
15
|
import { TxHash } from '../tx/index.js';
|
|
@@ -81,7 +81,10 @@ export class CheckpointProposal extends Gossipable {
|
|
|
81
81
|
/** Archive root after this checkpoint is applied */
|
|
82
82
|
public readonly archive: Fr,
|
|
83
83
|
|
|
84
|
-
/** The
|
|
84
|
+
/** The fee asset price modifier in basis points (from oracle) */
|
|
85
|
+
public readonly feeAssetPriceModifier: bigint,
|
|
86
|
+
|
|
87
|
+
/** The proposer's signature over the checkpoint payload (checkpointHeader + archive + feeAssetPriceModifier) */
|
|
85
88
|
public readonly signature: Signature,
|
|
86
89
|
|
|
87
90
|
/** Optional last block info, including its own signature for BlockProposal extraction */
|
|
@@ -98,23 +101,6 @@ export class CheckpointProposal extends Gossipable {
|
|
|
98
101
|
return this.checkpointHeader.slotNumber;
|
|
99
102
|
}
|
|
100
103
|
|
|
101
|
-
get blockNumber(): BlockNumber {
|
|
102
|
-
if (!this.lastBlock) {
|
|
103
|
-
throw new Error('Cannot get blockNumber without lastBlock');
|
|
104
|
-
}
|
|
105
|
-
return this.lastBlock.blockHeader.getBlockNumber();
|
|
106
|
-
}
|
|
107
|
-
|
|
108
|
-
/** Convenience getter for txHashes from lastBlock */
|
|
109
|
-
get txHashes(): TxHash[] {
|
|
110
|
-
return this.lastBlock?.txHashes ?? [];
|
|
111
|
-
}
|
|
112
|
-
|
|
113
|
-
/** Convenience getter for txs from lastBlock */
|
|
114
|
-
get txs(): Tx[] | undefined {
|
|
115
|
-
return this.lastBlock?.signedTxs?.txs;
|
|
116
|
-
}
|
|
117
|
-
|
|
118
104
|
/**
|
|
119
105
|
* Extract a BlockProposal from the last block info.
|
|
120
106
|
* Uses inHash from checkpointHeader.contentCommitment.inHash
|
|
@@ -148,22 +134,43 @@ export class CheckpointProposal extends Gossipable {
|
|
|
148
134
|
};
|
|
149
135
|
}
|
|
150
136
|
|
|
137
|
+
toCheckpointInfo() {
|
|
138
|
+
return {
|
|
139
|
+
slotNumber: this.slotNumber,
|
|
140
|
+
archive: this.archive,
|
|
141
|
+
lastBlockNumber: this.lastBlock?.blockHeader.getBlockNumber(),
|
|
142
|
+
lastBlockIndex: this.lastBlock?.indexWithinCheckpoint,
|
|
143
|
+
blockHeadersHash: this.checkpointHeader.blockHeadersHash,
|
|
144
|
+
};
|
|
145
|
+
}
|
|
146
|
+
|
|
151
147
|
/**
|
|
152
148
|
* Get the payload to sign for this checkpoint proposal.
|
|
153
|
-
* The signature is over the checkpoint header + archive root (for consensus).
|
|
149
|
+
* The signature is over the checkpoint header + archive root + feeAssetPriceModifier (for consensus).
|
|
154
150
|
*/
|
|
155
151
|
getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer {
|
|
156
|
-
return serializeToBuffer([
|
|
152
|
+
return serializeToBuffer([
|
|
153
|
+
domainSeparator,
|
|
154
|
+
this.checkpointHeader,
|
|
155
|
+
this.archive,
|
|
156
|
+
serializeSignedBigInt(this.feeAssetPriceModifier),
|
|
157
|
+
]);
|
|
157
158
|
}
|
|
158
159
|
|
|
159
160
|
static async createProposalFromSigner(
|
|
160
161
|
checkpointHeader: CheckpointHeader,
|
|
161
162
|
archiveRoot: Fr,
|
|
163
|
+
feeAssetPriceModifier: bigint,
|
|
162
164
|
lastBlockInfo: CheckpointLastBlockData | undefined,
|
|
163
165
|
payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>,
|
|
164
166
|
): Promise<CheckpointProposal> {
|
|
165
167
|
// Sign the checkpoint payload with CHECKPOINT_PROPOSAL duty type
|
|
166
|
-
const tempProposal = new CheckpointProposal(
|
|
168
|
+
const tempProposal = new CheckpointProposal(
|
|
169
|
+
checkpointHeader,
|
|
170
|
+
archiveRoot,
|
|
171
|
+
feeAssetPriceModifier,
|
|
172
|
+
Signature.empty(),
|
|
173
|
+
);
|
|
167
174
|
const checkpointHash = getHashedSignaturePayload(tempProposal, SignatureDomainSeparator.checkpointProposal);
|
|
168
175
|
|
|
169
176
|
const checkpointContext: SigningContext = {
|
|
@@ -174,7 +181,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
174
181
|
const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
|
|
175
182
|
|
|
176
183
|
if (!lastBlockInfo) {
|
|
177
|
-
return new CheckpointProposal(checkpointHeader, archiveRoot, checkpointSignature);
|
|
184
|
+
return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature);
|
|
178
185
|
}
|
|
179
186
|
|
|
180
187
|
const lastBlockProposal = await BlockProposal.createProposalFromSigner(
|
|
@@ -187,7 +194,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
187
194
|
payloadSigner,
|
|
188
195
|
);
|
|
189
196
|
|
|
190
|
-
return new CheckpointProposal(checkpointHeader, archiveRoot, checkpointSignature, {
|
|
197
|
+
return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, {
|
|
191
198
|
blockHeader: lastBlockInfo.blockHeader,
|
|
192
199
|
indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
|
|
193
200
|
txHashes: lastBlockInfo.txHashes,
|
|
@@ -227,7 +234,12 @@ export class CheckpointProposal extends Gossipable {
|
|
|
227
234
|
}
|
|
228
235
|
|
|
229
236
|
toBuffer(): Buffer {
|
|
230
|
-
const buffer: any[] = [
|
|
237
|
+
const buffer: any[] = [
|
|
238
|
+
this.checkpointHeader,
|
|
239
|
+
this.archive,
|
|
240
|
+
serializeSignedBigInt(this.feeAssetPriceModifier),
|
|
241
|
+
this.signature,
|
|
242
|
+
];
|
|
231
243
|
|
|
232
244
|
if (this.lastBlock) {
|
|
233
245
|
buffer.push(1); // hasLastBlock = true
|
|
@@ -254,6 +266,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
254
266
|
|
|
255
267
|
const checkpointHeader = reader.readObject(CheckpointHeader);
|
|
256
268
|
const archive = reader.readObject(Fr);
|
|
269
|
+
const feeAssetPriceModifier = reader.readInt256();
|
|
257
270
|
const signature = reader.readObject(Signature);
|
|
258
271
|
|
|
259
272
|
const hasLastBlock = reader.readNumber();
|
|
@@ -276,7 +289,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
276
289
|
}
|
|
277
290
|
}
|
|
278
291
|
|
|
279
|
-
return new CheckpointProposal(checkpointHeader, archive, signature, {
|
|
292
|
+
return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature, {
|
|
280
293
|
blockHeader,
|
|
281
294
|
indexWithinCheckpoint,
|
|
282
295
|
txHashes,
|
|
@@ -285,7 +298,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
285
298
|
});
|
|
286
299
|
}
|
|
287
300
|
|
|
288
|
-
return new CheckpointProposal(checkpointHeader, archive, signature);
|
|
301
|
+
return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature);
|
|
289
302
|
}
|
|
290
303
|
|
|
291
304
|
getSize(): number {
|
|
@@ -293,6 +306,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
293
306
|
this.checkpointHeader.toBuffer().length +
|
|
294
307
|
this.archive.size +
|
|
295
308
|
this.signature.getSize() +
|
|
309
|
+
8 /* feeAssetPriceModifier */ +
|
|
296
310
|
4; /* hasLastBlock flag */
|
|
297
311
|
|
|
298
312
|
if (this.lastBlock) {
|
|
@@ -310,11 +324,11 @@ export class CheckpointProposal extends Gossipable {
|
|
|
310
324
|
}
|
|
311
325
|
|
|
312
326
|
static empty(): CheckpointProposal {
|
|
313
|
-
return new CheckpointProposal(CheckpointHeader.empty(), Fr.ZERO, Signature.empty());
|
|
327
|
+
return new CheckpointProposal(CheckpointHeader.empty(), Fr.ZERO, 0n, Signature.empty());
|
|
314
328
|
}
|
|
315
329
|
|
|
316
330
|
static random(): CheckpointProposal {
|
|
317
|
-
return new CheckpointProposal(CheckpointHeader.random(), Fr.random(), Signature.random(), {
|
|
331
|
+
return new CheckpointProposal(CheckpointHeader.random(), Fr.random(), 0n, Signature.random(), {
|
|
318
332
|
blockHeader: BlockHeader.random(),
|
|
319
333
|
indexWithinCheckpoint: IndexWithinCheckpoint(Math.floor(Math.random() * 5)),
|
|
320
334
|
txHashes: [TxHash.random(), TxHash.random()],
|
|
@@ -327,6 +341,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
327
341
|
checkpointHeader: this.checkpointHeader.toInspect(),
|
|
328
342
|
archive: this.archive.toString(),
|
|
329
343
|
signature: this.signature.toString(),
|
|
344
|
+
feeAssetPriceModifier: this.feeAssetPriceModifier.toString(),
|
|
330
345
|
lastBlock: this.lastBlock
|
|
331
346
|
? {
|
|
332
347
|
blockHeader: this.lastBlock.blockHeader.toInspect(),
|
|
@@ -343,7 +358,7 @@ export class CheckpointProposal extends Gossipable {
|
|
|
343
358
|
* Used when the lastBlock has been extracted and stored separately.
|
|
344
359
|
*/
|
|
345
360
|
toCore(): CheckpointProposalCore {
|
|
346
|
-
return new CheckpointProposal(this.checkpointHeader, this.archive, this.signature);
|
|
361
|
+
return new CheckpointProposal(this.checkpointHeader, this.archive, this.feeAssetPriceModifier, this.signature);
|
|
347
362
|
}
|
|
348
363
|
}
|
|
349
364
|
|