@aztec/noir-protocol-circuits-types 0.24.0

package/dest/types/rollup_base_types.d.ts

@@ -0,0 +1,220 @@
+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 NullifierLeafPreimage {
+    nullifier: Field;
+    next_nullifier: Field;
+    next_index: u32;
+}
+export interface NullifierMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 20>;
+}
+export interface StateDiffHints {
+    nullifier_predecessor_preimages: FixedLengthArray<NullifierLeafPreimage, 64>;
+    nullifier_predecessor_membership_witnesses: FixedLengthArray<NullifierMembershipWitness, 64>;
+    sorted_nullifiers: FixedLengthArray<Field, 64>;
+    sorted_nullifier_indexes: FixedLengthArray<u32, 64>;
+    note_hash_subtree_sibling_path: FixedLengthArray<Field, 26>;
+    nullifier_subtree_sibling_path: FixedLengthArray<Field, 14>;
+    contract_subtree_sibling_path: FixedLengthArray<Field, 16>;
+    public_data_sibling_path: FixedLengthArray<Field, 36>;
+}
+export interface PublicDataTreeLeaf {
+    slot: Field;
+    value: Field;
+}
+export interface PublicDataTreeLeafPreimage {
+    slot: Field;
+    value: Field;
+    next_slot: Field;
+    next_index: u32;
+}
+export interface PublicDataMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 40>;
+}
+export interface ArchiveRootMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 16>;
+}
+export interface ConstantRollupData {
+    last_archive: AppendOnlyTreeSnapshot;
+    private_kernel_vk_tree_root: Field;
+    public_kernel_vk_tree_root: Field;
+    base_rollup_vk_hash: Field;
+    merge_rollup_vk_hash: Field;
+    global_variables: GlobalVariables;
+}
+export interface BaseRollupInputs {
+    kernel_data: PublicKernelData;
+    start: PartialStateReference;
+    state_diff_hints: StateDiffHints;
+    sorted_public_data_writes: FixedLengthArray<PublicDataTreeLeaf, 16>;
+    sorted_public_data_writes_indexes: FixedLengthArray<u32, 16>;
+    low_public_data_writes_preimages: FixedLengthArray<PublicDataTreeLeafPreimage, 16>;
+    low_public_data_writes_witnesses: FixedLengthArray<PublicDataMembershipWitness, 16>;
+    public_data_reads_preimages: FixedLengthArray<PublicDataTreeLeafPreimage, 16>;
+    public_data_reads_witnesses: FixedLengthArray<PublicDataMembershipWitness, 16>;
+    archive_root_membership_witness: ArchiveRootMembershipWitness;
+    constants: ConstantRollupData;
+}
+export interface BaseOrMergeRollupPublicInputs {
+    rollup_type: u32;
+    height_in_block_tree: Field;
+    aggregation_object: AggregationObject;
+    constants: ConstantRollupData;
+    start: PartialStateReference;
+    end: PartialStateReference;
+    calldata_hash: FixedLengthArray<Field, 2>;
+}
+export type ReturnType = BaseOrMergeRollupPublicInputs;
+export interface InputType {
+    inputs: BaseRollupInputs;
+}
+//# sourceMappingURL=rollup_base_types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rollup_base_types.d.ts","sourceRoot":"","sources":["../../src/types/rollup_base_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,0BAA0B;IACzC,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,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,4BAA4B;IAC3C,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,CAAC,CAAC,CAAC;IAChE,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;CACrD;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,oCAAoC;IACnD,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,CAAC;CAChC;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,+BAA+B;IAC9C,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,kBAAkB,EAAE,4BAA4B,CAAC;IACjD,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,gBAAgB;IAC/B,aAAa,EAAE,+BAA+B,CAAC;IAC/C,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,qBAAqB;IACpC,SAAS,EAAE,KAAK,CAAC;IACjB,cAAc,EAAE,KAAK,CAAC;IACtB,UAAU,EAAE,GAAG,CAAC;CACjB;AAED,MAAM,WAAW,0BAA0B;IACzC,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,cAAc;IAC7B,+BAA+B,EAAE,gBAAgB,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;IAC7E,0CAA0C,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IAC7F,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/C,wBAAwB,EAAE,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACpD,8BAA8B,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC5D,8BAA8B,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC5D,6BAA6B,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3D,wBAAwB,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC;CACjB;AAED,MAAM,WAAW,2BAA2B;IAC1C,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,sBAAsB,CAAC;IACrC,2BAA2B,EAAE,KAAK,CAAC;IACnC,0BAA0B,EAAE,KAAK,CAAC;IAClC,mBAAmB,EAAE,KAAK,CAAC;IAC3B,oBAAoB,EAAE,KAAK,CAAC;IAC5B,gBAAgB,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,gBAAgB,CAAC;IAC9B,KAAK,EAAE,qBAAqB,CAAC;IAC7B,gBAAgB,EAAE,cAAc,CAAC;IACjC,yBAAyB,EAAE,gBAAgB,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACpE,iCAAiC,EAAE,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC7D,gCAAgC,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACnF,gCAAgC,EAAE,gBAAgB,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IACpF,2BAA2B,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IAC9E,2BAA2B,EAAE,gBAAgB,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC/E,+BAA+B,EAAE,4BAA4B,CAAC;IAC9D,SAAS,EAAE,kBAAkB,CAAC;CAC/B;AAED,MAAM,WAAW,6BAA6B;IAC5C,WAAW,EAAE,GAAG,CAAC;IACjB,oBAAoB,EAAE,KAAK,CAAC;IAC5B,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,KAAK,EAAE,qBAAqB,CAAC;IAC7B,GAAG,EAAE,qBAAqB,CAAC;IAC3B,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C;AAED,MAAM,MAAM,UAAU,GAAG,6BAA6B,CAAC;AAEvD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,gBAAgB,CAAC;CAC1B"}

