@aztec/stdlib 4.0.0-nightly.20260112 → 4.0.0-nightly.20260113
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/block/attestation_info.d.ts +5 -5
- package/dest/block/attestation_info.d.ts.map +1 -1
- package/dest/block/attestation_info.js +4 -4
- package/dest/block/l2_block.d.ts +6 -3
- package/dest/block/l2_block.d.ts.map +1 -1
- package/dest/block/l2_block.js +2 -2
- package/dest/block/l2_block_new.d.ts +1 -2
- package/dest/block/l2_block_new.d.ts.map +1 -1
- package/dest/block/l2_block_new.js +4 -1
- package/dest/block/l2_block_source.d.ts +245 -41
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_source.js +23 -5
- package/dest/block/l2_block_stream/index.d.ts +2 -1
- package/dest/block/l2_block_stream/index.d.ts.map +1 -1
- package/dest/block/l2_block_stream/index.js +1 -0
- package/dest/block/l2_block_stream/interfaces.d.ts +16 -5
- package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.d.ts +4 -2
- package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.js +102 -30
- package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +24 -16
- package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_tips_memory_store.js +55 -61
- package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +49 -0
- package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -0
- package/dest/block/l2_block_stream/l2_tips_store_base.js +179 -0
- package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
- package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
- package/dest/block/test/l2_tips_store_test_suite.js +483 -38
- package/dest/block/validate_block_result.d.ts +24 -24
- package/dest/block/validate_block_result.d.ts.map +1 -1
- package/dest/block/validate_block_result.js +13 -13
- package/dest/checkpoint/checkpoint.d.ts +1 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +1 -0
- package/dest/checkpoint/checkpoint_info.d.ts +32 -3
- package/dest/checkpoint/checkpoint_info.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint_info.js +34 -1
- package/dest/checkpoint/index.d.ts +2 -1
- package/dest/checkpoint/index.d.ts.map +1 -1
- package/dest/checkpoint/index.js +1 -0
- package/dest/interfaces/api_limit.d.ts +2 -1
- package/dest/interfaces/api_limit.d.ts.map +1 -1
- package/dest/interfaces/api_limit.js +1 -0
- package/dest/interfaces/archiver.d.ts +6 -6
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +6 -4
- package/dest/interfaces/aztec-node-admin.d.ts +12 -6
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +2 -2
- package/dest/interfaces/aztec-node.d.ts +2 -2
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +8 -3
- package/dest/interfaces/configs.d.ts +6 -1
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +2 -1
- package/dest/interfaces/p2p.d.ts +7 -9
- package/dest/interfaces/p2p.d.ts.map +1 -1
- package/dest/interfaces/p2p.js +3 -4
- package/dest/interfaces/proving-job.d.ts +166 -166
- package/dest/interfaces/validator.d.ts +41 -7
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +3 -1
- package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +6 -5
- 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 +5 -6
- package/dest/p2p/attestation_utils.d.ts +3 -3
- package/dest/p2p/attestation_utils.d.ts.map +1 -1
- package/dest/p2p/attestation_utils.js +1 -1
- package/dest/p2p/block_proposal.d.ts +85 -21
- package/dest/p2p/block_proposal.d.ts.map +1 -1
- package/dest/p2p/block_proposal.js +120 -37
- package/dest/p2p/checkpoint_attestation.d.ts +77 -0
- package/dest/p2p/checkpoint_attestation.d.ts.map +1 -0
- package/dest/p2p/{block_attestation.js → checkpoint_attestation.js} +22 -19
- package/dest/p2p/checkpoint_proposal.d.ts +154 -0
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -0
- package/dest/p2p/checkpoint_proposal.js +217 -0
- package/dest/p2p/consensus_payload.d.ts +4 -2
- package/dest/p2p/consensus_payload.d.ts.map +1 -1
- package/dest/p2p/consensus_payload.js +3 -2
- package/dest/p2p/index.d.ts +4 -2
- package/dest/p2p/index.d.ts.map +1 -1
- package/dest/p2p/index.js +3 -1
- package/dest/p2p/signature_utils.d.ts +5 -3
- package/dest/p2p/signature_utils.d.ts.map +1 -1
- package/dest/p2p/signature_utils.js +3 -1
- package/dest/p2p/signed_txs.d.ts +40 -0
- package/dest/p2p/signed_txs.d.ts.map +1 -0
- package/dest/p2p/signed_txs.js +70 -0
- package/dest/p2p/topic_type.d.ts +3 -2
- package/dest/p2p/topic_type.d.ts.map +1 -1
- package/dest/p2p/topic_type.js +8 -2
- package/dest/rollup/checkpoint_header.d.ts +5 -1
- package/dest/rollup/checkpoint_header.d.ts.map +1 -1
- package/dest/rollup/checkpoint_header.js +4 -0
- package/dest/tests/factories.d.ts +13 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +50 -1
- package/dest/tests/mocks.d.ts +55 -9
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +84 -35
- package/dest/tx/private_execution_result.d.ts +1 -5
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +3 -20
- package/package.json +8 -8
- package/src/block/attestation_info.ts +9 -6
- package/src/block/l2_block.ts +3 -3
- package/src/block/l2_block_new.ts +5 -1
- package/src/block/l2_block_source.ts +66 -16
- package/src/block/l2_block_stream/index.ts +1 -0
- package/src/block/l2_block_stream/interfaces.ts +16 -4
- package/src/block/l2_block_stream/l2_block_stream.ts +121 -38
- package/src/block/l2_block_stream/l2_tips_memory_store.ts +62 -56
- package/src/block/l2_block_stream/l2_tips_store_base.ts +226 -0
- package/src/block/test/l2_tips_store_test_suite.ts +485 -36
- package/src/block/validate_block_result.ts +35 -31
- package/src/checkpoint/checkpoint.ts +1 -0
- package/src/checkpoint/checkpoint_info.ts +45 -2
- package/src/checkpoint/index.ts +1 -0
- package/src/interfaces/api_limit.ts +1 -0
- package/src/interfaces/archiver.ts +14 -6
- package/src/interfaces/aztec-node-admin.ts +5 -2
- package/src/interfaces/aztec-node.ts +30 -3
- package/src/interfaces/configs.ts +5 -0
- package/src/interfaces/p2p.ts +8 -12
- package/src/interfaces/validator.ts +57 -7
- package/src/kernel/hints/build_note_hash_read_request_hints.ts +5 -8
- package/src/p2p/attestation_utils.ts +3 -3
- package/src/p2p/block_proposal.ts +185 -41
- package/src/p2p/{block_attestation.ts → checkpoint_attestation.ts} +31 -25
- package/src/p2p/checkpoint_proposal.ts +337 -0
- package/src/p2p/consensus_payload.ts +5 -2
- package/src/p2p/index.ts +3 -1
- package/src/p2p/signature_utils.ts +3 -1
- package/src/p2p/signed_txs.ts +83 -0
- package/src/p2p/topic_type.ts +3 -2
- package/src/rollup/checkpoint_header.ts +13 -0
- package/src/tests/factories.ts +42 -1
- package/src/tests/mocks.ts +146 -50
- package/src/tx/private_execution_result.ts +0 -15
- package/dest/p2p/block_attestation.d.ts +0 -77
- package/dest/p2p/block_attestation.d.ts.map +0 -1
package/src/tests/mocks.ts
CHANGED
|
@@ -13,6 +13,7 @@ import { padArrayEnd, times } from '@aztec/foundation/collection';
|
|
|
13
13
|
import { randomBytes } from '@aztec/foundation/crypto/random';
|
|
14
14
|
import { Secp256k1Signer } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
15
15
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
16
|
+
import { Signature } from '@aztec/foundation/eth-signature';
|
|
16
17
|
|
|
17
18
|
import type { ContractArtifact } from '../abi/abi.js';
|
|
18
19
|
import { PublicTxEffect } from '../avm/avm.js';
|
|
@@ -46,12 +47,14 @@ import { PrivateToAvmAccumulatedData } from '../kernel/private_to_avm_accumulate
|
|
|
46
47
|
import { PrivateToPublicAccumulatedDataBuilder } from '../kernel/private_to_public_accumulated_data_builder.js';
|
|
47
48
|
import { PublicCallRequestArrayLengths } from '../kernel/public_call_request.js';
|
|
48
49
|
import { computeInHashFromL1ToL2Messages } from '../messaging/in_hash.js';
|
|
49
|
-
import { BlockAttestation } from '../p2p/block_attestation.js';
|
|
50
50
|
import { BlockProposal } from '../p2p/block_proposal.js';
|
|
51
|
+
import { CheckpointAttestation } from '../p2p/checkpoint_attestation.js';
|
|
52
|
+
import { CheckpointProposal } from '../p2p/checkpoint_proposal.js';
|
|
51
53
|
import { ConsensusPayload } from '../p2p/consensus_payload.js';
|
|
52
54
|
import { SignatureDomainSeparator, getHashedSignaturePayloadEthSignedMessage } from '../p2p/signature_utils.js';
|
|
53
55
|
import { ChonkProof } from '../proofs/chonk_proof.js';
|
|
54
56
|
import { ProvingRequestType } from '../proofs/proving_request_type.js';
|
|
57
|
+
import { CheckpointHeader } from '../rollup/checkpoint_header.js';
|
|
55
58
|
import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
|
|
56
59
|
import {
|
|
57
60
|
BlockHeader,
|
|
@@ -359,7 +362,6 @@ const emptyPrivateCallExecutionResult = () =>
|
|
|
359
362
|
Buffer.from(''),
|
|
360
363
|
new Map(),
|
|
361
364
|
PrivateCircuitPublicInputs.empty(),
|
|
362
|
-
new Map(),
|
|
363
365
|
[],
|
|
364
366
|
new Map(),
|
|
365
367
|
[],
|
|
@@ -493,6 +495,30 @@ export interface MakeConsensusPayloadOptions {
|
|
|
493
495
|
txs?: Tx[];
|
|
494
496
|
}
|
|
495
497
|
|
|
498
|
+
export interface MakeBlockProposalOptions {
|
|
499
|
+
signer?: Secp256k1Signer;
|
|
500
|
+
blockHeader?: L2BlockHeader;
|
|
501
|
+
indexWithinCheckpoint?: number;
|
|
502
|
+
inHash?: Fr;
|
|
503
|
+
archiveRoot?: Fr;
|
|
504
|
+
txHashes?: TxHash[];
|
|
505
|
+
txs?: Tx[];
|
|
506
|
+
}
|
|
507
|
+
|
|
508
|
+
export interface MakeCheckpointProposalOptions {
|
|
509
|
+
signer?: Secp256k1Signer;
|
|
510
|
+
checkpointHeader?: CheckpointHeader;
|
|
511
|
+
archiveRoot?: Fr;
|
|
512
|
+
/** Options for the lastBlock - if undefined, no lastBlock is included */
|
|
513
|
+
lastBlock?: {
|
|
514
|
+
blockHeader?: L2BlockHeader;
|
|
515
|
+
indexWithinCheckpoint?: number;
|
|
516
|
+
txHashes?: TxHash[];
|
|
517
|
+
txs?: Tx[];
|
|
518
|
+
};
|
|
519
|
+
}
|
|
520
|
+
|
|
521
|
+
// eslint-disable-next-line @typescript-eslint/no-unused-vars
|
|
496
522
|
const makeAndSignConsensusPayload = (
|
|
497
523
|
domainSeparator: SignatureDomainSeparator,
|
|
498
524
|
options?: MakeConsensusPayloadOptions,
|
|
@@ -522,73 +548,137 @@ export const makeAndSignCommitteeAttestationsAndSigners = (
|
|
|
522
548
|
return signer.sign(hash);
|
|
523
549
|
};
|
|
524
550
|
|
|
525
|
-
export const makeBlockProposal = (options?:
|
|
526
|
-
const
|
|
551
|
+
export const makeBlockProposal = (options?: MakeBlockProposalOptions): Promise<BlockProposal> => {
|
|
552
|
+
const l2BlockHeader = options?.blockHeader ?? makeL2BlockHeader(1);
|
|
553
|
+
const blockHeader = l2BlockHeader.toBlockHeader();
|
|
554
|
+
const indexWithinCheckpoint = options?.indexWithinCheckpoint ?? 0;
|
|
555
|
+
const inHash = options?.inHash ?? Fr.random();
|
|
556
|
+
const archiveRoot = options?.archiveRoot ?? Fr.random();
|
|
527
557
|
const txHashes = options?.txHashes ?? [0, 1, 2, 3, 4, 5].map(() => TxHash.random());
|
|
528
|
-
|
|
558
|
+
const txs = options?.txs;
|
|
559
|
+
const signer = options?.signer ?? Secp256k1Signer.random();
|
|
560
|
+
|
|
561
|
+
return BlockProposal.createProposalFromSigner(
|
|
562
|
+
blockHeader,
|
|
563
|
+
indexWithinCheckpoint,
|
|
564
|
+
inHash,
|
|
565
|
+
archiveRoot,
|
|
566
|
+
txHashes,
|
|
567
|
+
txs,
|
|
568
|
+
payload => Promise.resolve(signer.signMessage(payload)),
|
|
569
|
+
);
|
|
529
570
|
};
|
|
530
571
|
|
|
531
|
-
|
|
532
|
-
|
|
533
|
-
const
|
|
534
|
-
const
|
|
572
|
+
export const makeCheckpointProposal = (options?: MakeCheckpointProposalOptions): Promise<CheckpointProposal> => {
|
|
573
|
+
const l2BlockHeader = options?.lastBlock?.blockHeader ?? makeL2BlockHeader(1);
|
|
574
|
+
const checkpointHeader = options?.checkpointHeader ?? l2BlockHeader.toCheckpointHeader();
|
|
575
|
+
const archiveRoot = options?.archiveRoot ?? Fr.random();
|
|
576
|
+
const signer = options?.signer ?? Secp256k1Signer.random();
|
|
577
|
+
|
|
578
|
+
// Build lastBlock info if provided
|
|
579
|
+
const lastBlockInfo = options?.lastBlock
|
|
580
|
+
? {
|
|
581
|
+
blockHeader: l2BlockHeader.toBlockHeader(),
|
|
582
|
+
indexWithinCheckpoint: options.lastBlock.indexWithinCheckpoint ?? 4, // Last block in a 5-block checkpoint
|
|
583
|
+
txHashes: options.lastBlock.txHashes ?? [0, 1, 2, 3, 4, 5].map(() => TxHash.random()),
|
|
584
|
+
txs: options.lastBlock.txs,
|
|
585
|
+
}
|
|
586
|
+
: undefined;
|
|
587
|
+
|
|
588
|
+
return CheckpointProposal.createProposalFromSigner(checkpointHeader, archiveRoot, lastBlockInfo, payload =>
|
|
589
|
+
Promise.resolve(signer.signMessage(payload)),
|
|
590
|
+
);
|
|
591
|
+
};
|
|
535
592
|
|
|
536
|
-
|
|
537
|
-
|
|
538
|
-
|
|
539
|
-
|
|
593
|
+
/**
|
|
594
|
+
* Options for creating a checkpoint attestation
|
|
595
|
+
*/
|
|
596
|
+
export type MakeCheckpointAttestationOptions = {
|
|
597
|
+
header?: CheckpointHeader;
|
|
598
|
+
archive?: Fr;
|
|
599
|
+
attesterSigner?: Secp256k1Signer;
|
|
600
|
+
proposerSigner?: Secp256k1Signer;
|
|
601
|
+
signer?: Secp256k1Signer;
|
|
602
|
+
};
|
|
603
|
+
|
|
604
|
+
/**
|
|
605
|
+
* Create a checkpoint attestation for testing
|
|
606
|
+
*/
|
|
607
|
+
export const makeCheckpointAttestation = (options: MakeCheckpointAttestationOptions = {}): CheckpointAttestation => {
|
|
608
|
+
const header = options.header ?? makeL2BlockHeader(1).toCheckpointHeader();
|
|
609
|
+
const archive = options.archive ?? Fr.random();
|
|
610
|
+
const { signer, attesterSigner = signer, proposerSigner = signer } = options;
|
|
611
|
+
|
|
612
|
+
const payload = new ConsensusPayload(header, archive);
|
|
613
|
+
|
|
614
|
+
// Sign as attester
|
|
615
|
+
const attestationHash = getHashedSignaturePayloadEthSignedMessage(
|
|
616
|
+
payload,
|
|
617
|
+
SignatureDomainSeparator.checkpointAttestation,
|
|
618
|
+
);
|
|
619
|
+
const attestationSigner = attesterSigner ?? Secp256k1Signer.random();
|
|
620
|
+
const attestationSignature = attestationSigner.sign(attestationHash);
|
|
621
|
+
|
|
622
|
+
// Sign as proposer - use CheckpointProposal's payload format (serializeToBuffer)
|
|
623
|
+
// This is different from ConsensusPayload's format (ABI encoding)
|
|
624
|
+
const proposalSignerToUse = proposerSigner ?? Secp256k1Signer.random();
|
|
625
|
+
const tempProposal = new CheckpointProposal(header, archive, Signature.empty());
|
|
626
|
+
const proposalHash = getHashedSignaturePayloadEthSignedMessage(
|
|
627
|
+
tempProposal,
|
|
628
|
+
SignatureDomainSeparator.checkpointProposal,
|
|
629
|
+
);
|
|
630
|
+
const proposerSignature = proposalSignerToUse.sign(proposalHash);
|
|
540
631
|
|
|
541
|
-
return
|
|
632
|
+
return new CheckpointAttestation(payload, attestationSignature, proposerSignature);
|
|
542
633
|
};
|
|
543
634
|
|
|
544
|
-
|
|
545
|
-
|
|
635
|
+
/**
|
|
636
|
+
* Create a checkpoint attestation from a checkpoint proposal
|
|
637
|
+
*/
|
|
638
|
+
export const makeCheckpointAttestationFromProposal = (
|
|
639
|
+
proposal: CheckpointProposal,
|
|
546
640
|
attesterSigner?: Secp256k1Signer,
|
|
547
|
-
|
|
548
|
-
|
|
549
|
-
const header = checkpoint.header;
|
|
550
|
-
const archive = checkpoint.archive.root;
|
|
641
|
+
): CheckpointAttestation => {
|
|
642
|
+
const payload = new ConsensusPayload(proposal.checkpointHeader, proposal.archive);
|
|
551
643
|
|
|
552
|
-
|
|
553
|
-
|
|
554
|
-
|
|
555
|
-
|
|
644
|
+
// Sign as attester
|
|
645
|
+
const attestationHash = getHashedSignaturePayloadEthSignedMessage(
|
|
646
|
+
payload,
|
|
647
|
+
SignatureDomainSeparator.checkpointAttestation,
|
|
648
|
+
);
|
|
649
|
+
const attestationSigner = attesterSigner ?? Secp256k1Signer.random();
|
|
650
|
+
const attestationSignature = attestationSigner.sign(attestationHash);
|
|
556
651
|
|
|
557
|
-
|
|
652
|
+
// Use the proposal's signature as the proposer signature
|
|
653
|
+
return new CheckpointAttestation(payload, attestationSignature, proposal.signature);
|
|
558
654
|
};
|
|
559
655
|
|
|
560
|
-
|
|
561
|
-
|
|
656
|
+
/**
|
|
657
|
+
* Create a checkpoint attestation from a checkpoint
|
|
658
|
+
*/
|
|
659
|
+
export const makeCheckpointAttestationFromCheckpoint = (
|
|
660
|
+
checkpoint: Checkpoint,
|
|
562
661
|
attesterSigner?: Secp256k1Signer,
|
|
563
662
|
proposerSigner?: Secp256k1Signer,
|
|
564
|
-
):
|
|
565
|
-
const header =
|
|
566
|
-
const archive =
|
|
567
|
-
|
|
568
|
-
const payload = ConsensusPayload.fromFields({
|
|
569
|
-
header: header.toCheckpointHeader(),
|
|
570
|
-
archive,
|
|
571
|
-
});
|
|
663
|
+
): CheckpointAttestation => {
|
|
664
|
+
const header = checkpoint.header;
|
|
665
|
+
const archive = checkpoint.archive.root;
|
|
572
666
|
|
|
573
|
-
return
|
|
667
|
+
return makeCheckpointAttestation({ header, archive, attesterSigner, proposerSigner });
|
|
574
668
|
};
|
|
575
669
|
|
|
576
|
-
|
|
577
|
-
|
|
670
|
+
/**
|
|
671
|
+
* Create a checkpoint attestation from an L2Block
|
|
672
|
+
*/
|
|
673
|
+
export const makeCheckpointAttestationFromBlock = (
|
|
674
|
+
block: L2Block,
|
|
578
675
|
attesterSigner?: Secp256k1Signer,
|
|
579
676
|
proposerSigner?: Secp256k1Signer,
|
|
580
|
-
):
|
|
581
|
-
|
|
582
|
-
const
|
|
583
|
-
const attestationSigner = attesterSigner ?? Secp256k1Signer.random();
|
|
584
|
-
const attestationSignature = attestationSigner.sign(attestationHash);
|
|
585
|
-
|
|
586
|
-
// Sign as proposer
|
|
587
|
-
const proposalHash = getHashedSignaturePayloadEthSignedMessage(payload, SignatureDomainSeparator.blockProposal);
|
|
588
|
-
const proposalSignerToUse = proposerSigner ?? Secp256k1Signer.random();
|
|
589
|
-
const proposerSignature = proposalSignerToUse.sign(proposalHash);
|
|
677
|
+
): CheckpointAttestation => {
|
|
678
|
+
const header = block.header.toCheckpointHeader();
|
|
679
|
+
const archive = block.archive.root;
|
|
590
680
|
|
|
591
|
-
return
|
|
681
|
+
return makeCheckpointAttestation({ header, archive, attesterSigner, proposerSigner });
|
|
592
682
|
};
|
|
593
683
|
|
|
594
684
|
export async function randomPublishedL2Block(
|
|
@@ -603,7 +693,13 @@ export async function randomPublishedL2Block(
|
|
|
603
693
|
});
|
|
604
694
|
|
|
605
695
|
const signers = opts.signers ?? times(3, () => Secp256k1Signer.random());
|
|
606
|
-
const atts =
|
|
696
|
+
const atts = signers.map(signer =>
|
|
697
|
+
makeCheckpointAttestation({
|
|
698
|
+
signer,
|
|
699
|
+
archive: block.archive.root,
|
|
700
|
+
header: block.header.toCheckpointHeader(),
|
|
701
|
+
}),
|
|
702
|
+
);
|
|
607
703
|
const attestations = atts.map(
|
|
608
704
|
(attestation, i) => new CommitteeAttestation(signers[i].address, attestation.signature),
|
|
609
705
|
);
|
|
@@ -129,8 +129,6 @@ export class PrivateCallExecutionResult {
|
|
|
129
129
|
// Needed for the verifier (kernel)
|
|
130
130
|
/** The call stack item. */
|
|
131
131
|
public publicInputs: PrivateCircuitPublicInputs,
|
|
132
|
-
/** Mapping of note hash to its index in the note hash tree. Used for building hints for note hash read requests. */
|
|
133
|
-
public noteHashLeafIndexMap: Map<bigint, bigint>,
|
|
134
132
|
/** The notes created in the executed function. */
|
|
135
133
|
public newNotes: NoteAndSlot[],
|
|
136
134
|
/** Mapping of note hash counter to the counter of its nullifier. */
|
|
@@ -159,7 +157,6 @@ export class PrivateCallExecutionResult {
|
|
|
159
157
|
vk: schemas.Buffer,
|
|
160
158
|
partialWitness: mapSchema(z.coerce.number(), z.string()),
|
|
161
159
|
publicInputs: PrivateCircuitPublicInputs.schema,
|
|
162
|
-
noteHashLeafIndexMap: mapSchema(schemas.BigInt, schemas.BigInt),
|
|
163
160
|
newNotes: z.array(NoteAndSlot.schema),
|
|
164
161
|
noteHashNullifierCounterMap: mapSchema(z.coerce.number(), z.number()),
|
|
165
162
|
returnValues: z.array(schemas.Fr),
|
|
@@ -177,7 +174,6 @@ export class PrivateCallExecutionResult {
|
|
|
177
174
|
fields.vk,
|
|
178
175
|
fields.partialWitness,
|
|
179
176
|
fields.publicInputs,
|
|
180
|
-
fields.noteHashLeafIndexMap,
|
|
181
177
|
fields.newNotes,
|
|
182
178
|
fields.noteHashNullifierCounterMap,
|
|
183
179
|
fields.returnValues,
|
|
@@ -194,7 +190,6 @@ export class PrivateCallExecutionResult {
|
|
|
194
190
|
randomBytes(4),
|
|
195
191
|
new Map([[1, 'one']]),
|
|
196
192
|
PrivateCircuitPublicInputs.empty(),
|
|
197
|
-
new Map([[1n, 1n]]),
|
|
198
193
|
[NoteAndSlot.random()],
|
|
199
194
|
new Map([[0, 0]]),
|
|
200
195
|
[Fr.random()],
|
|
@@ -210,16 +205,6 @@ export class PrivateCallExecutionResult {
|
|
|
210
205
|
}
|
|
211
206
|
}
|
|
212
207
|
|
|
213
|
-
export function collectNoteHashLeafIndexMap(execResult: PrivateExecutionResult) {
|
|
214
|
-
const accum: Map<bigint, bigint> = new Map();
|
|
215
|
-
const collectNoteHashLeafIndexMapRecursive = (callResult: PrivateCallExecutionResult, accum: Map<bigint, bigint>) => {
|
|
216
|
-
callResult.noteHashLeafIndexMap.forEach((value, key) => accum.set(key, value));
|
|
217
|
-
callResult.nestedExecutionResults.forEach(nested => collectNoteHashLeafIndexMapRecursive(nested, accum));
|
|
218
|
-
};
|
|
219
|
-
collectNoteHashLeafIndexMapRecursive(execResult.entrypoint, accum);
|
|
220
|
-
return accum;
|
|
221
|
-
}
|
|
222
|
-
|
|
223
208
|
export function collectNoteHashNullifierCounterMap(execResult: PrivateExecutionResult) {
|
|
224
209
|
const accum: Map<number, number> = new Map();
|
|
225
210
|
const collectNoteHashNullifierCounterMapRecursive = (
|
|
@@ -1,77 +0,0 @@
|
|
|
1
|
-
import { SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import { Buffer32 } from '@aztec/foundation/buffer';
|
|
3
|
-
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
|
-
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
|
-
import { Signature } from '@aztec/foundation/eth-signature';
|
|
6
|
-
import { BufferReader } from '@aztec/foundation/serialize';
|
|
7
|
-
import type { ZodFor } from '../schemas/index.js';
|
|
8
|
-
import { ConsensusPayload } from './consensus_payload.js';
|
|
9
|
-
import { Gossipable } from './gossipable.js';
|
|
10
|
-
import { TopicType } from './topic_type.js';
|
|
11
|
-
export declare class BlockAttestationHash extends Buffer32 {
|
|
12
|
-
constructor(hash: Buffer);
|
|
13
|
-
}
|
|
14
|
-
/**
|
|
15
|
-
* BlockAttestation
|
|
16
|
-
*
|
|
17
|
-
* A validator that has attested to seeing the contents of a block
|
|
18
|
-
* will produce a block attestation over the header of the block
|
|
19
|
-
*/
|
|
20
|
-
export declare class BlockAttestation extends Gossipable {
|
|
21
|
-
readonly payload: ConsensusPayload;
|
|
22
|
-
readonly signature: Signature;
|
|
23
|
-
readonly proposerSignature: Signature;
|
|
24
|
-
static p2pTopic: TopicType;
|
|
25
|
-
private sender;
|
|
26
|
-
private proposer;
|
|
27
|
-
constructor(
|
|
28
|
-
/** The payload of the message, and what the signature is over */
|
|
29
|
-
payload: ConsensusPayload,
|
|
30
|
-
/** The signature of the block attester */
|
|
31
|
-
signature: Signature,
|
|
32
|
-
/** The signature from the block proposer */
|
|
33
|
-
proposerSignature: Signature);
|
|
34
|
-
static get schema(): ZodFor<BlockAttestation>;
|
|
35
|
-
generateP2PMessageIdentifier(): Promise<Buffer32>;
|
|
36
|
-
get archive(): Fr;
|
|
37
|
-
get slotNumber(): SlotNumber;
|
|
38
|
-
/**
|
|
39
|
-
* Lazily evaluate and cache the signer of the attestation
|
|
40
|
-
* @returns The signer of the attestation, or undefined if signature recovery fails
|
|
41
|
-
*/
|
|
42
|
-
getSender(): EthAddress | undefined;
|
|
43
|
-
/**
|
|
44
|
-
* Lazily evaluate and cache the proposer of the block
|
|
45
|
-
* @returns The proposer of the block
|
|
46
|
-
*/
|
|
47
|
-
getProposer(): EthAddress | undefined;
|
|
48
|
-
getPayload(): Buffer;
|
|
49
|
-
toBuffer(): Buffer;
|
|
50
|
-
static fromBuffer(buf: Buffer | BufferReader): BlockAttestation;
|
|
51
|
-
static empty(): BlockAttestation;
|
|
52
|
-
static random(): BlockAttestation;
|
|
53
|
-
getSize(): number;
|
|
54
|
-
toInspect(): {
|
|
55
|
-
payload: {
|
|
56
|
-
header: {
|
|
57
|
-
lastArchive: `0x${string}`;
|
|
58
|
-
blockHeadersHash: `0x${string}`;
|
|
59
|
-
blobsHash: `0x${string}`;
|
|
60
|
-
inHash: `0x${string}`;
|
|
61
|
-
slotNumber: SlotNumber;
|
|
62
|
-
timestamp: bigint;
|
|
63
|
-
coinbase: `0x${string}`;
|
|
64
|
-
feeRecipient: `0x${string}`;
|
|
65
|
-
gasFees: {
|
|
66
|
-
feePerDaGas: bigint;
|
|
67
|
-
feePerL2Gas: bigint;
|
|
68
|
-
};
|
|
69
|
-
totalManaUsed: bigint;
|
|
70
|
-
};
|
|
71
|
-
archive: `0x${string}`;
|
|
72
|
-
};
|
|
73
|
-
signature: `0x${string}`;
|
|
74
|
-
proposerSignature: `0x${string}`;
|
|
75
|
-
};
|
|
76
|
-
}
|
|
77
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfYXR0ZXN0YXRpb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wMnAvYmxvY2tfYXR0ZXN0YXRpb24udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzdELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUdwRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzVELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDbEQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDMUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTdDLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU1QyxxQkFBYSxvQkFBcUIsU0FBUSxRQUFRO0lBQ2hELFlBQVksSUFBSSxFQUFFLE1BQU0sRUFFdkI7Q0FDRjtBQUVEOzs7OztHQUtHO0FBQ0gscUJBQWEsZ0JBQWlCLFNBQVEsVUFBVTthQVE1QixPQUFPLEVBQUUsZ0JBQWdCO2FBR3pCLFNBQVMsRUFBRSxTQUFTO2FBR3BCLGlCQUFpQixFQUFFLFNBQVM7SUFiOUMsT0FBZ0IsUUFBUSxZQUErQjtJQUV2RCxPQUFPLENBQUMsTUFBTSxDQUF5QjtJQUN2QyxPQUFPLENBQUMsUUFBUSxDQUF5QjtJQUV6QztJQUNFLGlFQUFpRTtJQUNqRCxPQUFPLEVBQUUsZ0JBQWdCO0lBRXpDLDBDQUEwQztJQUMxQixTQUFTLEVBQUUsU0FBUztJQUVwQyw0Q0FBNEM7SUFDNUIsaUJBQWlCLEVBQUUsU0FBUyxFQUc3QztJQUVELE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLGdCQUFnQixDQUFDLENBUTVDO0lBRVEsNEJBQTRCLElBQUksT0FBTyxDQUFDLFFBQVEsQ0FBQyxDQUV6RDtJQUVELElBQUksT0FBTyxJQUFJLEVBQUUsQ0FFaEI7SUFFRCxJQUFJLFVBQVUsSUFBSSxVQUFVLENBRTNCO0lBRUQ7OztPQUdHO0lBQ0gsU0FBUyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBU2xDO0lBRUQ7OztPQUdHO0lBQ0gsV0FBVyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBU3BDO0lBRUQsVUFBVSxJQUFJLE1BQU0sQ0FFbkI7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZ0JBQWdCLENBTzlEO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxnQkFBZ0IsQ0FFL0I7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLGdCQUFnQixDQUVoQztJQUVELE9BQU8sSUFBSSxNQUFNLENBRWhCO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O01BTVI7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"block_attestation.d.ts","sourceRoot":"","sources":["../../src/p2p/block_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,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;AAI9E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,qBAAa,oBAAqB,SAAQ,QAAQ;IAChD,YAAY,IAAI,EAAE,MAAM,EAEvB;CACF;AAED;;;;;GAKG;AACH,qBAAa,gBAAiB,SAAQ,UAAU;aAQ5B,OAAO,EAAE,gBAAgB;aAGzB,SAAS,EAAE,SAAS;aAGpB,iBAAiB,EAAE,SAAS;IAb9C,OAAgB,QAAQ,YAA+B;IAEvD,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,QAAQ,CAAyB;IAEzC;IACE,iEAAiE;IACjD,OAAO,EAAE,gBAAgB;IAEzC,0CAA0C;IAC1B,SAAS,EAAE,SAAS;IAEpC,4CAA4C;IAC5B,iBAAiB,EAAE,SAAS,EAG7C;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAQ5C;IAEQ,4BAA4B,IAAI,OAAO,CAAC,QAAQ,CAAC,CAEzD;IAED,IAAI,OAAO,IAAI,EAAE,CAEhB;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED;;;OAGG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CASlC;IAED;;;OAGG;IACH,WAAW,IAAI,UAAU,GAAG,SAAS,CASpC;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,gBAAgB,CAO9D;IAED,MAAM,CAAC,KAAK,IAAI,gBAAgB,CAE/B;IAED,MAAM,CAAC,MAAM,IAAI,gBAAgB,CAEhC;IAED,OAAO,IAAI,MAAM,CAEhB;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;MAMR;CACF"}
|