@aztec/noir-protocol-circuits-types 0.24.0

package/src/types/private_kernel_tail_types.ts

@@ -0,0 +1,214 @@
+/* Autogenerated file, do not edit! */
+
+/* eslint-disable */
+
+export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & { length: L };
+
+export type Field = string;
+export type u32 = string;
+
+export interface AggregationObject {}
+
+export interface SideEffect {
+  value: Field;
+  counter: u32;
+}
+
+export interface GrumpkinPoint {
+  x: Field;
+  y: Field;
+}
+
+export interface GrumpkinPrivateKey {
+  high: Field;
+  low: Field;
+}
+
+export interface AztecAddress {
+  inner: Field;
+}
+
+export interface NullifierKeyValidationRequestContext {
+  public_key: GrumpkinPoint;
+  secret_key: GrumpkinPrivateKey;
+  contract_address: AztecAddress;
+}
+
+export interface SideEffectLinkedToNoteHash {
+  value: Field;
+  note_hash: Field;
+  counter: u32;
+}
+
+export interface CallerContext {
+  msg_sender: AztecAddress;
+  storage_contract_address: AztecAddress;
+}
+
+export interface CallRequest {
+  hash: Field;
+  caller_contract_address: AztecAddress;
+  caller_context: CallerContext;
+  start_side_effect_counter: u32;
+  end_side_effect_counter: u32;
+}
+
+export interface EthAddress {
+  inner: Field;
+}
+
+export interface ContractClassId {
+  inner: Field;
+}
+
+export interface NewContractData {
+  contract_address: AztecAddress;
+  portal_contract_address: EthAddress;
+  contract_class_id: ContractClassId;
+}
+
+export interface PublicDataUpdateRequest {
+  leaf_slot: Field;
+  new_value: Field;
+}
+
+export interface PublicDataRead {
+  leaf_slot: Field;
+  value: Field;
+}
+
+export interface CombinedAccumulatedData {
+  read_requests: FixedLengthArray<SideEffect, 128>;
+  nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequestContext, 4>;
+  new_commitments: FixedLengthArray<SideEffect, 64>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
+  private_call_stack: FixedLengthArray<CallRequest, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 8>;
+  new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+  encrypted_logs_hash: FixedLengthArray<Field, 2>;
+  unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+  encrypted_log_preimages_length: Field;
+  unencrypted_log_preimages_length: Field;
+  new_contracts: FixedLengthArray<NewContractData, 1>;
+  public_data_update_requests: FixedLengthArray<PublicDataUpdateRequest, 16>;
+  public_data_reads: FixedLengthArray<PublicDataRead, 16>;
+}
+
+export interface AppendOnlyTreeSnapshot {
+  root: Field;
+  next_available_leaf_index: u32;
+}
+
+export interface PartialStateReference {
+  note_hash_tree: AppendOnlyTreeSnapshot;
+  nullifier_tree: AppendOnlyTreeSnapshot;
+  contract_tree: AppendOnlyTreeSnapshot;
+  public_data_tree: AppendOnlyTreeSnapshot;
+}
+
+export interface StateReference {
+  l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
+  partial: PartialStateReference;
+}
+
+export interface GlobalVariables {
+  chain_id: Field;
+  version: Field;
+  block_number: Field;
+  timestamp: Field;
+  coinbase: EthAddress;
+  fee_recipient: AztecAddress;
+}
+
+export interface Header {
+  last_archive: AppendOnlyTreeSnapshot;
+  body_hash: FixedLengthArray<Field, 2>;
+  state: StateReference;
+  global_variables: GlobalVariables;
+}
+
+export interface ContractDeploymentData {
+  public_key: GrumpkinPoint;
+  initialization_hash: Field;
+  contract_class_id: ContractClassId;
+  contract_address_salt: Field;
+  portal_contract_address: EthAddress;
+}
+
+export interface TxContext {
+  is_fee_payment_tx: boolean;
+  is_rebate_payment_tx: boolean;
+  is_contract_deployment_tx: boolean;
+  contract_deployment_data: ContractDeploymentData;
+  chain_id: Field;
+  version: Field;
+}
+
+export interface CombinedConstantData {
+  historical_header: Header;
+  tx_context: TxContext;
+}
+
+export interface PrivateKernelInnerCircuitPublicInputs {
+  aggregation_object: AggregationObject;
+  max_non_revertible_side_effect_counter: u32;
+  end: CombinedAccumulatedData;
+  constants: CombinedConstantData;
+  is_private: boolean;
+}
+
+export interface Proof {}
+
+export interface VerificationKey {}
+
+export interface PrivateKernelInnerData {
+  public_inputs: PrivateKernelInnerCircuitPublicInputs;
+  proof: Proof;
+  vk: VerificationKey;
+  vk_index: u32;
+  vk_path: FixedLengthArray<Field, 3>;
+}
+
+export interface PrivateKernelTailCircuitPrivateInputs {
+  previous_kernel: PrivateKernelInnerData;
+  sorted_new_commitments: FixedLengthArray<SideEffect, 64>;
+  sorted_new_commitments_indexes: FixedLengthArray<u32, 64>;
+  read_commitment_hints: FixedLengthArray<Field, 128>;
+  sorted_new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
+  sorted_new_nullifiers_indexes: FixedLengthArray<u32, 64>;
+  nullifier_commitment_hints: FixedLengthArray<Field, 64>;
+  master_nullifier_secret_keys: FixedLengthArray<GrumpkinPrivateKey, 4>;
+}
+
+export interface AccumulatedNonRevertibleData {
+  new_commitments: FixedLengthArray<SideEffect, 8>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 2>;
+}
+
+export interface FinalAccumulatedData {
+  new_commitments: FixedLengthArray<SideEffect, 64>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
+  private_call_stack: FixedLengthArray<CallRequest, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 8>;
+  new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+  encrypted_logs_hash: FixedLengthArray<Field, 2>;
+  unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+  encrypted_log_preimages_length: Field;
+  unencrypted_log_preimages_length: Field;
+  new_contracts: FixedLengthArray<NewContractData, 1>;
+}
+
+export interface PrivateKernelTailCircuitPublicInputs {
+  aggregation_object: AggregationObject;
+  end_non_revertible: AccumulatedNonRevertibleData;
+  end: FinalAccumulatedData;
+  constants: CombinedConstantData;
+  is_private: boolean;
+}
+
+export type ReturnType = PrivateKernelTailCircuitPublicInputs;
+
+export interface InputType {
+  input: PrivateKernelTailCircuitPrivateInputs;
+}

