@aztec/noir-protocol-circuits-types 0.24.0

package/dest/types/private_kernel_init_types.d.ts

@@ -0,0 +1,232 @@
+export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & {
+    length: L;
+};
+export type Field = string;
+export type u32 = string;
+export interface AztecAddress {
+    inner: Field;
+}
+export interface GrumpkinPoint {
+    x: Field;
+    y: Field;
+}
+export interface ContractClassId {
+    inner: Field;
+}
+export interface EthAddress {
+    inner: Field;
+}
+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 FunctionSelector {
+    inner: u32;
+}
+export interface FunctionData {
+    selector: FunctionSelector;
+    is_internal: boolean;
+    is_private: boolean;
+    is_constructor: boolean;
+}
+export interface TxRequest {
+    origin: AztecAddress;
+    args_hash: Field;
+    tx_context: TxContext;
+    function_data: FunctionData;
+}
+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 SideEffect {
+    value: Field;
+    counter: u32;
+}
+export interface GrumpkinPrivateKey {
+    high: Field;
+    low: Field;
+}
+export interface NullifierKeyValidationRequest {
+    public_key: GrumpkinPoint;
+    secret_key: GrumpkinPrivateKey;
+}
+export interface SideEffectLinkedToNoteHash {
+    value: Field;
+    note_hash: Field;
+    counter: u32;
+}
+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 PrivateCircuitPublicInputs {
+    call_context: CallContext;
+    args_hash: Field;
+    return_values: FixedLengthArray<Field, 4>;
+    max_non_revertible_side_effect_counter: u32;
+    read_requests: FixedLengthArray<SideEffect, 32>;
+    nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequest, 1>;
+    new_commitments: FixedLengthArray<SideEffect, 16>;
+    new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 16>;
+    private_call_stack_hashes: FixedLengthArray<Field, 4>;
+    public_call_stack_hashes: FixedLengthArray<Field, 4>;
+    new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+    end_side_effect_counter: u32;
+    encrypted_logs_hash: FixedLengthArray<Field, 2>;
+    unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+    encrypted_log_preimages_length: Field;
+    unencrypted_log_preimages_length: Field;
+    historical_header: Header;
+    contract_deployment_data: ContractDeploymentData;
+    chain_id: Field;
+    version: Field;
+}
+export interface PrivateCallStackItem {
+    contract_address: AztecAddress;
+    function_data: FunctionData;
+    public_inputs: PrivateCircuitPublicInputs;
+}
+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 Proof {
+}
+export interface VerificationKey {
+}
+export interface SaltedInitializationHash {
+    inner: Field;
+}
+export interface PublicKeysHash {
+    inner: Field;
+}
+export interface FunctionLeafMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 5>;
+}
+export interface ReadRequestMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 32>;
+    is_transient: boolean;
+    hint_to_commitment: Field;
+}
+export interface PrivateCallData {
+    call_stack_item: PrivateCallStackItem;
+    private_call_stack: FixedLengthArray<CallRequest, 4>;
+    public_call_stack: FixedLengthArray<CallRequest, 4>;
+    proof: Proof;
+    vk: VerificationKey;
+    salted_initialization_hash: SaltedInitializationHash;
+    public_keys_hash: PublicKeysHash;
+    contract_class_artifact_hash: Field;
+    contract_class_public_bytecode_commitment: Field;
+    function_leaf_membership_witness: FunctionLeafMembershipWitness;
+    read_request_membership_witnesses: FixedLengthArray<ReadRequestMembershipWitness, 32>;
+    portal_contract_address: EthAddress;
+    acir_hash: Field;
+}
+export interface PrivateKernelInitCircuitPrivateInputs {
+    tx_request: TxRequest;
+    private_call: PrivateCallData;
+}
+export interface AggregationObject {
+}
+export interface NullifierKeyValidationRequestContext {
+    public_key: GrumpkinPoint;
+    secret_key: GrumpkinPrivateKey;
+    contract_address: AztecAddress;
+}
+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 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 type ReturnType = PrivateKernelInnerCircuitPublicInputs;
+export interface InputType {
+    input: PrivateKernelInitCircuitPrivateInputs;
+}
+//# sourceMappingURL=private_kernel_init_types.d.ts.map

