@aztec/noir-protocol-circuits-types 0.77.0-testnet-ignition.27 → 0.77.0-testnet-ignition.29

package/dest/types/index.d.ts

@@ -0,0 +1,759 @@
+import { type CompiledCircuit, type ForeignCallHandler } from "@noir-lang/noir_js";
+export { type ForeignCallHandler } from "@noir-lang/noir_js";
+export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & {
+    length: L;
+};
+export type Field = string;
+export type u32 = string;
+export type u64 = string;
+export type u8 = string;
+export type u128 = string;
+export type BaseParityInputs = {
+    msgs: FixedLengthArray<Field, 4>;
+    vk_tree_root: Field;
+};
+export type ParityPublicInputs = {
+    sha_root: Field;
+    converted_root: Field;
+    vk_tree_root: Field;
+};
+export type RootParityInputs = {
+    children: FixedLengthArray<RootParityInput, 4>;
+};
+export type RootParityInput = {
+    proof: RecursiveProof;
+    verification_key: VerificationKey<128>;
+    vk_path: FixedLengthArray<Field, 6>;
+    public_inputs: ParityPublicInputs;
+};
+export type RecursiveProof = {
+    fields: FixedLengthArray<Field, 459>;
+};
+export type VerificationKey<A extends number> = {
+    key: FixedLengthArray<Field, A>;
+    hash: Field;
+};
+export type TxRequest = {
+    origin: AztecAddress;
+    args_hash: Field;
+    tx_context: TxContext;
+    function_data: FunctionData;
+};
+export type AztecAddress = {
+    inner: Field;
+};
+export type TxContext = {
+    chain_id: Field;
+    version: Field;
+    gas_settings: GasSettings;
+};
+export type FunctionData = {
+    selector: FunctionSelector;
+    is_private: boolean;
+};
+export type GasSettings = {
+    gas_limits: Gas;
+    teardown_gas_limits: Gas;
+    max_fees_per_gas: GasFees;
+    max_priority_fees_per_gas: GasFees;
+};
+export type FunctionSelector = {
+    inner: u32;
+};
+export type Gas = {
+    da_gas: u32;
+    l2_gas: u32;
+};
+export type GasFees = {
+    fee_per_da_gas: Field;
+    fee_per_l2_gas: Field;
+};
+export type PrivateCallDataWithoutPublicInputs = {
+    vk: VerificationKey<143>;
+    verification_key_hints: PrivateVerificationKeyHints;
+};
+export type PrivateVerificationKeyHints = {
+    salted_initialization_hash: SaltedInitializationHash;
+    public_keys: PublicKeys;
+    contract_class_artifact_hash: Field;
+    contract_class_public_bytecode_commitment: Field;
+    function_leaf_membership_witness: MembershipWitness<5>;
+    protocol_contract_membership_witness: MembershipWitness<3>;
+    protocol_contract_leaf: ProtocolContractLeafPreimage;
+    acir_hash: Field;
+    updated_class_id_witness: MembershipWitness<40>;
+    updated_class_id_leaf: PublicDataTreeLeafPreimage;
+    updated_class_id_shared_mutable_values: FixedLengthArray<Field, 3>;
+};
+export type SaltedInitializationHash = {
+    inner: Field;
+};
+export type PublicKeys = {
+    npk_m: NpkM;
+    ivpk_m: IvpkM;
+    ovpk_m: OvpkM;
+    tpk_m: TpkM;
+};
+export type MembershipWitness<A extends number> = {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, A>;
+};
+export type ProtocolContractLeafPreimage = {
+    address: Field;
+    next_address: Field;
+};
+export type PublicDataTreeLeafPreimage = {
+    slot: Field;
+    value: Field;
+    next_slot: Field;
+    next_index: u32;
+};
+export type NpkM = {
+    inner: EmbeddedCurvePoint;
+};
+export type IvpkM = {
+    inner: EmbeddedCurvePoint;
+};
+export type OvpkM = {
+    inner: EmbeddedCurvePoint;
+};
+export type TpkM = {
+    inner: EmbeddedCurvePoint;
+};
+export type EmbeddedCurvePoint = {
+    x: Field;
+    y: Field;
+    is_infinite: boolean;
+};
+export type PrivateCircuitPublicInputs = {
+    call_context: CallContext;
+    args_hash: Field;
+    returns_hash: Field;
+    min_revertible_side_effect_counter: u32;
+    is_fee_payer: boolean;
+    max_block_number: MaxBlockNumber;
+    note_hash_read_requests: FixedLengthArray<ReadRequest, 16>;
+    nullifier_read_requests: FixedLengthArray<ReadRequest, 16>;
+    key_validation_requests_and_generators: FixedLengthArray<KeyValidationRequestAndGenerator, 16>;
+    note_hashes: FixedLengthArray<NoteHash, 16>;
+    nullifiers: FixedLengthArray<Nullifier, 16>;
+    private_call_requests: FixedLengthArray<PrivateCallRequest, 5>;
+    public_call_requests: FixedLengthArray<Counted, 16>;
+    public_teardown_call_request: PublicCallRequest;
+    l2_to_l1_msgs: FixedLengthArray<L2ToL1Message, 2>;
+    private_logs: FixedLengthArray<PrivateLogData, 16>;
+    contract_class_logs_hashes: FixedLengthArray<LogHash, 1>;
+    start_side_effect_counter: u32;
+    end_side_effect_counter: u32;
+    historical_header: BlockHeader;
+    tx_context: TxContext;
+};
+export type CallContext = {
+    msg_sender: AztecAddress;
+    contract_address: AztecAddress;
+    function_selector: FunctionSelector;
+    is_static_call: boolean;
+};
+export type MaxBlockNumber = {
+    _opt: Option;
+};
+export type ReadRequest = {
+    value: Field;
+    counter: u32;
+};
+export type KeyValidationRequestAndGenerator = {
+    request: KeyValidationRequest;
+    sk_app_generator: Field;
+};
+export type NoteHash = {
+    value: Field;
+    counter: u32;
+};
+export type Nullifier = {
+    value: Field;
+    counter: u32;
+    note_hash: Field;
+};
+export type PrivateCallRequest = {
+    call_context: CallContext;
+    args_hash: Field;
+    returns_hash: Field;
+    start_side_effect_counter: u32;
+    end_side_effect_counter: u32;
+};
+export type Counted = {
+    inner: PublicCallRequest;
+    counter: u32;
+};
+export type PublicCallRequest = {
+    msg_sender: AztecAddress;
+    contract_address: AztecAddress;
+    function_selector: FunctionSelector;
+    is_static_call: boolean;
+    args_hash: Field;
+};
+export type L2ToL1Message = {
+    recipient: EthAddress;
+    content: Field;
+    counter: u32;
+};
+export type PrivateLogData = {
+    log: Log<18>;
+    note_hash_counter: u32;
+    counter: u32;
+};
+export type LogHash = {
+    value: Field;
+    counter: u32;
+    length: u32;
+};
+export type BlockHeader = {
+    last_archive: AppendOnlyTreeSnapshot;
+    content_commitment: ContentCommitment;
+    state: StateReference;
+    global_variables: GlobalVariables;
+    total_fees: Field;
+    total_mana_used: Field;
+};
+export type Option = {
+    _is_some: boolean;
+    _value: u32;
+};
+export type KeyValidationRequest = {
+    pk_m: EmbeddedCurvePoint;
+    sk_app: Field;
+};
+export type EthAddress = {
+    inner: Field;
+};
+export type Log<A extends number> = {
+    fields: FixedLengthArray<Field, A>;
+};
+export type AppendOnlyTreeSnapshot = {
+    root: Field;
+    next_available_leaf_index: u32;
+};
+export type ContentCommitment = {
+    num_txs: Field;
+    blobs_hash: Field;
+    in_hash: Field;
+    out_hash: Field;
+};
+export type StateReference = {
+    l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
+    partial: PartialStateReference;
+};
+export type GlobalVariables = {
+    chain_id: Field;
+    version: Field;
+    block_number: Field;
+    slot_number: Field;
+    timestamp: u64;
+    coinbase: EthAddress;
+    fee_recipient: AztecAddress;
+    gas_fees: GasFees;
+};
+export type PartialStateReference = {
+    note_hash_tree: AppendOnlyTreeSnapshot;
+    nullifier_tree: AppendOnlyTreeSnapshot;
+    public_data_tree: AppendOnlyTreeSnapshot;
+};
+export type PrivateKernelCircuitPublicInputs = {
+    constants: TxConstantData;
+    min_revertible_side_effect_counter: u32;
+    validation_requests: PrivateValidationRequests;
+    end: PrivateAccumulatedData;
+    public_teardown_call_request: PublicCallRequest;
+    fee_payer: AztecAddress;
+    is_private_only: boolean;
+    claimed_first_nullifier: Field;
+};
+export type TxConstantData = {
+    historical_header: BlockHeader;
+    tx_context: TxContext;
+    vk_tree_root: Field;
+    protocol_contract_tree_root: Field;
+};
+export type PrivateValidationRequests = {
+    for_rollup: RollupValidationRequests;
+    note_hash_read_requests: FixedLengthArray<ScopedReadRequest, 64>;
+    nullifier_read_requests: FixedLengthArray<ScopedReadRequest, 64>;
+    scoped_key_validation_requests_and_generators: FixedLengthArray<ScopedKeyValidationRequestAndGenerator, 64>;
+    split_counter: Option;
+};
+export type PrivateAccumulatedData = {
+    note_hashes: FixedLengthArray<ScopedNoteHash, 64>;
+    nullifiers: FixedLengthArray<ScopedNullifier, 64>;
+    l2_to_l1_msgs: FixedLengthArray<ScopedL2ToL1Message, 8>;
+    private_logs: FixedLengthArray<Scoped, 32>;
+    contract_class_logs_hashes: FixedLengthArray<ScopedLogHash, 1>;
+    public_call_requests: FixedLengthArray<Counted, 32>;
+    private_call_stack: FixedLengthArray<PrivateCallRequest, 8>;
+};
+export type RollupValidationRequests = {
+    max_block_number: MaxBlockNumber;
+};
+export type ScopedReadRequest = {
+    read_request: ReadRequest;
+    contract_address: AztecAddress;
+};
+export type ScopedKeyValidationRequestAndGenerator = {
+    request: KeyValidationRequestAndGenerator;
+    contract_address: AztecAddress;
+};
+export type ScopedNoteHash = {
+    note_hash: NoteHash;
+    contract_address: AztecAddress;
+};
+export type ScopedNullifier = {
+    nullifier: Nullifier;
+    contract_address: AztecAddress;
+};
+export type ScopedL2ToL1Message = {
+    message: L2ToL1Message;
+    contract_address: AztecAddress;
+};
+export type Scoped = {
+    inner: PrivateLogData;
+    contract_address: AztecAddress;
+};
+export type ScopedLogHash = {
+    log_hash: LogHash;
+    contract_address: AztecAddress;
+};
+export type PrivateKernelDataWithoutPublicInputs = {
+    vk: VerificationKey<143>;
+    vk_index: u32;
+    vk_path: FixedLengthArray<Field, 6>;
+};
+export type PrivateKernelResetHints<A extends number, B extends number, C extends number, D extends number, E extends number, F extends number> = {
+    note_hash_read_request_hints: NoteHashReadRequestHints<A, B>;
+    nullifier_read_request_hints: NullifierReadRequestHints<C, D>;
+    key_validation_hints: FixedLengthArray<KeyValidationHint, E>;
+    transient_data_index_hints: FixedLengthArray<TransientDataIndexHint, F>;
+    validation_requests_split_counter: u32;
+};
+export type NoteHashReadRequestHints<A extends number, B extends number> = {
+    read_request_statuses: FixedLengthArray<ReadRequestStatus, 64>;
+    pending_read_hints: FixedLengthArray<PendingReadHint, A>;
+    settled_read_hints: FixedLengthArray<NoteHashSettledReadHint, B>;
+};
+export type NullifierReadRequestHints<A extends number, B extends number> = {
+    read_request_statuses: FixedLengthArray<ReadRequestStatus, 64>;
+    pending_read_hints: FixedLengthArray<PendingReadHint, A>;
+    settled_read_hints: FixedLengthArray<NullifierSettledReadHint, B>;
+};
+export type KeyValidationHint = {
+    sk_m: EmbeddedCurveScalar;
+    request_index: u32;
+};
+export type TransientDataIndexHint = {
+    nullifier_index: u32;
+    note_hash_index: u32;
+};
+export type ReadRequestStatus = {
+    state: u8;
+    hint_index: u32;
+};
+export type PendingReadHint = {
+    read_request_index: u32;
+    pending_value_index: u32;
+};
+export type NoteHashSettledReadHint = {
+    read_request_index: u32;
+    membership_witness: MembershipWitness<40>;
+    leaf_preimage: NoteHashLeafPreimage;
+};
+export type NullifierSettledReadHint = {
+    read_request_index: u32;
+    membership_witness: MembershipWitness<40>;
+    leaf_preimage: NullifierLeafPreimage;
+};
+export type EmbeddedCurveScalar = {
+    lo: Field;
+    hi: Field;
+};
+export type NoteHashLeafPreimage = {
+    value: Field;
+};
+export type NullifierLeafPreimage = {
+    nullifier: Field;
+    next_nullifier: Field;
+    next_index: u32;
+};
+export type PrivateToRollupKernelCircuitPublicInputs = {
+    constants: TxConstantData;
+    rollup_validation_requests: RollupValidationRequests;
+    end: PrivateToRollupAccumulatedData;
+    gas_used: Gas;
+    fee_payer: AztecAddress;
+};
+export type PrivateToRollupAccumulatedData = {
+    note_hashes: FixedLengthArray<Field, 64>;
+    nullifiers: FixedLengthArray<Field, 64>;
+    l2_to_l1_msgs: FixedLengthArray<ScopedL2ToL1Message, 8>;
+    private_logs: FixedLengthArray<Log<18>, 32>;
+    contract_class_logs_hashes: FixedLengthArray<ScopedLogHash, 1>;
+};
+export type PrivateToPublicKernelCircuitPublicInputs = {
+    constants: TxConstantData;
+    rollup_validation_requests: RollupValidationRequests;
+    non_revertible_accumulated_data: PrivateToPublicAccumulatedData;
+    revertible_accumulated_data: PrivateToPublicAccumulatedData;
+    public_teardown_call_request: PublicCallRequest;
+    gas_used: Gas;
+    fee_payer: AztecAddress;
+};
+export type PrivateToPublicAccumulatedData = {
+    note_hashes: FixedLengthArray<Field, 64>;
+    nullifiers: FixedLengthArray<Field, 64>;
+    l2_to_l1_msgs: FixedLengthArray<ScopedL2ToL1Message, 8>;
+    private_logs: FixedLengthArray<Log<18>, 32>;
+    contract_class_logs_hashes: FixedLengthArray<ScopedLogHash, 1>;
+    public_call_requests: FixedLengthArray<PublicCallRequest, 32>;
+};
+export type PrivateBaseRollupInputs = {
+    tube_data: PrivateTubeData;
+    start: PartialStateReference;
+    start_sponge_blob: SpongeBlob;
+    state_diff_hints: PrivateBaseStateDiffHints;
+    fee_payer_fee_juice_balance_read_hint: PublicDataHint;
+    archive_root_membership_witness: MembershipWitness<29>;
+    contract_class_logs_preimages: FixedLengthArray<ContractClassLog, 1>;
+    constants: ConstantRollupData;
+};
+export type PrivateTubeData = {
+    public_inputs: PrivateToRollupKernelCircuitPublicInputs;
+    proof: TubeProof;
+    vk_data: VkData<139>;
+};
+export type SpongeBlob = {
+    sponge: Poseidon2Sponge;
+    fields: u32;
+    expected_fields: u32;
+};
+export type PrivateBaseStateDiffHints = {
+    nullifier_predecessor_preimages: FixedLengthArray<NullifierLeafPreimage, 64>;
+    nullifier_predecessor_membership_witnesses: FixedLengthArray<MembershipWitness<40>, 64>;
+    sorted_nullifiers: FixedLengthArray<Field, 64>;
+    sorted_nullifier_indexes: FixedLengthArray<u32, 64>;
+    note_hash_subtree_sibling_path: FixedLengthArray<Field, 34>;
+    nullifier_subtree_sibling_path: FixedLengthArray<Field, 34>;
+    fee_write_low_leaf_preimage: PublicDataTreeLeafPreimage;
+    fee_write_low_leaf_membership_witness: MembershipWitness<40>;
+    fee_write_sibling_path: FixedLengthArray<Field, 40>;
+};
+export type PublicDataHint = {
+    leaf_slot: Field;
+    value: Field;
+    membership_witness: MembershipWitness<40>;
+    leaf_preimage: PublicDataTreeLeafPreimage;
+};
+export type ContractClassLog = {
+    log: Log<3019>;
+    contract_address: AztecAddress;
+};
+export type ConstantRollupData = {
+    last_archive: AppendOnlyTreeSnapshot;
+    vk_tree_root: Field;
+    protocol_contract_tree_root: Field;
+    global_variables: GlobalVariables;
+};
+export type TubeProof = {
+    fields: FixedLengthArray<Field, 538>;
+};
+export type VkData<A extends number> = {
+    vk: VerificationKey<A>;
+    vk_index: u32;
+    vk_path: FixedLengthArray<Field, 6>;
+};
+export type Poseidon2Sponge = {
+    cache: FixedLengthArray<Field, 3>;
+    state: FixedLengthArray<Field, 4>;
+    cache_size: u32;
+    squeeze_mode: boolean;
+};
+export type BaseOrMergeRollupPublicInputs = {
+    rollup_type: u32;
+    num_txs: u32;
+    constants: ConstantRollupData;
+    start: PartialStateReference;
+    end: PartialStateReference;
+    start_sponge_blob: SpongeBlob;
+    end_sponge_blob: SpongeBlob;
+    out_hash: Field;
+    accumulated_fees: Field;
+    accumulated_mana_used: Field;
+};
+export type PublicBaseRollupInputs = {
+    tube_data: PublicTubeData;
+    avm_proof_data: AvmProofData;
+    start_sponge_blob: SpongeBlob;
+    archive_root_membership_witness: MembershipWitness<29>;
+    contract_class_logs_preimages: FixedLengthArray<ContractClassLog, 1>;
+    constants: ConstantRollupData;
+};
+export type PublicTubeData = {
+    public_inputs: PrivateToPublicKernelCircuitPublicInputs;
+    proof: TubeProof;
+    vk_data: VkData<139>;
+};
+export type AvmProofData = {
+    public_inputs: AvmCircuitPublicInputs;
+    proof: AvmProof;
+    vk_data: VkData<86>;
+};
+export type AvmCircuitPublicInputs = {
+    global_variables: GlobalVariables;
+    start_tree_snapshots: TreeSnapshots;
+    start_gas_used: Gas;
+    gas_settings: GasSettings;
+    fee_payer: AztecAddress;
+    public_setup_call_requests: FixedLengthArray<PublicCallRequest, 32>;
+    public_app_logic_call_requests: FixedLengthArray<PublicCallRequest, 32>;
+    public_teardown_call_request: PublicCallRequest;
+    previous_non_revertible_accumulated_data_array_lengths: PrivateToAvmAccumulatedDataArrayLengths;
+    previous_revertible_accumulated_data_array_lengths: PrivateToAvmAccumulatedDataArrayLengths;
+    previous_non_revertible_accumulated_data: PrivateToAvmAccumulatedData;
+    previous_revertible_accumulated_data: PrivateToAvmAccumulatedData;
+    end_tree_snapshots: TreeSnapshots;
+    end_gas_used: Gas;
+    accumulated_data: AvmAccumulatedData;
+    transaction_fee: Field;
+    reverted: boolean;
+};
+export type AvmProof = {
+    fields: FixedLengthArray<Field, 4154>;
+};
+export type TreeSnapshots = {
+    l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
+    note_hash_tree: AppendOnlyTreeSnapshot;
+    nullifier_tree: AppendOnlyTreeSnapshot;
+    public_data_tree: AppendOnlyTreeSnapshot;
+};
+export type PrivateToAvmAccumulatedDataArrayLengths = {
+    note_hashes: u32;
+    nullifiers: u32;
+    l2_to_l1_msgs: u32;
+};
+export type PrivateToAvmAccumulatedData = {
+    note_hashes: FixedLengthArray<Field, 64>;
+    nullifiers: FixedLengthArray<Field, 64>;
+    l2_to_l1_msgs: FixedLengthArray<ScopedL2ToL1Message, 8>;
+};
+export type AvmAccumulatedData = {
+    note_hashes: FixedLengthArray<Field, 64>;
+    nullifiers: FixedLengthArray<Field, 64>;
+    l2_to_l1_msgs: FixedLengthArray<ScopedL2ToL1Message, 8>;
+    public_logs: FixedLengthArray<PublicLog, 8>;
+    public_data_writes: FixedLengthArray<PublicDataWrite, 64>;
+};
+export type PublicLog = {
+    log: Log<13>;
+    contract_address: AztecAddress;
+};
+export type PublicDataWrite = {
+    leaf_slot: Field;
+    value: Field;
+};
+export type MergeRollupInputs = {
+    previous_rollup_data: FixedLengthArray<PreviousRollupData, 2>;
+};
+export type PreviousRollupData = {
+    base_or_merge_rollup_public_inputs: BaseOrMergeRollupPublicInputs;
+    proof: NestedRecursiveProof<538>;
+    vk: VerificationKey<139>;
+    vk_witness: MembershipWitness<6>;
+};
+export type NestedRecursiveProof<A extends number> = {
+    fields: FixedLengthArray<Field, A>;
+};
+export type BlockRootRollupInputs = {
+    previous_rollup_data: FixedLengthArray<PreviousRollupData, 2>;
+    data: BlockRootRollupData;
+    blob_data: BlockRootRollupBlobData;
+};
+export type BlockRootRollupData = {
+    l1_to_l2_roots: RootRollupParityInput;
+    l1_to_l2_message_subtree_sibling_path: FixedLengthArray<Field, 35>;
+    new_archive_sibling_path: FixedLengthArray<Field, 29>;
+    previous_block_header: BlockHeader;
+    prover_id: Field;
+};
+export type BlockRootRollupBlobData = {
+    blobs_fields: FixedLengthArray<Field, 12288>;
+    blob_commitments: FixedLengthArray<BlobCommitment, 3>;
+    blobs_hash: Field;
+};
+export type RootRollupParityInput = {
+    proof: NestedRecursiveProof<459>;
+    verification_key: VerificationKey<128>;
+    vk_path: FixedLengthArray<Field, 6>;
+    public_inputs: ParityPublicInputs;
+};
+export type BlobCommitment = {
+    inner: FixedLengthArray<Field, 2>;
+};
+export type BlockRootOrBlockMergePublicInputs = {
+    previous_archive: AppendOnlyTreeSnapshot;
+    new_archive: AppendOnlyTreeSnapshot;
+    previous_block_hash: Field;
+    end_block_hash: Field;
+    start_global_variables: GlobalVariables;
+    end_global_variables: GlobalVariables;
+    out_hash: Field;
+    fees: FixedLengthArray<FeeRecipient, 48>;
+    vk_tree_root: Field;
+    protocol_contract_tree_root: Field;
+    prover_id: Field;
+    blob_public_inputs: FixedLengthArray<BlockBlobPublicInputs, 48>;
+};
+export type FeeRecipient = {
+    recipient: EthAddress;
+    value: Field;
+};
+export type BlockBlobPublicInputs = {
+    inner: FixedLengthArray<BlobPublicInputs, 3>;
+};
+export type BlobPublicInputs = {
+    z: Field;
+    y: BigNum;
+    kzg_commitment: BlobCommitment;
+};
+export type BigNum = {
+    limbs: FixedLengthArray<u128, 3>;
+};
+export type SingleTxBlockRootRollupInputs = {
+    previous_rollup_data: FixedLengthArray<PreviousRollupData, 1>;
+    data: BlockRootRollupData;
+    blob_data: BlockRootRollupBlobData;
+};
+export type BlockMergeRollupInputs = {
+    previous_rollup_data: FixedLengthArray<PreviousRollupBlockData, 2>;
+};
+export type PreviousRollupBlockData = {
+    block_root_or_block_merge_public_inputs: BlockRootOrBlockMergePublicInputs;
+    proof: NestedRecursiveProof<538>;
+    vk: VerificationKey<139>;
+    vk_witness: MembershipWitness<6>;
+};
+export type EmptyBlockRootRollupInputs = {
+    data: BlockRootRollupData;
+    constants: ConstantRollupData;
+    is_padding: boolean;
+};
+export type RootRollupInputs = {
+    previous_rollup_data: FixedLengthArray<PreviousRollupBlockData, 2>;
+    prover_id: Field;
+};
+export type RootRollupPublicInputs = {
+    previous_archive: AppendOnlyTreeSnapshot;
+    end_archive: AppendOnlyTreeSnapshot;
+    previous_block_hash: Field;
+    end_block_hash: Field;
+    end_timestamp: u64;
+    end_block_number: Field;
+    out_hash: Field;
+    fees: FixedLengthArray<FeeRecipient, 48>;
+    vk_tree_root: Field;
+    protocol_contract_tree_root: Field;
+    prover_id: Field;
+    blob_public_inputs: FixedLengthArray<BlockBlobPublicInputs, 48>;
+};
+export type ParityBaseInputType = {
+    inputs: BaseParityInputs;
+};
+export type ParityBaseReturnType = ParityPublicInputs;
+export declare function ParityBase(inputs: BaseParityInputs, ParityBase_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<ParityPublicInputs>;
+export type ParityRootInputType = {
+    inputs: RootParityInputs;
+};
+export type ParityRootReturnType = ParityPublicInputs;
+export declare function ParityRoot(inputs: RootParityInputs, ParityRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<ParityPublicInputs>;
+export type PrivateKernelInitInputType = {
+    tx_request: TxRequest;
+    vk_tree_root: Field;
+    protocol_contract_tree_root: Field;
+    private_call: PrivateCallDataWithoutPublicInputs;
+    is_private_only: boolean;
+    first_nullifier_hint: Field;
+    app_public_inputs: PrivateCircuitPublicInputs;
+};
+export type PrivateKernelInitReturnType = PrivateKernelCircuitPublicInputs;
+export declare function PrivateKernelInit(tx_request: TxRequest, vk_tree_root: Field, protocol_contract_tree_root: Field, private_call: PrivateCallDataWithoutPublicInputs, is_private_only: boolean, first_nullifier_hint: Field, app_public_inputs: PrivateCircuitPublicInputs, PrivateKernelInit_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelCircuitPublicInputs>;
+export type PrivateKernelInnerInputType = {
+    previous_kernel: PrivateKernelDataWithoutPublicInputs;
+    previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs;
+    private_call: PrivateCallDataWithoutPublicInputs;
+    app_public_inputs: PrivateCircuitPublicInputs;
+};
+export type PrivateKernelInnerReturnType = PrivateKernelCircuitPublicInputs;
+export declare function PrivateKernelInner(previous_kernel: PrivateKernelDataWithoutPublicInputs, previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs, private_call: PrivateCallDataWithoutPublicInputs, app_public_inputs: PrivateCircuitPublicInputs, PrivateKernelInner_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelCircuitPublicInputs>;
+export type PrivateKernelResetInputType = {
+    previous_kernel: PrivateKernelDataWithoutPublicInputs;
+    previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs;
+    hints: PrivateKernelResetHints<64, 64, 64, 64, 64, 64>;
+};
+export type PrivateKernelResetReturnType = PrivateKernelCircuitPublicInputs;
+export declare function PrivateKernelReset(previous_kernel: PrivateKernelDataWithoutPublicInputs, previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs, hints: PrivateKernelResetHints<64, 64, 64, 64, 64, 64>, PrivateKernelReset_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelCircuitPublicInputs>;
+export type PrivateKernelTailInputType = {
+    previous_kernel: PrivateKernelDataWithoutPublicInputs;
+    previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs;
+};
+export type PrivateKernelTailReturnType = PrivateToRollupKernelCircuitPublicInputs;
+export declare function PrivateKernelTail(previous_kernel: PrivateKernelDataWithoutPublicInputs, previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs, PrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateToRollupKernelCircuitPublicInputs>;
+export type PrivateKernelTailToPublicInputType = {
+    previous_kernel: PrivateKernelDataWithoutPublicInputs;
+    previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs;
+};
+export type PrivateKernelTailToPublicReturnType = PrivateToPublicKernelCircuitPublicInputs;
+export declare function PrivateKernelTailToPublic(previous_kernel: PrivateKernelDataWithoutPublicInputs, previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs, PrivateKernelTailToPublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateToPublicKernelCircuitPublicInputs>;
+export type RollupBasePrivateInputType = {
+    inputs: PrivateBaseRollupInputs;
+};
+export type RollupBasePrivateReturnType = BaseOrMergeRollupPublicInputs;
+export declare function RollupBasePrivate(inputs: PrivateBaseRollupInputs, RollupBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BaseOrMergeRollupPublicInputs>;
+export type RollupBasePublicInputType = {
+    inputs: PublicBaseRollupInputs;
+};
+export type RollupBasePublicReturnType = BaseOrMergeRollupPublicInputs;
+export declare function RollupBasePublic(inputs: PublicBaseRollupInputs, RollupBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BaseOrMergeRollupPublicInputs>;
+export type RollupMergeInputType = {
+    inputs: MergeRollupInputs;
+};
+export type RollupMergeReturnType = BaseOrMergeRollupPublicInputs;
+export declare function RollupMerge(inputs: MergeRollupInputs, RollupMerge_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BaseOrMergeRollupPublicInputs>;
+export type RollupBlockRootInputType = {
+    inputs: BlockRootRollupInputs;
+};
+export type RollupBlockRootReturnType = BlockRootOrBlockMergePublicInputs;
+export declare function RollupBlockRoot(inputs: BlockRootRollupInputs, RollupBlockRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BlockRootOrBlockMergePublicInputs>;
+export type RollupBlockRootSingleTxInputType = {
+    inputs: SingleTxBlockRootRollupInputs;
+};
+export type RollupBlockRootSingleTxReturnType = BlockRootOrBlockMergePublicInputs;
+export declare function RollupBlockRootSingleTx(inputs: SingleTxBlockRootRollupInputs, RollupBlockRootSingleTx_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BlockRootOrBlockMergePublicInputs>;
+export type RollupBlockMergeInputType = {
+    inputs: BlockMergeRollupInputs;
+};
+export type RollupBlockMergeReturnType = BlockRootOrBlockMergePublicInputs;
+export declare function RollupBlockMerge(inputs: BlockMergeRollupInputs, RollupBlockMerge_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BlockRootOrBlockMergePublicInputs>;
+export type RollupBlockRootEmptyInputType = {
+    inputs: EmptyBlockRootRollupInputs;
+};
+export type RollupBlockRootEmptyReturnType = BlockRootOrBlockMergePublicInputs;
+export declare function RollupBlockRootEmpty(inputs: EmptyBlockRootRollupInputs, RollupBlockRootEmpty_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<BlockRootOrBlockMergePublicInputs>;
+export type RollupRootInputType = {
+    inputs: RootRollupInputs;
+};
+export type RollupRootReturnType = RootRollupPublicInputs;
+export declare function RollupRoot(inputs: RootRollupInputs, RollupRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RootRollupPublicInputs>;
+export type PrivateKernelReset_32_4_32_4_4_4_4_4_4InputType = {
+    previous_kernel: PrivateKernelDataWithoutPublicInputs;
+    previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs;
+    hints: PrivateKernelResetHints<32, 4, 32, 4, 4, 4>;
+};
+export type PrivateKernelReset_32_4_32_4_4_4_4_4_4ReturnType = PrivateKernelCircuitPublicInputs;
+export declare function PrivateKernelReset_32_4_32_4_4_4_4_4_4(previous_kernel: PrivateKernelDataWithoutPublicInputs, previous_kernel_public_inputs: PrivateKernelCircuitPublicInputs, hints: PrivateKernelResetHints<32, 4, 32, 4, 4, 4>, PrivateKernelReset_32_4_32_4_4_4_4_4_4_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelCircuitPublicInputs>;
+export * from '../artifacts/types.js';
+//# sourceMappingURL=index.d.ts.map