@coti-io/coti-contracts 1.0.0 → 1.0.2

package/contracts/token/PrivateERC721/IERC721Errors.sol

@@ -0,0 +1,57 @@
+// SPDX-License-Identifier: MIT
+
+pragma solidity ^0.8.19;
+
+interface IERC721Errors {
+    /**
+     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in ERC-20.
+     * Used in balance queries.
+     * @param owner Address of the current owner of a token.
+     */
+    error ERC721InvalidOwner(address owner);
+
+    /**
+     * @dev Indicates a `tokenId` whose `owner` is the zero address.
+     * @param tokenId Identifier number of a token.
+     */
+    error ERC721NonexistentToken(uint256 tokenId);
+
+    /**
+     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
+     * @param sender Address whose tokens are being transferred.
+     * @param tokenId Identifier number of a token.
+     * @param owner Address of the current owner of a token.
+     */
+    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);
+
+    /**
+     * @dev Indicates a failure with the token `sender`. Used in transfers.
+     * @param sender Address whose tokens are being transferred.
+     */
+    error ERC721InvalidSender(address sender);
+
+    /**
+     * @dev Indicates a failure with the token `receiver`. Used in transfers.
+     * @param receiver Address to which tokens are being transferred.
+     */
+    error ERC721InvalidReceiver(address receiver);
+
+    /**
+     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
+     * @param operator Address that may be allowed to operate on tokens without being their owner.
+     * @param tokenId Identifier number of a token.
+     */
+    error ERC721InsufficientApproval(address operator, uint256 tokenId);
+
+    /**
+     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
+     * @param approver Address initiating an approval operation.
+     */
+    error ERC721InvalidApprover(address approver);
+
+    /**
+     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
+     * @param operator Address that may be allowed to operate on tokens without being their owner.
+     */
+    error ERC721InvalidOperator(address operator);
+}

package/contracts/token/PrivateERC721/PrivateERC721.sol

@@ -6,7 +6,7 @@ import {IERC721} from "@openzeppelin/contracts/token/ERC721/IERC721.sol";
 import {IERC721Receiver} from "@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
 import {Context} from "@openzeppelin/contracts/utils/Context.sol";
 import {IERC165, ERC165} from "@openzeppelin/contracts/utils/introspection/ERC165.sol";