package/dest/types/rollup_base_types.js

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

package/dest/types/rollup_merge_types.d.ts

@@ -0,0 +1,71 @@
+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 AppendOnlyTreeSnapshot {
+    root: Field;
+    next_available_leaf_index: u32;
+}
+export interface EthAddress {
+    inner: Field;
+}
+export interface AztecAddress {
+    inner: Field;
+}
+export interface GlobalVariables {
+    chain_id: Field;
+    version: Field;
+    block_number: Field;
+    timestamp: Field;
+    coinbase: EthAddress;
+    fee_recipient: AztecAddress;
+}
+export interface ConstantRollupData {
+    last_archive: AppendOnlyTreeSnapshot;
+    private_kernel_vk_tree_root: Field;
+    public_kernel_vk_tree_root: Field;
+    base_rollup_vk_hash: Field;
+    merge_rollup_vk_hash: Field;
+    global_variables: GlobalVariables;
+}
+export interface PartialStateReference {
+    note_hash_tree: AppendOnlyTreeSnapshot;
+    nullifier_tree: AppendOnlyTreeSnapshot;
+    contract_tree: AppendOnlyTreeSnapshot;
+    public_data_tree: AppendOnlyTreeSnapshot;
+}
+export interface BaseOrMergeRollupPublicInputs {
+    rollup_type: u32;
+    height_in_block_tree: Field;
+    aggregation_object: AggregationObject;
+    constants: ConstantRollupData;
+    start: PartialStateReference;
+    end: PartialStateReference;
+    calldata_hash: FixedLengthArray<Field, 2>;
+}
+export interface Proof {
+}
+export interface VerificationKey {
+}
+export interface VKMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 8>;
+}
+export interface PreviousRollupData {
+    base_or_merge_rollup_public_inputs: BaseOrMergeRollupPublicInputs;
+    proof: Proof;
+    vk: VerificationKey;
+    vk_index: u32;
+    vk_sibling_path: VKMembershipWitness;
+}
+export interface MergeRollupInputs {
+    previous_rollup_data: FixedLengthArray<PreviousRollupData, 2>;
+}
+export type ReturnType = BaseOrMergeRollupPublicInputs;
+export interface InputType {
+    inputs: MergeRollupInputs;
+}
+//# sourceMappingURL=rollup_merge_types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rollup_merge_types.d.ts","sourceRoot":"","sources":["../../src/types/rollup_merge_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,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;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,kBAAkB;IACjC,YAAY,EAAE,sBAAsB,CAAC;IACrC,2BAA2B,EAAE,KAAK,CAAC;IACnC,0BAA0B,EAAE,KAAK,CAAC;IAClC,mBAAmB,EAAE,KAAK,CAAC;IAC3B,oBAAoB,EAAE,KAAK,CAAC;IAC5B,gBAAgB,EAAE,eAAe,CAAC;CACnC;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,6BAA6B;IAC5C,WAAW,EAAE,GAAG,CAAC;IACjB,oBAAoB,EAAE,KAAK,CAAC;IAC5B,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,KAAK,EAAE,qBAAqB,CAAC;IAC7B,GAAG,EAAE,qBAAqB,CAAC;IAC3B,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,kBAAkB;IACjC,kCAAkC,EAAE,6BAA6B,CAAC;IAClE,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC;IACd,eAAe,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,iBAAiB;IAChC,oBAAoB,EAAE,gBAAgB,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;CAC/D;AAED,MAAM,MAAM,UAAU,GAAG,6BAA6B,CAAC;AAEvD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,iBAAiB,CAAC;CAC3B"}

