@aztec/stdlib 0.0.1-commit.d1cd2107c → 0.0.1-commit.d1da697d6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/abi/abi.d.ts +138 -1
- package/dest/abi/abi.d.ts.map +1 -1
- package/dest/abi/abi.js +10 -2
- package/dest/abi/buffer.d.ts +14 -4
- package/dest/abi/buffer.d.ts.map +1 -1
- package/dest/abi/buffer.js +25 -4
- package/dest/abi/decoder.d.ts +5 -44
- package/dest/abi/decoder.d.ts.map +1 -1
- package/dest/abi/decoder.js +12 -67
- package/dest/abi/function_selector.js +1 -1
- package/dest/abi/function_signature_decoder.d.ts +43 -0
- package/dest/abi/function_signature_decoder.d.ts.map +1 -0
- package/dest/abi/function_signature_decoder.js +66 -0
- package/dest/abi/index.d.ts +2 -1
- package/dest/abi/index.d.ts.map +1 -1
- package/dest/abi/index.js +1 -0
- package/dest/abi/selector.d.ts +2 -2
- package/dest/abi/selector.d.ts.map +1 -1
- package/dest/abi/selector.js +1 -1
- package/dest/avm/avm.d.ts +300 -300
- 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/block/l2_block_source.d.ts +90 -10
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_source.js +1 -0
- package/dest/block/l2_block_stream/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 +17 -4
- 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 +3 -2
- package/dest/checkpoint/checkpoint.d.ts +7 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +9 -1
- package/dest/checkpoint/checkpoint_data.d.ts +71 -5
- package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint_data.js +10 -0
- package/dest/checkpoint/validate.js +2 -2
- package/dest/config/index.d.ts +2 -1
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +1 -0
- package/dest/config/pipelining-config.d.ts +19 -0
- package/dest/config/pipelining-config.d.ts.map +1 -0
- package/dest/config/pipelining-config.js +18 -0
- package/dest/contract/contract_address.d.ts +3 -3
- package/dest/contract/contract_address.js +3 -3
- package/dest/contract/contract_class_id.d.ts +2 -2
- package/dest/contract/contract_class_id.js +2 -2
- package/dest/contract/index.d.ts +1 -3
- package/dest/contract/index.d.ts.map +1 -1
- package/dest/contract/index.js +0 -2
- package/dest/contract/interfaces/contract_class.d.ts +3 -156
- package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
- package/dest/contract/interfaces/contract_class.js +1 -28
- package/dest/epoch-helpers/index.d.ts +11 -1
- package/dest/epoch-helpers/index.d.ts.map +1 -1
- package/dest/epoch-helpers/index.js +16 -2
- package/dest/file-store/factory.d.ts +4 -3
- package/dest/file-store/factory.d.ts.map +1 -1
- package/dest/file-store/factory.js +2 -2
- package/dest/file-store/http.d.ts +9 -2
- package/dest/file-store/http.d.ts.map +1 -1
- package/dest/file-store/http.js +20 -9
- package/dest/file-store/index.d.ts +2 -1
- package/dest/file-store/index.d.ts.map +1 -1
- package/dest/gas/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/hash/hash.d.ts +19 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +29 -0
- package/dest/interfaces/archiver.d.ts +1 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +5 -3
- package/dest/interfaces/aztec-node-admin.d.ts +10 -6
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +2 -1
- package/dest/interfaces/aztec-node.d.ts +3 -2
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +2 -0
- package/dest/interfaces/block-builder.d.ts +32 -11
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/block-builder.js +6 -4
- package/dest/interfaces/configs.d.ts +7 -2
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +1 -0
- package/dest/interfaces/l2_logs_source.d.ts +5 -3
- package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
- package/dest/interfaces/merkle_tree_operations.d.ts +9 -19
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/prover-client.d.ts +6 -1
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +7 -1
- package/dest/interfaces/proving-job.d.ts +200 -200
- package/dest/interfaces/validator.d.ts +2 -10
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +0 -1
- package/dest/interfaces/world_state.d.ts +5 -4
- package/dest/interfaces/world_state.d.ts.map +1 -1
- package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
- package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
- package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
- package/dest/logs/index.d.ts +2 -1
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +1 -0
- package/dest/logs/log_filter.d.ts +4 -1
- package/dest/logs/log_filter.d.ts.map +1 -1
- package/dest/logs/log_filter.js +2 -1
- package/dest/logs/message_context.d.ts +4 -7
- package/dest/logs/message_context.d.ts.map +1 -1
- package/dest/logs/message_context.js +23 -9
- package/dest/logs/pending_tagged_log.d.ts +2 -3
- package/dest/logs/pending_tagged_log.d.ts.map +1 -1
- package/dest/logs/pending_tagged_log.js +2 -2
- package/dest/logs/shared_secret_derivation.d.ts +11 -10
- package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
- package/dest/logs/shared_secret_derivation.js +15 -9
- package/dest/logs/siloed_tag.d.ts +4 -1
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +7 -3
- package/dest/logs/tagging_index_range.d.ts +40 -0
- package/dest/logs/tagging_index_range.d.ts.map +1 -0
- package/dest/logs/tagging_index_range.js +8 -0
- package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
- package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
- package/dest/logs/tx_scoped_l2_log.js +7 -0
- package/dest/messaging/l1_to_l2_message.d.ts +3 -2
- package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
- package/dest/messaging/l1_to_l2_message.js +11 -13
- package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
- package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
- package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_membership.js +69 -26
- package/dest/noir/index.d.ts +3 -3
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/note/note_dao.d.ts +1 -1
- package/dest/note/note_dao.d.ts.map +1 -1
- package/dest/note/note_dao.js +1 -4
- package/dest/p2p/checkpoint_proposal.d.ts +1 -1
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +13 -11
- package/dest/proofs/chonk_proof.d.ts +46 -2
- package/dest/proofs/chonk_proof.d.ts.map +1 -1
- package/dest/proofs/chonk_proof.js +85 -10
- package/dest/tests/factories.d.ts +2 -4
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +11 -28
- package/dest/tests/mocks.d.ts +1 -1
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +2 -2
- package/dest/tx/capsule.d.ts +6 -2
- package/dest/tx/capsule.d.ts.map +1 -1
- package/dest/tx/capsule.js +9 -3
- package/dest/tx/global_variable_builder.d.ts +14 -2
- package/dest/tx/global_variable_builder.d.ts.map +1 -1
- package/dest/tx/private_execution_result.d.ts +6 -6
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +6 -6
- package/dest/tx/profiling.d.ts +14 -2
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +13 -3
- package/dest/tx/simulated_tx.d.ts +111 -3
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +2 -2
- package/dest/tx/tx_receipt.d.ts +14 -5
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +14 -18
- package/dest/tx/validator/error_texts.d.ts +5 -1
- package/dest/tx/validator/error_texts.d.ts.map +1 -1
- package/dest/tx/validator/error_texts.js +6 -0
- package/dest/update-checker/package_version.d.ts +2 -2
- package/dest/update-checker/package_version.d.ts.map +1 -1
- package/dest/update-checker/package_version.js +16 -3
- package/dest/validators/errors.d.ts +6 -1
- package/dest/validators/errors.d.ts.map +1 -1
- package/dest/validators/errors.js +7 -0
- package/dest/versioning/versioning.d.ts +4 -2
- package/dest/versioning/versioning.d.ts.map +1 -1
- package/dest/versioning/versioning.js +4 -1
- package/package.json +8 -8
- package/src/abi/abi.ts +25 -2
- package/src/abi/buffer.ts +25 -4
- package/src/abi/decoder.ts +23 -78
- package/src/abi/function_selector.ts +1 -1
- package/src/abi/function_signature_decoder.ts +77 -0
- package/src/abi/index.ts +1 -0
- package/src/abi/selector.ts +1 -1
- package/src/avm/revert_code.ts +25 -39
- package/src/block/l2_block_source.ts +20 -9
- package/src/block/l2_block_stream/l2_tips_store_base.ts +24 -12
- package/src/block/test/l2_tips_store_test_suite.ts +8 -1
- package/src/checkpoint/checkpoint.ts +11 -1
- package/src/checkpoint/checkpoint_data.ts +40 -4
- package/src/checkpoint/validate.ts +2 -2
- package/src/config/index.ts +1 -0
- package/src/config/pipelining-config.ts +31 -0
- package/src/contract/contract_address.ts +3 -3
- package/src/contract/contract_class_id.ts +2 -2
- package/src/contract/index.ts +0 -2
- package/src/contract/interfaces/contract_class.ts +2 -82
- package/src/epoch-helpers/index.ts +27 -0
- package/src/file-store/factory.ts +13 -4
- package/src/file-store/http.ts +29 -10
- package/src/file-store/index.ts +1 -0
- package/src/gas/README.md +123 -0
- package/src/gas/gas_settings.ts +65 -12
- package/src/hash/hash.ts +34 -0
- package/src/interfaces/archiver.ts +5 -3
- package/src/interfaces/aztec-node-admin.ts +4 -3
- package/src/interfaces/aztec-node.ts +10 -1
- package/src/interfaces/block-builder.ts +39 -13
- package/src/interfaces/configs.ts +4 -1
- package/src/interfaces/l2_logs_source.ts +4 -1
- package/src/interfaces/merkle_tree_operations.ts +8 -18
- package/src/interfaces/prover-client.ts +8 -0
- package/src/interfaces/validator.ts +1 -5
- package/src/interfaces/world_state.ts +4 -3
- package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
- package/src/logs/index.ts +1 -0
- package/src/logs/log_filter.ts +5 -0
- package/src/logs/message_context.ts +17 -7
- package/src/logs/pending_tagged_log.ts +1 -3
- package/src/logs/shared_secret_derivation.ts +21 -10
- package/src/logs/siloed_tag.ts +7 -2
- package/src/logs/tagging_index_range.ts +24 -0
- package/src/logs/tx_scoped_l2_log.ts +16 -0
- package/src/messaging/l1_to_l2_message.ts +12 -9
- package/src/messaging/l1_to_l2_message_source.ts +3 -1
- package/src/messaging/l2_to_l1_membership.ts +98 -33
- package/src/noir/index.ts +2 -2
- package/src/note/note_dao.ts +1 -4
- package/src/p2p/checkpoint_proposal.ts +23 -20
- package/src/proofs/chonk_proof.ts +91 -5
- package/src/tests/factories.ts +5 -34
- package/src/tests/mocks.ts +2 -2
- package/src/tx/capsule.ts +10 -2
- package/src/tx/global_variable_builder.ts +15 -0
- package/src/tx/private_execution_result.ts +5 -5
- package/src/tx/profiling.ts +11 -2
- package/src/tx/simulated_tx.ts +5 -1
- package/src/tx/tx_receipt.ts +18 -16
- package/src/tx/validator/error_texts.ts +8 -0
- package/src/update-checker/package_version.ts +19 -6
- package/src/validators/errors.ts +9 -0
- package/src/versioning/versioning.ts +4 -1
- package/dest/contract/private_function_membership_proof.d.ts +0 -32
- package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
- package/dest/contract/private_function_membership_proof.js +0 -124
- package/dest/contract/utility_function_membership_proof.d.ts +0 -27
- package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
- package/dest/contract/utility_function_membership_proof.js +0 -87
- package/src/contract/private_function_membership_proof.ts +0 -167
- package/src/contract/utility_function_membership_proof.ts +0 -118
|
@@ -5,17 +5,83 @@ import { CommitteeAttestation } from '../block/proposal/committee_attestation.js
|
|
|
5
5
|
import { CheckpointHeader } from '../rollup/checkpoint_header.js';
|
|
6
6
|
import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
|
|
7
7
|
import { L1PublishedData } from './published_checkpoint.js';
|
|
8
|
-
/**
|
|
9
|
-
export type
|
|
8
|
+
/** Base type for checkpoint data */
|
|
9
|
+
export type CommonCheckpointData = {
|
|
10
10
|
checkpointNumber: CheckpointNumber;
|
|
11
11
|
header: CheckpointHeader;
|
|
12
|
-
archive: AppendOnlyTreeSnapshot;
|
|
13
|
-
checkpointOutHash: Fr;
|
|
14
12
|
startBlock: BlockNumber;
|
|
15
13
|
blockCount: number;
|
|
14
|
+
};
|
|
15
|
+
/** Data stored with checkpoint data after publishing on l1 */
|
|
16
|
+
export type L1EnrichedCheckpointData = {
|
|
16
17
|
attestations: CommitteeAttestation[];
|
|
17
18
|
l1: L1PublishedData;
|
|
18
19
|
};
|
|
20
|
+
/** Data stored alongside checkpoint data in storage */
|
|
21
|
+
export type StorageEnrichedCheckpointData = {
|
|
22
|
+
archive: AppendOnlyTreeSnapshot;
|
|
23
|
+
checkpointOutHash: Fr;
|
|
24
|
+
};
|
|
25
|
+
/** Data stored only with proposed checkpoint data */
|
|
26
|
+
export type ProposedOnlyCheckpointData = {
|
|
27
|
+
totalManaUsed: bigint;
|
|
28
|
+
feeAssetPriceModifier: bigint;
|
|
29
|
+
};
|
|
30
|
+
/** Lightweight checkpoint metadata without full block data. */
|
|
31
|
+
export type CheckpointData = CommonCheckpointData & StorageEnrichedCheckpointData & L1EnrichedCheckpointData;
|
|
32
|
+
/** Input for setting a proposed checkpoint. The archive and checkpointOutHash are computed
|
|
33
|
+
* internally by the block store from the stored blocks. */
|
|
34
|
+
export type ProposedCheckpointInput = CommonCheckpointData & ProposedOnlyCheckpointData;
|
|
35
|
+
/** Full data for a proposed checkpoint (proposed but not yet L1-confirmed).
|
|
36
|
+
* Includes fee-relevant fields used during pipelining to compute the fee header override. */
|
|
37
|
+
export type ProposedCheckpointData = ProposedCheckpointInput & StorageEnrichedCheckpointData;
|
|
38
|
+
export declare const ProposedCheckpointDataSchema: z.ZodObject<{
|
|
39
|
+
checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
|
|
40
|
+
header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
|
|
41
|
+
archive: z.ZodEffects<z.ZodObject<{
|
|
42
|
+
root: z.ZodType<Fr, any, string>;
|
|
43
|
+
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
44
|
+
}, "strip", z.ZodTypeAny, {
|
|
45
|
+
root: Fr;
|
|
46
|
+
nextAvailableLeafIndex: number;
|
|
47
|
+
}, {
|
|
48
|
+
root: string;
|
|
49
|
+
nextAvailableLeafIndex: string | number | bigint;
|
|
50
|
+
}>, AppendOnlyTreeSnapshot, {
|
|
51
|
+
root: string;
|
|
52
|
+
nextAvailableLeafIndex: string | number | bigint;
|
|
53
|
+
}>;
|
|
54
|
+
checkpointOutHash: z.ZodType<Fr, any, string>;
|
|
55
|
+
startBlock: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
|
|
56
|
+
blockCount: z.ZodNumber;
|
|
57
|
+
totalManaUsed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
58
|
+
feeAssetPriceModifier: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
59
|
+
}, "strip", z.ZodTypeAny, {
|
|
60
|
+
checkpointNumber: number & {
|
|
61
|
+
_branding: "CheckpointNumber";
|
|
62
|
+
};
|
|
63
|
+
header: CheckpointHeader;
|
|
64
|
+
archive: AppendOnlyTreeSnapshot;
|
|
65
|
+
checkpointOutHash: Fr;
|
|
66
|
+
startBlock: number & {
|
|
67
|
+
_branding: "BlockNumber";
|
|
68
|
+
};
|
|
69
|
+
blockCount: number;
|
|
70
|
+
totalManaUsed: bigint;
|
|
71
|
+
feeAssetPriceModifier: bigint;
|
|
72
|
+
}, {
|
|
73
|
+
checkpointNumber: string | number | bigint;
|
|
74
|
+
header?: any;
|
|
75
|
+
archive: {
|
|
76
|
+
root: string;
|
|
77
|
+
nextAvailableLeafIndex: string | number | bigint;
|
|
78
|
+
};
|
|
79
|
+
checkpointOutHash: string;
|
|
80
|
+
startBlock: string | number | bigint;
|
|
81
|
+
blockCount: number;
|
|
82
|
+
totalManaUsed: string | number | bigint;
|
|
83
|
+
feeAssetPriceModifier: string | number | bigint;
|
|
84
|
+
}>;
|
|
19
85
|
export declare const CheckpointDataSchema: z.ZodEffects<z.ZodObject<{
|
|
20
86
|
checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
|
|
21
87
|
header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
|
|
@@ -117,4 +183,4 @@ export declare const CheckpointDataSchema: z.ZodEffects<z.ZodObject<{
|
|
|
117
183
|
blockHash: string;
|
|
118
184
|
};
|
|
119
185
|
}>;
|
|
120
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
186
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsb0NBQW9DO0FBQ3BDLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFDekIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0NBQ3BCLENBQUM7QUFFRiw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLHVEQUF1RDtBQUN2RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFDMUMsT0FBTyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztDQUN2QixDQUFDO0FBRUYsc0RBQXNEO0FBQ3RELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUN2QyxhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHFCQUFxQixFQUFFLE1BQU0sQ0FBQztDQUMvQixDQUFDO0FBRUYsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxjQUFjLEdBQUcsb0JBQW9CLEdBQUcsNkJBQTZCLEdBQUcsd0JBQXdCLENBQUM7QUFFN0c7NERBQzREO0FBQzVELE1BQU0sTUFBTSx1QkFBdUIsR0FBRyxvQkFBb0IsR0FBRywwQkFBMEIsQ0FBQztBQUV4Rjs4RkFDOEY7QUFDOUYsTUFBTSxNQUFNLHNCQUFzQixHQUFHLHVCQUF1QixHQUFHLDZCQUE2QixDQUFDO0FBRTdGLGVBQU8sTUFBTSw0QkFBNEI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFTdkMsQ0FBQztBQUVILGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFzQjlCLENBQUMifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checkpoint_data.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D
|
|
1
|
+
{"version":3,"file":"checkpoint_data.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,oCAAoC;AACpC,MAAM,MAAM,oBAAoB,GAAG;IACjC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,WAAW,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,8DAA8D;AAC9D,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,EAAE,EAAE,eAAe,CAAC;CACrB,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,OAAO,EAAE,sBAAsB,CAAC;IAChC,iBAAiB,EAAE,EAAE,CAAC;CACvB,CAAC;AAEF,sDAAsD;AACtD,MAAM,MAAM,0BAA0B,GAAG;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAE7G;4DAC4D;AAC5D,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,GAAG,0BAA0B,CAAC;AAExF;8FAC8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,uBAAuB,GAAG,6BAA6B,CAAC;AAE7F,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASvC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsB9B,CAAC"}
|
|
@@ -5,6 +5,16 @@ import { CommitteeAttestation } from '../block/proposal/committee_attestation.js
|
|
|
5
5
|
import { CheckpointHeader } from '../rollup/checkpoint_header.js';
|
|
6
6
|
import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
|
|
7
7
|
import { L1PublishedData } from './published_checkpoint.js';
|
|
8
|
+
export const ProposedCheckpointDataSchema = z.object({
|
|
9
|
+
checkpointNumber: CheckpointNumberSchema,
|
|
10
|
+
header: CheckpointHeader.schema,
|
|
11
|
+
archive: AppendOnlyTreeSnapshot.schema,
|
|
12
|
+
checkpointOutHash: schemas.Fr,
|
|
13
|
+
startBlock: BlockNumberSchema,
|
|
14
|
+
blockCount: z.number(),
|
|
15
|
+
totalManaUsed: schemas.BigInt,
|
|
16
|
+
feeAssetPriceModifier: schemas.BigInt
|
|
17
|
+
});
|
|
8
18
|
export const CheckpointDataSchema = z.object({
|
|
9
19
|
checkpointNumber: CheckpointNumberSchema,
|
|
10
20
|
header: CheckpointHeader.schema,
|
|
@@ -19,7 +19,7 @@ export class CheckpointValidationError extends Error {
|
|
|
19
19
|
*/ export function validateCheckpoint(checkpoint, opts) {
|
|
20
20
|
validateCheckpointStructure(checkpoint);
|
|
21
21
|
validateCheckpointLimits(checkpoint, opts);
|
|
22
|
-
|
|
22
|
+
validateCheckpointBlocksLimits(checkpoint, opts);
|
|
23
23
|
}
|
|
24
24
|
/**
|
|
25
25
|
* Validates structural integrity of a checkpoint.
|
|
@@ -66,7 +66,7 @@ export class CheckpointValidationError extends Error {
|
|
|
66
66
|
}
|
|
67
67
|
}
|
|
68
68
|
}
|
|
69
|
-
/** Validates checkpoint blocks gas limits */ function
|
|
69
|
+
/** Validates checkpoint blocks gas limits */ function validateCheckpointBlocksLimits(checkpoint, opts) {
|
|
70
70
|
const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = opts;
|
|
71
71
|
if (maxL2BlockGas !== undefined) {
|
|
72
72
|
for (const block of checkpoint.blocks){
|
package/dest/config/index.d.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
export * from './chain-config.js';
|
|
2
2
|
export * from './node-rpc-config.js';
|
|
3
|
+
export * from './pipelining-config.js';
|
|
3
4
|
export * from './sequencer-config.js';
|
|
4
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
5
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25maWcvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsd0JBQXdCLENBQUM7QUFDdkMsY0FBYyx1QkFBdUIsQ0FBQyJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,cAAc,wBAAwB,CAAC;AACvC,cAAc,uBAAuB,CAAC"}
|
package/dest/config/index.js
CHANGED
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
import { type ConfigMappingsType } from '@aztec/foundation/config';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
export type PipelineConfig = {
|
|
4
|
+
/** Whether to enable build-ahead proposer pipelining. */
|
|
5
|
+
enableProposerPipelining: boolean;
|
|
6
|
+
};
|
|
7
|
+
/**
|
|
8
|
+
* Pipelining config mappings for fields that need to be shared across packages.
|
|
9
|
+
*/
|
|
10
|
+
export declare const pipelineConfigMappings: ConfigMappingsType<PipelineConfig>;
|
|
11
|
+
export declare const PipelineConfigSchema: z.ZodObject<{
|
|
12
|
+
enableProposerPipelining: z.ZodBoolean;
|
|
13
|
+
}, "strip", z.ZodTypeAny, {
|
|
14
|
+
enableProposerPipelining: boolean;
|
|
15
|
+
}, {
|
|
16
|
+
enableProposerPipelining: boolean;
|
|
17
|
+
}>;
|
|
18
|
+
export declare function getPipelineConfigEnvVars(): PipelineConfig;
|
|
19
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGlwZWxpbmluZy1jb25maWcuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25maWcvcGlwZWxpbmluZy1jb25maWcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEtBQUssa0JBQWtCLEVBQThDLE1BQU0sMEJBQTBCLENBQUM7QUFFL0csT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLHlEQUF5RDtJQUN6RCx3QkFBd0IsRUFBRSxPQUFPLENBQUM7Q0FDbkMsQ0FBQztBQUVGOztHQUVHO0FBQ0gsZUFBTyxNQUFNLHNCQUFzQixFQUFFLGtCQUFrQixDQUFDLGNBQWMsQ0FNckUsQ0FBQztBQUVGLGVBQU8sTUFBTSxvQkFBb0I7Ozs7OztFQUloQyxDQUFDO0FBRUYsd0JBQWdCLHdCQUF3QixJQUFJLGNBQWMsQ0FFekQifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"pipelining-config.d.ts","sourceRoot":"","sources":["../../src/config/pipelining-config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,kBAAkB,EAA8C,MAAM,0BAA0B,CAAC;AAE/G,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,cAAc,GAAG;IAC3B,yDAAyD;IACzD,wBAAwB,EAAE,OAAO,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,EAAE,kBAAkB,CAAC,cAAc,CAMrE,CAAC;AAEF,eAAO,MAAM,oBAAoB;;;;;;EAIhC,CAAC;AAEF,wBAAgB,wBAAwB,IAAI,cAAc,CAEzD"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { booleanConfigHelper, getConfigFromMappings } from '@aztec/foundation/config';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
import { zodFor } from '../schemas/index.js';
|
|
4
|
+
/**
|
|
5
|
+
* Pipelining config mappings for fields that need to be shared across packages.
|
|
6
|
+
*/ export const pipelineConfigMappings = {
|
|
7
|
+
enableProposerPipelining: {
|
|
8
|
+
env: 'SEQ_ENABLE_PROPOSER_PIPELINING',
|
|
9
|
+
description: 'Whether to enable build-ahead proposer pipelining.',
|
|
10
|
+
...booleanConfigHelper(false)
|
|
11
|
+
}
|
|
12
|
+
};
|
|
13
|
+
export const PipelineConfigSchema = zodFor()(z.object({
|
|
14
|
+
enableProposerPipelining: z.boolean()
|
|
15
|
+
}));
|
|
16
|
+
export function getPipelineConfigEnvVars() {
|
|
17
|
+
return getConfigFromMappings(pipelineConfigMappings);
|
|
18
|
+
}
|
|
@@ -5,9 +5,9 @@ import type { ContractInstance } from './interfaces/contract_instance.js';
|
|
|
5
5
|
/**
|
|
6
6
|
* Returns the deployment address for a given contract instance.
|
|
7
7
|
* ```
|
|
8
|
-
* salted_initialization_hash =
|
|
9
|
-
* partial_address =
|
|
10
|
-
* address = ((
|
|
8
|
+
* salted_initialization_hash = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [salt, initialization_hash, deployer])
|
|
9
|
+
* partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
|
|
10
|
+
* address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V1, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
|
|
11
11
|
* ```
|
|
12
12
|
* @param instance - A contract instance for which to calculate the deployment address.
|
|
13
13
|
*/
|
|
@@ -8,9 +8,9 @@ import { computeAddress } from '../keys/index.js';
|
|
|
8
8
|
/**
|
|
9
9
|
* Returns the deployment address for a given contract instance.
|
|
10
10
|
* ```
|
|
11
|
-
* salted_initialization_hash =
|
|
12
|
-
* partial_address =
|
|
13
|
-
* address = ((
|
|
11
|
+
* salted_initialization_hash = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [salt, initialization_hash, deployer])
|
|
12
|
+
* partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
|
|
13
|
+
* address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V1, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
|
|
14
14
|
* ```
|
|
15
15
|
* @param instance - A contract instance for which to calculate the deployment address.
|
|
16
16
|
*/ export async function computeContractAddressFromInstance(instance) {
|
|
@@ -5,10 +5,10 @@ import type { ContractClass } from './interfaces/contract_class.js';
|
|
|
5
5
|
*
|
|
6
6
|
* ```
|
|
7
7
|
* version = 1
|
|
8
|
-
* private_function_leaves = private_functions.map(fn =>
|
|
8
|
+
* private_function_leaves = private_functions.map(fn => poseidon2(DOM_SEP__PRIVATE_FUNCTION_LEAF, [fn.function_selector as Field, fn.vk_hash]))
|
|
9
9
|
* private_functions_root = merkleize(private_function_leaves)
|
|
10
10
|
* bytecode_commitment = calculate_commitment(packed_bytecode)
|
|
11
|
-
* contract_class_id =
|
|
11
|
+
* contract_class_id = poseidon2(DOM_SEP__CONTRACT_CLASS_ID, [version, artifact_hash, private_functions_root, bytecode_commitment])
|
|
12
12
|
* ```
|
|
13
13
|
* @param contractClass - Contract class.
|
|
14
14
|
* @returns The identifier.
|
|
@@ -9,10 +9,10 @@ import { computePrivateFunctionsRoot } from './private_function.js';
|
|
|
9
9
|
*
|
|
10
10
|
* ```
|
|
11
11
|
* version = 1
|
|
12
|
-
* private_function_leaves = private_functions.map(fn =>
|
|
12
|
+
* private_function_leaves = private_functions.map(fn => poseidon2(DOM_SEP__PRIVATE_FUNCTION_LEAF, [fn.function_selector as Field, fn.vk_hash]))
|
|
13
13
|
* private_functions_root = merkleize(private_function_leaves)
|
|
14
14
|
* bytecode_commitment = calculate_commitment(packed_bytecode)
|
|
15
|
-
* contract_class_id =
|
|
15
|
+
* contract_class_id = poseidon2(DOM_SEP__CONTRACT_CLASS_ID, [version, artifact_hash, private_functions_root, bytecode_commitment])
|
|
16
16
|
* ```
|
|
17
17
|
* @param contractClass - Contract class.
|
|
18
18
|
* @returns The identifier.
|
package/dest/contract/index.d.ts
CHANGED
|
@@ -6,11 +6,9 @@ export * from './contract_deployment_data.js';
|
|
|
6
6
|
export * from './contract_instance.js';
|
|
7
7
|
export * from './contract_instance_update.js';
|
|
8
8
|
export * from './private_function.js';
|
|
9
|
-
export * from './private_function_membership_proof.js';
|
|
10
|
-
export * from './utility_function_membership_proof.js';
|
|
11
9
|
export * from './interfaces/index.js';
|
|
12
10
|
export * from './contract_function_dao.js';
|
|
13
11
|
export * from './partial_address.js';
|
|
14
12
|
export * from './deployment_info.js';
|
|
15
13
|
export * from './complete_address.js';
|
|
16
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
14
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG9CQUFvQixDQUFDO0FBQ25DLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyxxQkFBcUIsQ0FBQztBQUNwQyxjQUFjLHdCQUF3QixDQUFDO0FBQ3ZDLGNBQWMsK0JBQStCLENBQUM7QUFDOUMsY0FBYyx3QkFBd0IsQ0FBQztBQUN2QyxjQUFjLCtCQUErQixDQUFDO0FBQzlDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxjQUFjLDRCQUE0QixDQUFDO0FBQzNDLGNBQWMsc0JBQXNCLENBQUM7QUFDckMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHVCQUF1QixDQUFDIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}
|
package/dest/contract/index.js
CHANGED
|
@@ -6,8 +6,6 @@ export * from './contract_deployment_data.js';
|
|
|
6
6
|
export * from './contract_instance.js';
|
|
7
7
|
export * from './contract_instance_update.js';
|
|
8
8
|
export * from './private_function.js';
|
|
9
|
-
export * from './private_function_membership_proof.js';
|
|
10
|
-
export * from './utility_function_membership_proof.js';
|
|
11
9
|
export * from './interfaces/index.js';
|
|
12
10
|
export * from './contract_function_dao.js';
|
|
13
11
|
export * from './partial_address.js';
|
|
@@ -28,40 +28,6 @@ export interface PrivateFunction {
|
|
|
28
28
|
/** Hash of the verification key associated to this private function. */
|
|
29
29
|
vkHash: Fr;
|
|
30
30
|
}
|
|
31
|
-
/** Private function definition with executable bytecode. */
|
|
32
|
-
export interface ExecutablePrivateFunction extends PrivateFunction {
|
|
33
|
-
/** ACIR and Brillig bytecode */
|
|
34
|
-
bytecode: Buffer;
|
|
35
|
-
}
|
|
36
|
-
/** Utility function definition. */
|
|
37
|
-
export interface UtilityFunction {
|
|
38
|
-
/** Selector of the function. Calculated as the hash of the method name and parameters. The specification of this is not enforced by the protocol. */
|
|
39
|
-
selector: FunctionSelector;
|
|
40
|
-
/** Brillig. */
|
|
41
|
-
bytecode: Buffer;
|
|
42
|
-
}
|
|
43
|
-
/** Sibling paths and sibling commitments for proving membership of a private function within a contract class. */
|
|
44
|
-
export type PrivateFunctionMembershipProof = {
|
|
45
|
-
artifactMetadataHash: Fr;
|
|
46
|
-
functionMetadataHash: Fr;
|
|
47
|
-
utilityFunctionsTreeRoot: Fr;
|
|
48
|
-
privateFunctionTreeSiblingPath: Fr[];
|
|
49
|
-
privateFunctionTreeLeafIndex: number;
|
|
50
|
-
artifactTreeSiblingPath: Fr[];
|
|
51
|
-
artifactTreeLeafIndex: number;
|
|
52
|
-
};
|
|
53
|
-
/** A private function with a membership proof. */
|
|
54
|
-
export type ExecutablePrivateFunctionWithMembershipProof = ExecutablePrivateFunction & PrivateFunctionMembershipProof;
|
|
55
|
-
/** Sibling paths and commitments for proving membership of a utility function within a contract class. */
|
|
56
|
-
export type UtilityFunctionMembershipProof = {
|
|
57
|
-
artifactMetadataHash: Fr;
|
|
58
|
-
functionMetadataHash: Fr;
|
|
59
|
-
privateFunctionsArtifactTreeRoot: Fr;
|
|
60
|
-
artifactTreeSiblingPath: Fr[];
|
|
61
|
-
artifactTreeLeafIndex: number;
|
|
62
|
-
};
|
|
63
|
-
/** A utility function with a membership proof. */
|
|
64
|
-
export type UtilityFunctionWithMembershipProof = UtilityFunction & UtilityFunctionMembershipProof;
|
|
65
31
|
export declare const ContractClassSchema: z.ZodObject<{
|
|
66
32
|
version: z.ZodLiteral<1>;
|
|
67
33
|
artifactHash: z.ZodType<Fr, any, string>;
|
|
@@ -139,137 +105,18 @@ export declare const ContractClassWithIdSchema: z.ZodObject<{
|
|
|
139
105
|
packedBytecode?: any;
|
|
140
106
|
id: string;
|
|
141
107
|
}>;
|
|
142
|
-
/** A contract class with public bytecode information
|
|
143
|
-
export type ContractClassPublic =
|
|
144
|
-
privateFunctions: ExecutablePrivateFunctionWithMembershipProof[];
|
|
145
|
-
utilityFunctions: UtilityFunctionWithMembershipProof[];
|
|
146
|
-
} & Pick<ContractClassCommitments, 'id' | 'privateFunctionsRoot'> & Omit<ContractClass, 'privateFunctions'>;
|
|
108
|
+
/** A contract class with public bytecode information. */
|
|
109
|
+
export type ContractClassPublic = Pick<ContractClassCommitments, 'id' | 'privateFunctionsRoot'> & Omit<ContractClass, 'privateFunctions'>;
|
|
147
110
|
export type ContractClassPublicWithCommitment = ContractClassPublic & Pick<ContractClassCommitments, 'publicBytecodeCommitment'>;
|
|
148
111
|
export declare const ContractClassPublicSchema: z.ZodIntersection<z.ZodObject<{
|
|
149
112
|
id: z.ZodType<Fr, any, string>;
|
|
150
113
|
privateFunctionsRoot: z.ZodType<Fr, any, string>;
|
|
151
|
-
privateFunctions: z.ZodArray<z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
|
|
152
|
-
selector: import("@aztec/foundation/schemas").ZodFor<FunctionSelector>;
|
|
153
|
-
vkHash: z.ZodType<Fr, any, string>;
|
|
154
|
-
}, "strip", z.ZodTypeAny, {
|
|
155
|
-
selector: FunctionSelector;
|
|
156
|
-
vkHash: Fr;
|
|
157
|
-
}, {
|
|
158
|
-
selector?: any;
|
|
159
|
-
vkHash: string;
|
|
160
|
-
}>, z.ZodObject<{
|
|
161
|
-
bytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
|
|
162
|
-
}, "strip", z.ZodTypeAny, {
|
|
163
|
-
bytecode: Buffer<ArrayBufferLike>;
|
|
164
|
-
}, {
|
|
165
|
-
bytecode?: any;
|
|
166
|
-
}>>, z.ZodObject<{
|
|
167
|
-
artifactMetadataHash: z.ZodType<Fr, any, string>;
|
|
168
|
-
functionMetadataHash: z.ZodType<Fr, any, string>;
|
|
169
|
-
utilityFunctionsTreeRoot: z.ZodType<Fr, any, string>;
|
|
170
|
-
privateFunctionTreeSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
|
|
171
|
-
privateFunctionTreeLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
172
|
-
artifactTreeSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
|
|
173
|
-
artifactTreeLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
174
|
-
}, "strip", z.ZodTypeAny, {
|
|
175
|
-
artifactMetadataHash: Fr;
|
|
176
|
-
functionMetadataHash: Fr;
|
|
177
|
-
utilityFunctionsTreeRoot: Fr;
|
|
178
|
-
privateFunctionTreeSiblingPath: Fr[];
|
|
179
|
-
privateFunctionTreeLeafIndex: number;
|
|
180
|
-
artifactTreeSiblingPath: Fr[];
|
|
181
|
-
artifactTreeLeafIndex: number;
|
|
182
|
-
}, {
|
|
183
|
-
artifactMetadataHash: string;
|
|
184
|
-
functionMetadataHash: string;
|
|
185
|
-
utilityFunctionsTreeRoot: string;
|
|
186
|
-
privateFunctionTreeSiblingPath: string[];
|
|
187
|
-
privateFunctionTreeLeafIndex: string | number | bigint;
|
|
188
|
-
artifactTreeSiblingPath: string[];
|
|
189
|
-
artifactTreeLeafIndex: string | number | bigint;
|
|
190
|
-
}>>, "many">;
|
|
191
|
-
utilityFunctions: z.ZodArray<z.ZodIntersection<z.ZodObject<{
|
|
192
|
-
selector: import("@aztec/foundation/schemas").ZodFor<FunctionSelector>;
|
|
193
|
-
bytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
|
|
194
|
-
}, "strip", z.ZodTypeAny, {
|
|
195
|
-
selector: FunctionSelector;
|
|
196
|
-
bytecode: Buffer<ArrayBufferLike>;
|
|
197
|
-
}, {
|
|
198
|
-
selector?: any;
|
|
199
|
-
bytecode?: any;
|
|
200
|
-
}>, z.ZodObject<{
|
|
201
|
-
artifactMetadataHash: z.ZodType<Fr, any, string>;
|
|
202
|
-
functionMetadataHash: z.ZodType<Fr, any, string>;
|
|
203
|
-
privateFunctionsArtifactTreeRoot: z.ZodType<Fr, any, string>;
|
|
204
|
-
artifactTreeSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
|
|
205
|
-
artifactTreeLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
206
|
-
}, "strip", z.ZodTypeAny, {
|
|
207
|
-
artifactMetadataHash: Fr;
|
|
208
|
-
functionMetadataHash: Fr;
|
|
209
|
-
privateFunctionsArtifactTreeRoot: Fr;
|
|
210
|
-
artifactTreeSiblingPath: Fr[];
|
|
211
|
-
artifactTreeLeafIndex: number;
|
|
212
|
-
}, {
|
|
213
|
-
artifactMetadataHash: string;
|
|
214
|
-
functionMetadataHash: string;
|
|
215
|
-
privateFunctionsArtifactTreeRoot: string;
|
|
216
|
-
artifactTreeSiblingPath: string[];
|
|
217
|
-
artifactTreeLeafIndex: string | number | bigint;
|
|
218
|
-
}>>, "many">;
|
|
219
114
|
}, "strip", z.ZodTypeAny, {
|
|
220
115
|
id: Fr;
|
|
221
116
|
privateFunctionsRoot: Fr;
|
|
222
|
-
privateFunctions: ({
|
|
223
|
-
selector: FunctionSelector;
|
|
224
|
-
vkHash: Fr;
|
|
225
|
-
} & {
|
|
226
|
-
bytecode: Buffer<ArrayBufferLike>;
|
|
227
|
-
} & {
|
|
228
|
-
artifactMetadataHash: Fr;
|
|
229
|
-
functionMetadataHash: Fr;
|
|
230
|
-
utilityFunctionsTreeRoot: Fr;
|
|
231
|
-
privateFunctionTreeSiblingPath: Fr[];
|
|
232
|
-
privateFunctionTreeLeafIndex: number;
|
|
233
|
-
artifactTreeSiblingPath: Fr[];
|
|
234
|
-
artifactTreeLeafIndex: number;
|
|
235
|
-
})[];
|
|
236
|
-
utilityFunctions: ({
|
|
237
|
-
selector: FunctionSelector;
|
|
238
|
-
bytecode: Buffer<ArrayBufferLike>;
|
|
239
|
-
} & {
|
|
240
|
-
artifactMetadataHash: Fr;
|
|
241
|
-
functionMetadataHash: Fr;
|
|
242
|
-
privateFunctionsArtifactTreeRoot: Fr;
|
|
243
|
-
artifactTreeSiblingPath: Fr[];
|
|
244
|
-
artifactTreeLeafIndex: number;
|
|
245
|
-
})[];
|
|
246
117
|
}, {
|
|
247
118
|
id: string;
|
|
248
119
|
privateFunctionsRoot: string;
|
|
249
|
-
privateFunctions: ({
|
|
250
|
-
selector?: any;
|
|
251
|
-
vkHash: string;
|
|
252
|
-
} & {
|
|
253
|
-
bytecode?: any;
|
|
254
|
-
} & {
|
|
255
|
-
artifactMetadataHash: string;
|
|
256
|
-
functionMetadataHash: string;
|
|
257
|
-
utilityFunctionsTreeRoot: string;
|
|
258
|
-
privateFunctionTreeSiblingPath: string[];
|
|
259
|
-
privateFunctionTreeLeafIndex: string | number | bigint;
|
|
260
|
-
artifactTreeSiblingPath: string[];
|
|
261
|
-
artifactTreeLeafIndex: string | number | bigint;
|
|
262
|
-
})[];
|
|
263
|
-
utilityFunctions: ({
|
|
264
|
-
selector?: any;
|
|
265
|
-
bytecode?: any;
|
|
266
|
-
} & {
|
|
267
|
-
artifactMetadataHash: string;
|
|
268
|
-
functionMetadataHash: string;
|
|
269
|
-
privateFunctionsArtifactTreeRoot: string;
|
|
270
|
-
artifactTreeSiblingPath: string[];
|
|
271
|
-
artifactTreeLeafIndex: string | number | bigint;
|
|
272
|
-
})[];
|
|
273
120
|
}>, z.ZodObject<Omit<{
|
|
274
121
|
version: z.ZodLiteral<1>;
|
|
275
122
|
artifactHash: z.ZodType<Fr, any, string>;
|
|
@@ -305,4 +152,4 @@ export type ContractClassPublicWithBlockNumber = {
|
|
|
305
152
|
*/
|
|
306
153
|
export declare function contractClassPublicFromPlainObject(obj: any): ContractClassPublic;
|
|
307
154
|
export {};
|
|
308
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
155
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdC9pbnRlcmZhY2VzL2NvbnRyYWN0X2NsYXNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXRELFFBQUEsTUFBTSxPQUFPLEdBQWEsQ0FBQztBQUUzQjs7OztHQUlHO0FBQ0gsTUFBTSxXQUFXLGFBQWE7SUFDNUIscUNBQXFDO0lBQ3JDLE9BQU8sRUFBRSxPQUFPLE9BQU8sQ0FBQztJQUN4Qjs7OztPQUlHO0lBQ0gsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixtRUFBbUU7SUFDbkUsZ0JBQWdCLEVBQUUsZUFBZSxFQUFFLENBQUM7SUFDcEMsMkRBQTJEO0lBQzNELGNBQWMsRUFBRSxNQUFNLENBQUM7Q0FDeEI7QUFFRCwyREFBMkQ7QUFDM0QsTUFBTSxXQUFXLGVBQWU7SUFDOUIscUpBQXFKO0lBQ3JKLFFBQVEsRUFBRSxnQkFBZ0IsQ0FBQztJQUMzQix3RUFBd0U7SUFDeEUsTUFBTSxFQUFFLEVBQUUsQ0FBQztDQUNaO0FBU0QsZUFBTyxNQUFNLG1CQUFtQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0VBTy9CLENBQUM7QUFFRixpREFBaUQ7QUFDakQsVUFBVSx3QkFBd0I7SUFDaEMsd0NBQXdDO0lBQ3hDLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDUCx5Q0FBeUM7SUFDekMsd0JBQXdCLEVBQUUsRUFBRSxDQUFDO0lBQzdCLDBDQUEwQztJQUMxQyxvQkFBb0IsRUFBRSxFQUFFLENBQUM7Q0FDMUI7QUFFRCxnREFBZ0Q7QUFDaEQsTUFBTSxNQUFNLG1CQUFtQixHQUFHLGFBQWEsR0FBRyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsSUFBSSxDQUFDLENBQUM7QUFFdkYsZUFBTyxNQUFNLHlCQUF5Qjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztFQUlyQyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsSUFBSSxHQUFHLHNCQUFzQixDQUFDLEdBQzdGLElBQUksQ0FBQyxhQUFhLEVBQUUsa0JBQWtCLENBQUMsQ0FBQztBQUUxQyxNQUFNLE1BQU0saUNBQWlDLEdBQUcsbUJBQW1CLEdBQ2pFLElBQUksQ0FBQyx3QkFBd0IsRUFBRSwwQkFBMEIsQ0FBQyxDQUFDO0FBRTdELGVBQU8sTUFBTSx5QkFBeUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0FPckMsQ0FBQztBQUVGLHFFQUFxRTtBQUNyRSxNQUFNLE1BQU0sa0NBQWtDLEdBQUc7SUFBRSxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FBRyxtQkFBbUIsQ0FBQztBQUVqRzs7Ozs7R0FLRztBQUNILHdCQUFnQixrQ0FBa0MsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLG1CQUFtQixDQVFoRiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract_class.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/contract_class.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,QAAA,MAAM,OAAO,GAAa,CAAC;AAE3B;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,qCAAqC;IACrC,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB;;;;OAIG;IACH,YAAY,EAAE,EAAE,CAAC;IACjB,mEAAmE;IACnE,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,2DAA2D;IAC3D,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,2DAA2D;AAC3D,MAAM,WAAW,eAAe;IAC9B,qJAAqJ;IACrJ,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,wEAAwE;IACxE,MAAM,EAAE,EAAE,CAAC;CACZ;AASD,
|
|
1
|
+
{"version":3,"file":"contract_class.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/contract_class.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,QAAA,MAAM,OAAO,GAAa,CAAC;AAE3B;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,qCAAqC;IACrC,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB;;;;OAIG;IACH,YAAY,EAAE,EAAE,CAAC;IACjB,mEAAmE;IACnE,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,2DAA2D;IAC3D,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,2DAA2D;AAC3D,MAAM,WAAW,eAAe;IAC9B,qJAAqJ;IACrJ,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,wEAAwE;IACxE,MAAM,EAAE,EAAE,CAAC;CACZ;AASD,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO/B,CAAC;AAEF,iDAAiD;AACjD,UAAU,wBAAwB;IAChC,wCAAwC;IACxC,EAAE,EAAE,EAAE,CAAC;IACP,yCAAyC;IACzC,wBAAwB,EAAE,EAAE,CAAC;IAC7B,0CAA0C;IAC1C,oBAAoB,EAAE,EAAE,CAAC;CAC1B;AAED,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAAG,aAAa,GAAG,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,CAAC;AAEvF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrC,CAAC;AAEF,yDAAyD;AACzD,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,wBAAwB,EAAE,IAAI,GAAG,sBAAsB,CAAC,GAC7F,IAAI,CAAC,aAAa,EAAE,kBAAkB,CAAC,CAAC;AAE1C,MAAM,MAAM,iCAAiC,GAAG,mBAAmB,GACjE,IAAI,CAAC,wBAAwB,EAAE,0BAA0B,CAAC,CAAC;AAE7D,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAOrC,CAAC;AAEF,qEAAqE;AACrE,MAAM,MAAM,kCAAkC,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,GAAG,mBAAmB,CAAC;AAEjG;;;;;GAKG;AACH,wBAAgB,kCAAkC,CAAC,GAAG,EAAE,GAAG,GAAG,mBAAmB,CAQhF"}
|
|
@@ -7,29 +7,6 @@ const PrivateFunctionSchema = zodFor()(z.object({
|
|
|
7
7
|
selector: FunctionSelector.schema,
|
|
8
8
|
vkHash: schemas.Fr
|
|
9
9
|
}));
|
|
10
|
-
const ExecutablePrivateFunctionSchema = zodFor()(PrivateFunctionSchema.and(z.object({
|
|
11
|
-
bytecode: schemas.Buffer
|
|
12
|
-
})));
|
|
13
|
-
const UtilityFunctionSchema = zodFor()(z.object({
|
|
14
|
-
selector: FunctionSelector.schema,
|
|
15
|
-
bytecode: schemas.Buffer
|
|
16
|
-
}));
|
|
17
|
-
const PrivateFunctionMembershipProofSchema = zodFor()(z.object({
|
|
18
|
-
artifactMetadataHash: schemas.Fr,
|
|
19
|
-
functionMetadataHash: schemas.Fr,
|
|
20
|
-
utilityFunctionsTreeRoot: schemas.Fr,
|
|
21
|
-
privateFunctionTreeSiblingPath: z.array(schemas.Fr),
|
|
22
|
-
privateFunctionTreeLeafIndex: schemas.Integer,
|
|
23
|
-
artifactTreeSiblingPath: z.array(schemas.Fr),
|
|
24
|
-
artifactTreeLeafIndex: schemas.Integer
|
|
25
|
-
}));
|
|
26
|
-
const UtilityFunctionMembershipProofSchema = zodFor()(z.object({
|
|
27
|
-
artifactMetadataHash: schemas.Fr,
|
|
28
|
-
functionMetadataHash: schemas.Fr,
|
|
29
|
-
privateFunctionsArtifactTreeRoot: schemas.Fr,
|
|
30
|
-
artifactTreeSiblingPath: z.array(schemas.Fr),
|
|
31
|
-
artifactTreeLeafIndex: schemas.Integer
|
|
32
|
-
}));
|
|
33
10
|
export const ContractClassSchema = zodFor()(z.object({
|
|
34
11
|
version: z.literal(VERSION),
|
|
35
12
|
artifactHash: schemas.Fr,
|
|
@@ -41,9 +18,7 @@ export const ContractClassWithIdSchema = zodFor()(ContractClassSchema.extend({
|
|
|
41
18
|
}));
|
|
42
19
|
export const ContractClassPublicSchema = zodFor()(z.object({
|
|
43
20
|
id: schemas.Fr,
|
|
44
|
-
privateFunctionsRoot: schemas.Fr
|
|
45
|
-
privateFunctions: z.array(ExecutablePrivateFunctionSchema.and(PrivateFunctionMembershipProofSchema)),
|
|
46
|
-
utilityFunctions: z.array(UtilityFunctionSchema.and(UtilityFunctionMembershipProofSchema))
|
|
21
|
+
privateFunctionsRoot: schemas.Fr
|
|
47
22
|
}).and(ContractClassSchema.omit({
|
|
48
23
|
privateFunctions: true
|
|
49
24
|
})));
|
|
@@ -58,8 +33,6 @@ export const ContractClassPublicSchema = zodFor()(z.object({
|
|
|
58
33
|
version: 1,
|
|
59
34
|
artifactHash: Fr.fromPlainObject(obj.artifactHash),
|
|
60
35
|
privateFunctionsRoot: Fr.fromPlainObject(obj.privateFunctionsRoot),
|
|
61
|
-
privateFunctions: [],
|
|
62
|
-
utilityFunctions: [],
|
|
63
36
|
packedBytecode: obj.packedBytecode instanceof Buffer ? obj.packedBytecode : Buffer.from(obj.packedBytecode)
|
|
64
37
|
};
|
|
65
38
|
}
|
|
@@ -8,6 +8,7 @@ export type L1RollupConstants = {
|
|
|
8
8
|
ethereumSlotDuration: number;
|
|
9
9
|
proofSubmissionEpochs: number;
|
|
10
10
|
targetCommitteeSize: number;
|
|
11
|
+
rollupManaLimit: number;
|
|
11
12
|
};
|
|
12
13
|
export declare const EmptyL1RollupConstants: L1RollupConstants;
|
|
13
14
|
export declare const L1RollupConstantsSchema: z.ZodObject<{
|
|
@@ -18,6 +19,7 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
|
|
|
18
19
|
ethereumSlotDuration: z.ZodNumber;
|
|
19
20
|
proofSubmissionEpochs: z.ZodNumber;
|
|
20
21
|
targetCommitteeSize: z.ZodNumber;
|
|
22
|
+
rollupManaLimit: z.ZodNumber;
|
|
21
23
|
}, "strip", z.ZodTypeAny, {
|
|
22
24
|
l1StartBlock: bigint;
|
|
23
25
|
l1GenesisTime: bigint;
|
|
@@ -26,6 +28,7 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
|
|
|
26
28
|
ethereumSlotDuration: number;
|
|
27
29
|
proofSubmissionEpochs: number;
|
|
28
30
|
targetCommitteeSize: number;
|
|
31
|
+
rollupManaLimit: number;
|
|
29
32
|
}, {
|
|
30
33
|
l1StartBlock: string | number | bigint;
|
|
31
34
|
l1GenesisTime: string | number | bigint;
|
|
@@ -34,11 +37,16 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
|
|
|
34
37
|
ethereumSlotDuration: number;
|
|
35
38
|
proofSubmissionEpochs: number;
|
|
36
39
|
targetCommitteeSize: number;
|
|
40
|
+
rollupManaLimit: number;
|
|
37
41
|
}>;
|
|
38
42
|
/** Returns the timestamp for a given L2 slot. */
|
|
39
43
|
export declare function getTimestampForSlot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): bigint;
|
|
40
44
|
/** Returns the slot number for a given timestamp. */
|
|
41
45
|
export declare function getSlotAtTimestamp(ts: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): SlotNumber;
|
|
46
|
+
/** Returns the timestamp of the next L1 slot boundary after the given wall-clock time. */
|
|
47
|
+
export declare function getNextL1SlotTimestamp(nowInSeconds: number, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'ethereumSlotDuration'>): bigint;
|
|
48
|
+
/** Returns the timestamp of the last L1 slot within a given L2 slot. */
|
|
49
|
+
export declare function getLastL1SlotTimestampForL2Slot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): bigint;
|
|
42
50
|
/** Returns the L2 slot number at the next L1 block based on the current timestamp. */
|
|
43
51
|
export declare function getSlotAtNextL1Block(currentL1Timestamp: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): SlotNumber;
|
|
44
52
|
/** Returns the epoch number for a given timestamp. */
|
|
@@ -66,6 +74,8 @@ export declare function getProofSubmissionDeadlineEpoch(epochNumber: EpochNumber
|
|
|
66
74
|
* Computed as the start of the given epoch plus the proof submission window.
|
|
67
75
|
*/
|
|
68
76
|
export declare function getProofSubmissionDeadlineTimestamp(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration' | 'proofSubmissionEpochs'>): bigint;
|
|
77
|
+
/** Computes the quorum size required for a committee (⌊2n/3⌋ + 1). */
|
|
78
|
+
export declare function computeQuorum(committeeSize: number): number;
|
|
69
79
|
/** Returns the timestamp to start building a block for a given L2 slot. Computed as the start timestamp of the slot minus one L1 slot duration. */
|
|
70
80
|
export declare function getSlotStartBuildTimestamp(slotNumber: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): number;
|
|
71
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
81
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcG9jaC1oZWxwZXJzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDN0IscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0lBQzlCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixlQUFlLEVBQUUsTUFBTSxDQUFDO0NBQ3pCLENBQUM7QUFFRixlQUFPLE1BQU0sc0JBQXNCLEVBQUUsaUJBU3BDLENBQUM7QUFFRixlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFXbkMsQ0FBQztBQUVGLGlEQUFpRDtBQUNqRCx3QkFBZ0IsbUJBQW1CLENBQ2pDLElBQUksRUFBRSxVQUFVLEVBQ2hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsQ0FBQyxVQUdyRTtBQUVELHFEQUFxRDtBQUNyRCx3QkFBZ0Isa0JBQWtCLENBQ2hDLEVBQUUsRUFBRSxNQUFNLEVBQ1YsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxDQUFDLEdBQ25FLFVBQVUsQ0FJWjtBQUVELDBGQUEwRjtBQUMxRix3QkFBZ0Isc0JBQXNCLENBQ3BDLFlBQVksRUFBRSxNQUFNLEVBQ3BCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLHNCQUFzQixDQUFDLEdBQzNFLE1BQU0sQ0FLUjtBQUVELHdFQUF3RTtBQUN4RSx3QkFBZ0IsK0JBQStCLENBQzdDLElBQUksRUFBRSxVQUFVLEVBQ2hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FBQyxHQUM1RixNQUFNLENBRVI7QUFFRCxzRkFBc0Y7QUFDdEYsd0JBQWdCLG9CQUFvQixDQUNsQyxrQkFBa0IsRUFBRSxNQUFNLEVBQzFCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FBQyxHQUM1RixVQUFVLENBR1o7QUFFRCxzREFBc0Q7QUFDdEQsd0JBQWdCLHlCQUF5QixDQUN2QyxFQUFFLEVBQUUsTUFBTSxFQUNWLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsR0FDckYsV0FBVyxDQUViO0FBRUQsaURBQWlEO0FBQ2pELHdCQUFnQixjQUFjLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUFHLFdBQVcsQ0FFakg7QUFFRCwwRUFBMEU7QUFDMUUsd0JBQWdCLG9CQUFvQixDQUNsQyxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUMsQ0FHMUI7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLEdBQUcsc0JBQXNCLENBQUMsR0FDOUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBU2xCO0FBRUQ7O0dBRUc7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsVUFJdkY7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IsK0JBQStCLENBQzdDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsdUJBQXVCLENBQUMsR0FDMUQsV0FBVyxDQUViO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLG1DQUFtQyxDQUNqRCxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsZUFBZSxHQUFHLHVCQUF1QixDQUFDLFVBT2pIO0FBRUQsMEVBQXNFO0FBQ3RFLHdCQUFnQixhQUFhLENBQUMsYUFBYSxFQUFFLE1BQU0sR0FBRyxNQUFNLENBRTNEO0FBRUQsbUpBQW1KO0FBQ25KLHdCQUFnQiwwQkFBMEIsQ0FDeEMsVUFBVSxFQUFFLFVBQVUsRUFDdEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLHNCQUFzQixDQUFDLEdBQzVGLE1BQU0sQ0FFUiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,iBASpC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWnC,CAAC;AAEF,iDAAiD;AACjD,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,UAGrE;AAED,qDAAqD;AACrD,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,GACnE,UAAU,CAIZ;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,sBAAsB,CAAC,GAC3E,MAAM,CAKR;AAED,wEAAwE;AACxE,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER;AAED,sFAAsF;AACtF,wBAAgB,oBAAoB,CAClC,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,UAAU,CAGZ;AAED,sDAAsD;AACtD,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,GACrF,WAAW,CAEb;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAAG,WAAW,CAEjH;AAED,0EAA0E;AAC1E,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,CAAC,UAAU,EAAE,UAAU,CAAC,CAG1B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,CAAC,GAC9G,CAAC,MAAM,EAAE,MAAM,CAAC,CASlB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,UAIvF;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,uBAAuB,CAAC,GAC1D,WAAW,CAEb;AAED;;;GAGG;AACH,wBAAgB,mCAAmC,CACjD,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,uBAAuB,CAAC,UAOjH;AAED,0EAAsE;AACtE,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,mJAAmJ;AACnJ,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER"}
|