package/src/types/public_kernel_app_logic_types.ts

@@ -0,0 +1,250 @@
+/* Autogenerated file, do not edit! */
+
+/* eslint-disable */
+
+export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & { length: L };
+
+export type Field = string;
+export type u32 = string;
+
+export interface AggregationObject {}
+
+export interface SideEffect {
+  value: Field;
+  counter: u32;
+}
+
+export interface SideEffectLinkedToNoteHash {
+  value: Field;
+  note_hash: Field;
+  counter: u32;
+}
+
+export interface AztecAddress {
+  inner: Field;
+}
+
+export interface CallerContext {
+  msg_sender: AztecAddress;
+  storage_contract_address: AztecAddress;
+}
+
+export interface CallRequest {
+  hash: Field;
+  caller_contract_address: AztecAddress;
+  caller_context: CallerContext;
+  start_side_effect_counter: u32;
+  end_side_effect_counter: u32;
+}
+
+export interface AccumulatedNonRevertibleData {
+  new_commitments: FixedLengthArray<SideEffect, 8>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 2>;
+}
+
+export interface GrumpkinPoint {
+  x: Field;
+  y: Field;
+}
+
+export interface GrumpkinPrivateKey {
+  high: Field;
+  low: Field;
+}
+
+export interface NullifierKeyValidationRequestContext {
+  public_key: GrumpkinPoint;
+  secret_key: GrumpkinPrivateKey;
+  contract_address: AztecAddress;
+}
+
+export interface EthAddress {
+  inner: Field;
+}
+
+export interface ContractClassId {
+  inner: Field;
+}
+
+export interface NewContractData {
+  contract_address: AztecAddress;
+  portal_contract_address: EthAddress;
+  contract_class_id: ContractClassId;
+}
+
+export interface PublicDataUpdateRequest {
+  leaf_slot: Field;
+  new_value: Field;
+}
+
+export interface PublicDataRead {
+  leaf_slot: Field;
+  value: Field;
+}
+
+export interface CombinedAccumulatedData {
+  read_requests: FixedLengthArray<SideEffect, 128>;
+  nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequestContext, 4>;
+  new_commitments: FixedLengthArray<SideEffect, 64>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
+  private_call_stack: FixedLengthArray<CallRequest, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 8>;
+  new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+  encrypted_logs_hash: FixedLengthArray<Field, 2>;
+  unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+  encrypted_log_preimages_length: Field;
+  unencrypted_log_preimages_length: Field;
+  new_contracts: FixedLengthArray<NewContractData, 1>;
+  public_data_update_requests: FixedLengthArray<PublicDataUpdateRequest, 16>;
+  public_data_reads: FixedLengthArray<PublicDataRead, 16>;
+}
+
+export interface AppendOnlyTreeSnapshot {
+  root: Field;
+  next_available_leaf_index: u32;
+}
+
+export interface PartialStateReference {
+  note_hash_tree: AppendOnlyTreeSnapshot;
+  nullifier_tree: AppendOnlyTreeSnapshot;
+  contract_tree: AppendOnlyTreeSnapshot;
+  public_data_tree: AppendOnlyTreeSnapshot;
+}
+
+export interface StateReference {
+  l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
+  partial: PartialStateReference;
+}
+
+export interface GlobalVariables {
+  chain_id: Field;
+  version: Field;
+  block_number: Field;
+  timestamp: Field;
+  coinbase: EthAddress;
+  fee_recipient: AztecAddress;
+}
+
+export interface Header {
+  last_archive: AppendOnlyTreeSnapshot;
+  body_hash: FixedLengthArray<Field, 2>;
+  state: StateReference;
+  global_variables: GlobalVariables;
+}
+
+export interface ContractDeploymentData {
+  public_key: GrumpkinPoint;
+  initialization_hash: Field;
+  contract_class_id: ContractClassId;
+  contract_address_salt: Field;
+  portal_contract_address: EthAddress;
+}
+
+export interface TxContext {
+  is_fee_payment_tx: boolean;
+  is_rebate_payment_tx: boolean;
+  is_contract_deployment_tx: boolean;
+  contract_deployment_data: ContractDeploymentData;
+  chain_id: Field;
+  version: Field;
+}
+
+export interface CombinedConstantData {
+  historical_header: Header;
+  tx_context: TxContext;
+}
+
+export interface PublicKernelCircuitPublicInputs {
+  aggregation_object: AggregationObject;
+  end_non_revertible: AccumulatedNonRevertibleData;
+  end: CombinedAccumulatedData;
+  constants: CombinedConstantData;
+  is_private: boolean;
+}
+
+export interface Proof {}
+
+export interface VerificationKey {}
+
+export interface PublicKernelData {
+  public_inputs: PublicKernelCircuitPublicInputs;
+  proof: Proof;
+  vk: VerificationKey;
+  vk_index: u32;
+  vk_path: FixedLengthArray<Field, 3>;
+}
+
+export interface FunctionSelector {
+  inner: u32;
+}
+
+export interface CallContext {
+  msg_sender: AztecAddress;
+  storage_contract_address: AztecAddress;
+  portal_contract_address: EthAddress;
+  function_selector: FunctionSelector;
+  is_delegate_call: boolean;
+  is_static_call: boolean;
+  is_contract_deployment: boolean;
+  start_side_effect_counter: u32;
+}
+
+export interface StorageUpdateRequest {
+  storage_slot: Field;
+  new_value: Field;
+}
+
+export interface StorageRead {
+  storage_slot: Field;
+  current_value: Field;
+}
+
+export interface PublicCircuitPublicInputs {
+  call_context: CallContext;
+  args_hash: Field;
+  return_values: FixedLengthArray<Field, 4>;
+  contract_storage_update_requests: FixedLengthArray<StorageUpdateRequest, 16>;
+  contract_storage_reads: FixedLengthArray<StorageRead, 16>;
+  public_call_stack_hashes: FixedLengthArray<Field, 4>;
+  new_commitments: FixedLengthArray<SideEffect, 16>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 16>;
+  new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+  unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+  unencrypted_log_preimages_length: Field;
+  historical_header: Header;
+  prover_address: AztecAddress;
+}
+
+export interface FunctionData {
+  selector: FunctionSelector;
+  is_internal: boolean;
+  is_private: boolean;
+  is_constructor: boolean;
+}
+
+export interface PublicCallStackItem {
+  contract_address: AztecAddress;
+  public_inputs: PublicCircuitPublicInputs;
+  function_data: FunctionData;
+  is_execution_request: boolean;
+}
+
+export interface PublicCallData {
+  call_stack_item: PublicCallStackItem;
+  public_call_stack: FixedLengthArray<CallRequest, 4>;
+  proof: Proof;
+  portal_contract_address: EthAddress;
+  bytecode_hash: Field;
+}
+
+export interface PublicKernelAppLogicCircuitPrivateInputs {
+  previous_kernel: PublicKernelData;
+  public_call: PublicCallData;
+}
+
+export type ReturnType = PublicKernelCircuitPublicInputs;
+
+export interface InputType {
+  input: PublicKernelAppLogicCircuitPrivateInputs;
+}