package/dest/types/rollup_merge_types.js

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

package/dest/types/rollup_root_types.d.ts

@@ -0,0 +1,92 @@
+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 AppendOnlyTreeSnapshot {
+    root: Field;
+    next_available_leaf_index: u32;
+}
+export interface EthAddress {
+    inner: Field;
+}
+export interface AztecAddress {
+    inner: Field;
+}
+export interface GlobalVariables {
+    chain_id: Field;
+    version: Field;
+    block_number: Field;
+    timestamp: Field;
+    coinbase: EthAddress;
+    fee_recipient: AztecAddress;
+}
+export interface ConstantRollupData {
+    last_archive: AppendOnlyTreeSnapshot;
+    private_kernel_vk_tree_root: Field;
+    public_kernel_vk_tree_root: Field;
+    base_rollup_vk_hash: Field;
+    merge_rollup_vk_hash: Field;
+    global_variables: GlobalVariables;
+}
+export interface PartialStateReference {
+    note_hash_tree: AppendOnlyTreeSnapshot;
+    nullifier_tree: AppendOnlyTreeSnapshot;
+    contract_tree: AppendOnlyTreeSnapshot;
+    public_data_tree: AppendOnlyTreeSnapshot;
+}
+export interface BaseOrMergeRollupPublicInputs {
+    rollup_type: u32;
+    height_in_block_tree: Field;
+    aggregation_object: AggregationObject;
+    constants: ConstantRollupData;
+    start: PartialStateReference;
+    end: PartialStateReference;
+    calldata_hash: FixedLengthArray<Field, 2>;
+}
+export interface Proof {
+}
+export interface VerificationKey {
+}
+export interface VKMembershipWitness {
+    leaf_index: Field;
+    sibling_path: FixedLengthArray<Field, 8>;
+}
+export interface PreviousRollupData {
+    base_or_merge_rollup_public_inputs: BaseOrMergeRollupPublicInputs;
+    proof: Proof;
+    vk: VerificationKey;
+    vk_index: u32;
+    vk_sibling_path: VKMembershipWitness;
+}
+export interface RootRollupInputs {
+    previous_rollup_data: FixedLengthArray<PreviousRollupData, 2>;
+    new_l1_to_l2_messages: FixedLengthArray<Field, 16>;
+    new_l1_to_l2_message_tree_root_sibling_path: FixedLengthArray<Field, 12>;
+    start_l1_to_l2_message_tree_snapshot: AppendOnlyTreeSnapshot;
+    start_archive_snapshot: AppendOnlyTreeSnapshot;
+    new_archive_sibling_path: FixedLengthArray<Field, 16>;
+}
+export interface StateReference {
+    l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
+    partial: PartialStateReference;
+}
+export interface Header {
+    last_archive: AppendOnlyTreeSnapshot;
+    body_hash: FixedLengthArray<Field, 2>;
+    state: StateReference;
+    global_variables: GlobalVariables;
+}
+export interface RootRollupPublicInputs {
+    aggregation_object: AggregationObject;
+    archive: AppendOnlyTreeSnapshot;
+    header: Header;
+    l1_to_l2_messages_hash: FixedLengthArray<Field, 2>;
+}
+export type ReturnType = RootRollupPublicInputs;
+export interface InputType {
+    inputs: RootRollupInputs;
+}
+//# sourceMappingURL=rollup_root_types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rollup_root_types.d.ts","sourceRoot":"","sources":["../../src/types/rollup_root_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,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;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,kBAAkB;IACjC,YAAY,EAAE,sBAAsB,CAAC;IACrC,2BAA2B,EAAE,KAAK,CAAC;IACnC,0BAA0B,EAAE,KAAK,CAAC;IAClC,mBAAmB,EAAE,KAAK,CAAC;IAC3B,oBAAoB,EAAE,KAAK,CAAC;IAC5B,gBAAgB,EAAE,eAAe,CAAC;CACnC;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,6BAA6B;IAC5C,WAAW,EAAE,GAAG,CAAC;IACjB,oBAAoB,EAAE,KAAK,CAAC;IAC5B,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,KAAK,EAAE,qBAAqB,CAAC;IAC7B,GAAG,EAAE,qBAAqB,CAAC;IAC3B,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,KAAK,CAAC;IAClB,YAAY,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,kBAAkB;IACjC,kCAAkC,EAAE,6BAA6B,CAAC;IAClE,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC;IACd,eAAe,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,gBAAgB;IAC/B,oBAAoB,EAAE,gBAAgB,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;IAC9D,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACnD,2CAA2C,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzE,oCAAoC,EAAE,sBAAsB,CAAC;IAC7D,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C,wBAAwB,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,OAAO,EAAE,qBAAqB,CAAC;CAChC;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,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,OAAO,EAAE,sBAAsB,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,sBAAsB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACpD;AAED,MAAM,MAAM,UAAU,GAAG,sBAAsB,CAAC;AAEhD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,gBAAgB,CAAC;CAC1B"}

