@aztec/stdlib 0.0.1-commit.e588bc7e5 → 0.0.1-commit.e5a3663dd
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/abi/authorization_selector.d.ts +3 -6
- package/dest/abi/authorization_selector.d.ts.map +1 -1
- package/dest/abi/encoder.d.ts +1 -1
- package/dest/abi/encoder.d.ts.map +1 -1
- package/dest/abi/encoder.js +32 -6
- package/dest/abi/event_selector.d.ts +3 -6
- package/dest/abi/event_selector.d.ts.map +1 -1
- package/dest/abi/function_selector.d.ts +3 -6
- package/dest/abi/function_selector.d.ts.map +1 -1
- package/dest/abi/function_selector.js +1 -3
- package/dest/abi/note_selector.d.ts +3 -6
- package/dest/abi/note_selector.d.ts.map +1 -1
- package/dest/abi/note_selector.js +1 -3
- package/dest/abi/selector.d.ts +2 -2
- package/dest/abi/selector.d.ts.map +1 -1
- package/dest/abi/selector.js +1 -1
- package/dest/avm/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/attestation_info.d.ts +3 -2
- package/dest/block/attestation_info.d.ts.map +1 -1
- package/dest/block/attestation_info.js +7 -5
- package/dest/block/block_data.d.ts +297 -8
- package/dest/block/block_data.d.ts.map +1 -1
- package/dest/block/block_data.js +16 -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/block_parameter.d.ts +30 -3
- package/dest/block/block_parameter.d.ts.map +1 -1
- package/dest/block/block_parameter.js +36 -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 +39 -4
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
- package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
- package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_tips_store_base.js +1 -1
- package/dest/block/proposal/attestations_and_signers.d.ts +13 -6
- package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
- package/dest/block/proposal/attestations_and_signers.js +26 -18
- package/dest/block/test/l2_tips_store_test_suite.js +1 -1
- package/dest/checkpoint/checkpoint_data.d.ts +7 -1
- package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint_data.js +2 -0
- package/dest/config/chain-config.d.ts +2 -2
- package/dest/config/chain-config.d.ts.map +1 -1
- package/dest/config/chain-config.js +9 -3
- package/dest/config/sequencer-config.d.ts +5 -3
- package/dest/config/sequencer-config.d.ts.map +1 -1
- package/dest/config/sequencer-config.js +18 -4
- package/dest/contract/contract_address.d.ts +1 -1
- package/dest/contract/contract_address.js +2 -2
- package/dest/contract/private_function.d.ts +1 -1
- package/dest/contract/private_function.d.ts.map +1 -1
- package/dest/contract/private_function.js +2 -4
- package/dest/gas/fee_math.d.ts +49 -0
- package/dest/gas/fee_math.d.ts.map +1 -0
- package/dest/gas/fee_math.js +80 -0
- package/dest/gas/gas_fees.d.ts +5 -1
- package/dest/gas/gas_fees.d.ts.map +1 -1
- package/dest/gas/gas_fees.js +10 -1
- package/dest/gas/gas_settings.d.ts +40 -3
- package/dest/gas/gas_settings.d.ts.map +1 -1
- package/dest/gas/gas_settings.js +50 -6
- package/dest/gas/index.d.ts +2 -1
- package/dest/gas/index.d.ts.map +1 -1
- package/dest/gas/index.js +1 -0
- package/dest/ha-signing/config.d.ts +6 -6
- package/dest/ha-signing/config.d.ts.map +1 -1
- package/dest/ha-signing/config.js +4 -3
- package/dest/ha-signing/index.d.ts +2 -2
- package/dest/ha-signing/index.d.ts.map +1 -1
- package/dest/ha-signing/index.js +1 -1
- package/dest/ha-signing/local_config.d.ts +1 -1
- package/dest/ha-signing/local_config.d.ts.map +1 -1
- package/dest/ha-signing/local_config.js +2 -2
- package/dest/ha-signing/types.d.ts +37 -32
- package/dest/ha-signing/types.d.ts.map +1 -1
- package/dest/ha-signing/types.js +13 -6
- package/dest/hash/hash.d.ts +16 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +32 -0
- package/dest/interfaces/archiver.d.ts +11 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +10 -4
- package/dest/interfaces/aztec-node-admin.d.ts +22 -14
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +5 -4
- 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 +54 -55
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +20 -16
- package/dest/interfaces/block_response.d.ts +156 -0
- package/dest/interfaces/block_response.d.ts.map +1 -0
- package/dest/interfaces/block_response.js +24 -0
- package/dest/interfaces/chain_tips.d.ts +304 -0
- package/dest/interfaces/chain_tips.d.ts.map +1 -0
- package/dest/interfaces/chain_tips.js +11 -0
- package/dest/interfaces/checkpoint_parameter.d.ts +27 -0
- package/dest/interfaces/checkpoint_parameter.d.ts.map +1 -0
- package/dest/interfaces/checkpoint_parameter.js +20 -0
- package/dest/interfaces/checkpoint_response.d.ts +312 -0
- package/dest/interfaces/checkpoint_response.d.ts.map +1 -0
- package/dest/interfaces/checkpoint_response.js +26 -0
- package/dest/interfaces/client.d.ts +7 -1
- package/dest/interfaces/client.d.ts.map +1 -1
- package/dest/interfaces/client.js +6 -0
- package/dest/interfaces/configs.d.ts +12 -2
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +3 -1
- package/dest/interfaces/l1_publish_info.d.ts +43 -0
- package/dest/interfaces/l1_publish_info.d.ts.map +1 -0
- package/dest/interfaces/l1_publish_info.js +26 -0
- package/dest/interfaces/merkle_tree_operations.d.ts +4 -3
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/prover-client.d.ts +1 -1
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +0 -3
- package/dest/interfaces/proving-job.d.ts +166 -166
- package/dest/interfaces/server.d.ts +6 -1
- package/dest/interfaces/server.d.ts.map +1 -1
- package/dest/interfaces/server.js +5 -0
- 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 +27 -18
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +2 -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/log_id.d.ts +1 -1
- package/dest/logs/log_id.d.ts.map +1 -1
- package/dest/logs/log_id.js +1 -2
- package/dest/logs/siloed_tag.d.ts +5 -7
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +4 -0
- package/dest/logs/tag.d.ts +5 -6
- package/dest/logs/tag.d.ts.map +1 -1
- package/dest/logs/tag.js +4 -0
- package/dest/p2p/block_proposal.d.ts +22 -14
- package/dest/p2p/block_proposal.d.ts.map +1 -1
- package/dest/p2p/block_proposal.js +45 -40
- package/dest/p2p/checkpoint_attestation.d.ts +10 -8
- package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
- package/dest/p2p/checkpoint_attestation.js +17 -24
- package/dest/p2p/checkpoint_proposal.d.ts +20 -14
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +34 -51
- package/dest/p2p/consensus_payload.d.ts +18 -7
- package/dest/p2p/consensus_payload.d.ts.map +1 -1
- package/dest/p2p/consensus_payload.js +31 -19
- package/dest/p2p/gossipable.d.ts +4 -4
- package/dest/p2p/gossipable.d.ts.map +1 -1
- package/dest/p2p/signature_utils.d.ts +28 -19
- package/dest/p2p/signature_utils.d.ts.map +1 -1
- package/dest/p2p/signature_utils.js +118 -21
- package/dest/p2p/signed_txs.d.ts +15 -13
- package/dest/p2p/signed_txs.d.ts.map +1 -1
- package/dest/p2p/signed_txs.js +26 -24
- package/dest/parity/parity_base_private_inputs.d.ts +7 -3
- package/dest/parity/parity_base_private_inputs.d.ts.map +1 -1
- package/dest/parity/parity_base_private_inputs.js +7 -5
- package/dest/parity/parity_public_inputs.d.ts +7 -3
- package/dest/parity/parity_public_inputs.d.ts.map +1 -1
- package/dest/parity/parity_public_inputs.js +6 -3
- package/dest/rollup/block_headers_hash.d.ts +1 -1
- package/dest/rollup/block_headers_hash.d.ts.map +1 -1
- package/dest/rollup/block_headers_hash.js +8 -2
- package/dest/slashing/index.d.ts +2 -3
- package/dest/slashing/index.d.ts.map +1 -1
- package/dest/slashing/index.js +1 -2
- package/dest/slashing/serialization.d.ts +2 -6
- package/dest/slashing/serialization.d.ts.map +1 -1
- package/dest/slashing/serialization.js +0 -60
- package/dest/slashing/types.d.ts +4 -90
- package/dest/slashing/types.d.ts.map +1 -1
- package/dest/slashing/types.js +0 -14
- package/dest/slashing/{tally.d.ts → votes.d.ts} +1 -1
- package/dest/slashing/{tally.d.ts.map → votes.d.ts.map} +1 -1
- package/dest/slashing/{tally.js → votes.js} +1 -1
- package/dest/tests/factories.d.ts +2 -7
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +9 -19
- package/dest/tests/mocks.d.ts +7 -1
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +39 -30
- package/dest/timetable/index.d.ts +51 -1
- package/dest/timetable/index.d.ts.map +1 -1
- package/dest/timetable/index.js +218 -14
- package/dest/trees/nullifier_leaf.d.ts +2 -1
- package/dest/trees/nullifier_leaf.d.ts.map +1 -1
- package/dest/trees/nullifier_leaf.js +3 -0
- package/dest/tx/block_header.d.ts +2 -2
- package/dest/tx/block_header.d.ts.map +1 -1
- package/dest/tx/block_header.js +1 -1
- package/dest/tx/fee_provider.d.ts +10 -0
- package/dest/tx/fee_provider.d.ts.map +1 -0
- package/dest/tx/fee_provider.js +1 -0
- package/dest/tx/global_variable_builder.d.ts +3 -16
- package/dest/tx/global_variable_builder.d.ts.map +1 -1
- package/dest/tx/index.d.ts +2 -1
- package/dest/tx/index.d.ts.map +1 -1
- package/dest/tx/index.js +1 -0
- package/dest/tx/indexed_tx_effect.d.ts +1 -1
- package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
- package/dest/tx/indexed_tx_effect.js +1 -2
- package/dest/tx/profiling.js +4 -4
- package/dest/tx/simulated_tx.d.ts +4 -4
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +3 -3
- package/dest/tx/tx.d.ts +3 -3
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx_receipt.d.ts +8 -4
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +8 -15
- package/dest/types/shared.d.ts +1 -10
- package/dest/types/shared.d.ts.map +1 -1
- package/dest/types/shared.js +0 -9
- package/dest/vks/verification_key.d.ts +2 -137
- package/dest/vks/verification_key.d.ts.map +1 -1
- package/dest/vks/verification_key.js +5 -126
- package/dest/world-state/genesis_data.d.ts +11 -0
- package/dest/world-state/genesis_data.d.ts.map +1 -0
- package/dest/world-state/genesis_data.js +4 -0
- package/dest/world-state/index.d.ts +2 -1
- package/dest/world-state/index.d.ts.map +1 -1
- package/dest/world-state/index.js +1 -0
- package/dest/world-state/world_state_revision.d.ts +8 -1
- package/dest/world-state/world_state_revision.d.ts.map +1 -1
- package/dest/world-state/world_state_revision.js +7 -1
- package/package.json +8 -8
- package/src/abi/authorization_selector.ts +2 -8
- package/src/abi/encoder.ts +42 -6
- package/src/abi/event_selector.ts +2 -8
- package/src/abi/function_selector.ts +3 -12
- package/src/abi/note_selector.ts +3 -12
- package/src/abi/selector.ts +1 -1
- package/src/avm/revert_code.ts +25 -39
- package/src/aztec-address/index.ts +4 -10
- package/src/block/attestation_info.ts +11 -11
- package/src/block/block_data.ts +20 -4
- package/src/block/block_hash.ts +21 -14
- package/src/block/block_parameter.ts +35 -2
- package/src/block/l2_block_info.ts +8 -6
- package/src/block/l2_block_source.ts +43 -3
- package/src/block/l2_block_stream/interfaces.ts +6 -2
- package/src/block/l2_block_stream/l2_tips_store_base.ts +1 -1
- package/src/block/proposal/attestations_and_signers.ts +32 -17
- package/src/block/test/l2_tips_store_test_suite.ts +1 -1
- package/src/checkpoint/checkpoint_data.ts +4 -0
- package/src/config/chain-config.ts +9 -4
- package/src/config/sequencer-config.ts +34 -6
- package/src/contract/contract_address.ts +2 -2
- package/src/contract/private_function.ts +3 -1
- package/src/gas/README.md +31 -0
- package/src/gas/fee_math.ts +120 -0
- package/src/gas/gas_fees.ts +17 -4
- package/src/gas/gas_settings.ts +65 -12
- package/src/gas/index.ts +1 -0
- package/src/ha-signing/config.ts +5 -2
- package/src/ha-signing/index.ts +3 -1
- package/src/ha-signing/local_config.ts +2 -2
- package/src/ha-signing/types.ts +48 -34
- package/src/hash/hash.ts +27 -0
- package/src/interfaces/archiver.ts +21 -3
- package/src/interfaces/aztec-node-admin.ts +8 -8
- package/src/interfaces/aztec-node-debug.ts +40 -0
- package/src/interfaces/aztec-node.ts +120 -95
- package/src/interfaces/block_response.ts +79 -0
- package/src/interfaces/chain_tips.ts +24 -0
- package/src/interfaces/checkpoint_parameter.ts +22 -0
- package/src/interfaces/checkpoint_response.ts +84 -0
- package/src/interfaces/client.ts +6 -0
- package/src/interfaces/configs.ts +8 -1
- package/src/interfaces/l1_publish_info.ts +40 -0
- package/src/interfaces/merkle_tree_operations.ts +3 -2
- package/src/interfaces/prover-client.ts +2 -5
- package/src/interfaces/server.ts +5 -0
- package/src/interfaces/slasher.ts +0 -6
- package/src/interfaces/validator.ts +22 -9
- package/src/l1-contracts/index.ts +1 -1
- package/src/logs/log_id.ts +1 -2
- package/src/logs/siloed_tag.ts +8 -9
- package/src/logs/tag.ts +8 -8
- package/src/p2p/block_proposal.ts +96 -36
- package/src/p2p/checkpoint_attestation.ts +20 -29
- package/src/p2p/checkpoint_proposal.ts +88 -71
- package/src/p2p/consensus_payload.ts +50 -28
- package/src/p2p/gossipable.ts +4 -4
- package/src/p2p/signature_utils.ts +110 -25
- package/src/p2p/signed_txs.ts +46 -28
- package/src/parity/parity_base_private_inputs.ts +10 -4
- package/src/parity/parity_public_inputs.ts +9 -2
- package/src/rollup/block_headers_hash.ts +11 -2
- package/src/slashing/index.ts +1 -2
- package/src/slashing/serialization.ts +1 -81
- package/src/slashing/types.ts +3 -35
- package/src/slashing/{tally.ts → votes.ts} +1 -1
- package/src/tests/factories.ts +15 -21
- package/src/tests/mocks.ts +63 -39
- package/src/timetable/index.ts +308 -13
- package/src/trees/nullifier_leaf.ts +4 -0
- package/src/tx/block_header.ts +2 -2
- package/src/tx/fee_provider.ts +10 -0
- package/src/tx/global_variable_builder.ts +2 -18
- package/src/tx/index.ts +1 -0
- package/src/tx/indexed_tx_effect.ts +1 -2
- package/src/tx/profiling.ts +4 -4
- package/src/tx/simulated_tx.ts +6 -2
- package/src/tx/tx.ts +2 -2
- package/src/tx/tx_receipt.ts +11 -14
- package/src/types/shared.ts +0 -10
- package/src/vks/verification_key.ts +5 -184
- package/src/world-state/genesis_data.ts +15 -0
- package/src/world-state/index.ts +1 -0
- package/src/world-state/world_state_revision.ts +9 -1
- package/dest/abi/mocked_keys.d.ts +0 -2
- package/dest/abi/mocked_keys.d.ts.map +0 -1
- package/dest/abi/mocked_keys.js +0 -1
- package/dest/l1-contracts/slash_factory.d.ts +0 -45
- package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
- package/dest/l1-contracts/slash_factory.js +0 -158
- package/dest/slashing/empire.d.ts +0 -31
- package/dest/slashing/empire.d.ts.map +0 -1
- package/dest/slashing/empire.js +0 -87
- package/src/abi/mocked_keys.ts +0 -2
- package/src/l1-contracts/slash_factory.ts +0 -180
- package/src/slashing/empire.ts +0 -104
|
@@ -1,9 +1,10 @@
|
|
|
1
|
-
import { BlockNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import {
|
|
1
|
+
import { BlockNumber, type CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import type { BaseBuffer32 } from '@aztec/foundation/buffer';
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
5
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
6
6
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
7
|
+
import type { TypedDataDefinition } from 'viem';
|
|
7
8
|
import type { L2Block } from '../block/l2_block.js';
|
|
8
9
|
import type { L2BlockInfo } from '../block/l2_block_info.js';
|
|
9
10
|
import { type SigningContext } from '../ha-signing/index.js';
|
|
@@ -11,12 +12,10 @@ import { BlockHeader } from '../tx/block_header.js';
|
|
|
11
12
|
import { TxHash } from '../tx/index.js';
|
|
12
13
|
import type { Tx } from '../tx/tx.js';
|
|
13
14
|
import { Gossipable } from './gossipable.js';
|
|
14
|
-
import {
|
|
15
|
+
import { type CoordinationSignatureContext, type CoordinationSignatureType, type Signable } from './signature_utils.js';
|
|
15
16
|
import { SignedTxs } from './signed_txs.js';
|
|
16
17
|
import { TopicType } from './topic_type.js';
|
|
17
|
-
export
|
|
18
|
-
constructor(hash: Buffer);
|
|
19
|
-
}
|
|
18
|
+
export type { BlockProposalHash } from '@aztec/foundation/branded-types';
|
|
20
19
|
export type BlockProposalOptions = {
|
|
21
20
|
/**
|
|
22
21
|
* Whether to include the tx objects along with the block proposal.
|
|
@@ -34,7 +33,7 @@ export type BlockProposalOptions = {
|
|
|
34
33
|
* to be included in a block within a checkpoint. This is used for non-last blocks in a slot.
|
|
35
34
|
* The last block is sent as part of a CheckpointProposal.
|
|
36
35
|
*/
|
|
37
|
-
export declare class BlockProposal extends Gossipable {
|
|
36
|
+
export declare class BlockProposal extends Gossipable implements Signable {
|
|
38
37
|
/** The per-block header containing block state and global variables */
|
|
39
38
|
readonly blockHeader: BlockHeader;
|
|
40
39
|
/** Index of this block within the checkpoint (0-indexed) */
|
|
@@ -47,10 +46,13 @@ export declare class BlockProposal extends Gossipable {
|
|
|
47
46
|
readonly txHashes: TxHash[];
|
|
48
47
|
/** The proposer's signature over the block data */
|
|
49
48
|
readonly signature: Signature;
|
|
49
|
+
/** The signing domain (chainId + rollupAddress) the signature is bound to */
|
|
50
|
+
readonly signatureContext: CoordinationSignatureContext;
|
|
50
51
|
/** The signed transactions in the block (optional, for DA guarantees) */
|
|
51
52
|
readonly signedTxs?: SignedTxs | undefined;
|
|
52
53
|
static p2pTopic: TopicType;
|
|
53
|
-
|
|
54
|
+
readonly primaryType: CoordinationSignatureType;
|
|
55
|
+
private cachedSender;
|
|
54
56
|
constructor(
|
|
55
57
|
/** The per-block header containing block state and global variables */
|
|
56
58
|
blockHeader: BlockHeader,
|
|
@@ -64,9 +66,11 @@ export declare class BlockProposal extends Gossipable {
|
|
|
64
66
|
txHashes: TxHash[],
|
|
65
67
|
/** The proposer's signature over the block data */
|
|
66
68
|
signature: Signature,
|
|
69
|
+
/** The signing domain (chainId + rollupAddress) the signature is bound to */
|
|
70
|
+
signatureContext: CoordinationSignatureContext,
|
|
67
71
|
/** The signed transactions in the block (optional, for DA guarantees) */
|
|
68
72
|
signedTxs?: SignedTxs | undefined);
|
|
69
|
-
generateP2PMessageIdentifier(): Promise<
|
|
73
|
+
generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
|
|
70
74
|
get archive(): Fr;
|
|
71
75
|
get slotNumber(): SlotNumber;
|
|
72
76
|
get blockNumber(): BlockNumber;
|
|
@@ -77,12 +81,14 @@ export declare class BlockProposal extends Gossipable {
|
|
|
77
81
|
* Get the payload to sign for this block proposal.
|
|
78
82
|
* The signature is over: blockHeader + indexWithinCheckpoint + inHash + archiveRoot + txHashes
|
|
79
83
|
*/
|
|
80
|
-
getPayloadToSign(
|
|
81
|
-
static createProposalFromSigner(blockHeader: BlockHeader, indexWithinCheckpoint: IndexWithinCheckpoint, inHash: Fr, archiveRoot: Fr, txHashes: TxHash[], txs: Tx[] | undefined,
|
|
84
|
+
getPayloadToSign(): Buffer;
|
|
85
|
+
static createProposalFromSigner(blockHeader: BlockHeader, checkpointNumber: CheckpointNumber, indexWithinCheckpoint: IndexWithinCheckpoint, inHash: Fr, archiveRoot: Fr, txHashes: TxHash[], txs: Tx[] | undefined, signatureContext: CoordinationSignatureContext, proposalSigner: (typedData: TypedDataDefinition, context: SigningContext) => Promise<Signature>, txsSigner?: (typedData: TypedDataDefinition, context: SigningContext) => Promise<Signature>): Promise<BlockProposal>;
|
|
82
86
|
/**
|
|
83
87
|
* Lazily evaluate the sender of the proposal; result is cached.
|
|
84
|
-
* If there's signedTxs, also verifies
|
|
85
|
-
*
|
|
88
|
+
* If there's signedTxs, also verifies that its signing domain matches this proposal's and
|
|
89
|
+
* that the signedTxs sender matches the block proposal sender. This prevents a proposer
|
|
90
|
+
* from wrapping a foreign-chain SignedTxs bundle inside a local-chain proposal.
|
|
91
|
+
* @returns The sender address, or undefined if signature recovery fails or inner/outer mismatch
|
|
86
92
|
*/
|
|
87
93
|
getSender(): EthAddress | undefined;
|
|
88
94
|
getPayload(): Buffer<ArrayBufferLike>;
|
|
@@ -120,6 +126,8 @@ export declare class BlockProposal extends Gossipable {
|
|
|
120
126
|
archiveRoot: `0x${string}`;
|
|
121
127
|
signature: `0x${string}`;
|
|
122
128
|
txHashes: `0x${string}`[];
|
|
129
|
+
chainId: number;
|
|
130
|
+
rollupAddress: `0x${string}`;
|
|
123
131
|
};
|
|
124
132
|
/**
|
|
125
133
|
* Check if this proposal matches the given block.
|
|
@@ -134,4 +142,4 @@ export declare class BlockProposal extends Gossipable {
|
|
|
134
142
|
*/
|
|
135
143
|
withoutSignedTxs(): BlockProposal;
|
|
136
144
|
}
|
|
137
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
145
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcHJvcG9zYWwuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wMnAvYmxvY2tfcHJvcG9zYWwudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxLQUFLLGdCQUFnQixFQUNyQixxQkFBcUIsRUFDckIsVUFBVSxFQUNYLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM1RCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRTlFLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRWhELE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRTdELE9BQU8sRUFBWSxLQUFLLGNBQWMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3ZFLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDeEMsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sYUFBYSxDQUFDO0FBQ3RDLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUM3QyxPQUFPLEVBQ0wsS0FBSyw0QkFBNEIsRUFDakMsS0FBSyx5QkFBeUIsRUFFOUIsS0FBSyxRQUFRLEVBTWQsTUFBTSxzQkFBc0IsQ0FBQztBQUM5QixPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDNUMsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDLFlBQVksRUFBRSxpQkFBaUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRXpFLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQzs7O09BR0c7SUFDSCxjQUFjLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDekI7OztPQUdHO0lBQ0gsNkJBQTZCLENBQUMsRUFBRSxPQUFPLENBQUM7Q0FDekMsQ0FBQztBQUVGOzs7O0dBSUc7QUFDSCxxQkFBYSxhQUFjLFNBQVEsVUFBVyxZQUFXLFFBQVE7SUFRN0QsdUVBQXVFO2FBQ3ZELFdBQVcsRUFBRSxXQUFXO0lBRXhDLDREQUE0RDthQUM1QyxxQkFBcUIsRUFBRSxxQkFBcUI7SUFFNUQsK0ZBQStGO2FBQy9FLE1BQU0sRUFBRSxFQUFFO0lBRTFCLCtDQUErQzthQUMvQixXQUFXLEVBQUUsRUFBRTtJQUUvQixnREFBZ0Q7YUFDaEMsUUFBUSxFQUFFLE1BQU0sRUFBRTtJQUVsQyxtREFBbUQ7YUFDbkMsU0FBUyxFQUFFLFNBQVM7SUFFcEMsNkVBQTZFO2FBQzdELGdCQUFnQixFQUFFLDRCQUE0QjtJQUU5RCx5RUFBeUU7YUFDekQsU0FBUyxDQUFDO0lBN0I1QixPQUFnQixRQUFRLFlBQTRCO0lBRXBELFFBQVEsQ0FBQyxXQUFXLEVBQUUseUJBQXlCLENBQW1CO0lBRWxFLE9BQU8sQ0FBQyxZQUFZLENBQTRDO0lBRWhFO0lBQ0UsdUVBQXVFO0lBQ3ZELFdBQVcsRUFBRSxXQUFXO0lBRXhDLDREQUE0RDtJQUM1QyxxQkFBcUIsRUFBRSxxQkFBcUI7SUFFNUQsK0ZBQStGO0lBQy9FLE1BQU0sRUFBRSxFQUFFO0lBRTFCLCtDQUErQztJQUMvQixXQUFXLEVBQUUsRUFBRTtJQUUvQixnREFBZ0Q7SUFDaEMsUUFBUSxFQUFFLE1BQU0sRUFBRTtJQUVsQyxtREFBbUQ7SUFDbkMsU0FBUyxFQUFFLFNBQVM7SUFFcEMsNkVBQTZFO0lBQzdELGdCQUFnQixFQUFFLDRCQUE0QjtJQUU5RCx5RUFBeUU7SUFDekQsU0FBUyxDQUFDLHVCQUFXLEVBR3RDO0lBRVEsNEJBQTRCLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUU3RDtJQUVELElBQUksT0FBTyxJQUFJLEVBQUUsQ0FFaEI7SUFFRCxJQUFJLFVBQVUsSUFBSSxVQUFVLENBRTNCO0lBRUQsSUFBSSxXQUFXLElBQUksV0FBVyxDQUU3QjtJQUVELGdEQUFnRDtJQUNoRCxJQUFJLEdBQUcsSUFBSSxFQUFFLEVBQUUsR0FBRyxTQUFTLENBRTFCO0lBRUQsV0FBVyxJQUFJLElBQUksQ0FBQyxXQUFXLEVBQUUsYUFBYSxDQUFDLENBUTlDO0lBRUQ7OztPQUdHO0lBQ0gsZ0JBQWdCLElBQUksTUFBTSxDQVN6QjtJQUVELE9BQWEsd0JBQXdCLENBQ25DLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxxQkFBcUIsRUFBRSxxQkFBcUIsRUFDNUMsTUFBTSxFQUFFLEVBQUUsRUFDVixXQUFXLEVBQUUsRUFBRSxFQUNmLFFBQVEsRUFBRSxNQUFNLEVBQUUsRUFDbEIsR0FBRyxFQUFFLEVBQUUsRUFBRSxHQUFHLFNBQVMsRUFDckIsZ0JBQWdCLEVBQUUsNEJBQTRCLEVBQzlDLGNBQWMsRUFBRSxDQUFDLFNBQVMsRUFBRSxtQkFBbUIsRUFBRSxPQUFPLEVBQUUsY0FBYyxLQUFLLE9BQU8sQ0FBQyxTQUFTLENBQUMsRUFDL0YsU0FBUyxDQUFDLEVBQUUsQ0FBQyxTQUFTLEVBQUUsbUJBQW1CLEVBQUUsT0FBTyxFQUFFLGNBQWMsS0FBSyxPQUFPLENBQUMsU0FBUyxDQUFDLEdBQzFGLE9BQU8sQ0FBQyxhQUFhLENBQUMsQ0E4Q3hCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsU0FBUyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBb0JsQztJQUVELFVBQVUsNEJBRVQ7SUFFRCxRQUFRLElBQUksTUFBTSxDQWtCakI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGFBQWEsQ0F5QzNEO0lBRUQsT0FBTyxJQUFJLE1BQU0sQ0FjaEI7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLGFBQWEsQ0FVNUI7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLGFBQWEsQ0FVN0I7SUFFRCxTQUFTOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O01BV1I7SUFFRDs7Ozs7T0FLRztJQUNILFlBQVksQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FFcEM7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxhQUFhLENBVWhDO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"block_proposal.d.ts","sourceRoot":"","sources":["../../src/p2p/block_proposal.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"block_proposal.d.ts","sourceRoot":"","sources":["../../src/p2p/block_proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,KAAK,gBAAgB,EACrB,qBAAqB,EACrB,UAAU,EACX,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,MAAM,CAAC;AAEhD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,KAAK,4BAA4B,EACjC,KAAK,yBAAyB,EAE9B,KAAK,QAAQ,EAMd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAEzE,MAAM,MAAM,oBAAoB,GAAG;IACjC;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC,CAAC;AAEF;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,UAAW,YAAW,QAAQ;IAQ7D,uEAAuE;aACvD,WAAW,EAAE,WAAW;IAExC,4DAA4D;aAC5C,qBAAqB,EAAE,qBAAqB;IAE5D,+FAA+F;aAC/E,MAAM,EAAE,EAAE;IAE1B,+CAA+C;aAC/B,WAAW,EAAE,EAAE;IAE/B,gDAAgD;aAChC,QAAQ,EAAE,MAAM,EAAE;IAElC,mDAAmD;aACnC,SAAS,EAAE,SAAS;IAEpC,6EAA6E;aAC7D,gBAAgB,EAAE,4BAA4B;IAE9D,yEAAyE;aACzD,SAAS,CAAC;IA7B5B,OAAgB,QAAQ,YAA4B;IAEpD,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAmB;IAElE,OAAO,CAAC,YAAY,CAA4C;IAEhE;IACE,uEAAuE;IACvD,WAAW,EAAE,WAAW;IAExC,4DAA4D;IAC5C,qBAAqB,EAAE,qBAAqB;IAE5D,+FAA+F;IAC/E,MAAM,EAAE,EAAE;IAE1B,+CAA+C;IAC/B,WAAW,EAAE,EAAE;IAE/B,gDAAgD;IAChC,QAAQ,EAAE,MAAM,EAAE;IAElC,mDAAmD;IACnC,SAAS,EAAE,SAAS;IAEpC,6EAA6E;IAC7D,gBAAgB,EAAE,4BAA4B;IAE9D,yEAAyE;IACzD,SAAS,CAAC,uBAAW,EAGtC;IAEQ,4BAA4B,IAAI,OAAO,CAAC,YAAY,CAAC,CAE7D;IAED,IAAI,OAAO,IAAI,EAAE,CAEhB;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED,IAAI,WAAW,IAAI,WAAW,CAE7B;IAED,gDAAgD;IAChD,IAAI,GAAG,IAAI,EAAE,EAAE,GAAG,SAAS,CAE1B;IAED,WAAW,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAQ9C;IAED;;;OAGG;IACH,gBAAgB,IAAI,MAAM,CASzB;IAED,OAAa,wBAAwB,CACnC,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,qBAAqB,EAC5C,MAAM,EAAE,EAAE,EACV,WAAW,EAAE,EAAE,EACf,QAAQ,EAAE,MAAM,EAAE,EAClB,GAAG,EAAE,EAAE,EAAE,GAAG,SAAS,EACrB,gBAAgB,EAAE,4BAA4B,EAC9C,cAAc,EAAE,CAAC,SAAS,EAAE,mBAAmB,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,EAC/F,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,mBAAmB,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,GAC1F,OAAO,CAAC,aAAa,CAAC,CA8CxB;IAED;;;;;;OAMG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAoBlC;IAED,UAAU,4BAET;IAED,QAAQ,IAAI,MAAM,CAkBjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,CAyC3D;IAED,OAAO,IAAI,MAAM,CAchB;IAED,MAAM,CAAC,KAAK,IAAI,aAAa,CAU5B;IAED,MAAM,CAAC,MAAM,IAAI,aAAa,CAU7B;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAWR;IAED;;;;;OAKG;IACH,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpC;IAED;;;OAGG;IACH,gBAAgB,IAAI,aAAa,CAUhC;CACF"}
|
|
@@ -1,7 +1,5 @@
|
|
|
1
|
-
import { IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
|
|
2
|
-
import { Buffer32 } from '@aztec/foundation/buffer';
|
|
1
|
+
import { BlockProposalHash, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
|
|
3
2
|
import { keccak256 } from '@aztec/foundation/crypto/keccak';
|
|
4
|
-
import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
5
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
6
4
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
7
5
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
@@ -10,14 +8,9 @@ import { DutyType } from '../ha-signing/index.js';
|
|
|
10
8
|
import { BlockHeader } from '../tx/block_header.js';
|
|
11
9
|
import { TxHash } from '../tx/index.js';
|
|
12
10
|
import { Gossipable } from './gossipable.js';
|
|
13
|
-
import {
|
|
11
|
+
import { EMPTY_COORDINATION_SIGNATURE_CONTEXT, coordinationSignatureContextEquals, getCoordinationSignatureTypedData, readCoordinationSignatureContext, recoverCoordinationSigner, serializeCoordinationSignatureContext } from './signature_utils.js';
|
|
14
12
|
import { SignedTxs } from './signed_txs.js';
|
|
15
13
|
import { TopicType } from './topic_type.js';
|
|
16
|
-
export class BlockProposalHash extends Buffer32 {
|
|
17
|
-
constructor(hash){
|
|
18
|
-
super(hash);
|
|
19
|
-
}
|
|
20
|
-
}
|
|
21
14
|
/**
|
|
22
15
|
* A block proposal is created by the leader of the chain proposing a sequence of transactions
|
|
23
16
|
* to be included in a block within a checkpoint. This is used for non-last blocks in a slot.
|
|
@@ -29,14 +22,16 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
29
22
|
archiveRoot;
|
|
30
23
|
txHashes;
|
|
31
24
|
signature;
|
|
25
|
+
signatureContext;
|
|
32
26
|
signedTxs;
|
|
33
27
|
static p2pTopic = TopicType.block_proposal;
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
28
|
+
primaryType;
|
|
29
|
+
cachedSender;
|
|
30
|
+
constructor(/** The per-block header containing block state and global variables */ blockHeader, /** Index of this block within the checkpoint (0-indexed) */ indexWithinCheckpoint, /** Hash of L1 to L2 messages for this checkpoint (constant across all blocks in checkpoint) */ inHash, /** Archive root after this block is applied */ archiveRoot, /** The sequence of transactions in the block */ txHashes, /** The proposer's signature over the block data */ signature, /** The signing domain (chainId + rollupAddress) the signature is bound to */ signatureContext, /** The signed transactions in the block (optional, for DA guarantees) */ signedTxs){
|
|
31
|
+
super(), this.blockHeader = blockHeader, this.indexWithinCheckpoint = indexWithinCheckpoint, this.inHash = inHash, this.archiveRoot = archiveRoot, this.txHashes = txHashes, this.signature = signature, this.signatureContext = signatureContext, this.signedTxs = signedTxs, this.primaryType = 'BlockProposal', this.cachedSender = undefined;
|
|
37
32
|
}
|
|
38
33
|
generateP2PMessageIdentifier() {
|
|
39
|
-
return Promise.resolve(
|
|
34
|
+
return Promise.resolve(BlockProposalHash.fromBuffer(keccak256(this.signature.toBuffer())));
|
|
40
35
|
}
|
|
41
36
|
get archive() {
|
|
42
37
|
return this.archiveRoot;
|
|
@@ -62,9 +57,8 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
62
57
|
/**
|
|
63
58
|
* Get the payload to sign for this block proposal.
|
|
64
59
|
* The signature is over: blockHeader + indexWithinCheckpoint + inHash + archiveRoot + txHashes
|
|
65
|
-
*/ getPayloadToSign(
|
|
60
|
+
*/ getPayloadToSign() {
|
|
66
61
|
return serializeToBuffer([
|
|
67
|
-
domainSeparator,
|
|
68
62
|
this.blockHeader,
|
|
69
63
|
this.indexWithinCheckpoint,
|
|
70
64
|
this.inHash,
|
|
@@ -73,51 +67,58 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
73
67
|
this.txHashes
|
|
74
68
|
]);
|
|
75
69
|
}
|
|
76
|
-
static async createProposalFromSigner(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, txs,
|
|
70
|
+
static async createProposalFromSigner(blockHeader, checkpointNumber, indexWithinCheckpoint, inHash, archiveRoot, txHashes, txs, signatureContext, proposalSigner, txsSigner) {
|
|
77
71
|
// Create a temporary proposal to get the payload to sign
|
|
78
|
-
const tempProposal = new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, Signature.empty());
|
|
72
|
+
const tempProposal = new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, Signature.empty(), signatureContext);
|
|
79
73
|
// Create the block signing context
|
|
80
74
|
const blockContext = {
|
|
81
75
|
slot: blockHeader.globalVariables.slotNumber,
|
|
82
76
|
blockNumber: blockHeader.globalVariables.blockNumber,
|
|
77
|
+
checkpointNumber,
|
|
83
78
|
blockIndexWithinCheckpoint: indexWithinCheckpoint,
|
|
84
79
|
dutyType: DutyType.BLOCK_PROPOSAL
|
|
85
80
|
};
|
|
86
|
-
const
|
|
87
|
-
const sig = await
|
|
81
|
+
const typedData = getCoordinationSignatureTypedData(tempProposal);
|
|
82
|
+
const sig = await proposalSigner(typedData, blockContext);
|
|
88
83
|
// If txs are provided, sign them as well
|
|
89
84
|
let signedTxs;
|
|
90
85
|
if (txs) {
|
|
91
86
|
const txsSigningContext = {
|
|
92
87
|
dutyType: DutyType.TXS
|
|
93
88
|
};
|
|
94
|
-
|
|
95
|
-
|
|
89
|
+
if (!txsSigner) {
|
|
90
|
+
throw new Error('signed_txs requires a typed-data signer');
|
|
91
|
+
}
|
|
92
|
+
signedTxs = await SignedTxs.createFromSigner(txs, signatureContext, (typedData)=>txsSigner(typedData, txsSigningContext));
|
|
96
93
|
}
|
|
97
|
-
return new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, sig, signedTxs);
|
|
94
|
+
return new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, sig, signatureContext, signedTxs);
|
|
98
95
|
}
|
|
99
96
|
/**
|
|
100
97
|
* Lazily evaluate the sender of the proposal; result is cached.
|
|
101
|
-
* If there's signedTxs, also verifies
|
|
102
|
-
*
|
|
98
|
+
* If there's signedTxs, also verifies that its signing domain matches this proposal's and
|
|
99
|
+
* that the signedTxs sender matches the block proposal sender. This prevents a proposer
|
|
100
|
+
* from wrapping a foreign-chain SignedTxs bundle inside a local-chain proposal.
|
|
101
|
+
* @returns The sender address, or undefined if signature recovery fails or inner/outer mismatch
|
|
103
102
|
*/ getSender() {
|
|
104
|
-
if (
|
|
105
|
-
const
|
|
106
|
-
const blockSender = tryRecoverAddress(hashed, this.signature);
|
|
107
|
-
// If there's signedTxs, verify the sender matches
|
|
103
|
+
if (this.cachedSender === undefined) {
|
|
104
|
+
const blockSender = recoverCoordinationSigner(this, this.signature);
|
|
108
105
|
if (blockSender && this.signedTxs) {
|
|
106
|
+
if (!coordinationSignatureContextEquals(this.signedTxs.signatureContext, this.signatureContext)) {
|
|
107
|
+
this.cachedSender = null;
|
|
108
|
+
return undefined;
|
|
109
|
+
}
|
|
109
110
|
const txsSender = this.signedTxs.getSender();
|
|
110
111
|
if (!txsSender || !txsSender.equals(blockSender)) {
|
|
111
|
-
|
|
112
|
+
this.cachedSender = null;
|
|
113
|
+
return undefined;
|
|
112
114
|
}
|
|
113
115
|
}
|
|
114
|
-
|
|
115
|
-
this.sender = blockSender;
|
|
116
|
+
this.cachedSender = blockSender ?? null;
|
|
116
117
|
}
|
|
117
|
-
return this.
|
|
118
|
+
return this.cachedSender ?? undefined;
|
|
118
119
|
}
|
|
119
120
|
getPayload() {
|
|
120
|
-
return this.getPayloadToSign(
|
|
121
|
+
return this.getPayloadToSign();
|
|
121
122
|
}
|
|
122
123
|
toBuffer() {
|
|
123
124
|
const buffer = [
|
|
@@ -126,6 +127,7 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
126
127
|
this.inHash,
|
|
127
128
|
this.archiveRoot,
|
|
128
129
|
this.signature,
|
|
130
|
+
serializeCoordinationSignatureContext(this.signatureContext),
|
|
129
131
|
this.txHashes.length,
|
|
130
132
|
this.txHashes
|
|
131
133
|
];
|
|
@@ -144,6 +146,7 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
144
146
|
const inHash = reader.readObject(Fr);
|
|
145
147
|
const archiveRoot = reader.readObject(Fr);
|
|
146
148
|
const signature = reader.readObject(Signature);
|
|
149
|
+
const signatureContext = readCoordinationSignatureContext(reader);
|
|
147
150
|
const txHashCount = reader.readNumber();
|
|
148
151
|
if (txHashCount > MAX_TXS_PER_BLOCK) {
|
|
149
152
|
throw new Error(`txHashes count ${txHashCount} exceeds maximum ${MAX_TXS_PER_BLOCK}`);
|
|
@@ -153,22 +156,22 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
153
156
|
const hasSignedTxs = reader.readNumber();
|
|
154
157
|
if (hasSignedTxs) {
|
|
155
158
|
const signedTxs = SignedTxs.fromBuffer(reader);
|
|
156
|
-
return new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, signature, signedTxs);
|
|
159
|
+
return new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, signature, signatureContext, signedTxs);
|
|
157
160
|
}
|
|
158
161
|
}
|
|
159
|
-
return new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, signature);
|
|
162
|
+
return new BlockProposal(blockHeader, indexWithinCheckpoint, inHash, archiveRoot, txHashes, signature, signatureContext);
|
|
160
163
|
}
|
|
161
164
|
getSize() {
|
|
162
|
-
return this.blockHeader.getSize() + 4 /* indexWithinCheckpoint */ + this.inHash.size + this.archiveRoot.size + this.signature.getSize() + 4 /* txHashes.length */ + this.txHashes.length * TxHash.SIZE + 4 /* hasSignedTxs flag */ + (this.signedTxs ? this.signedTxs.getSize() : 0);
|
|
165
|
+
return this.blockHeader.getSize() + 4 /* indexWithinCheckpoint */ + this.inHash.size + this.archiveRoot.size + this.signature.getSize() + 4 /* chainId */ + 20 /* rollupAddress */ + 4 /* txHashes.length */ + this.txHashes.length * TxHash.SIZE + 4 /* hasSignedTxs flag */ + (this.signedTxs ? this.signedTxs.getSize() : 0);
|
|
163
166
|
}
|
|
164
167
|
static empty() {
|
|
165
|
-
return new BlockProposal(BlockHeader.empty(), IndexWithinCheckpoint(0), Fr.ZERO, Fr.ZERO, [], Signature.empty());
|
|
168
|
+
return new BlockProposal(BlockHeader.empty(), IndexWithinCheckpoint(0), Fr.ZERO, Fr.ZERO, [], Signature.empty(), EMPTY_COORDINATION_SIGNATURE_CONTEXT);
|
|
166
169
|
}
|
|
167
170
|
static random() {
|
|
168
171
|
return new BlockProposal(BlockHeader.random(), IndexWithinCheckpoint(Math.floor(Math.random() * 5)), Fr.random(), Fr.random(), [
|
|
169
172
|
TxHash.random(),
|
|
170
173
|
TxHash.random()
|
|
171
|
-
], Signature.random());
|
|
174
|
+
], Signature.random(), EMPTY_COORDINATION_SIGNATURE_CONTEXT);
|
|
172
175
|
}
|
|
173
176
|
toInspect() {
|
|
174
177
|
return {
|
|
@@ -177,7 +180,9 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
177
180
|
inHash: this.inHash.toString(),
|
|
178
181
|
archiveRoot: this.archiveRoot.toString(),
|
|
179
182
|
signature: this.signature.toString(),
|
|
180
|
-
txHashes: this.txHashes.map((h)=>h.toString())
|
|
183
|
+
txHashes: this.txHashes.map((h)=>h.toString()),
|
|
184
|
+
chainId: this.signatureContext.chainId,
|
|
185
|
+
rollupAddress: this.signatureContext.rollupAddress.toString()
|
|
181
186
|
};
|
|
182
187
|
}
|
|
183
188
|
/**
|
|
@@ -192,6 +197,6 @@ export class BlockProposalHash extends Buffer32 {
|
|
|
192
197
|
* Returns a copy of this proposal without signedTxs.
|
|
193
198
|
* Used when storing proposals in attestation pool to avoid storing full tx data.
|
|
194
199
|
*/ withoutSignedTxs() {
|
|
195
|
-
return new BlockProposal(this.blockHeader, this.indexWithinCheckpoint, this.inHash, this.archiveRoot, this.txHashes, this.signature);
|
|
200
|
+
return new BlockProposal(this.blockHeader, this.indexWithinCheckpoint, this.inHash, this.archiveRoot, this.txHashes, this.signature, this.signatureContext);
|
|
196
201
|
}
|
|
197
202
|
}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import {
|
|
2
|
+
import type { BaseBuffer32 } from '@aztec/foundation/buffer';
|
|
3
3
|
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
5
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
@@ -7,10 +7,9 @@ import { BufferReader } from '@aztec/foundation/serialize';
|
|
|
7
7
|
import type { ZodFor } from '../schemas/index.js';
|
|
8
8
|
import { ConsensusPayload } from './consensus_payload.js';
|
|
9
9
|
import { Gossipable } from './gossipable.js';
|
|
10
|
+
import { type CoordinationSignatureContext } from './signature_utils.js';
|
|
10
11
|
import { TopicType } from './topic_type.js';
|
|
11
|
-
export
|
|
12
|
-
constructor(hash: Buffer);
|
|
13
|
-
}
|
|
12
|
+
export type { CheckpointAttestationHash } from '@aztec/foundation/branded-types';
|
|
14
13
|
/**
|
|
15
14
|
* CheckpointAttestation
|
|
16
15
|
*
|
|
@@ -25,8 +24,8 @@ export declare class CheckpointAttestation extends Gossipable {
|
|
|
25
24
|
/** The signature from the checkpoint proposer */
|
|
26
25
|
readonly proposerSignature: Signature;
|
|
27
26
|
static p2pTopic: TopicType;
|
|
28
|
-
private
|
|
29
|
-
private
|
|
27
|
+
private cachedSender;
|
|
28
|
+
private cachedProposer;
|
|
30
29
|
constructor(
|
|
31
30
|
/** The payload of the message, and what the signature is over */
|
|
32
31
|
payload: ConsensusPayload,
|
|
@@ -35,9 +34,10 @@ export declare class CheckpointAttestation extends Gossipable {
|
|
|
35
34
|
/** The signature from the checkpoint proposer */
|
|
36
35
|
proposerSignature: Signature);
|
|
37
36
|
static get schema(): ZodFor<CheckpointAttestation>;
|
|
38
|
-
generateP2PMessageIdentifier(): Promise<
|
|
37
|
+
generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
|
|
39
38
|
get archive(): Fr;
|
|
40
39
|
get slotNumber(): SlotNumber;
|
|
40
|
+
get signatureContext(): CoordinationSignatureContext;
|
|
41
41
|
/**
|
|
42
42
|
* Lazily evaluate and cache the signer of the attestation
|
|
43
43
|
* @returns The signer of the attestation, or undefined if signature recovery fails
|
|
@@ -74,9 +74,11 @@ export declare class CheckpointAttestation extends Gossipable {
|
|
|
74
74
|
};
|
|
75
75
|
archive: `0x${string}`;
|
|
76
76
|
feeAssetPriceModifier: string;
|
|
77
|
+
chainId: number;
|
|
78
|
+
rollupAddress: `0x${string}`;
|
|
77
79
|
};
|
|
78
80
|
signature: `0x${string}`;
|
|
79
81
|
proposerSignature: `0x${string}`;
|
|
80
82
|
};
|
|
81
83
|
}
|
|
82
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
84
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9hdHRlc3RhdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9jaGVja3BvaW50X2F0dGVzdGF0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBNkIsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDeEYsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0QsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzVELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFbEQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDMUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzdDLE9BQU8sRUFBRSxLQUFLLDRCQUE0QixFQUE2QixNQUFNLHNCQUFzQixDQUFDO0FBQ3BHLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU1QyxZQUFZLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVqRjs7Ozs7R0FLRztBQUNILHFCQUFhLHFCQUFzQixTQUFRLFVBQVU7SUFPakQsaUVBQWlFO2FBQ2pELE9BQU8sRUFBRSxnQkFBZ0I7SUFFekMsK0NBQStDO2FBQy9CLFNBQVMsRUFBRSxTQUFTO0lBRXBDLGlEQUFpRDthQUNqQyxpQkFBaUIsRUFBRSxTQUFTO0lBYjlDLE9BQWdCLFFBQVEsWUFBb0M7SUFFNUQsT0FBTyxDQUFDLFlBQVksQ0FBNEM7SUFDaEUsT0FBTyxDQUFDLGNBQWMsQ0FBNEM7SUFFbEU7SUFDRSxpRUFBaUU7SUFDakQsT0FBTyxFQUFFLGdCQUFnQjtJQUV6QywrQ0FBK0M7SUFDL0IsU0FBUyxFQUFFLFNBQVM7SUFFcEMsaURBQWlEO0lBQ2pDLGlCQUFpQixFQUFFLFNBQVMsRUFHN0M7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxxQkFBcUIsQ0FBQyxDQVFqRDtJQUVRLDRCQUE0QixJQUFJLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFN0Q7SUFFRCxJQUFJLE9BQU8sSUFBSSxFQUFFLENBRWhCO0lBRUQsSUFBSSxVQUFVLElBQUksVUFBVSxDQUUzQjtJQUVELElBQUksZ0JBQWdCLElBQUksNEJBQTRCLENBRW5EO0lBRUQ7OztPQUdHO0lBQ0gsU0FBUyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBS2xDO0lBRUQ7OztPQUdHO0lBQ0gsV0FBVyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBZXBDO0lBRUQsVUFBVSxJQUFJLE1BQU0sQ0FFbkI7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcscUJBQXFCLENBT25FO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxxQkFBcUIsQ0FFcEM7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLHFCQUFxQixDQUVyQztJQUVELE9BQU8sSUFBSSxNQUFNLENBRWhCO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztNQU1SO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checkpoint_attestation.d.ts","sourceRoot":"","sources":["../../src/p2p/checkpoint_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"checkpoint_attestation.d.ts","sourceRoot":"","sources":["../../src/p2p/checkpoint_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACxF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,KAAK,4BAA4B,EAA6B,MAAM,sBAAsB,CAAC;AACpG,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,YAAY,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,UAAU;IAOjD,iEAAiE;aACjD,OAAO,EAAE,gBAAgB;IAEzC,+CAA+C;aAC/B,SAAS,EAAE,SAAS;IAEpC,iDAAiD;aACjC,iBAAiB,EAAE,SAAS;IAb9C,OAAgB,QAAQ,YAAoC;IAE5D,OAAO,CAAC,YAAY,CAA4C;IAChE,OAAO,CAAC,cAAc,CAA4C;IAElE;IACE,iEAAiE;IACjD,OAAO,EAAE,gBAAgB;IAEzC,+CAA+C;IAC/B,SAAS,EAAE,SAAS;IAEpC,iDAAiD;IACjC,iBAAiB,EAAE,SAAS,EAG7C;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,qBAAqB,CAAC,CAQjD;IAEQ,4BAA4B,IAAI,OAAO,CAAC,YAAY,CAAC,CAE7D;IAED,IAAI,OAAO,IAAI,EAAE,CAEhB;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED,IAAI,gBAAgB,IAAI,4BAA4B,CAEnD;IAED;;;OAGG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAKlC;IAED;;;OAGG;IACH,WAAW,IAAI,UAAU,GAAG,SAAS,CAepC;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAOnE;IAED,MAAM,CAAC,KAAK,IAAI,qBAAqB,CAEpC;IAED,MAAM,CAAC,MAAM,IAAI,qBAAqB,CAErC;IAED,OAAO,IAAI,MAAM,CAEhB;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;MAMR;CACF"}
|
|
@@ -1,19 +1,13 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { CheckpointAttestationHash } from '@aztec/foundation/branded-types';
|
|
2
2
|
import { keccak256 } from '@aztec/foundation/crypto/keccak';
|
|
3
|
-
import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
4
3
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
5
4
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
6
5
|
import { z } from 'zod';
|
|
7
6
|
import { CheckpointProposal } from './checkpoint_proposal.js';
|
|
8
7
|
import { ConsensusPayload } from './consensus_payload.js';
|
|
9
8
|
import { Gossipable } from './gossipable.js';
|
|
10
|
-
import {
|
|
9
|
+
import { recoverCoordinationSigner } from './signature_utils.js';
|
|
11
10
|
import { TopicType } from './topic_type.js';
|
|
12
|
-
export class CheckpointAttestationHash extends Buffer32 {
|
|
13
|
-
constructor(hash){
|
|
14
|
-
super(hash);
|
|
15
|
-
}
|
|
16
|
-
}
|
|
17
11
|
/**
|
|
18
12
|
* CheckpointAttestation
|
|
19
13
|
*
|
|
@@ -24,10 +18,10 @@ export class CheckpointAttestationHash extends Buffer32 {
|
|
|
24
18
|
signature;
|
|
25
19
|
proposerSignature;
|
|
26
20
|
static p2pTopic = TopicType.checkpoint_attestation;
|
|
27
|
-
|
|
28
|
-
|
|
21
|
+
cachedSender;
|
|
22
|
+
cachedProposer;
|
|
29
23
|
constructor(/** The payload of the message, and what the signature is over */ payload, /** The signature of the checkpoint attester */ signature, /** The signature from the checkpoint proposer */ proposerSignature){
|
|
30
|
-
super(), this.payload = payload, this.signature = signature, this.proposerSignature = proposerSignature;
|
|
24
|
+
super(), this.payload = payload, this.signature = signature, this.proposerSignature = proposerSignature, this.cachedSender = undefined, this.cachedProposer = undefined;
|
|
31
25
|
}
|
|
32
26
|
static get schema() {
|
|
33
27
|
return z.object({
|
|
@@ -37,7 +31,7 @@ export class CheckpointAttestationHash extends Buffer32 {
|
|
|
37
31
|
}).transform((obj)=>new CheckpointAttestation(obj.payload, obj.signature, obj.proposerSignature));
|
|
38
32
|
}
|
|
39
33
|
generateP2PMessageIdentifier() {
|
|
40
|
-
return Promise.resolve(
|
|
34
|
+
return Promise.resolve(CheckpointAttestationHash.fromBuffer(keccak256(this.signature.toBuffer())));
|
|
41
35
|
}
|
|
42
36
|
get archive() {
|
|
43
37
|
return this.payload.archive;
|
|
@@ -45,34 +39,33 @@ export class CheckpointAttestationHash extends Buffer32 {
|
|
|
45
39
|
get slotNumber() {
|
|
46
40
|
return this.payload.header.slotNumber;
|
|
47
41
|
}
|
|
42
|
+
get signatureContext() {
|
|
43
|
+
return this.payload.signatureContext;
|
|
44
|
+
}
|
|
48
45
|
/**
|
|
49
46
|
* Lazily evaluate and cache the signer of the attestation
|
|
50
47
|
* @returns The signer of the attestation, or undefined if signature recovery fails
|
|
51
48
|
*/ getSender() {
|
|
52
|
-
if (
|
|
53
|
-
|
|
54
|
-
const hashed = getHashedSignaturePayloadEthSignedMessage(this.payload, SignatureDomainSeparator.checkpointAttestation);
|
|
55
|
-
// Cache the sender for later use
|
|
56
|
-
this.sender = tryRecoverAddress(hashed, this.signature);
|
|
49
|
+
if (this.cachedSender === undefined) {
|
|
50
|
+
this.cachedSender = recoverCoordinationSigner(this.payload, this.signature) ?? null;
|
|
57
51
|
}
|
|
58
|
-
return this.
|
|
52
|
+
return this.cachedSender ?? undefined;
|
|
59
53
|
}
|
|
60
54
|
/**
|
|
61
55
|
* Lazily evaluate and cache the proposer of the checkpoint
|
|
62
56
|
* @returns The proposer of the checkpoint
|
|
63
57
|
*/ getProposer() {
|
|
64
|
-
if (
|
|
58
|
+
if (this.cachedProposer === undefined) {
|
|
65
59
|
// Create a temporary CheckpointProposal to recover the proposer address.
|
|
66
60
|
// We need to use CheckpointProposal because it has a different getPayloadToSign()
|
|
67
61
|
// implementation than ConsensusPayload (uses serializeToBuffer vs ABI encoding).
|
|
68
|
-
const proposal = new CheckpointProposal(this.payload.header, this.payload.archive, this.payload.feeAssetPriceModifier, this.proposerSignature);
|
|
69
|
-
|
|
70
|
-
this.proposer = proposal.getSender();
|
|
62
|
+
const proposal = new CheckpointProposal(this.payload.header, this.payload.archive, this.payload.feeAssetPriceModifier, this.proposerSignature, this.payload.signatureContext);
|
|
63
|
+
this.cachedProposer = proposal.getSender() ?? null;
|
|
71
64
|
}
|
|
72
|
-
return this.
|
|
65
|
+
return this.cachedProposer ?? undefined;
|
|
73
66
|
}
|
|
74
67
|
getPayload() {
|
|
75
|
-
return this.payload.getPayloadToSign(
|
|
68
|
+
return this.payload.getPayloadToSign();
|
|
76
69
|
}
|
|
77
70
|
toBuffer() {
|
|
78
71
|
return serializeToBuffer([
|
|
@@ -1,9 +1,10 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import {
|
|
1
|
+
import { type CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import type { BaseBuffer32 } from '@aztec/foundation/buffer';
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
5
|
import { Signature } from '@aztec/foundation/eth-signature';
|
|
6
6
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
7
|
+
import type { TypedDataDefinition } from 'viem';
|
|
7
8
|
import type { L2BlockInfo } from '../block/l2_block_info.js';
|
|
8
9
|
import { type SigningContext } from '../ha-signing/index.js';
|
|
9
10
|
import { CheckpointHeader } from '../rollup/checkpoint_header.js';
|
|
@@ -12,12 +13,10 @@ import { TxHash } from '../tx/index.js';
|
|
|
12
13
|
import type { Tx } from '../tx/tx.js';
|
|
13
14
|
import { BlockProposal } from './block_proposal.js';
|
|
14
15
|
import { Gossipable } from './gossipable.js';
|
|
15
|
-
import {
|
|
16
|
+
import { type CoordinationSignatureContext, type CoordinationSignatureType, type Signable } from './signature_utils.js';
|
|
16
17
|
import { SignedTxs } from './signed_txs.js';
|
|
17
18
|
import { TopicType } from './topic_type.js';
|
|
18
|
-
export
|
|
19
|
-
constructor(hash: Buffer);
|
|
20
|
-
}
|
|
19
|
+
export type { CheckpointProposalHash } from '@aztec/foundation/branded-types';
|
|
21
20
|
export type CheckpointProposalOptions = {
|
|
22
21
|
/**
|
|
23
22
|
* Whether to include the tx objects along with the block proposal.
|
|
@@ -53,7 +52,7 @@ export type CheckpointLastBlock = Omit<CheckpointLastBlockData, 'txs'> & {
|
|
|
53
52
|
* It includes the aggregated checkpoint header that validators will attest to, plus optionally
|
|
54
53
|
* the last block's info for nodes to re-execute. This marks the completion of a slot's worth of blocks.
|
|
55
54
|
*/
|
|
56
|
-
export declare class CheckpointProposal extends Gossipable {
|
|
55
|
+
export declare class CheckpointProposal extends Gossipable implements Signable {
|
|
57
56
|
/** The aggregated checkpoint header for consensus */
|
|
58
57
|
readonly checkpointHeader: CheckpointHeader;
|
|
59
58
|
/** Archive root after this checkpoint is applied */
|
|
@@ -62,10 +61,13 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
62
61
|
readonly feeAssetPriceModifier: bigint;
|
|
63
62
|
/** The proposer's signature over the checkpoint payload (checkpointHeader + archive + feeAssetPriceModifier) */
|
|
64
63
|
readonly signature: Signature;
|
|
64
|
+
/** The signing domain (chainId + rollupAddress) the signature is bound to */
|
|
65
|
+
readonly signatureContext: CoordinationSignatureContext;
|
|
65
66
|
/** Optional last block info, including its own signature for BlockProposal extraction */
|
|
66
67
|
readonly lastBlock?: CheckpointLastBlock | undefined;
|
|
67
68
|
static p2pTopic: TopicType;
|
|
68
|
-
|
|
69
|
+
readonly primaryType: CoordinationSignatureType;
|
|
70
|
+
private cachedSender;
|
|
69
71
|
constructor(
|
|
70
72
|
/** The aggregated checkpoint header for consensus */
|
|
71
73
|
checkpointHeader: CheckpointHeader,
|
|
@@ -75,9 +77,11 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
75
77
|
feeAssetPriceModifier: bigint,
|
|
76
78
|
/** The proposer's signature over the checkpoint payload (checkpointHeader + archive + feeAssetPriceModifier) */
|
|
77
79
|
signature: Signature,
|
|
80
|
+
/** The signing domain (chainId + rollupAddress) the signature is bound to */
|
|
81
|
+
signatureContext: CoordinationSignatureContext,
|
|
78
82
|
/** Optional last block info, including its own signature for BlockProposal extraction */
|
|
79
83
|
lastBlock?: CheckpointLastBlock | undefined);
|
|
80
|
-
generateP2PMessageIdentifier(): Promise<
|
|
84
|
+
generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
|
|
81
85
|
get slotNumber(): SlotNumber;
|
|
82
86
|
/**
|
|
83
87
|
* Extract a BlockProposal from the last block info.
|
|
@@ -88,7 +92,7 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
88
92
|
toCheckpointInfo(): {
|
|
89
93
|
slotNumber: SlotNumber;
|
|
90
94
|
archive: Fr;
|
|
91
|
-
lastBlockNumber: BlockNumber | undefined;
|
|
95
|
+
lastBlockNumber: import("@aztec/foundation/branded-types").BlockNumber | undefined;
|
|
92
96
|
lastBlockIndex: IndexWithinCheckpoint | undefined;
|
|
93
97
|
blockHeadersHash: Fr;
|
|
94
98
|
};
|
|
@@ -96,8 +100,8 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
96
100
|
* Get the payload to sign for this checkpoint proposal.
|
|
97
101
|
* The signature is over the checkpoint header + archive root + feeAssetPriceModifier (for consensus).
|
|
98
102
|
*/
|
|
99
|
-
getPayloadToSign(
|
|
100
|
-
static createProposalFromSigner(checkpointHeader: CheckpointHeader, archiveRoot: Fr, feeAssetPriceModifier: bigint,
|
|
103
|
+
getPayloadToSign(): Buffer;
|
|
104
|
+
static createProposalFromSigner(checkpointHeader: CheckpointHeader, archiveRoot: Fr, checkpointNumber: CheckpointNumber, feeAssetPriceModifier: bigint, lastBlockProposal: BlockProposal | undefined, signatureContext: CoordinationSignatureContext, payloadSigner: (typedData: TypedDataDefinition, context: SigningContext) => Promise<Signature>): Promise<CheckpointProposal>;
|
|
101
105
|
/**
|
|
102
106
|
* Lazily evaluate the sender of the proposal; result is cached.
|
|
103
107
|
* If there's a lastBlock, also verifies the block proposal sender matches the checkpoint sender.
|
|
@@ -130,6 +134,8 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
130
134
|
archive: `0x${string}`;
|
|
131
135
|
signature: `0x${string}`;
|
|
132
136
|
feeAssetPriceModifier: string;
|
|
137
|
+
chainId: number;
|
|
138
|
+
rollupAddress: `0x${string}`;
|
|
133
139
|
lastBlock: {
|
|
134
140
|
blockHeader: {
|
|
135
141
|
lastArchive: `0x${string}`;
|
|
@@ -143,7 +149,7 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
143
149
|
globalVariables: {
|
|
144
150
|
chainId: number;
|
|
145
151
|
version: number;
|
|
146
|
-
blockNumber: BlockNumber;
|
|
152
|
+
blockNumber: import("@aztec/foundation/branded-types").BlockNumber;
|
|
147
153
|
slotNumber: SlotNumber;
|
|
148
154
|
timestamp: bigint;
|
|
149
155
|
coinbase: `0x${string}`;
|
|
@@ -171,4 +177,4 @@ export declare class CheckpointProposal extends Gossipable {
|
|
|
171
177
|
* This type makes it clear that lastBlock and getBlockProposal() are not available.
|
|
172
178
|
*/
|
|
173
179
|
export type CheckpointProposalCore = Omit<CheckpointProposal, 'lastBlock' | 'getBlockProposal' | 'toCore'>;
|
|
174
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
180
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9wcm9wb3NhbC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9jaGVja3BvaW50X3Byb3Bvc2FsLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLGdCQUFnQixFQUVyQixxQkFBcUIsRUFDckIsVUFBVSxFQUNYLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM1RCxPQUFPLEVBQUUsWUFBWSxFQUE0QyxNQUFNLDZCQUE2QixDQUFDO0FBRXJHLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRWhELE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRTdELE9BQU8sRUFBWSxLQUFLLGNBQWMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3ZFLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ2xFLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDeEMsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sYUFBYSxDQUFDO0FBQ3RDLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDN0MsT0FBTyxFQUNMLEtBQUssNEJBQTRCLEVBQ2pDLEtBQUsseUJBQXlCLEVBRTlCLEtBQUssUUFBUSxFQUtkLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzVDLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU1QyxZQUFZLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUU5RSxNQUFNLE1BQU0seUJBQXlCLEdBQUc7SUFDdEM7OztPQUdHO0lBQ0gsY0FBYyxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ3pCOzs7T0FHRztJQUNILGtDQUFrQyxDQUFDLEVBQUUsT0FBTyxDQUFDO0NBQzlDLENBQUM7QUFFRixnRUFBZ0U7QUFDaEUsTUFBTSxNQUFNLHVCQUF1QixHQUFHO0lBQ3BDLGdFQUFnRTtJQUNoRSxXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLGdHQUFnRztJQUNoRyxxQkFBcUIsRUFBRSxxQkFBcUIsQ0FBQztJQUM3QyxxREFBcUQ7SUFDckQsUUFBUSxFQUFFLE1BQU0sRUFBRSxDQUFDO0lBQ25CLDZEQUE2RDtJQUM3RCxHQUFHLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQztDQUNaLENBQUM7QUFFRixtREFBbUQ7QUFDbkQsTUFBTSxNQUFNLG1CQUFtQixHQUFHLElBQUksQ0FBQyx1QkFBdUIsRUFBRSxLQUFLLENBQUMsR0FBRztJQUN2RSx3RkFBd0Y7SUFDeEYsU0FBUyxFQUFFLFNBQVMsQ0FBQztJQUNyQiw4RUFBOEU7SUFDOUUsU0FBUyxDQUFDLEVBQUUsU0FBUyxDQUFDO0NBQ3ZCLENBQUM7QUFFRjs7OztHQUlHO0FBQ0gscUJBQWEsa0JBQW1CLFNBQVEsVUFBVyxZQUFXLFFBQVE7SUFRbEUscURBQXFEO2FBQ3JDLGdCQUFnQixFQUFFLGdCQUFnQjtJQUVsRCxvREFBb0Q7YUFDcEMsT0FBTyxFQUFFLEVBQUU7SUFFM0IsaUVBQWlFO2FBQ2pELHFCQUFxQixFQUFFLE1BQU07SUFFN0MsZ0hBQWdIO2FBQ2hHLFNBQVMsRUFBRSxTQUFTO0lBRXBDLDZFQUE2RTthQUM3RCxnQkFBZ0IsRUFBRSw0QkFBNEI7SUFFOUQseUZBQXlGO2FBQ3pFLFNBQVMsQ0FBQztJQXZCNUIsT0FBZ0IsUUFBUSxZQUFpQztJQUV6RCxRQUFRLENBQUMsV0FBVyxFQUFFLHlCQUF5QixDQUF3QjtJQUV2RSxPQUFPLENBQUMsWUFBWSxDQUE0QztJQUVoRTtJQUNFLHFEQUFxRDtJQUNyQyxnQkFBZ0IsRUFBRSxnQkFBZ0I7SUFFbEQsb0RBQW9EO0lBQ3BDLE9BQU8sRUFBRSxFQUFFO0lBRTNCLGlFQUFpRTtJQUNqRCxxQkFBcUIsRUFBRSxNQUFNO0lBRTdDLGdIQUFnSDtJQUNoRyxTQUFTLEVBQUUsU0FBUztJQUVwQyw2RUFBNkU7SUFDN0QsZ0JBQWdCLEVBQUUsNEJBQTRCO0lBRTlELHlGQUF5RjtJQUN6RSxTQUFTLENBQUMsaUNBQXFCLEVBR2hEO0lBRVEsNEJBQTRCLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUU3RDtJQUVELElBQUksVUFBVSxJQUFJLFVBQVUsQ0FFM0I7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxhQUFhLEdBQUcsU0FBUyxDQWU1QztJQUVELFdBQVcsSUFBSSxJQUFJLENBQUMsV0FBVyxFQUFFLGFBQWEsQ0FBQyxDQVc5QztJQUVELGdCQUFnQjs7Ozs7O01BUWY7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxNQUFNLENBRXpCO0lBRUQsT0FBYSx3QkFBd0IsQ0FDbkMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLFdBQVcsRUFBRSxFQUFFLEVBQ2YsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLHFCQUFxQixFQUFFLE1BQU0sRUFDN0IsaUJBQWlCLEVBQUUsYUFBYSxHQUFHLFNBQVMsRUFDNUMsZ0JBQWdCLEVBQUUsNEJBQTRCLEVBQzlDLGFBQWEsRUFBRSxDQUFDLFNBQVMsRUFBRSxtQkFBbUIsRUFBRSxPQUFPLEVBQUUsY0FBYyxLQUFLLE9BQU8sQ0FBQyxTQUFTLENBQUMsR0FDN0YsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBMEI3QjtJQUVEOzs7O09BSUc7SUFDSCxTQUFTLElBQUksVUFBVSxHQUFHLFNBQVMsQ0FpQmxDO0lBRUQsVUFBVSw0QkFFVDtJQUVELFFBQVEsSUFBSSxNQUFNLENBMkJqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsa0JBQWtCLENBdUNoRTtJQUVELE9BQU8sSUFBSSxNQUFNLENBc0JoQjtJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksa0JBQWtCLENBUWpDO0lBRUQsTUFBTSxDQUFDLE1BQU0sSUFBSSxrQkFBa0IsQ0FjbEM7SUFFRCxTQUFTOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztNQWlCUjtJQUVEOzs7T0FHRztJQUNILE1BQU0sSUFBSSxzQkFBc0IsQ0FRL0I7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLE1BQU0sc0JBQXNCLEdBQUcsSUFBSSxDQUFDLGtCQUFrQixFQUFFLFdBQVcsR0FBRyxrQkFBa0IsR0FBRyxRQUFRLENBQUMsQ0FBQyJ9
|