import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants'; import { Fr } from '@aztec/foundation/curves/bn254'; import { BufferReader, type Tuple } from '@aztec/foundation/serialize'; import type { FieldsOf } from '@aztec/foundation/types'; import { ParityPublicInputs } from '../parity/parity_public_inputs.js'; import { type RollupHonkProofData, type UltraHonkProofData } from '../proofs/proof_data.js'; import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js'; import { StateReference } from '../tx/state_reference.js'; import type { UInt64 } from '../types/shared.js'; import { CheckpointConstantData } from './checkpoint_constant_data.js'; import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js'; export declare class BlockRootFirstRollupPrivateInputs { /** * The original and converted roots of the L1 to L2 messages subtrees. */ l1ToL2Roots: UltraHonkProofData; /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollups: [RollupHonkProofData, RollupHonkProofData]; /** * The l1 to l2 message tree snapshot immediately before this block. */ previousL1ToL2: AppendOnlyTreeSnapshot; /** * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`. */ newL1ToL2MessageSubtreeRootSiblingPath: Tuple; /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple; constructor( /** * The original and converted roots of the L1 to L2 messages subtrees. */ l1ToL2Roots: UltraHonkProofData, /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollups: [RollupHonkProofData, RollupHonkProofData], /** * The l1 to l2 message tree snapshot immediately before this block. */ previousL1ToL2: AppendOnlyTreeSnapshot, /** * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`. */ newL1ToL2MessageSubtreeRootSiblingPath: Tuple, /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple); static from(fields: FieldsOf): BlockRootFirstRollupPrivateInputs; static getFields(fields: FieldsOf): readonly [UltraHonkProofData, [RollupHonkProofData, RollupHonkProofData], AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]]; toBuffer(): Buffer; static fromBuffer(buffer: Buffer | BufferReader): BlockRootFirstRollupPrivateInputs; toJSON(): Buffer; static get schema(): import("zod").ZodType; } export declare class BlockRootSingleTxFirstRollupPrivateInputs { /** * The original and converted roots of the L1 to L2 messages subtrees. */ l1ToL2Roots: UltraHonkProofData; /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollup: RollupHonkProofData; /** * The l1 to l2 message tree snapshot immediately before this block. */ previousL1ToL2: AppendOnlyTreeSnapshot; /** * Hint for inserting the new l1 to l2 message subtree root. */ newL1ToL2MessageSubtreeRootSiblingPath: Tuple; /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple; constructor( /** * The original and converted roots of the L1 to L2 messages subtrees. */ l1ToL2Roots: UltraHonkProofData, /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollup: RollupHonkProofData, /** * The l1 to l2 message tree snapshot immediately before this block. */ previousL1ToL2: AppendOnlyTreeSnapshot, /** * Hint for inserting the new l1 to l2 message subtree root. */ newL1ToL2MessageSubtreeRootSiblingPath: Tuple, /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple); static from(fields: FieldsOf): BlockRootSingleTxFirstRollupPrivateInputs; static getFields(fields: FieldsOf): readonly [UltraHonkProofData, RollupHonkProofData, AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]]; toBuffer(): Buffer; static fromBuffer(buffer: Buffer | BufferReader): BlockRootSingleTxFirstRollupPrivateInputs; toJSON(): Buffer; static get schema(): import("zod").ZodType; } export declare class BlockRootEmptyTxFirstRollupPrivateInputs { /** * The original and converted roots of the L1 to L2 messages subtrees. */ l1ToL2Roots: UltraHonkProofData; /** * The archive after applying the previous block. */ previousArchive: AppendOnlyTreeSnapshot; /** * The state reference of the previous block. */ previousState: StateReference; /** * The constants of the checkpoint. */ constants: CheckpointConstantData; /** * The timestamp of this block. */ timestamp: UInt64; /** * Hint for inserting the new l1 to l2 message subtree root. */ newL1ToL2MessageSubtreeRootSiblingPath: Tuple; /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple; constructor( /** * The original and converted roots of the L1 to L2 messages subtrees. */ l1ToL2Roots: UltraHonkProofData, /** * The archive after applying the previous block. */ previousArchive: AppendOnlyTreeSnapshot, /** * The state reference of the previous block. */ previousState: StateReference, /** * The constants of the checkpoint. */ constants: CheckpointConstantData, /** * The timestamp of this block. */ timestamp: UInt64, /** * Hint for inserting the new l1 to l2 message subtree root. */ newL1ToL2MessageSubtreeRootSiblingPath: Tuple, /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple); static from(fields: FieldsOf): BlockRootEmptyTxFirstRollupPrivateInputs; static getFields(fields: FieldsOf): readonly [UltraHonkProofData, AppendOnlyTreeSnapshot, StateReference, CheckpointConstantData, bigint, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]]; toBuffer(): Buffer; static fromBuffer(buffer: Buffer | BufferReader): BlockRootEmptyTxFirstRollupPrivateInputs; toJSON(): Buffer; static get schema(): import("zod").ZodType; } export declare class BlockRootRollupPrivateInputs { /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollups: [RollupHonkProofData, RollupHonkProofData]; /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple; constructor( /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollups: [RollupHonkProofData, RollupHonkProofData], /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple); static from(fields: FieldsOf): BlockRootRollupPrivateInputs; static getFields(fields: FieldsOf): readonly [[RollupHonkProofData, RollupHonkProofData], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]]; toBuffer(): Buffer; static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupPrivateInputs; toJSON(): Buffer; static get schema(): import("zod").ZodType; } export declare class BlockRootSingleTxRollupPrivateInputs { /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollup: RollupHonkProofData; /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple; constructor( /** * The previous rollup proof data from base or merge rollup circuits. */ previousRollup: RollupHonkProofData, /** * Hint for inserting the new block hash to the last archive. */ newArchiveSiblingPath: Tuple); static from(fields: FieldsOf): BlockRootSingleTxRollupPrivateInputs; static getFields(fields: FieldsOf): readonly [RollupHonkProofData, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]]; toBuffer(): Buffer; static fromBuffer(buffer: Buffer | BufferReader): BlockRootSingleTxRollupPrivateInputs; toJSON(): Buffer; static get schema(): import("zod").ZodType; } //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmxvY2tfcm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGNBQWMsRUFBRSw2Q0FBNkMsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQ2pHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUF1QyxNQUFNLDZCQUE2QixDQUFDO0FBQzVHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZFLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLEtBQUssa0JBQWtCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN2RyxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDMUQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDdkUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFcEUscUJBQWEsaUNBQWlDO0lBRTFDOztPQUVHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDO0lBQzFEOztPQUVHO0lBQ0ksZUFBZSxFQUFFLENBQUMsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsRUFBRSxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxDQUFDO0lBQzlHOztPQUVHO0lBQ0ksY0FBYyxFQUFFLHNCQUFzQjtJQUM3Qzs7T0FFRztJQUNJLHNDQUFzQyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyw2Q0FBNkMsQ0FBQztJQUM5Rzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUM7SUFwQmhFO0lBQ0U7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLENBQUM7SUFDMUQ7O09BRUc7SUFDSSxlQUFlLEVBQUUsQ0FBQyxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxFQUFFLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLENBQUM7SUFDOUc7O09BRUc7SUFDSSxjQUFjLEVBQUUsc0JBQXNCO0lBQzdDOztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDZDQUE2QyxDQUFDO0lBQzlHOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQyxFQUM1RDtJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxpQ0FBaUMsQ0FBQyxxQ0FFOUQ7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsaUNBQWlDLENBQUMseVlBUW5FO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHFDQVM5QztJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSwwRUFFaEI7Q0FDRjtBQUVELHFCQUFhLHlDQUF5QztJQUVsRDs7T0FFRztJQUNJLFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxrQkFBa0IsQ0FBQztJQUMxRDs7T0FFRztJQUNJLGNBQWMsRUFBRSxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQztJQUNoRTs7T0FFRztJQUNJLGNBQWMsRUFBRSxzQkFBc0I7SUFDN0M7O09BRUc7SUFDSSxzQ0FBc0MsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sNkNBQTZDLENBQUM7SUFDOUc7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBcEJoRTtJQUNFOztPQUVHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDO0lBQzFEOztPQUVHO0lBQ0ksY0FBYyxFQUFFLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDO0lBQ2hFOztPQUVHO0lBQ0ksY0FBYyxFQUFFLHNCQUFzQjtJQUM3Qzs7T0FFRztJQUNJLHNDQUFzQyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyw2Q0FBNkMsQ0FBQztJQUM5Rzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUMsRUFDNUQ7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMseUNBQXlDLENBQUMsNkNBSXRFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHlDQUF5QyxDQUFDLDRWQVEzRTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSw2Q0FTOUM7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0sa0ZBRWhCO0NBQ0Y7QUFFRCxxQkFBYSx3Q0FBd0M7SUFFakQ7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLENBQUM7SUFDMUQ7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLGNBQWM7SUFDcEM7O09BRUc7SUFDSSxTQUFTLEVBQUUsc0JBQXNCO0lBQ3hDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU07SUFDeEI7O09BRUc7SUFDSSxzQ0FBc0MsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sNkNBQTZDLENBQUM7SUFDOUc7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBNUJoRTtJQUNFOztPQUVHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDO0lBQzFEOztPQUVHO0lBQ0ksZUFBZSxFQUFFLHNCQUFzQjtJQUM5Qzs7T0FFRztJQUNJLGFBQWEsRUFBRSxjQUFjO0lBQ3BDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLHNCQUFzQjtJQUN4Qzs7T0FFRztJQUNJLFNBQVMsRUFBRSxNQUFNO0lBQ3hCOztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDZDQUE2QyxDQUFDO0lBQzlHOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQyxFQUM1RDtJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyx3Q0FBd0MsQ0FBQyw0Q0FFckU7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsd0NBQXdDLENBQUMsaVdBVTFFO0lBRUQsUUFBUSw0QkFVUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDRDQVc5QztJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSxpRkFFaEI7Q0FDRjtBQUVELHFCQUFhLDRCQUE0QjtJQUVyQzs7T0FFRztJQUNJLGVBQWUsRUFBRSxDQUFDLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLEVBQUUsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsQ0FBQztJQUM5Rzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUM7SUFSaEU7SUFDRTs7T0FFRztJQUNJLGVBQWUsRUFBRSxDQUFDLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLEVBQUUsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsQ0FBQztJQUM5Rzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUMsRUFDNUQ7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsNEJBQTRCLENBQUMsZ0NBRXpEO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDRCQUE0QixDQUFDLCtOQUU5RDtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxnQ0FNOUM7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0scUVBRWhCO0NBQ0Y7QUFFRCxxQkFBYSxvQ0FBb0M7SUFFN0M7O09BRUc7SUFDSSxjQUFjLEVBQUUsbUJBQW1CLENBQUMsb0JBQW9CLENBQUM7SUFDaEU7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBUmhFO0lBQ0U7O09BRUc7SUFDSSxjQUFjLEVBQUUsbUJBQW1CLENBQUMsb0JBQW9CLENBQUM7SUFDaEU7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDLEVBQzVEO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG9DQUFvQyxDQUFDLHdDQUVqRTtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxvQ0FBb0MsQ0FBQyxrTEFFdEU7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksd0NBTTlDO0lBRUQsTUFBTSw0QkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLDZFQUVoQjtDQUNGIn0=