@hyperlane-xyz/core 1.3.7 → 1.3.8-beta0

package/README.md

@@ -4,10 +4,12 @@ On-chain implementations of Hyperlane in Solidity.
 
 ## Setup
 
-- `npm install --dev`
-- `brew install jq`   OR   `sudo apt-get install jq`
+- `yarn install`
 
 ## Build
 
-- `npm run compile`
-- `npm run test`
+- `yarn build`
+
+## Test
+
+- `yarn test`

package/contracts/isms/multisig/AbstractMerkleRootMultisigIsm.sol

@@ -10,10 +10,16 @@ import {MerkleLib} from "../../libs/Merkle.sol";
 import {CheckpointLib} from "../../libs/CheckpointLib.sol";
 
 /**
- * @title MerkleRootMultisigIsm
- * @notice Provides abstract logic for verifying signatures on a merkle root
- * and a merkle proof of message inclusion in that root.
- * @dev Implement and use if you want strong censorship resistance guarantees.
+ * @title `AbstractMerkleRootMultisigIsm` — multi-sig ISM with the validators-censorship resistance guarantee.
+ * @notice This ISM allows using a newer signed checkpoint (say #33) to prove existence of an older message (#22) in the validators' MerkleTree.
+ * This guarantees censorship resistance as validators cannot hide a message
+ * by refusing to sign its checkpoint but later signing a checkpoint for a newer message.
+ * If validators decide to censor a message, they are left with only one option — to not produce checkpoints at all.
+ * Otherwise, the very next signed checkpoint (#33) can be used by any relayer to prove the previous message inclusion using this ISM.
+ * This is censorship resistance is missing in the sibling implementation `AbstractMessageIdMultisigIsm`,
+ * since it can only verify messages having the corresponding checkpoints.
+ * @dev Provides the default implementation of verifying signatures over a checkpoint and the message inclusion in that checkpoint.
+ * This abstract contract can be overridden for customizing the `validatorsAndThreshold()` (static or dynamic).
  * @dev May be adapted in future to support batch message verification against a single root.
  */
 abstract contract AbstractMerkleRootMultisigIsm is AbstractMultisigIsm {

package/contracts/isms/multisig/AbstractMessageIdMultisigIsm.sol

@@ -9,9 +9,14 @@ import {Message} from "../../libs/Message.sol";
 import {CheckpointLib} from "../../libs/CheckpointLib.sol";
 
 /**
- * @title AbstractMessageIdMultisigIsm
- * @notice Provides abstract logic for verifying signatures on a message ID.
- * @dev Implement and use if you want fastest and cheapest security.
+ * @title `AbstractMessageIdMultisigIsm` — multi-sig ISM for the censorship-friendly validators.
+ * @notice This ISM minimizes gas/performance overhead of the checkpoints verification by compromising on the censorship resistance.
+ * For censorship resistance consider using `AbstractMerkleRootMultisigIsm`.
+ * If the validators (`validatorsAndThreshold`) skip messages by not sign checkpoints for them,
+ * the relayers will not be able to aggregate a quorum of signatures sufficient to deliver these messages via this ISM.
+ * Integrations are free to choose the trade-off between the censorship resistance and the gas/processing overhead.
+ * @dev Provides the default implementation of verifying signatures over a checkpoint related to a specific message ID.
+ * This abstract contract can be customized to change the `validatorsAndThreshold()` (static or dynamic).
  */
 abstract contract AbstractMessageIdMultisigIsm is AbstractMultisigIsm {
     // ============ Constants ============

package/dist/contracts/CheckpointFraudProofs.d.ts

@@ -0,0 +1,103 @@
+import type { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "../common";
+import type { FunctionFragment, Result } from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type { BaseContract, BigNumber, BigNumberish, BytesLike, CallOverrides, ContractTransaction, Overrides, PopulatedTransaction, Signer, utils } from "ethers";
+export declare type CheckpointStruct = {
+    origin: BigNumberish;
+    originMailbox: BytesLike;
+    root: BytesLike;
+    index: BigNumberish;
+    messageId: BytesLike;
+};
+export declare type CheckpointStructOutput = [
+    number,
+    string,
+    string,
+    number,
+    string
+] & {
+    origin: number;
+    originMailbox: string;
+    root: string;
+    index: number;
+    messageId: string;
+};
+export interface CheckpointFraudProofsInterface extends utils.Interface {
+    functions: {
+        "isFraudulentMessageId((uint32,bytes32,bytes32,uint32,bytes32),bytes32[32],bytes32)": FunctionFragment;
+        "isFraudulentRoot((uint32,bytes32,bytes32,uint32,bytes32),bytes32[32])": FunctionFragment;
+        "isPremature((uint32,bytes32,bytes32,uint32,bytes32))": FunctionFragment;
+        "storeLatestCheckpoint(address)": FunctionFragment;
+        "storedCheckpoint(address,bytes32)": FunctionFragment;
+    };
+    getFunction(nameOrSignatureOrTopic: "isFraudulentMessageId" | "isFraudulentRoot" | "isPremature" | "storeLatestCheckpoint" | "storedCheckpoint"): FunctionFragment;
+    encodeFunctionData(functionFragment: "isFraudulentMessageId", values: [CheckpointStruct, BytesLike[], BytesLike]): string;
+    encodeFunctionData(functionFragment: "isFraudulentRoot", values: [CheckpointStruct, BytesLike[]]): string;
+    encodeFunctionData(functionFragment: "isPremature", values: [CheckpointStruct]): string;
+    encodeFunctionData(functionFragment: "storeLatestCheckpoint", values: [string]): string;
+    encodeFunctionData(functionFragment: "storedCheckpoint", values: [string, BytesLike]): string;
+    decodeFunctionResult(functionFragment: "isFraudulentMessageId", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "isFraudulentRoot", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "isPremature", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "storeLatestCheckpoint", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "storedCheckpoint", data: BytesLike): Result;
+    events: {};
+}
+export interface CheckpointFraudProofs extends BaseContract {
+    connect(signerOrProvider: Signer | Provider | string): this;
+    attach(addressOrName: string): this;
+    deployed(): Promise<this>;
+    interface: CheckpointFraudProofsInterface;
+    queryFilter<TEvent extends TypedEvent>(event: TypedEventFilter<TEvent>, fromBlockOrBlockhash?: string | number | undefined, toBlock?: string | number | undefined): Promise<Array<TEvent>>;
+    listeners<TEvent extends TypedEvent>(eventFilter?: TypedEventFilter<TEvent>): Array<TypedListener<TEvent>>;
+    listeners(eventName?: string): Array<Listener>;
+    removeAllListeners<TEvent extends TypedEvent>(eventFilter: TypedEventFilter<TEvent>): this;
+    removeAllListeners(eventName?: string): this;
+    off: OnEvent<this>;
+    on: OnEvent<this>;
+    once: OnEvent<this>;
+    removeListener: OnEvent<this>;
+    functions: {
+        isFraudulentMessageId(checkpoint: CheckpointStruct, proof: BytesLike[], actualMessageId: BytesLike, overrides?: CallOverrides): Promise<[boolean]>;
+        isFraudulentRoot(checkpoint: CheckpointStruct, proof: BytesLike[], overrides?: CallOverrides): Promise<[boolean]>;
+        isPremature(checkpoint: CheckpointStruct, overrides?: CallOverrides): Promise<[boolean]>;
+        storeLatestCheckpoint(mailbox: string, overrides?: Overrides & {
+            from?: string | Promise<string>;
+        }): Promise<ContractTransaction>;
+        storedCheckpoint(arg0: string, arg1: BytesLike, overrides?: CallOverrides): Promise<[number]>;
+    };
+    isFraudulentMessageId(checkpoint: CheckpointStruct, proof: BytesLike[], actualMessageId: BytesLike, overrides?: CallOverrides): Promise<boolean>;
+    isFraudulentRoot(checkpoint: CheckpointStruct, proof: BytesLike[], overrides?: CallOverrides): Promise<boolean>;
+    isPremature(checkpoint: CheckpointStruct, overrides?: CallOverrides): Promise<boolean>;
+    storeLatestCheckpoint(mailbox: string, overrides?: Overrides & {
+        from?: string | Promise<string>;
+    }): Promise<ContractTransaction>;
+    storedCheckpoint(arg0: string, arg1: BytesLike, overrides?: CallOverrides): Promise<number>;
+    callStatic: {
+        isFraudulentMessageId(checkpoint: CheckpointStruct, proof: BytesLike[], actualMessageId: BytesLike, overrides?: CallOverrides): Promise<boolean>;
+        isFraudulentRoot(checkpoint: CheckpointStruct, proof: BytesLike[], overrides?: CallOverrides): Promise<boolean>;
+        isPremature(checkpoint: CheckpointStruct, overrides?: CallOverrides): Promise<boolean>;
+        storeLatestCheckpoint(mailbox: string, overrides?: CallOverrides): Promise<void>;
+        storedCheckpoint(arg0: string, arg1: BytesLike, overrides?: CallOverrides): Promise<number>;
+    };
+    filters: {};
+    estimateGas: {
+        isFraudulentMessageId(checkpoint: CheckpointStruct, proof: BytesLike[], actualMessageId: BytesLike, overrides?: CallOverrides): Promise<BigNumber>;
+        isFraudulentRoot(checkpoint: CheckpointStruct, proof: BytesLike[], overrides?: CallOverrides): Promise<BigNumber>;
+        isPremature(checkpoint: CheckpointStruct, overrides?: CallOverrides): Promise<BigNumber>;
+        storeLatestCheckpoint(mailbox: string, overrides?: Overrides & {
+            from?: string | Promise<string>;
+        }): Promise<BigNumber>;
+        storedCheckpoint(arg0: string, arg1: BytesLike, overrides?: CallOverrides): Promise<BigNumber>;
+    };
+    populateTransaction: {
+        isFraudulentMessageId(checkpoint: CheckpointStruct, proof: BytesLike[], actualMessageId: BytesLike, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        isFraudulentRoot(checkpoint: CheckpointStruct, proof: BytesLike[], overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        isPremature(checkpoint: CheckpointStruct, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        storeLatestCheckpoint(mailbox: string, overrides?: Overrides & {
+            from?: string | Promise<string>;
+        }): Promise<PopulatedTransaction>;
+        storedCheckpoint(arg0: string, arg1: BytesLike, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+    };
+}
+//# sourceMappingURL=CheckpointFraudProofs.d.ts.map

package/dist/contracts/CheckpointFraudProofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckpointFraudProofs.d.ts","sourceRoot":"","sources":["../../types/contracts/CheckpointFraudProofs.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,OAAO,EACR,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,SAAS,EACT,aAAa,EACb,mBAAmB,EACnB,SAAS,EACT,oBAAoB,EACpB,MAAM,EACN,KAAK,EACN,MAAM,QAAQ,CAAC;AAEhB,oBAAY,gBAAgB,GAAG;IAC7B,MAAM,EAAE,YAAY,CAAC;IACrB,aAAa,EAAE,SAAS,CAAC;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,SAAS,CAAC;CACtB,CAAC;AAEF,oBAAY,sBAAsB,GAAG;IACnC,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;CACP,GAAG;IACF,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,WAAW,8BAA+B,SAAQ,KAAK,CAAC,SAAS;IACrE,SAAS,EAAE;QACT,oFAAoF,EAAE,gBAAgB,CAAC;QACvG,uEAAuE,EAAE,gBAAgB,CAAC;QAC1F,sDAAsD,EAAE,gBAAgB,CAAC;QACzE,gCAAgC,EAAE,gBAAgB,CAAC;QACnD,mCAAmC,EAAE,gBAAgB,CAAC;KACvD,CAAC;IAEF,WAAW,CACT,sBAAsB,EAClB,uBAAuB,GACvB,kBAAkB,GAClB,aAAa,GACb,uBAAuB,GACvB,kBAAkB,GACrB,gBAAgB,CAAC;IAEpB,kBAAkB,CAChB,gBAAgB,EAAE,uBAAuB,EACzC,MAAM,EAAE,CAAC,gBAAgB,EAAE,SAAS,EAAE,EAAE,SAAS,CAAC,GACjD,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,kBAAkB,EACpC,MAAM,EAAE,CAAC,gBAAgB,EAAE,SAAS,EAAE,CAAC,GACtC,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,aAAa,EAC/B,MAAM,EAAE,CAAC,gBAAgB,CAAC,GACzB,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,uBAAuB,EACzC,MAAM,EAAE,CAAC,MAAM,CAAC,GACf,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,kBAAkB,EACpC,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,GAC1B,MAAM,CAAC;IAEV,oBAAoB,CAClB,gBAAgB,EAAE,uBAAuB,EACzC,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IACV,oBAAoB,CAClB,gBAAgB,EAAE,kBAAkB,EACpC,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IACV,oBAAoB,CAClB,gBAAgB,EAAE,aAAa,EAC/B,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IACV,oBAAoB,CAClB,gBAAgB,EAAE,uBAAuB,EACzC,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IACV,oBAAoB,CAClB,gBAAgB,EAAE,kBAAkB,EACpC,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IAEV,MAAM,EAAE,EAAE,CAAC;CACZ;AAED,MAAM,WAAW,qBAAsB,SAAQ,YAAY;IACzD,OAAO,CAAC,gBAAgB,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,IAAI,CAAC;IAC5D,MAAM,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1B,SAAS,EAAE,8BAA8B,CAAC;IAE1C,WAAW,CAAC,MAAM,SAAS,UAAU,EACnC,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAC/B,oBAAoB,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,EAClD,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GACpC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE1B,SAAS,CAAC,MAAM,SAAS,UAAU,EACjC,WAAW,CAAC,EAAE,gBAAgB,CAAC,MAAM,CAAC,GACrC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,SAAS,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/C,kBAAkB,CAAC,MAAM,SAAS,UAAU,EAC1C,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,GACpC,IAAI,CAAC;IACR,kBAAkB,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9B,SAAS,EAAE;QACT,qBAAqB,CACnB,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,eAAe,EAAE,SAAS,EAC1B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAEtB,gBAAgB,CACd,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAEtB,WAAW,CACT,UAAU,EAAE,gBAAgB,EAC5B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAEtB,qBAAqB,CACnB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,SAAS,GAAG;YAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;SAAE,GAC1D,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAEhC,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;KACtB,CAAC;IAEF,qBAAqB,CACnB,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,eAAe,EAAE,SAAS,EAC1B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;IAEpB,gBAAgB,CACd,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;IAEpB,WAAW,CACT,UAAU,EAAE,gBAAgB,EAC5B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;IAEpB,qBAAqB,CACnB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,SAAS,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;KAAE,GAC1D,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAEhC,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnB,UAAU,EAAE;QACV,qBAAqB,CACnB,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,eAAe,EAAE,SAAS,EAC1B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;QAEpB,gBAAgB,CACd,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;QAEpB,WAAW,CACT,UAAU,EAAE,gBAAgB,EAC5B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;QAEpB,qBAAqB,CACnB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,IAAI,CAAC,CAAC;QAEjB,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,MAAM,CAAC,CAAC;KACpB,CAAC;IAEF,OAAO,EAAE,EAAE,CAAC;IAEZ,WAAW,EAAE;QACX,qBAAqB,CACnB,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,eAAe,EAAE,SAAS,EAC1B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;QAEtB,gBAAgB,CACd,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;QAEtB,WAAW,CACT,UAAU,EAAE,gBAAgB,EAC5B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;QAEtB,qBAAqB,CACnB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,SAAS,GAAG;YAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;SAAE,GAC1D,OAAO,CAAC,SAAS,CAAC,CAAC;QAEtB,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;KACvB,CAAC;IAEF,mBAAmB,EAAE;QACnB,qBAAqB,CACnB,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,eAAe,EAAE,SAAS,EAC1B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,gBAAgB,CACd,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAAE,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,WAAW,CACT,UAAU,EAAE,gBAAgB,EAC5B,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,qBAAqB,CACnB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,SAAS,GAAG;YAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;SAAE,GAC1D,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;KAClC,CAAC;CACH"}

package/dist/contracts/CheckpointFraudProofs.js

@@ -0,0 +1,4 @@
+"use strict";
+/* Autogenerated file. Do not edit manually. */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=CheckpointFraudProofs.js.map

package/dist/contracts/CheckpointFraudProofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckpointFraudProofs.js","sourceRoot":"","sources":["../../types/contracts/CheckpointFraudProofs.ts"],"names":[],"mappings":";AAAA,+CAA+C"}

package/dist/contracts/index.d.ts

@@ -18,6 +18,7 @@ export type { middleware };
 export type { mock };
 export type { test };
 export type { upgrade };
+export type { CheckpointFraudProofs } from "./CheckpointFraudProofs";
 export type { GasRouter } from "./GasRouter";
 export type { HyperlaneConnectionClient } from "./HyperlaneConnectionClient";
 export type { Mailbox } from "./Mailbox";

package/dist/contracts/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../types/contracts/index.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,KAAK,0BAA0B,MAAM,+BAA+B,CAAC;AACjF,OAAO,KAAK,KAAK,KAAK,MAAM,SAAS,CAAC;AACtC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,UAAU,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,UAAU,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAE1C,YAAY,EAAE,0BAA0B,EAAE,CAAC;AAE3C,YAAY,EAAE,KAAK,EAAE,CAAC;AAEtB,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,UAAU,EAAE,CAAC;AAE3B,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,UAAU,EAAE,CAAC;AAE3B,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,OAAO,EAAE,CAAC;AACxB,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,YAAY,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAC7E,YAAY,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACvC,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../types/contracts/index.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,KAAK,0BAA0B,MAAM,+BAA+B,CAAC;AACjF,OAAO,KAAK,KAAK,KAAK,MAAM,SAAS,CAAC;AACtC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,UAAU,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,UAAU,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAE1C,YAAY,EAAE,0BAA0B,EAAE,CAAC;AAE3C,YAAY,EAAE,KAAK,EAAE,CAAC;AAEtB,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,UAAU,EAAE,CAAC;AAE3B,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,UAAU,EAAE,CAAC;AAE3B,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,IAAI,EAAE,CAAC;AAErB,YAAY,EAAE,OAAO,EAAE,CAAC;AACxB,YAAY,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACrE,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,YAAY,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAC7E,YAAY,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACvC,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/contracts/libs/TestMerkle.sol/MerkleTree.d.ts

@@ -0,0 +1,77 @@
+import type { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "../../../common";
+import type { FunctionFragment, Result } from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type { BaseContract, BigNumber, BigNumberish, BytesLike, CallOverrides, PopulatedTransaction, Signer, utils } from "ethers";
+export interface MerkleTreeInterface extends utils.Interface {
+    functions: {
+        "getProof(bytes32[],uint256)": FunctionFragment;
+        "getRoot(bytes32[])": FunctionFragment;
+        "hashLeafPairs(bytes32,bytes32)": FunctionFragment;
+        "log2ceil(uint256)": FunctionFragment;
+        "log2ceilBitMagic(uint256)": FunctionFragment;
+    };
+    getFunction(nameOrSignatureOrTopic: "getProof" | "getRoot" | "hashLeafPairs" | "log2ceil" | "log2ceilBitMagic"): FunctionFragment;
+    encodeFunctionData(functionFragment: "getProof", values: [BytesLike[], BigNumberish]): string;
+    encodeFunctionData(functionFragment: "getRoot", values: [BytesLike[]]): string;
+    encodeFunctionData(functionFragment: "hashLeafPairs", values: [BytesLike, BytesLike]): string;
+    encodeFunctionData(functionFragment: "log2ceil", values: [BigNumberish]): string;
+    encodeFunctionData(functionFragment: "log2ceilBitMagic", values: [BigNumberish]): string;
+    decodeFunctionResult(functionFragment: "getProof", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "getRoot", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "hashLeafPairs", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "log2ceil", data: BytesLike): Result;
+    decodeFunctionResult(functionFragment: "log2ceilBitMagic", data: BytesLike): Result;
+    events: {};
+}
+export interface MerkleTree extends BaseContract {
+    connect(signerOrProvider: Signer | Provider | string): this;
+    attach(addressOrName: string): this;
+    deployed(): Promise<this>;
+    interface: MerkleTreeInterface;
+    queryFilter<TEvent extends TypedEvent>(event: TypedEventFilter<TEvent>, fromBlockOrBlockhash?: string | number | undefined, toBlock?: string | number | undefined): Promise<Array<TEvent>>;
+    listeners<TEvent extends TypedEvent>(eventFilter?: TypedEventFilter<TEvent>): Array<TypedListener<TEvent>>;
+    listeners(eventName?: string): Array<Listener>;
+    removeAllListeners<TEvent extends TypedEvent>(eventFilter: TypedEventFilter<TEvent>): this;
+    removeAllListeners(eventName?: string): this;
+    off: OnEvent<this>;
+    on: OnEvent<this>;
+    once: OnEvent<this>;
+    removeListener: OnEvent<this>;
+    functions: {
+        getProof(data: BytesLike[], node: BigNumberish, overrides?: CallOverrides): Promise<[string[]]>;
+        getRoot(data: BytesLike[], overrides?: CallOverrides): Promise<[string]>;
+        hashLeafPairs(left: BytesLike, right: BytesLike, overrides?: CallOverrides): Promise<[string] & {
+            _hash: string;
+        }>;
+        log2ceil(x: BigNumberish, overrides?: CallOverrides): Promise<[BigNumber]>;
+        log2ceilBitMagic(x: BigNumberish, overrides?: CallOverrides): Promise<[BigNumber]>;
+    };
+    getProof(data: BytesLike[], node: BigNumberish, overrides?: CallOverrides): Promise<string[]>;
+    getRoot(data: BytesLike[], overrides?: CallOverrides): Promise<string>;
+    hashLeafPairs(left: BytesLike, right: BytesLike, overrides?: CallOverrides): Promise<string>;
+    log2ceil(x: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+    log2ceilBitMagic(x: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+    callStatic: {
+        getProof(data: BytesLike[], node: BigNumberish, overrides?: CallOverrides): Promise<string[]>;
+        getRoot(data: BytesLike[], overrides?: CallOverrides): Promise<string>;
+        hashLeafPairs(left: BytesLike, right: BytesLike, overrides?: CallOverrides): Promise<string>;
+        log2ceil(x: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+        log2ceilBitMagic(x: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+    };
+    filters: {};
+    estimateGas: {
+        getProof(data: BytesLike[], node: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+        getRoot(data: BytesLike[], overrides?: CallOverrides): Promise<BigNumber>;
+        hashLeafPairs(left: BytesLike, right: BytesLike, overrides?: CallOverrides): Promise<BigNumber>;
+        log2ceil(x: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+        log2ceilBitMagic(x: BigNumberish, overrides?: CallOverrides): Promise<BigNumber>;
+    };
+    populateTransaction: {
+        getProof(data: BytesLike[], node: BigNumberish, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        getRoot(data: BytesLike[], overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        hashLeafPairs(left: BytesLike, right: BytesLike, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        log2ceil(x: BigNumberish, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+        log2ceilBitMagic(x: BigNumberish, overrides?: CallOverrides): Promise<PopulatedTransaction>;
+    };
+}
+//# sourceMappingURL=MerkleTree.d.ts.map

package/dist/contracts/libs/TestMerkle.sol/MerkleTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleTree.d.ts","sourceRoot":"","sources":["../../../../types/contracts/libs/TestMerkle.sol/MerkleTree.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,OAAO,EACR,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,SAAS,EACT,aAAa,EACb,oBAAoB,EACpB,MAAM,EACN,KAAK,EACN,MAAM,QAAQ,CAAC;AAEhB,MAAM,WAAW,mBAAoB,SAAQ,KAAK,CAAC,SAAS;IAC1D,SAAS,EAAE;QACT,6BAA6B,EAAE,gBAAgB,CAAC;QAChD,oBAAoB,EAAE,gBAAgB,CAAC;QACvC,gCAAgC,EAAE,gBAAgB,CAAC;QACnD,mBAAmB,EAAE,gBAAgB,CAAC;QACtC,2BAA2B,EAAE,gBAAgB,CAAC;KAC/C,CAAC;IAEF,WAAW,CACT,sBAAsB,EAClB,UAAU,GACV,SAAS,GACT,eAAe,GACf,UAAU,GACV,kBAAkB,GACrB,gBAAgB,CAAC;IAEpB,kBAAkB,CAChB,gBAAgB,EAAE,UAAU,EAC5B,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,YAAY,CAAC,GAClC,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,SAAS,EAC3B,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC,GACpB,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,eAAe,EACjC,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,GAC7B,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,UAAU,EAC5B,MAAM,EAAE,CAAC,YAAY,CAAC,GACrB,MAAM,CAAC;IACV,kBAAkB,CAChB,gBAAgB,EAAE,kBAAkB,EACpC,MAAM,EAAE,CAAC,YAAY,CAAC,GACrB,MAAM,CAAC;IAEV,oBAAoB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IAC5E,oBAAoB,CAAC,gBAAgB,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IAC3E,oBAAoB,CAClB,gBAAgB,EAAE,eAAe,EACjC,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IACV,oBAAoB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IAC5E,oBAAoB,CAClB,gBAAgB,EAAE,kBAAkB,EACpC,IAAI,EAAE,SAAS,GACd,MAAM,CAAC;IAEV,MAAM,EAAE,EAAE,CAAC;CACZ;AAED,MAAM,WAAW,UAAW,SAAQ,YAAY;IAC9C,OAAO,CAAC,gBAAgB,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,IAAI,CAAC;IAC5D,MAAM,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1B,SAAS,EAAE,mBAAmB,CAAC;IAE/B,WAAW,CAAC,MAAM,SAAS,UAAU,EACnC,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAC/B,oBAAoB,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,EAClD,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GACpC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE1B,SAAS,CAAC,MAAM,SAAS,UAAU,EACjC,WAAW,CAAC,EAAE,gBAAgB,CAAC,MAAM,CAAC,GACrC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,SAAS,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/C,kBAAkB,CAAC,MAAM,SAAS,UAAU,EAC1C,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,GACpC,IAAI,CAAC;IACR,kBAAkB,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9B,SAAS,EAAE;QACT,QAAQ,CACN,IAAI,EAAE,SAAS,EAAE,EACjB,IAAI,EAAE,YAAY,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAEvB,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAEzE,aAAa,CACX,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG;YAAE,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAEzC,QAAQ,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAE3E,gBAAgB,CACd,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;KACzB,CAAC;IAEF,QAAQ,CACN,IAAI,EAAE,SAAS,EAAE,EACjB,IAAI,EAAE,YAAY,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAErB,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEvE,aAAa,CACX,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnB,QAAQ,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAEzE,gBAAgB,CACd,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;IAEtB,UAAU,EAAE;QACV,QAAQ,CACN,IAAI,EAAE,SAAS,EAAE,EACjB,IAAI,EAAE,YAAY,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAErB,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAEvE,aAAa,CACX,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,MAAM,CAAC,CAAC;QAEnB,QAAQ,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAEzE,gBAAgB,CACd,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;KACvB,CAAC;IAEF,OAAO,EAAE,EAAE,CAAC;IAEZ,WAAW,EAAE;QACX,QAAQ,CACN,IAAI,EAAE,SAAS,EAAE,EACjB,IAAI,EAAE,YAAY,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;QAEtB,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAE1E,aAAa,CACX,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;QAEtB,QAAQ,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAEzE,gBAAgB,CACd,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,SAAS,CAAC,CAAC;KACvB,CAAC;IAEF,mBAAmB,EAAE;QACnB,QAAQ,CACN,IAAI,EAAE,SAAS,EAAE,EACjB,IAAI,EAAE,YAAY,EAClB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,OAAO,CACL,IAAI,EAAE,SAAS,EAAE,EACjB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,aAAa,CACX,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,QAAQ,CACN,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEjC,gBAAgB,CACd,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,aAAa,GACxB,OAAO,CAAC,oBAAoB,CAAC,CAAC;KAClC,CAAC;CACH"}

package/dist/contracts/libs/TestMerkle.sol/MerkleTree.js

@@ -0,0 +1,4 @@
+"use strict";
+/* Autogenerated file. Do not edit manually. */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=MerkleTree.js.map

package/dist/contracts/libs/TestMerkle.sol/MerkleTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleTree.js","sourceRoot":"","sources":["../../../../types/contracts/libs/TestMerkle.sol/MerkleTree.ts"],"names":[],"mappings":";AAAA,+CAA+C"}

package/dist/contracts/libs/TestMerkle.sol/index.d.ts

@@ -0,0 +1,2 @@
+export type { MerkleTree } from "./MerkleTree";
+//# sourceMappingURL=index.d.ts.map

package/dist/contracts/libs/TestMerkle.sol/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../types/contracts/libs/TestMerkle.sol/index.ts"],"names":[],"mappings":"AAGA,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/contracts/libs/TestMerkle.sol/index.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=index.js.map

package/dist/contracts/libs/TestMerkle.sol/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../types/contracts/libs/TestMerkle.sol/index.ts"],"names":[],"mappings":""}

package/dist/contracts/libs/index.d.ts

@@ -1,2 +1,4 @@
+import type * as testMerkleSol from "./TestMerkle.sol";
+export type { testMerkleSol };
 export type { StaticMOfNAddressSetFactory } from "./StaticMOfNAddressSetFactory";
 //# sourceMappingURL=index.d.ts.map

package/dist/contracts/libs/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../types/contracts/libs/index.ts"],"names":[],"mappings":"AAGA,YAAY,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../types/contracts/libs/index.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,KAAK,aAAa,MAAM,kBAAkB,CAAC;AAEvD,YAAY,EAAE,aAAa,EAAE,CAAC;AAC9B,YAAY,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC"}

package/dist/contracts/libs/index.js

@@ -1,3 +1,4 @@
 "use strict";
+/* Autogenerated file. Do not edit manually. */
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=index.js.map

package/dist/contracts/libs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../types/contracts/libs/index.ts"],"names":[],"mappings":""}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../types/contracts/libs/index.ts"],"names":[],"mappings":";AAAA,+CAA+C"}

package/dist/factories/contracts/CheckpointFraudProofs__factory.d.ts

@@ -0,0 +1,45 @@
+import type { CheckpointFraudProofs, CheckpointFraudProofsInterface } from "../../contracts/CheckpointFraudProofs";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, ContractFactory, Overrides } from "ethers";
+declare type CheckpointFraudProofsConstructorParams = [signer?: Signer] | ConstructorParameters<typeof ContractFactory>;
+export declare class CheckpointFraudProofs__factory extends ContractFactory {
+    constructor(...args: CheckpointFraudProofsConstructorParams);
+    deploy(overrides?: Overrides & {
+        from?: string | Promise<string>;
+    }): Promise<CheckpointFraudProofs>;
+    getDeployTransaction(overrides?: Overrides & {
+        from?: string | Promise<string>;
+    }): TransactionRequest;
+    attach(address: string): CheckpointFraudProofs;
+    connect(signer: Signer): CheckpointFraudProofs__factory;
+    static readonly bytecode = "0x608060405234801561001057600080fd5b50610e66806100206000396000f3fe608060405234801561001057600080fd5b50600436106100675760003560e01c80639b92ac4a116100505780639b92ac4a146100a9578063a295224f146100bc578063a99a2597146100cf57600080fd5b80631b78348e1461006c57806354f5f3cb14610094575b600080fd5b61007f61007a366004610c1c565b610112565b60405190151581526020015b60405180910390f35b6100a76100a2366004610c85565b610150565b005b61007f6100b7366004610ca7565b610227565b61007f6100ca366004610cdd565b6102b8565b6100fd6100dd366004610cf9565b600060208181529281526040808220909352908152205463ffffffff1681565b60405163ffffffff909116815260200161008b565b600061011d84610364565b6101408261012a86610469565b61013a6080880160608901610d38565b86610475565b5060808301358114159392505050565b6000808273ffffffffffffffffffffffffffffffffffffffff1663907c0f926040518163ffffffff1660e01b81526004016040805180830381865afa15801561019d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101c19190610d55565b73ffffffffffffffffffffffffffffffffffffffff949094166000908152602081815260408083209383529290522080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffff000000001663ffffffff909416939093179092555050565b600061023283610364565b610259836080013561024385610469565b6102536080870160608801610d38565b85610475565b60006102a78460800135846020806020026040519081016040528092919082602080028082843760009201919091525061029c9150506080880160608901610d38565b63ffffffff16610583565b604085013514159150505b92915050565b60006102c382610364565b60006102ce83610469565b73ffffffffffffffffffffffffffffffffffffffff166306661abd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610318573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061033c9190610d85565b905063ffffffff81166103556080850160608601610d38565b63ffffffff1610159392505050565b600061036f82610469565b73ffffffffffffffffffffffffffffffffffffffff16638d3638f46040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103dd9190610d85565b905063ffffffff81166103f36020840184610d38565b63ffffffff1614610465576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f6d757374206265206c6f63616c20636865636b706f696e74000000000000000060448201526064015b60405180910390fd5b5050565b600060208201356102b2565b60006104af858360208060200260405190810160405280929190826020800280828437600092019190915250505063ffffffff8616610661565b73ffffffffffffffffffffffffffffffffffffffff851660009081526020818152604080832084845290915290205490915063ffffffff90811690841681101561057b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f6d657373616765206d757374206265206d656d626572206f662073746f72656460448201527f20636865636b706f696e74000000000000000000000000000000000000000000606482015260840161045c565b505050505050565b82600061058e610712565b905060005b602081101561065857600184821c8116908190036105fa578582602081106105bd576105bd610da2565b6020020151846040516020016105dd929190918252602082015260400190565b604051602081830303815290604052805190602001209350610645565b8383836020811061060d5761060d610da2565b602002015160405160200161062c929190918252602082015260400190565b6040516020818303038152906040528051906020012093505b508061065081610dd1565b915050610593565b50509392505050565b8260005b602081101561070a57600183821c16600085836020811061068857610688610da2565b60200201519050816001036106c85760408051602081018390529081018590526060016040516020818303038152906040528051906020012093506106f5565b60408051602081018690529081018290526060016040516020818303038152906040528051906020012093505b5050808061070290610dd1565b915050610665565b509392505050565b61071a610bd3565b600081527fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb560208201527fb4c11951957c6f8f642c4af61cd6b24640fec6dc7fc607ee8206a99e92410d3060408201527f21ddb9a356815c3fac1026b6dec5df3124afbadb485c9ba5a3e3398a04b7ba8560608201527fe58769b32a1beaf1ea27375a44095a0d1fb664ce2dd358e7fcbfb78c26a1934460808201527f0eb01ebfc9ed27500cd4dfc979272d1f0913cc9f66540d7e8005811109e1cf2d60a08201527f887c22bd8750d34016ac3c66b5ff102dacdd73f6b014e710b51e8022af9a196860c08201527fffd70157e48063fc33c97a050f7f640233bf646cc98d9524c6b92bcf3ab56f8360e08201527f9867cc5f7f196b93bae1e27e6320742445d290f2263827498b54fec539f756af6101008201527fcefad4e508c098b9a7e1d8feb19955fb02ba9675585078710969d3440f5054e06101208201527ff9dc3e7fe016e050eff260334f18a5d4fe391d82092319f5964f2e2eb7c1c3a56101408201527ff8b13a49e282f609c317a833fb8d976d11517c571d1221a265d25af778ecf8926101608201527f3490c6ceeb450aecdc82e28293031d10c7d73bf85e57bf041a97360aa2c5d99c6101808201527fc1df82d9c4b87413eae2ef048f94b4d3554cea73d92b0f7af96e0271c691e2bb6101a08201527f5c67add7c6caf302256adedf7ab114da0acfe870d449a3a489f781d659e8becc6101c08201527fda7bce9f4e8618b6bd2f4132ce798cdc7a60e7e1460a7299e3c6342a579626d26101e08201527f2733e50f526ec2fa19a22b31e8ed50f23cd1fdf94c9154ed3a7609a2f1ff981f6102008201527fe1d3b5c807b281e4683cc6d6315cf95b9ade8641defcb32372f1c126e398ef7a6102208201527f5a2dce0a8a7f68bb74560f8f71837c2c2ebbcbf7fffb42ae1896f13f7c7479a06102408201527fb46a28b6f55540f89444f63de0378e3d121be09e06cc9ded1c20e65876d36aa06102608201527fc65e9645644786b620e2dd2ad648ddfcbf4a7e5b1a3a4ecfe7f64667a3f0b7e26102808201527ff4418588ed35a2458cffeb39b93d26f18d2ab13bdce6aee58e7b99359ec2dfd96102a08201527f5a9c16dc00d6ef18b7933a6f8dc65ccb55667138776f7dea101070dc8796e3776102c08201527f4df84f40ae0c8229d0d6069e5c8f39a7c299677a09d367fc7b05e3bc380ee6526102e08201527fcdc72595f74c7b1043d0e1ffbab734648c838dfb0527d971b602bc216c9619ef6103008201527f0abf5ac974a1ed57f4050aa510dd9c74f508277b39d7973bb2dfccc5eeb0618d6103208201527fb8cd74046ff337f0a7bf2c8e03e10f642c1886798d71806ab1e888d9e5ee87d06103408201527f838c5655cb21c6cb83313b5a631175dff4963772cce9108188b34ac87c81c41e6103608201527f662ee4dd2dd7b2bc707961b1e646c4047669dcb6584f0d8d770daf5d7e7deb2e6103808201527f388ab20e2573d171a88108e79d820e98f26c0b84aa8b2f4aa4968dbb818ea3226103a08201527f93237c50ba75ee485f4c22adf2f741400bdf8d6a9cc7df7ecae576221665d7356103c08201527f8448818bb4ae4562849e949e17ac16e0be16688e156b5cf15e098c627c0056a96103e082015290565b6040518061040001604052806020906020820280368337509192915050565b600060a08284031215610c0457600080fd5b50919050565b8061040081018310156102b257600080fd5b60008060006104c08486031215610c3257600080fd5b610c3c8585610bf2565b9250610c4b8560a08601610c0a565b91506104a084013590509250925092565b803573ffffffffffffffffffffffffffffffffffffffff81168114610c8057600080fd5b919050565b600060208284031215610c9757600080fd5b610ca082610c5c565b9392505050565b6000806104a08385031215610cbb57600080fd5b610cc58484610bf2565b9150610cd48460a08501610c0a565b90509250929050565b600060a08284031215610cef57600080fd5b610ca08383610bf2565b60008060408385031215610d0c57600080fd5b610d1583610c5c565b946020939093013593505050565b63ffffffff81168114610d3557600080fd5b50565b600060208284031215610d4a57600080fd5b8135610ca081610d23565b60008060408385031215610d6857600080fd5b825191506020830151610d7a81610d23565b809150509250929050565b600060208284031215610d9757600080fd5b8151610ca081610d23565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610e29577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b506001019056fea26469706673582212206d9f6df74c6a971813e7c8e18a5e9080cd0ab6f89b5f98d5e577b24f0e0be4e264736f6c63430008110033";
+    static readonly abi: {
+        inputs: ({
+            components: {
+                internalType: string;
+                name: string;
+                type: string;
+            }[];
+            internalType: string;
+            name: string;
+            type: string;
+        } | {
+            internalType: string;
+            name: string;
+            type: string;
+            components?: undefined;
+        })[];
+        name: string;
+        outputs: {
+            internalType: string;
+            name: string;
+            type: string;
+        }[];
+        stateMutability: string;
+        type: string;
+    }[];
+    static createInterface(): CheckpointFraudProofsInterface;
+    static connect(address: string, signerOrProvider: Signer | Provider): CheckpointFraudProofs;
+}
+export {};
+//# sourceMappingURL=CheckpointFraudProofs__factory.d.ts.map

package/dist/factories/contracts/CheckpointFraudProofs__factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckpointFraudProofs__factory.d.ts","sourceRoot":"","sources":["../../../types/factories/contracts/CheckpointFraudProofs__factory.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,qBAAqB,EACrB,8BAA8B,EAC/B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAmB,eAAe,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAsM7E,aAAK,sCAAsC,GACvC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GACjB,qBAAqB,CAAC,OAAO,eAAe,CAAC,CAAC;AAMlD,qBAAa,8BAA+B,SAAQ,eAAe;gBACrD,GAAG,IAAI,EAAE,sCAAsC;IAQlD,MAAM,CACb,SAAS,CAAC,EAAE,SAAS,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;KAAE,GAC1D,OAAO,CAAC,qBAAqB,CAAC;IAGxB,oBAAoB,CAC3B,SAAS,CAAC,EAAE,SAAS,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;KAAE,GAC1D,kBAAkB;IAGZ,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,qBAAqB;IAG9C,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,8BAA8B;IAIhE,MAAM,CAAC,QAAQ,CAAC,QAAQ,oxOAAa;IACrC,MAAM,CAAC,QAAQ,CAAC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;QAAQ;IAC3B,MAAM,CAAC,eAAe,IAAI,8BAA8B;IAGxD,MAAM,CAAC,OAAO,CACZ,OAAO,EAAE,MAAM,EACf,gBAAgB,EAAE,MAAM,GAAG,QAAQ,GAClC,qBAAqB;CAOzB"}