package/src/types/public_kernel_setup_types.ts

@@ -0,0 +1,250 @@
+/* Autogenerated file, do not edit! */
+
+/* eslint-disable */
+
+export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & { length: L };
+
+export type Field = string;
+export type u32 = string;
+
+export interface AggregationObject {}
+
+export interface SideEffect {
+  value: Field;
+  counter: u32;
+}
+
+export interface SideEffectLinkedToNoteHash {
+  value: Field;
+  note_hash: Field;
+  counter: u32;
+}
+
+export interface AztecAddress {
+  inner: Field;
+}
+
+export interface CallerContext {
+  msg_sender: AztecAddress;
+  storage_contract_address: AztecAddress;
+}
+
+export interface CallRequest {
+  hash: Field;
+  caller_contract_address: AztecAddress;
+  caller_context: CallerContext;
+  start_side_effect_counter: u32;
+  end_side_effect_counter: u32;
+}
+
+export interface AccumulatedNonRevertibleData {
+  new_commitments: FixedLengthArray<SideEffect, 8>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 2>;
+}
+
+export interface GrumpkinPoint {
+  x: Field;
+  y: Field;
+}
+
+export interface GrumpkinPrivateKey {
+  high: Field;
+  low: Field;
+}
+
+export interface NullifierKeyValidationRequestContext {
+  public_key: GrumpkinPoint;
+  secret_key: GrumpkinPrivateKey;
+  contract_address: AztecAddress;
+}
+
+export interface EthAddress {
+  inner: Field;
+}
+
+export interface ContractClassId {
+  inner: Field;
+}
+
+export interface NewContractData {
+  contract_address: AztecAddress;
+  portal_contract_address: EthAddress;
+  contract_class_id: ContractClassId;
+}
+
+export interface PublicDataUpdateRequest {
+  leaf_slot: Field;
+  new_value: Field;
+}
+
+export interface PublicDataRead {
+  leaf_slot: Field;
+  value: Field;
+}
+
+export interface CombinedAccumulatedData {
+  read_requests: FixedLengthArray<SideEffect, 128>;
+  nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequestContext, 4>;
+  new_commitments: FixedLengthArray<SideEffect, 64>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
+  private_call_stack: FixedLengthArray<CallRequest, 8>;
+  public_call_stack: FixedLengthArray<CallRequest, 8>;
+  new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+  encrypted_logs_hash: FixedLengthArray<Field, 2>;
+  unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+  encrypted_log_preimages_length: Field;
+  unencrypted_log_preimages_length: Field;
+  new_contracts: FixedLengthArray<NewContractData, 1>;
+  public_data_update_requests: FixedLengthArray<PublicDataUpdateRequest, 16>;
+  public_data_reads: FixedLengthArray<PublicDataRead, 16>;
+}
+
+export interface AppendOnlyTreeSnapshot {
+  root: Field;
+  next_available_leaf_index: u32;
+}
+
+export interface PartialStateReference {
+  note_hash_tree: AppendOnlyTreeSnapshot;
+  nullifier_tree: AppendOnlyTreeSnapshot;
+  contract_tree: AppendOnlyTreeSnapshot;
+  public_data_tree: AppendOnlyTreeSnapshot;
+}
+
+export interface StateReference {
+  l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
+  partial: PartialStateReference;
+}
+
+export interface GlobalVariables {
+  chain_id: Field;
+  version: Field;
+  block_number: Field;
+  timestamp: Field;
+  coinbase: EthAddress;
+  fee_recipient: AztecAddress;
+}
+
+export interface Header {
+  last_archive: AppendOnlyTreeSnapshot;
+  body_hash: FixedLengthArray<Field, 2>;
+  state: StateReference;
+  global_variables: GlobalVariables;
+}
+
+export interface ContractDeploymentData {
+  public_key: GrumpkinPoint;
+  initialization_hash: Field;
+  contract_class_id: ContractClassId;
+  contract_address_salt: Field;
+  portal_contract_address: EthAddress;
+}
+
+export interface TxContext {
+  is_fee_payment_tx: boolean;
+  is_rebate_payment_tx: boolean;
+  is_contract_deployment_tx: boolean;
+  contract_deployment_data: ContractDeploymentData;
+  chain_id: Field;
+  version: Field;
+}
+
+export interface CombinedConstantData {
+  historical_header: Header;
+  tx_context: TxContext;
+}
+
+export interface PublicKernelCircuitPublicInputs {
+  aggregation_object: AggregationObject;
+  end_non_revertible: AccumulatedNonRevertibleData;
+  end: CombinedAccumulatedData;
+  constants: CombinedConstantData;
+  is_private: boolean;
+}
+
+export interface Proof {}
+
+export interface VerificationKey {}
+
+export interface PublicKernelData {
+  public_inputs: PublicKernelCircuitPublicInputs;
+  proof: Proof;
+  vk: VerificationKey;
+  vk_index: u32;
+  vk_path: FixedLengthArray<Field, 3>;
+}
+
+export interface FunctionSelector {
+  inner: u32;
+}
+
+export interface CallContext {
+  msg_sender: AztecAddress;
+  storage_contract_address: AztecAddress;
+  portal_contract_address: EthAddress;
+  function_selector: FunctionSelector;
+  is_delegate_call: boolean;
+  is_static_call: boolean;
+  is_contract_deployment: boolean;
+  start_side_effect_counter: u32;
+}
+
+export interface StorageUpdateRequest {
+  storage_slot: Field;
+  new_value: Field;
+}
+
+export interface StorageRead {
+  storage_slot: Field;
+  current_value: Field;
+}
+
+export interface PublicCircuitPublicInputs {
+  call_context: CallContext;
+  args_hash: Field;
+  return_values: FixedLengthArray<Field, 4>;
+  contract_storage_update_requests: FixedLengthArray<StorageUpdateRequest, 16>;
+  contract_storage_reads: FixedLengthArray<StorageRead, 16>;
+  public_call_stack_hashes: FixedLengthArray<Field, 4>;
+  new_commitments: FixedLengthArray<SideEffect, 16>;
+  new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 16>;
+  new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+  unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+  unencrypted_log_preimages_length: Field;
+  historical_header: Header;
+  prover_address: AztecAddress;
+}
+
+export interface FunctionData {
+  selector: FunctionSelector;
+  is_internal: boolean;
+  is_private: boolean;
+  is_constructor: boolean;
+}
+
+export interface PublicCallStackItem {
+  contract_address: AztecAddress;
+  public_inputs: PublicCircuitPublicInputs;
+  function_data: FunctionData;
+  is_execution_request: boolean;
+}
+
+export interface PublicCallData {
+  call_stack_item: PublicCallStackItem;
+  public_call_stack: FixedLengthArray<CallRequest, 4>;
+  proof: Proof;
+  portal_contract_address: EthAddress;
+  bytecode_hash: Field;
+}
+
+export interface PublicKernelSetupCircuitPrivateInputs {
+  previous_kernel: PublicKernelData;
+  public_call: PublicCallData;
+}
+
+export type ReturnType = PublicKernelCircuitPublicInputs;
+
+export interface InputType {
+  input: PublicKernelSetupCircuitPrivateInputs;
+}