package/dest/types/private_kernel_init_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_kernel_init_types.d.ts","sourceRoot":"","sources":["../../src/types/private_kernel_init_types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,CAAC,EAAE,KAAK,CAAC;IACT,CAAC,EAAE,KAAK,CAAC;CACV;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,aAAa,CAAC;IAC1B,mBAAmB,EAAE,KAAK,CAAC;IAC3B,iBAAiB,EAAE,eAAe,CAAC;IACnC,qBAAqB,EAAE,KAAK,CAAC;IAC7B,uBAAuB,EAAE,UAAU,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,yBAAyB,EAAE,OAAO,CAAC;IACnC,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,YAAY,CAAC;IACrB,SAAS,EAAE,KAAK,CAAC;IACjB,UAAU,EAAE,SAAS,CAAC;IACtB,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;IACvC,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,sBAAsB,EAAE,OAAO,CAAC;IAChC,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,GAAG,EAAE,KAAK,CAAC;CACZ;AAED,MAAM,WAAW,6BAA6B;IAC5C,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;CAChC;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,aAAa,EAAE,sBAAsB,CAAC;IACtC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,OAAO,EAAE,qBAAqB,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,MAAM;IACrB,YAAY,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,gBAAgB,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,WAAW,CAAC;IAC1B,SAAS,EAAE,KAAK,CAAC;IACjB,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1C,sCAAsC,EAAE,GAAG,CAAC;IAC5C,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAChD,iCAAiC,EAAE,gBAAgB,CAAC,6BAA6B,EAAE,CAAC,CAAC,CAAC;IACtF,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,yBAAyB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtD,wBAAwB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,uBAAuB,EAAE,GAAG,CAAC;IAC7B,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,YAAY,CAAC;IAC/B,aAAa,EAAE,YAAY,CAAC;IAC5B,aAAa,EAAE,0BAA0B,CAAC;CAC3C;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,KAAK,CAAC;IACZ,uBAAuB,EAAE,YAAY,CAAC;IACtC,cAAc,EAAE,aAAa,CAAC;IAC9B,yBAAyB,EAAE,GAAG,CAAC;IAC/B,uBAAuB,EAAE,GAAG,CAAC;CAC9B;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,6BAA6B;IAC5C,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1C,YAAY,EAAE,OAAO,CAAC;IACtB,kBAAkB,EAAE,KAAK,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,oBAAoB,CAAC;IACtC,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,0BAA0B,EAAE,wBAAwB,CAAC;IACrD,gBAAgB,EAAE,cAAc,CAAC;IACjC,4BAA4B,EAAE,KAAK,CAAC;IACpC,yCAAyC,EAAE,KAAK,CAAC;IACjD,gCAAgC,EAAE,6BAA6B,CAAC;IAChE,iCAAiC,EAAE,gBAAgB,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;IACtF,uBAAuB,EAAE,UAAU,CAAC;IACpC,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,qCAAqC;IACpD,UAAU,EAAE,SAAS,CAAC;IACtB,YAAY,EAAE,eAAe,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAiB;CAAG;AAErC,MAAM,WAAW,oCAAoC;IACnD,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,eAAe,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACjD,iCAAiC,EAAE,gBAAgB,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;IAC7F,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;IACpD,2BAA2B,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC3E,iBAAiB,EAAE,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,qCAAqC;IACpD,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,sCAAsC,EAAE,GAAG,CAAC;IAC5C,GAAG,EAAE,uBAAuB,CAAC;IAC7B,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,MAAM,UAAU,GAAG,qCAAqC,CAAC;AAE/D,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,qCAAqC,CAAC;CAC9C"}

package/dest/types/private_kernel_init_types.js

@@ -0,0 +1,3 @@
+/* Autogenerated file, do not edit! */
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eXBlcy9wcml2YXRlX2tlcm5lbF9pbml0X3R5cGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLHNDQUFzQyJ9

package/dest/types/private_kernel_inner_types.d.ts

@@ -0,0 +1,233 @@
+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 FunctionSelector {
+    inner: u32;
+}
+export interface FunctionData {
+    selector: FunctionSelector;
+    is_internal: boolean;
+    is_private: boolean;
+    is_constructor: boolean;
+}
+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 NullifierKeyValidationRequest {
+    public_key: GrumpkinPoint;
+    secret_key: GrumpkinPrivateKey;
+}
+export interface PrivateCircuitPublicInputs {
+    call_context: CallContext;
+    args_hash: Field;
+    return_values: FixedLengthArray<Field, 4>;
+    max_non_revertible_side_effect_counter: u32;
+    read_requests: FixedLengthArray<SideEffect, 32>;
+    nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequest, 1>;
+    new_commitments: FixedLengthArray<SideEffect, 16>;
+    new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 16>;
+    private_call_stack_hashes: FixedLengthArray<Field, 4>;
+    public_call_stack_hashes: FixedLengthArray<Field, 4>;
+    new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
+    end_side_effect_counter: u32;
+    encrypted_logs_hash: FixedLengthArray<Field, 2>;
+    unencrypted_logs_hash: FixedLengthArray<Field, 2>;
+    encrypted_log_preimages_length: Field;
+    unencrypted_log_preimages_length: Field;
+    historical_header: Header;
+    contract_deployment_data: ContractDeploymentData;
+    chain_id: Field;
+    version: Field;
+}
+export interface PrivateCallStackItem {
+    contract_address: AztecAddress;
+    function_data: FunctionData;
+    public_inputs: PrivateCircuitPublicInputs;
+}
+export interface SaltedInitializationHash {
+    inner: Field;
+}
+export interface PublicKeysHash {
+    inner: Field;
+}
+export interface FunctionLeafMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 5>;
+}
+export interface ReadRequestMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 32>;
+    is_transient: boolean;
+    hint_to_commitment: Field;
+}
+export interface PrivateCallData {
+    call_stack_item: PrivateCallStackItem;
+    private_call_stack: FixedLengthArray<CallRequest, 4>;
+    public_call_stack: FixedLengthArray<CallRequest, 4>;
+    proof: Proof;
+    vk: VerificationKey;
+    salted_initialization_hash: SaltedInitializationHash;
+    public_keys_hash: PublicKeysHash;
+    contract_class_artifact_hash: Field;
+    contract_class_public_bytecode_commitment: Field;
+    function_leaf_membership_witness: FunctionLeafMembershipWitness;
+    read_request_membership_witnesses: FixedLengthArray<ReadRequestMembershipWitness, 32>;
+    portal_contract_address: EthAddress;
+    acir_hash: Field;
+}
+export interface PrivateKernelInnerCircuitPrivateInputs {
+    previous_kernel: PrivateKernelInnerData;
+    private_call: PrivateCallData;
+}
+export type ReturnType = PrivateKernelInnerCircuitPublicInputs;
+export interface InputType {
+    input: PrivateKernelInnerCircuitPrivateInputs;
+}
+//# sourceMappingURL=private_kernel_inner_types.d.ts.map

