/* Autogenerated file, do not edit! */

/* eslint-disable */

import { Noir, InputMap, type CompiledCircuit, type ForeignCallHandler } from "@aztec/noir-noir_js"

export { type ForeignCallHandler } from "@aztec/noir-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 u128 = string;

export type AppPublicInputs = {
  commitments: FixedLengthArray<Field, 2>;
  read_requests: FixedLengthArray<Field, 2>;
}

export type KernelPublicInputs = {
  commitments: FixedLengthArray<Field, 4>;
}

export type VerificationKey<A extends number> = {
  key: FixedLengthArray<Field, A>;
  hash: Field;
}

export type TxRequest = {
  number_of_calls: u32;
}

export type PrivateKernelPublicInputs = {
  remaining_calls: u32;
  commitments: FixedLengthArray<Field, 4>;
  read_requests: FixedLengthArray<Field, 4>;
}

export type ChonkProofData = {
  public_inputs: KernelPublicInputs;
  proof: FixedLengthArray<Field, 1270>;
  vk_data: VerificationKey<115>;
}

export type AvmCircuitPublicInputs = {
  global_variables: GlobalVariables;
  protocol_contracts: ProtocolContracts;
  start_tree_snapshots: TreeSnapshots;
  start_gas_used: Gas;
  gas_settings: GasSettings;
  effective_gas_fees: GasFees;
  fee_payer: AztecAddress;
  prover_id: Field;
  public_call_request_array_lengths: PublicCallRequestArrayLengths;
  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_array_lengths: AvmAccumulatedDataArrayLengths;
  accumulated_data: AvmAccumulatedData;
  transaction_fee: Field;
  reverted: boolean;
}

export type GlobalVariables = {
  chain_id: Field;
  version: Field;
  block_number: u32;
  slot_number: Field;
  timestamp: u64;
  coinbase: EthAddress;
  fee_recipient: AztecAddress;
  gas_fees: GasFees;
}

export type ProtocolContracts = {
  derived_addresses: FixedLengthArray<AztecAddress, 11>;
}

export type TreeSnapshots = {
  l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
  note_hash_tree: AppendOnlyTreeSnapshot;
  nullifier_tree: AppendOnlyTreeSnapshot;
  public_data_tree: AppendOnlyTreeSnapshot;
}

export type Gas = {
  da_gas: u32;
  l2_gas: u32;
}

export type GasSettings = {
  gas_limits: Gas;
  teardown_gas_limits: Gas;
  max_fees_per_gas: GasFees;
  max_priority_fees_per_gas: GasFees;
}

export type GasFees = {
  fee_per_da_gas: u128;
  fee_per_l2_gas: u128;
}

export type AztecAddress = {
  inner: Field;
}

export type PublicCallRequestArrayLengths = {
  setup_calls: u32;
  app_logic_calls: u32;
  teardown_call: boolean;
}

export type PublicCallRequest = {
  msg_sender: AztecAddress;
  contract_address: AztecAddress;
  is_static_call: boolean;
  calldata_hash: Field;
}

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<Scoped, 8>;
}

export type AvmAccumulatedDataArrayLengths = {
  note_hashes: u32;
  nullifiers: u32;
  l2_to_l1_msgs: u32;
  public_data_writes: u32;
}

export type AvmAccumulatedData = {
  note_hashes: FixedLengthArray<Field, 64>;
  nullifiers: FixedLengthArray<Field, 64>;
  l2_to_l1_msgs: FixedLengthArray<Scoped, 8>;
  public_logs: PublicLogs;
  public_data_writes: FixedLengthArray<PublicDataWrite, 64>;
}

export type EthAddress = {
  inner: Field;
}

export type AppendOnlyTreeSnapshot = {
  root: Field;
  next_available_leaf_index: Field;
}

export type Scoped = {
  inner: L2ToL1Message;
  contract_address: AztecAddress;
}

export type PublicLogs = {
  length: u32;
  payload: FixedLengthArray<Field, 4096>;
}

export type PublicDataWrite = {
  leaf_slot: Field;
  value: Field;
}

export type L2ToL1Message = {
  recipient: EthAddress;
  content: Field;
}

export type RollupPublicInputs = {
  accumulated: u32;
}

export type PreviousRollupData = {
  base_or_merge_public_inputs: RollupPublicInputs;
  proof: FixedLengthArray<Field, 480>;
  vk: VerificationKey<115>;
}


export type AppCreatorInputType = {
  commitments_to_create: FixedLengthArray<Field, 2>;
}

export type AppCreatorReturnType = AppPublicInputs;