-import {IERC721Errors} from "@openzeppelin/contracts/interfaces/draft-IERC6093.sol";
+import {IERC721Errors} from "./IERC721Errors.sol";
 
 /**
  * @dev Implementation of https://eips.ethereum.org/EIPS/eip-721[ERC721] Non-Fungible Token Standard.

package/hardhat.config.ts

@@ -6,7 +6,15 @@ dotenv.config()
 
 const config: HardhatUserConfig = {
   defaultNetwork: "testnet",
-  solidity: "0.8.20",
+  solidity: {
+    version: "0.8.19",
+    settings: {
+      optimizer: {
+        enabled: true,
+        runs: 10000
+      }
+    }
+  },
   networks: {
     testnet: {
       url: "https://testnet.coti.io/rpc",

package/package.json

@@ -1,14 +1,30 @@
 {
   "name": "@coti-io/coti-contracts",
-  "version": "1.0.0",
-  "description": "",
+  "version": "1.0.2",
+  "description": "A library for smart contract development on the COTI network.",
+  "author": "COTI Development",
+  "repository": {
+    "type": "git",
+    "url": "git://github.com/coti-io/coti-contracts.git"
+  },
+  "homepage": "https://docs.coti.io/coti-v2-documentation/build-on-coti/tools/contracts-library",
+  "keywords": [
+    "coti",
+    "privacy",
+    "ethereum",
+    "blockchain",
+    "web3",
+    "garbled-circuits",
+    "l2",
+    "on-chain-compute"
+  ],
   "devDependencies": {
     "@nomicfoundation/hardhat-toolbox": "^5.0.0",
     "hardhat": "^2.22.8"
   },
   "dependencies": {
-    "@coti-io/coti-ethers": "^1.0.1-b",
-    "@openzeppelin/contracts": "^5.0.2",
+    "@coti-io/coti-ethers": "^1.0.3",
+    "@openzeppelin/contracts": "^4.9.6",
     "dotenv": "^16.4.5"
   }
 }

package/test/token/PrivateERC20/PrivateERC20.test.ts

@@ -50,8 +50,8 @@ describe("Private ERC20", function () {
             await expect(await contract.symbol()).to.equal("PE20M");
         })
 
-        it('has 2 decimals', async function () {
-            await expect(await contract.decimals()).to.equal(2n);
+        it('has 6 decimals', async function () {
+            await expect(await contract.decimals()).to.equal(6n);
         })
     })
 

package/test/utils/mpc/Precompile.test.ts

@@ -42,8 +42,12 @@ function buildTestWithUser(contractName: string, func: string, resFunc: string,
 
     await (await contract.getFunction(func)(param, owner.address, { gasLimit: 12000000 })).wait()
     const results = await contract.getFunction(resFunc)()
-    for (const result of results) {
-      expect(await owner.decryptValue(result)).to.equal(param)
+    for (let i = 0; i < results.length; i++) {
+      if (i === 0) {
+        expect(Boolean(await owner.decryptValue(results[i]))).to.equal(true)
+      } else {
+        expect(await owner.decryptValue(results[i])).to.equal(param)
+      }
     }
   })
 }
@@ -57,8 +61,11 @@ const bool_b = false
 const [a, b] = params
 describe("Precompile", function () {
   buildTest("ArithmeticTestsContract", "addTest", "getAddResult", params, a + b)
+  buildTest("ArithmeticTestsContract", "checkedAddTest", "getAddResult", params, a + b)
   buildTest("ArithmeticTestsContract", "subTest", "getSubResult", params, a - b)
+  buildTest("ArithmeticTestsContract", "checkedSubTest", "getSubResult", params, a - b)
   buildTest("ArithmeticTestsContract", "mulTest", "getMulResult", params, a * b)
+  buildTest("ArithmeticTestsContract", "checkedMulTest", "getMulResult", params, a * b)
 
   buildTest("MiscellaneousTestsContract", "divTest", "getDivResult", params, a / b)
   buildTest("MiscellaneousTestsContract", "remTest", "getRemResult", params, a % b)
@@ -79,10 +86,17 @@ describe("Precompile", function () {
 
   buildTest("TransferTestsContract", "transferTest", "getResults", [a, b, b], a - b, b + b, true)
   buildTest("TransferScalarTestsContract", "transferScalarTest", "getResults", [a, b, b], a - b, b + b, true)
+  buildTest("TransferWithAllowanceTestsContract", "transferWithAllowanceTest", "getResults", [a, b, b, b], a - b, b + b, true, 0)
+  buildTest("TransferWithAllowance64_8TestsContract", "transferWithAllowance64Test", "getResults", [a, b, b, b], a - b, b + b, true, 0)
+  buildTest("TransferWithAllowance64_16TestsContract", "transferWithAllowance64Test", "getResults", [a, b, b, b], a - b, b + b, true, 0)
+  buildTest("TransferWithAllowance64_32TestsContract", "transferWithAllowance64Test", "getResults", [a, b, b, b], a - b, b + b, true, 0)
+  buildTest("TransferWithAllowance64_64TestsContract", "transferWithAllowance64Test", "getResults", [a, b, b, b], a - b, b + b, true, 0)
+  buildTest("TransferWithAllowanceScalarTestsContract", "transferWithAllowanceScalarTest", "getResults", [a, b, b, b], a - b, b + b, true, 0)
   buildTest("OffboardToUserKeyTestContract", "offboardOnboardTest", "getOnboardOffboardResult", [a, a, a, a], a)
   buildTest("MiscellaneousTestsContract", "notTest", "getBoolResult", [!!a], !a)
 
   buildTestWithUser("OffboardToUserKeyTestContract", "offboardToUserTest", "getCTs", a)
+  buildTestWithUser("OffboardToUserKeyTestContract", "offboardCombinedTest", "getCTs", a)
   buildTest("Miscellaneous1TestsContract", "randomTest", "getRandom", [], last_random_value)
   buildTest("Miscellaneous1TestsContract", "randomBoundedTest", "getRandomBounded", [numBits], last_random_value)
   buildTest(

package/typechain-types/contracts/mocks/utils/mpc/ArithmeticTestsContract.ts

@@ -119,6 +119,9 @@ export interface ArithmeticTestsContractInterface extends Interface {
   getFunction(
     nameOrSignature:
       | "addTest"
+      | "checkedAddTest"
+      | "checkedMulTest"
+      | "checkedSubTest"
       | "decryptAndCompareResults16"
       | "decryptAndCompareResults32"
       | "decryptAndCompareResults64"
@@ -134,6 +137,18 @@ export interface ArithmeticTestsContractInterface extends Interface {
     functionFragment: "addTest",
     values: [BigNumberish, BigNumberish]
   ): string;
+  encodeFunctionData(
+    functionFragment: "checkedAddTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "checkedMulTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "checkedSubTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
   encodeFunctionData(
     functionFragment: "decryptAndCompareResults16",
     values: [ArithmeticTestsContract.Check16Struct]
@@ -176,6 +191,18 @@ export interface ArithmeticTestsContractInterface extends Interface {
   ): string;
 
   decodeFunctionResult(functionFragment: "addTest", data: BytesLike): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedAddTest",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedMulTest",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedSubTest",
+    data: BytesLike
+  ): Result;
   decodeFunctionResult(
     functionFragment: "decryptAndCompareResults16",
     data: BytesLike
@@ -257,6 +284,24 @@ export interface ArithmeticTestsContract extends BaseContract {
     "nonpayable"
   >;
 
+  checkedAddTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
+  checkedMulTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
+  checkedSubTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
   decryptAndCompareResults16: TypedContractMethod<
     [check16: ArithmeticTestsContract.Check16Struct],
     [bigint],
@@ -314,6 +359,27 @@ export interface ArithmeticTestsContract extends BaseContract {
     [bigint],
     "nonpayable"
   >;
+  getFunction(
+    nameOrSignature: "checkedAddTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "checkedMulTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "checkedSubTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
   getFunction(
     nameOrSignature: "decryptAndCompareResults16"
   ): TypedContractMethod<

package/typechain-types/contracts/mocks/utils/mpc/BitwiseTestsContract.ts

@@ -84,6 +84,8 @@ export declare namespace BitwiseTestsContract {
   };
 
   export type AllGTCastingValuesStruct = {
+    aBool_s: BigNumberish;
+    bBool_s: BigNumberish;
     a8_s: BigNumberish;
     b8_s: BigNumberish;
     a16_s: BigNumberish;
@@ -95,6 +97,8 @@ export declare namespace BitwiseTestsContract {
   };
 
   export type AllGTCastingValuesStructOutput = [
+    aBool_s: bigint,
+    bBool_s: bigint,
     a8_s: bigint,
     b8_s: bigint,
     a16_s: bigint,
@@ -104,6 +108,8 @@ export declare namespace BitwiseTestsContract {
     a64_s: bigint,
     b64_s: bigint
   ] & {
+    aBool_s: bigint;
+    bBool_s: bigint;
     a8_s: bigint;
     b8_s: bigint;
     a16_s: bigint;

package/typechain-types/contracts/mocks/utils/mpc/Comparison2TestsContract.ts

@@ -84,6 +84,8 @@ export declare namespace Comparison2TestsContract {
   };
 
   export type AllGTCastingValuesStruct = {
+    aBool_s: BigNumberish;
+    bBool_s: BigNumberish;
     a8_s: BigNumberish;
     b8_s: BigNumberish;
     a16_s: BigNumberish;
@@ -95,6 +97,8 @@ export declare namespace Comparison2TestsContract {
   };
 
   export type AllGTCastingValuesStructOutput = [
+    aBool_s: bigint,
+    bBool_s: bigint,
     a8_s: bigint,
     b8_s: bigint,
     a16_s: bigint,
@@ -104,6 +108,8 @@ export declare namespace Comparison2TestsContract {
     a64_s: bigint,
     b64_s: bigint
   ] & {
+    aBool_s: bigint;
+    bBool_s: bigint;
     a8_s: bigint;
     b8_s: bigint;
     a16_s: bigint;

package/typechain-types/contracts/mocks/utils/mpc/OffboardToUserKeyTestContract.ts

@@ -30,6 +30,7 @@ export interface OffboardToUserKeyTestContractInterface extends Interface {
       | "getUserKeyShares"
       | "getUserKeyTest"
       | "getX"
+      | "offboardCombinedTest"
       | "offboardOnboardTest"
       | "offboardToUserTest"
       | "userKeyTest"
@@ -50,6 +51,10 @@ export interface OffboardToUserKeyTestContractInterface extends Interface {
     values: [BytesLike, BytesLike, AddressLike]
   ): string;
   encodeFunctionData(functionFragment: "getX", values?: undefined): string;
+  encodeFunctionData(
+    functionFragment: "offboardCombinedTest",
+    values: [BigNumberish, AddressLike]
+  ): string;
   encodeFunctionData(
     functionFragment: "offboardOnboardTest",
     values: [BigNumberish, BigNumberish, BigNumberish, BigNumberish]
@@ -78,6 +83,10 @@ export interface OffboardToUserKeyTestContractInterface extends Interface {
     data: BytesLike
   ): Result;
   decodeFunctionResult(functionFragment: "getX", data: BytesLike): Result;
+  decodeFunctionResult(
+    functionFragment: "offboardCombinedTest",
+    data: BytesLike
+  ): Result;
   decodeFunctionResult(
     functionFragment: "offboardOnboardTest",
     data: BytesLike
@@ -135,7 +144,11 @@ export interface OffboardToUserKeyTestContract extends BaseContract {
     event?: TCEvent
   ): Promise<this>;
 
-  getCTs: TypedContractMethod<[], [[bigint, bigint, bigint, bigint]], "view">;
+  getCTs: TypedContractMethod<
+    [],
+    [[bigint, bigint, bigint, bigint, bigint]],
+    "view"
+  >;
 
   getCt: TypedContractMethod<[], [bigint], "view">;
 
@@ -151,15 +164,21 @@ export interface OffboardToUserKeyTestContract extends BaseContract {
 
   getX: TypedContractMethod<[], [bigint], "view">;
 
+  offboardCombinedTest: TypedContractMethod<
+    [a: BigNumberish, addr: AddressLike],
+    [void],
+    "nonpayable"
+  >;
+
   offboardOnboardTest: TypedContractMethod<
     [a8: BigNumberish, a16: BigNumberish, a32: BigNumberish, a64: BigNumberish],
-    [bigint],
+    [void],
     "nonpayable"
   >;
 
   offboardToUserTest: TypedContractMethod<
     [a: BigNumberish, addr: AddressLike],
-    [[bigint, bigint, bigint, bigint]],
+    [void],
     "nonpayable"
   >;
 
@@ -175,7 +194,11 @@ export interface OffboardToUserKeyTestContract extends BaseContract {
 
   getFunction(
     nameOrSignature: "getCTs"
-  ): TypedContractMethod<[], [[bigint, bigint, bigint, bigint]], "view">;
+  ): TypedContractMethod<
+    [],
+    [[bigint, bigint, bigint, bigint, bigint]],
+    "view"
+  >;
   getFunction(
     nameOrSignature: "getCt"
   ): TypedContractMethod<[], [bigint], "view">;
@@ -195,18 +218,25 @@ export interface OffboardToUserKeyTestContract extends BaseContract {
   getFunction(
     nameOrSignature: "getX"
   ): TypedContractMethod<[], [bigint], "view">;
+  getFunction(
+    nameOrSignature: "offboardCombinedTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, addr: AddressLike],
+    [void],
+    "nonpayable"
+  >;
   getFunction(
     nameOrSignature: "offboardOnboardTest"
   ): TypedContractMethod<
     [a8: BigNumberish, a16: BigNumberish, a32: BigNumberish, a64: BigNumberish],
-    [bigint],
+    [void],
     "nonpayable"
   >;
   getFunction(
     nameOrSignature: "offboardToUserTest"
   ): TypedContractMethod<
     [a: BigNumberish, addr: AddressLike],
-    [[bigint, bigint, bigint, bigint]],
+    [void],
     "nonpayable"
   >;
   getFunction(

package/typechain-types/contracts/mocks/utils/mpc/TransferWithAllowance64TestsContract.sol/TransferWithAllowance64TestsContract.ts

@@ -0,0 +1,251 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+import type {
+  BaseContract,
+  BigNumberish,
+  BytesLike,
+  FunctionFragment,
+  Result,
+  Interface,
+  ContractRunner,
+  ContractMethod,
+  Listener,
+} from "ethers";
+import type {
+  TypedContractEvent,
+  TypedDeferredTopicFilter,
+  TypedEventLog,
+  TypedListener,
+  TypedContractMethod,
+} from "../../../../../common";
+
+export declare namespace TransferWithAllowance64TestsContract {
+  export type AllGTCastingValuesStruct = {
+    a8_s: BigNumberish;
+    b8_s: BigNumberish;
+    a16_s: BigNumberish;
+    b16_s: BigNumberish;
+    a32_s: BigNumberish;
+    b32_s: BigNumberish;
+    a64_s: BigNumberish;
+    b64_s: BigNumberish;
+  };
+
+  export type AllGTCastingValuesStructOutput = [
+    a8_s: bigint,
+    b8_s: bigint,
+    a16_s: bigint,
+    b16_s: bigint,
+    a32_s: bigint,
+    b32_s: bigint,
+    a64_s: bigint,
+    b64_s: bigint
+  ] & {
+    a8_s: bigint;
+    b8_s: bigint;
+    a16_s: bigint;
+    b16_s: bigint;
+    a32_s: bigint;
+    b32_s: bigint;
+    a64_s: bigint;
+    b64_s: bigint;
+  };
+
+  export type AllAmountValuesStruct = {
+    amount8_s: BigNumberish;
+    amount16_s: BigNumberish;
+    amount32_s: BigNumberish;
+    amount64_s: BigNumberish;
+    amount: BigNumberish;
+  };
+
+  export type AllAmountValuesStructOutput = [
+    amount8_s: bigint,
+    amount16_s: bigint,
+    amount32_s: bigint,
+    amount64_s: bigint,
+    amount: bigint
+  ] & {
+    amount8_s: bigint;
+    amount16_s: bigint;
+    amount32_s: bigint;
+    amount64_s: bigint;
+    amount: bigint;
+  };
+
+  export type AllAllowanceValuesStruct = {
+    allowance8_s: BigNumberish;
+    allowance16_s: BigNumberish;
+    allowance32_s: BigNumberish;
+    allowance64_s: BigNumberish;
+    allowance: BigNumberish;
+  };
+
+  export type AllAllowanceValuesStructOutput = [
+    allowance8_s: bigint,
+    allowance16_s: bigint,
+    allowance32_s: bigint,
+    allowance64_s: bigint,
+    allowance: bigint
+  ] & {
+    allowance8_s: bigint;
+    allowance16_s: bigint;
+    allowance32_s: bigint;
+    allowance64_s: bigint;
+    allowance: bigint;
+  };
+}
+
+export interface TransferWithAllowance64TestsContractInterface
+  extends Interface {
+  getFunction(
+    nameOrSignature:
+      | "computeAndCheckTransfer64"
+      | "getResults"
+      | "transferWithAllowanceTest"
+  ): FunctionFragment;
+
+  encodeFunctionData(
+    functionFragment: "computeAndCheckTransfer64",
+    values: [
+      TransferWithAllowance64TestsContract.AllGTCastingValuesStruct,
+      TransferWithAllowance64TestsContract.AllAmountValuesStruct,
+      TransferWithAllowance64TestsContract.AllAllowanceValuesStruct,
+      BigNumberish,
+      BigNumberish,
+      boolean,
+      BigNumberish
+    ]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "getResults",
+    values?: undefined
+  ): string;
+  encodeFunctionData(
+    functionFragment: "transferWithAllowanceTest",
+    values: [BigNumberish, BigNumberish, BigNumberish, BigNumberish]
+  ): string;
+
+  decodeFunctionResult(
+    functionFragment: "computeAndCheckTransfer64",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(functionFragment: "getResults", data: BytesLike): Result;
+  decodeFunctionResult(
+    functionFragment: "transferWithAllowanceTest",
+    data: BytesLike
+  ): Result;
+}
+
+export interface TransferWithAllowance64TestsContract extends BaseContract {
+  connect(runner?: ContractRunner | null): TransferWithAllowance64TestsContract;
+  waitForDeployment(): Promise<this>;
+
+  interface: TransferWithAllowance64TestsContractInterface;
+
+  queryFilter<TCEvent extends TypedContractEvent>(
+    event: TCEvent,
+    fromBlockOrBlockhash?: string | number | undefined,
+    toBlock?: string | number | undefined
+  ): Promise<Array<TypedEventLog<TCEvent>>>;
+  queryFilter<TCEvent extends TypedContractEvent>(
+    filter: TypedDeferredTopicFilter<TCEvent>,
+    fromBlockOrBlockhash?: string | number | undefined,
+    toBlock?: string | number | undefined
+  ): Promise<Array<TypedEventLog<TCEvent>>>;
+
+  on<TCEvent extends TypedContractEvent>(
+    event: TCEvent,
+    listener: TypedListener<TCEvent>
+  ): Promise<this>;
+  on<TCEvent extends TypedContractEvent>(
+    filter: TypedDeferredTopicFilter<TCEvent>,
+    listener: TypedListener<TCEvent>
+  ): Promise<this>;
+
+  once<TCEvent extends TypedContractEvent>(
+    event: TCEvent,
+    listener: TypedListener<TCEvent>
+  ): Promise<this>;
+  once<TCEvent extends TypedContractEvent>(
+    filter: TypedDeferredTopicFilter<TCEvent>,
+    listener: TypedListener<TCEvent>
+  ): Promise<this>;
+
+  listeners<TCEvent extends TypedContractEvent>(
+    event: TCEvent
+  ): Promise<Array<TypedListener<TCEvent>>>;
+  listeners(eventName?: string): Promise<Array<Listener>>;
+  removeAllListeners<TCEvent extends TypedContractEvent>(
+    event?: TCEvent
+  ): Promise<this>;
+
+  computeAndCheckTransfer64: TypedContractMethod<
+    [
+      allGTCastingValues: TransferWithAllowance64TestsContract.AllGTCastingValuesStruct,
+      allAmountValues: TransferWithAllowance64TestsContract.AllAmountValuesStruct,
+      allAllowanceValues: TransferWithAllowance64TestsContract.AllAllowanceValuesStruct,
+      new_a: BigNumberish,
+      new_b: BigNumberish,
+      res: boolean,
+      new_allowance: BigNumberish
+    ],
+    [void],
+    "nonpayable"
+  >;
+
+  getResults: TypedContractMethod<
+    [],
+    [[bigint, bigint, boolean, bigint]],
+    "view"
+  >;
+
+  transferWithAllowanceTest: TypedContractMethod<
+    [
+      a: BigNumberish,
+      b: BigNumberish,
+      amount: BigNumberish,
+      allowance: BigNumberish
+    ],
+    [[bigint, bigint, boolean, bigint]],
+    "nonpayable"
+  >;
+
+  getFunction<T extends ContractMethod = ContractMethod>(
+    key: string | FunctionFragment
+  ): T;
+
+  getFunction(
+    nameOrSignature: "computeAndCheckTransfer64"
+  ): TypedContractMethod<
+    [
+      allGTCastingValues: TransferWithAllowance64TestsContract.AllGTCastingValuesStruct,
+      allAmountValues: TransferWithAllowance64TestsContract.AllAmountValuesStruct,
+      allAllowanceValues: TransferWithAllowance64TestsContract.AllAllowanceValuesStruct,
+      new_a: BigNumberish,
+      new_b: BigNumberish,
+      res: boolean,
+      new_allowance: BigNumberish
+    ],
+    [void],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "getResults"
+  ): TypedContractMethod<[], [[bigint, bigint, boolean, bigint]], "view">;
+  getFunction(
+    nameOrSignature: "transferWithAllowanceTest"
+  ): TypedContractMethod<
+    [
+      a: BigNumberish,
+      b: BigNumberish,
+      amount: BigNumberish,
+      allowance: BigNumberish
+    ],
+    [[bigint, bigint, boolean, bigint]],
+    "nonpayable"
+  >;
+
+  filters: {};
+}