package/dest/types/rollup_root_types.js

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

package/package.json

@@ -0,0 +1,60 @@
+{
+  "name": "@aztec/noir-protocol-circuits-types",
+  "version": "0.24.0",
+  "type": "module",
+  "exports": {
+    ".": "./dest/index.js",
+    "./types": "./dest/types/index.js"
+  },
+  "scripts": {
+    "build": "yarn clean && yarn noir:types && tsc -b",
+    "clean": "rm -rf ./dest .tsbuildinfo src/types src/target",
+    "formatting": "run -T prettier --check ./src && run -T eslint ./src",
+    "formatting:fix": "NODE_OPTIONS='--max-old-space-size=8096' run -T eslint --fix ./src && run -T prettier -w ./src",
+    "formatting:fix:types": "NODE_OPTIONS='--max-old-space-size=8096' run -T eslint --fix ./src/types && run -T prettier -w ./src/types",
+    "noir:types": "cp -r ../../noir-projects/noir-protocol-circuits/src/target ./src/target && node --loader ts-node/esm src/scripts/generate_ts_from_abi.ts && yarn formatting:fix:types",
+    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules $(yarn bin jest) --passWithNoTests"
+  },
+  "jest": {
+    "preset": "ts-jest/presets/default-esm",
+    "moduleNameMapper": {
+      "^(\\.{1,2}/.*)\\.[cm]?js$": "$1"
+    },
+    "testRegex": "./src/.*\\.test\\.(js|mjs|ts)$",
+    "rootDir": "./src"
+  },
+  "dependencies": {
+    "@aztec/circuits.js": "0.24.0",
+    "@aztec/foundation": "0.24.0",
+    "@aztec/noir-compiler": "0.24.0",
+    "@aztec/types": "0.24.0",
+    "@noir-lang/acvm_js": "portal:../../noir/packages/acvm_js",
+    "@noir-lang/backend_barretenberg": "portal:../../noir/packages/backend_barretenberg",
+    "@noir-lang/noir_js": "portal:../../noir/packages/noir_js",
+    "@noir-lang/noirc_abi": "portal:../../noir/packages/noirc_abi",
+    "tslib": "^2.4.0"
+  },
+  "devDependencies": {
+    "@aztec/circuit-types": "workspace:^",
+    "@aztec/kv-store": "workspace:^",
+    "@aztec/merkle-tree": "workspace:^",
+    "@jest/globals": "^29.5.0",
+    "@types/jest": "^29.5.0",
+    "@types/node": "^18.7.23",
+    "jest": "^29.5.0",
+    "levelup": "^5.1.1",
+    "memdown": "^6.1.1",
+    "ts-jest": "^29.1.0",
+    "ts-node": "^10.9.1",
+    "typescript": "^5.0.4"
+  },
+  "files": [
+    "dest",
+    "src",
+    "!*.test.*"
+  ],
+  "types": "./dest/index.d.ts",
+  "engines": {
+    "node": ">=18"
+  }
+}