export async function AppCreator(commitments_to_create: FixedLengthArray<Field, 2>, AppCreator_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<AppPublicInputs> {
  const program = new Noir(AppCreator_circuit);
  const args: InputMap = { commitments_to_create };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as AppPublicInputs;
}
export type AppReaderInputType = {
  commitments_to_read: FixedLengthArray<Field, 2>;
}

export type AppReaderReturnType = AppPublicInputs;


export async function AppReader(commitments_to_read: FixedLengthArray<Field, 2>, AppReader_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<AppPublicInputs> {
  const program = new Noir(AppReader_circuit);
  const args: InputMap = { commitments_to_read };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as AppPublicInputs;
}
export type MockHidingInputType = {
  prev_kernel_public_inputs: KernelPublicInputs;
  kernel_vk: VerificationKey<163>;
}

export type MockHidingReturnType = KernelPublicInputs;


export async function MockHiding(prev_kernel_public_inputs: KernelPublicInputs, kernel_vk: VerificationKey<163>, MockHiding_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs> {
  const program = new Noir(MockHiding_circuit);
  const args: InputMap = { prev_kernel_public_inputs, kernel_vk };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as KernelPublicInputs;
}
export type MockPrivateKernelInitInputType = {
  tx: TxRequest;
  app_inputs: AppPublicInputs;
  app_vk: VerificationKey<163>;
}

export type MockPrivateKernelInitReturnType = PrivateKernelPublicInputs;


export async function MockPrivateKernelInit(tx: TxRequest, app_inputs: AppPublicInputs, app_vk: VerificationKey<163>, MockPrivateKernelInit_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs> {
  const program = new Noir(MockPrivateKernelInit_circuit);
  const args: InputMap = { tx, app_inputs, app_vk };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as PrivateKernelPublicInputs;
}
export type MockPrivateKernelInnerInputType = {
  prev_kernel_public_inputs: PrivateKernelPublicInputs;
  kernel_vk: VerificationKey<163>;
  app_inputs: AppPublicInputs;
  app_vk: VerificationKey<163>;
}

export type MockPrivateKernelInnerReturnType = PrivateKernelPublicInputs;


export async function MockPrivateKernelInner(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, app_inputs: AppPublicInputs, app_vk: VerificationKey<163>, MockPrivateKernelInner_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs> {
  const program = new Noir(MockPrivateKernelInner_circuit);
  const args: InputMap = { prev_kernel_public_inputs, kernel_vk, app_inputs, app_vk };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as PrivateKernelPublicInputs;
}
export type MockPrivateKernelResetInputType = {
  prev_kernel_public_inputs: PrivateKernelPublicInputs;
  kernel_vk: VerificationKey<163>;
  commitment_read_hints: FixedLengthArray<u32, 4>;
}

export type MockPrivateKernelResetReturnType = PrivateKernelPublicInputs;


export async function MockPrivateKernelReset(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, commitment_read_hints: FixedLengthArray<u32, 4>, MockPrivateKernelReset_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs> {
  const program = new Noir(MockPrivateKernelReset_circuit);
  const args: InputMap = { prev_kernel_public_inputs, kernel_vk, commitment_read_hints };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as PrivateKernelPublicInputs;
}
export type MockPrivateKernelTailInputType = {
  prev_kernel_public_inputs: PrivateKernelPublicInputs;
  kernel_vk: VerificationKey<163>;
}

export type MockPrivateKernelTailReturnType = KernelPublicInputs;


export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs> {
  const program = new Noir(MockPrivateKernelTail_circuit);
  const args: InputMap = { prev_kernel_public_inputs, kernel_vk };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as KernelPublicInputs;
}
export type MockRollupTxBasePublicInputType = {
  chonk_proof_data: ChonkProofData;
  proof: FixedLengthArray<Field, 15516>;
  public_inputs: AvmCircuitPublicInputs;
}

export type MockRollupTxBasePublicReturnType = RollupPublicInputs;


export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 15516>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
  const program = new Noir(MockRollupTxBasePublic_circuit);
  const args: InputMap = { chonk_proof_data, proof, public_inputs };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as RollupPublicInputs;
}
export type MockRollupTxBasePrivateInputType = {
  chonk_proof_data: ChonkProofData;
}

export type MockRollupTxBasePrivateReturnType = RollupPublicInputs;


export async function MockRollupTxBasePrivate(chonk_proof_data: ChonkProofData, MockRollupTxBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
  const program = new Noir(MockRollupTxBasePrivate_circuit);
  const args: InputMap = { chonk_proof_data };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as RollupPublicInputs;
}
export type MockRollupTxMergeInputType = {
  a: PreviousRollupData;
  b: PreviousRollupData;
}

export type MockRollupTxMergeReturnType = RollupPublicInputs;


export async function MockRollupTxMerge(a: PreviousRollupData, b: PreviousRollupData, MockRollupTxMerge_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
  const program = new Noir(MockRollupTxMerge_circuit);
  const args: InputMap = { a, b };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as RollupPublicInputs;
}
export type MockRollupRootInputType = {
  a: PreviousRollupData;
  b: PreviousRollupData;
}

export type MockRollupRootReturnType = RollupPublicInputs;


export async function MockRollupRoot(a: PreviousRollupData, b: PreviousRollupData, MockRollupRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
  const program = new Noir(MockRollupRoot_circuit);
  const args: InputMap = { a, b };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as RollupPublicInputs;
}