@arbitrum/nitro-contracts 1.1.0-alpha.1 → 1.1.0-alpha.3

package/build/types/src/osp/HashProofHelper.ts

@@ -0,0 +1,308 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+import type {
+  BaseContract,
+  BigNumber,
+  BigNumberish,
+  BytesLike,
+  CallOverrides,
+  ContractTransaction,
+  Overrides,
+  PopulatedTransaction,
+  Signer,
+  utils,
+} from "ethers";
+import type {
+  FunctionFragment,
+  Result,
+  EventFragment,
+} from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "../../common";
+
+export interface HashProofHelperInterface extends utils.Interface {
+  functions: {
+    "clearSplitProof()": FunctionFragment;
+    "getPreimagePart(bytes32,uint64)": FunctionFragment;
+    "keccakStates(address)": FunctionFragment;
+    "proveWithFullPreimage(bytes,uint64)": FunctionFragment;
+    "proveWithSplitPreimage(bytes,uint64,uint256)": FunctionFragment;
+  };
+
+  getFunction(
+    nameOrSignatureOrTopic:
+      | "clearSplitProof"
+      | "getPreimagePart"
+      | "keccakStates"
+      | "proveWithFullPreimage"
+      | "proveWithSplitPreimage"
+  ): FunctionFragment;
+
+  encodeFunctionData(
+    functionFragment: "clearSplitProof",
+    values?: undefined
+  ): string;
+  encodeFunctionData(
+    functionFragment: "getPreimagePart",
+    values: [BytesLike, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "keccakStates",
+    values: [string]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "proveWithFullPreimage",
+    values: [BytesLike, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "proveWithSplitPreimage",
+    values: [BytesLike, BigNumberish, BigNumberish]
+  ): string;
+
+  decodeFunctionResult(
+    functionFragment: "clearSplitProof",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "getPreimagePart",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "keccakStates",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "proveWithFullPreimage",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "proveWithSplitPreimage",
+    data: BytesLike
+  ): Result;
+
+  events: {
+    "PreimagePartProven(bytes32,uint64,bytes)": EventFragment;
+  };
+
+  getEvent(nameOrSignatureOrTopic: "PreimagePartProven"): EventFragment;
+}
+
+export interface PreimagePartProvenEventObject {
+  fullHash: string;
+  offset: BigNumber;
+  part: string;
+}
+export type PreimagePartProvenEvent = TypedEvent<
+  [string, BigNumber, string],
+  PreimagePartProvenEventObject
+>;
+
+export type PreimagePartProvenEventFilter =
+  TypedEventFilter<PreimagePartProvenEvent>;
+
+export interface HashProofHelper extends BaseContract {
+  connect(signerOrProvider: Signer | Provider | string): this;
+  attach(addressOrName: string): this;
+  deployed(): Promise<this>;
+
+  interface: HashProofHelperInterface;
+
+  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: {
+    clearSplitProof(
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<ContractTransaction>;
+
+    getPreimagePart(
+      fullHash: BytesLike,
+      offset: BigNumberish,
+      overrides?: CallOverrides
+    ): Promise<[string]>;
+
+    keccakStates(
+      arg0: string,
+      overrides?: CallOverrides
+    ): Promise<
+      [BigNumber, string, BigNumber] & {
+        offset: BigNumber;
+        part: string;
+        length: BigNumber;
+      }
+    >;
+
+    proveWithFullPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<ContractTransaction>;
+
+    proveWithSplitPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      flags: BigNumberish,
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<ContractTransaction>;
+  };
+
+  clearSplitProof(
+    overrides?: Overrides & { from?: string | Promise<string> }
+  ): Promise<ContractTransaction>;
+
+  getPreimagePart(
+    fullHash: BytesLike,
+    offset: BigNumberish,
+    overrides?: CallOverrides
+  ): Promise<string>;
+
+  keccakStates(
+    arg0: string,
+    overrides?: CallOverrides
+  ): Promise<
+    [BigNumber, string, BigNumber] & {
+      offset: BigNumber;
+      part: string;
+      length: BigNumber;
+    }
+  >;
+
+  proveWithFullPreimage(
+    data: BytesLike,
+    offset: BigNumberish,
+    overrides?: Overrides & { from?: string | Promise<string> }
+  ): Promise<ContractTransaction>;
+
+  proveWithSplitPreimage(
+    data: BytesLike,
+    offset: BigNumberish,
+    flags: BigNumberish,
+    overrides?: Overrides & { from?: string | Promise<string> }
+  ): Promise<ContractTransaction>;
+
+  callStatic: {
+    clearSplitProof(overrides?: CallOverrides): Promise<void>;
+
+    getPreimagePart(
+      fullHash: BytesLike,
+      offset: BigNumberish,
+      overrides?: CallOverrides
+    ): Promise<string>;
+
+    keccakStates(
+      arg0: string,
+      overrides?: CallOverrides
+    ): Promise<
+      [BigNumber, string, BigNumber] & {
+        offset: BigNumber;
+        part: string;
+        length: BigNumber;
+      }
+    >;
+
+    proveWithFullPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      overrides?: CallOverrides
+    ): Promise<string>;
+
+    proveWithSplitPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      flags: BigNumberish,
+      overrides?: CallOverrides
+    ): Promise<string>;
+  };
+
+  filters: {
+    "PreimagePartProven(bytes32,uint64,bytes)"(
+      fullHash?: BytesLike | null,
+      offset?: BigNumberish | null,
+      part?: null
+    ): PreimagePartProvenEventFilter;
+    PreimagePartProven(
+      fullHash?: BytesLike | null,
+      offset?: BigNumberish | null,
+      part?: null
+    ): PreimagePartProvenEventFilter;
+  };
+
+  estimateGas: {
+    clearSplitProof(
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<BigNumber>;
+
+    getPreimagePart(
+      fullHash: BytesLike,
+      offset: BigNumberish,
+      overrides?: CallOverrides
+    ): Promise<BigNumber>;
+
+    keccakStates(arg0: string, overrides?: CallOverrides): Promise<BigNumber>;
+
+    proveWithFullPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<BigNumber>;
+
+    proveWithSplitPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      flags: BigNumberish,
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<BigNumber>;
+  };
+
+  populateTransaction: {
+    clearSplitProof(
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<PopulatedTransaction>;
+
+    getPreimagePart(
+      fullHash: BytesLike,
+      offset: BigNumberish,
+      overrides?: CallOverrides
+    ): Promise<PopulatedTransaction>;
+
+    keccakStates(
+      arg0: string,
+      overrides?: CallOverrides
+    ): Promise<PopulatedTransaction>;
+
+    proveWithFullPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<PopulatedTransaction>;
+
+    proveWithSplitPreimage(
+      data: BytesLike,
+      offset: BigNumberish,
+      flags: BigNumberish,
+      overrides?: Overrides & { from?: string | Promise<string> }
+    ): Promise<PopulatedTransaction>;
+  };
+}

package/build/types/src/osp/IOneStepProofEntry.ts

@@ -0,0 +1,128 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+import type {
+  BaseContract,
+  BigNumber,
+  BigNumberish,
+  BytesLike,
+  CallOverrides,
+  PopulatedTransaction,
+  Signer,
+  utils,
+} from "ethers";
+import type { FunctionFragment, Result } from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "../../common";
+
+export type ExecutionContextStruct = {
+  maxInboxMessagesRead: BigNumberish;
+  bridge: string;
+};
+
+export type ExecutionContextStructOutput = [BigNumber, string] & {
+  maxInboxMessagesRead: BigNumber;
+  bridge: string;
+};
+
+export interface IOneStepProofEntryInterface extends utils.Interface {
+  functions: {
+    "proveOneStep((uint256,address),uint256,bytes32,bytes)": FunctionFragment;
+  };
+
+  getFunction(nameOrSignatureOrTopic: "proveOneStep"): FunctionFragment;
+
+  encodeFunctionData(
+    functionFragment: "proveOneStep",
+    values: [ExecutionContextStruct, BigNumberish, BytesLike, BytesLike]
+  ): string;
+
+  decodeFunctionResult(
+    functionFragment: "proveOneStep",
+    data: BytesLike
+  ): Result;
+
+  events: {};
+}
+
+export interface IOneStepProofEntry extends BaseContract {
+  connect(signerOrProvider: Signer | Provider | string): this;
+  attach(addressOrName: string): this;
+  deployed(): Promise<this>;
+
+  interface: IOneStepProofEntryInterface;
+
+  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: {
+    proveOneStep(
+      execCtx: ExecutionContextStruct,
+      machineStep: BigNumberish,
+      beforeHash: BytesLike,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<[string] & { afterHash: string }>;
+  };
+
+  proveOneStep(
+    execCtx: ExecutionContextStruct,
+    machineStep: BigNumberish,
+    beforeHash: BytesLike,
+    proof: BytesLike,
+    overrides?: CallOverrides
+  ): Promise<string>;
+
+  callStatic: {
+    proveOneStep(
+      execCtx: ExecutionContextStruct,
+      machineStep: BigNumberish,
+      beforeHash: BytesLike,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<string>;
+  };
+
+  filters: {};
+
+  estimateGas: {
+    proveOneStep(
+      execCtx: ExecutionContextStruct,
+      machineStep: BigNumberish,
+      beforeHash: BytesLike,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<BigNumber>;
+  };
+
+  populateTransaction: {
+    proveOneStep(
+      execCtx: ExecutionContextStruct,
+      machineStep: BigNumberish,
+      beforeHash: BytesLike,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<PopulatedTransaction>;
+  };
+}

package/build/types/src/osp/IOneStepProver.ts

@@ -0,0 +1,284 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+import type {
+  BaseContract,
+  BigNumber,
+  BigNumberish,
+  BytesLike,
+  CallOverrides,
+  PopulatedTransaction,
+  Signer,
+  utils,
+} from "ethers";
+import type { FunctionFragment, Result } from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "../../common";
+
+export type ExecutionContextStruct = {
+  maxInboxMessagesRead: BigNumberish;
+  bridge: string;
+};
+
+export type ExecutionContextStructOutput = [BigNumber, string] & {
+  maxInboxMessagesRead: BigNumber;
+  bridge: string;
+};
+
+export type ValueStruct = { valueType: BigNumberish; contents: BigNumberish };
+
+export type ValueStructOutput = [number, BigNumber] & {
+  valueType: number;
+  contents: BigNumber;
+};
+
+export type ValueArrayStruct = { inner: ValueStruct[] };
+
+export type ValueArrayStructOutput = [ValueStructOutput[]] & {
+  inner: ValueStructOutput[];
+};
+
+export type ValueStackStruct = {
+  proved: ValueArrayStruct;
+  remainingHash: BytesLike;
+};
+
+export type ValueStackStructOutput = [ValueArrayStructOutput, string] & {
+  proved: ValueArrayStructOutput;
+  remainingHash: string;
+};
+
+export type StackFrameStruct = {
+  returnPc: ValueStruct;
+  localsMerkleRoot: BytesLike;
+  callerModule: BigNumberish;
+  callerModuleInternals: BigNumberish;
+};
+
+export type StackFrameStructOutput = [
+  ValueStructOutput,
+  string,
+  number,
+  number
+] & {
+  returnPc: ValueStructOutput;
+  localsMerkleRoot: string;
+  callerModule: number;
+  callerModuleInternals: number;
+};
+
+export type StackFrameWindowStruct = {
+  proved: StackFrameStruct[];
+  remainingHash: BytesLike;
+};
+
+export type StackFrameWindowStructOutput = [
+  StackFrameStructOutput[],
+  string
+] & { proved: StackFrameStructOutput[]; remainingHash: string };
+
+export type MachineStruct = {
+  status: BigNumberish;
+  valueStack: ValueStackStruct;
+  internalStack: ValueStackStruct;
+  frameStack: StackFrameWindowStruct;
+  globalStateHash: BytesLike;
+  moduleIdx: BigNumberish;
+  functionIdx: BigNumberish;
+  functionPc: BigNumberish;
+  modulesRoot: BytesLike;
+};
+
+export type MachineStructOutput = [
+  number,
+  ValueStackStructOutput,
+  ValueStackStructOutput,
+  StackFrameWindowStructOutput,
+  string,
+  number,
+  number,
+  number,
+  string
+] & {
+  status: number;
+  valueStack: ValueStackStructOutput;
+  internalStack: ValueStackStructOutput;
+  frameStack: StackFrameWindowStructOutput;
+  globalStateHash: string;
+  moduleIdx: number;
+  functionIdx: number;
+  functionPc: number;
+  modulesRoot: string;
+};
+
+export type ModuleMemoryStruct = {
+  size: BigNumberish;
+  maxSize: BigNumberish;
+  merkleRoot: BytesLike;
+};
+
+export type ModuleMemoryStructOutput = [BigNumber, BigNumber, string] & {
+  size: BigNumber;
+  maxSize: BigNumber;
+  merkleRoot: string;
+};
+
+export type ModuleStruct = {
+  globalsMerkleRoot: BytesLike;
+  moduleMemory: ModuleMemoryStruct;
+  tablesMerkleRoot: BytesLike;
+  functionsMerkleRoot: BytesLike;
+  internalsOffset: BigNumberish;
+};
+
+export type ModuleStructOutput = [
+  string,
+  ModuleMemoryStructOutput,
+  string,
+  string,
+  number
+] & {
+  globalsMerkleRoot: string;
+  moduleMemory: ModuleMemoryStructOutput;
+  tablesMerkleRoot: string;
+  functionsMerkleRoot: string;
+  internalsOffset: number;
+};
+
+export type InstructionStruct = {
+  opcode: BigNumberish;
+  argumentData: BigNumberish;
+};
+
+export type InstructionStructOutput = [number, BigNumber] & {
+  opcode: number;
+  argumentData: BigNumber;
+};
+
+export interface IOneStepProverInterface extends utils.Interface {
+  functions: {
+    "executeOneStep((uint256,address),(uint8,(((uint8,uint256)[]),bytes32),(((uint8,uint256)[]),bytes32),(((uint8,uint256),bytes32,uint32,uint32)[],bytes32),bytes32,uint32,uint32,uint32,bytes32),(bytes32,(uint64,uint64,bytes32),bytes32,bytes32,uint32),(uint16,uint256),bytes)": FunctionFragment;
+  };
+
+  getFunction(nameOrSignatureOrTopic: "executeOneStep"): FunctionFragment;
+
+  encodeFunctionData(
+    functionFragment: "executeOneStep",
+    values: [
+      ExecutionContextStruct,
+      MachineStruct,
+      ModuleStruct,
+      InstructionStruct,
+      BytesLike
+    ]
+  ): string;
+
+  decodeFunctionResult(
+    functionFragment: "executeOneStep",
+    data: BytesLike
+  ): Result;
+
+  events: {};
+}
+
+export interface IOneStepProver extends BaseContract {
+  connect(signerOrProvider: Signer | Provider | string): this;
+  attach(addressOrName: string): this;
+  deployed(): Promise<this>;
+
+  interface: IOneStepProverInterface;
+
+  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: {
+    executeOneStep(
+      execCtx: ExecutionContextStruct,
+      mach: MachineStruct,
+      mod: ModuleStruct,
+      instruction: InstructionStruct,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<
+      [MachineStructOutput, ModuleStructOutput] & {
+        result: MachineStructOutput;
+        resultMod: ModuleStructOutput;
+      }
+    >;
+  };
+
+  executeOneStep(
+    execCtx: ExecutionContextStruct,
+    mach: MachineStruct,
+    mod: ModuleStruct,
+    instruction: InstructionStruct,
+    proof: BytesLike,
+    overrides?: CallOverrides
+  ): Promise<
+    [MachineStructOutput, ModuleStructOutput] & {
+      result: MachineStructOutput;
+      resultMod: ModuleStructOutput;
+    }
+  >;
+
+  callStatic: {
+    executeOneStep(
+      execCtx: ExecutionContextStruct,
+      mach: MachineStruct,
+      mod: ModuleStruct,
+      instruction: InstructionStruct,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<
+      [MachineStructOutput, ModuleStructOutput] & {
+        result: MachineStructOutput;
+        resultMod: ModuleStructOutput;
+      }
+    >;
+  };
+
+  filters: {};
+
+  estimateGas: {
+    executeOneStep(
+      execCtx: ExecutionContextStruct,
+      mach: MachineStruct,
+      mod: ModuleStruct,
+      instruction: InstructionStruct,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<BigNumber>;
+  };
+
+  populateTransaction: {
+    executeOneStep(
+      execCtx: ExecutionContextStruct,
+      mach: MachineStruct,
+      mod: ModuleStruct,
+      instruction: InstructionStruct,
+      proof: BytesLike,
+      overrides?: CallOverrides
+    ): Promise<PopulatedTransaction>;
+  };
+}