package/dest/types/private_kernel_inner_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_kernel_inner_types.d.ts","sourceRoot":"","sources":["../../src/types/private_kernel_inner_types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,MAAM,WAAW,iBAAiB;CAAG;AAErC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,CAAC,EAAE,KAAK,CAAC;IACT,CAAC,EAAE,KAAK,CAAC;CACV;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,GAAG,EAAE,KAAK,CAAC;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,oCAAoC;IACnD,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,KAAK,CAAC;IACZ,uBAAuB,EAAE,YAAY,CAAC;IACtC,cAAc,EAAE,aAAa,CAAC;IAC9B,yBAAyB,EAAE,GAAG,CAAC;IAC/B,uBAAuB,EAAE,GAAG,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,eAAe,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACjD,iCAAiC,EAAE,gBAAgB,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;IAC7F,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;IACpD,2BAA2B,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC3E,iBAAiB,EAAE,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,aAAa,EAAE,sBAAsB,CAAC;IACtC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,OAAO,EAAE,qBAAqB,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,MAAM;IACrB,YAAY,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,gBAAgB,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,aAAa,CAAC;IAC1B,mBAAmB,EAAE,KAAK,CAAC;IAC3B,iBAAiB,EAAE,eAAe,CAAC;IACnC,qBAAqB,EAAE,KAAK,CAAC;IAC7B,uBAAuB,EAAE,UAAU,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,yBAAyB,EAAE,OAAO,CAAC;IACnC,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,qCAAqC;IACpD,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,sCAAsC,EAAE,GAAG,CAAC;IAC5C,GAAG,EAAE,uBAAuB,CAAC;IAC7B,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,sBAAsB;IACrC,aAAa,EAAE,qCAAqC,CAAC;IACrD,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC;IACd,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;IACvC,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,sBAAsB,EAAE,OAAO,CAAC;IAChC,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,6BAA6B;IAC5C,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;CAChC;AAED,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,WAAW,CAAC;IAC1B,SAAS,EAAE,KAAK,CAAC;IACjB,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1C,sCAAsC,EAAE,GAAG,CAAC;IAC5C,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAChD,iCAAiC,EAAE,gBAAgB,CAAC,6BAA6B,EAAE,CAAC,CAAC,CAAC;IACtF,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,yBAAyB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtD,wBAAwB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,uBAAuB,EAAE,GAAG,CAAC;IAC7B,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,YAAY,CAAC;IAC/B,aAAa,EAAE,YAAY,CAAC;IAC5B,aAAa,EAAE,0BAA0B,CAAC;CAC3C;AAED,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,6BAA6B;IAC5C,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1C,YAAY,EAAE,OAAO,CAAC;IACtB,kBAAkB,EAAE,KAAK,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,oBAAoB,CAAC;IACtC,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,0BAA0B,EAAE,wBAAwB,CAAC;IACrD,gBAAgB,EAAE,cAAc,CAAC;IACjC,4BAA4B,EAAE,KAAK,CAAC;IACpC,yCAAyC,EAAE,KAAK,CAAC;IACjD,gCAAgC,EAAE,6BAA6B,CAAC;IAChE,iCAAiC,EAAE,gBAAgB,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;IACtF,uBAAuB,EAAE,UAAU,CAAC;IACpC,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,sCAAsC;IACrD,eAAe,EAAE,sBAAsB,CAAC;IACxC,YAAY,EAAE,eAAe,CAAC;CAC/B;AAED,MAAM,MAAM,UAAU,GAAG,qCAAqC,CAAC;AAE/D,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,sCAAsC,CAAC;CAC/C"}

package/dest/types/private_kernel_inner_types.js

@@ -0,0 +1,3 @@
+/* Autogenerated file, do not edit! */
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5uZXJfdHlwZXMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvcHJpdmF0ZV9rZXJuZWxfaW5uZXJfdHlwZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsc0NBQXNDIn0=

package/dest/types/private_kernel_tail_types.d.ts

@@ -0,0 +1,182 @@
+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;
+}
+//# sourceMappingURL=private_kernel_tail_types.d.ts.map