@coti-io/coti-contracts 1.0.4 → 1.0.6

package/contracts/utils/mpc/MpcInterface.sol

@@ -10,7 +10,6 @@ interface ExtendedOperations {
     function SetPublic(bytes1 metaData, uint256 ct) external returns (uint256 result);
     function Rand(bytes1 metaData) external returns (uint256 result);
     function RandBoundedBits(bytes1 metaData, uint8 numBits) external returns (uint256 result);
-
     function Add(bytes3 metaData, uint256 lhs, uint256 rhs) external returns (uint256 result);
     function CheckedAdd(bytes3 metaData, uint256 lhs, uint256 rhs) external returns (uint256 overflowBit, uint256 result);
     function Sub(bytes3 metaData, uint256 lhs, uint256 rhs) external returns (uint256 result);
@@ -39,7 +38,7 @@ interface ExtendedOperations {
     function TransferWithAllowance(bytes5 metaData, uint256 a, uint256 b, uint256 amount, uint256 allowance) external returns (uint256 new_a, uint256 new_b, uint256 res, uint256 new_allowance);
     function ValidateCiphertext(bytes1 metaData, uint256 ciphertext, bytes calldata signature) external returns (uint256 result);
     function GetUserKey(bytes calldata signedEK) external returns (bytes memory encryptedKey);
-    function DeleteUserKey(bytes calldata signature) external returns (bool);
+    function SHA256Fixed432BitInput(uint256 amount, uint256 seed1, uint256 seed2, uint256 padding1, uint256 padding2, bytes calldata addr) external returns (bytes memory result);
 }
 
 address constant MPC_PRECOMPILE = address(0x0000000000000000000000000000000000000064);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@coti-io/coti-contracts",
-  "version": "1.0.4",
+  "version": "1.0.6",
   "description": "A library for smart contract development on the COTI network.",
   "author": "COTI Development",
   "repository": {

package/test/utils/mpc/CheckedArithmetic.test.ts

@@ -0,0 +1,41 @@
+import hre from "hardhat"
+import { expect } from "chai"
+import { setupAccounts } from "../accounts"
+
+const gasLimit = 12000000
+let last_random_value = 0
+
+function buildTest(
+  contractName: string,
+  func: string,
+  resFunc: string,
+  params: (bigint | number | boolean)[],
+  ...expectedResults: (number | boolean | bigint)[]
+) {
+  it(`${contractName}.${func}(${params}) should return ${expectedResults}`, async function () {
+    const [owner] = await setupAccounts()
+
+    const factory = await hre.ethers.getContractFactory(contractName, owner as any)
+    const contract = await factory.deploy({ gasLimit })
+    await contract.waitForDeployment()
+
+    await (await contract.getFunction(func)(...params, { gasLimit })).wait()
+    const result = await contract.getFunction(resFunc)()
+    if (resFunc === "getRandom" || resFunc === "getRandomBounded") {
+      expect(result).to.not.equal(expectedResults[0])
+      last_random_value = result
+    } else if (expectedResults.length === 1) {
+      expect(result).to.equal(expectedResults[0])
+    } else {
+      expect(result).to.deep.equal(expectedResults)
+    }
+  })
+}
+
+const params = [10, 5]
+const [a, b] = params
+describe("Precompile", function () {
+  buildTest("CheckedArithmeticWithOverflowBitTestsContract", "checkedAddWithOverflowBitTest", "getAddResult", params, a + b)
+  buildTest("CheckedArithmeticWithOverflowBitTestsContract", "checkedSubWithOverflowBitTest", "getSubResult", params, a - b)
+  buildTest("CheckedArithmeticWithOverflowBitTestsContract", "checkedMulWithOverflowBitTest", "getMulResult", params, a * b)
+})

package/typechain-types/contracts/mocks/utils/mpc/{ArithmeticTestsContract.sol → ArithmeticWithOverflowBitTestsContract.sol}/ArithmeticTestsContract.ts

@@ -118,20 +118,28 @@ export declare namespace ArithmeticTestsContract {
 export interface ArithmeticTestsContractInterface extends Interface {
   getFunction(
     nameOrSignature:
-      | "addTest"
+      | "checkedAddWithOverflowBitTest"
+      | "checkedMulWithOverflowBitTest"
+      | "checkedSubWithOverflowBitTest"
       | "decryptAndCompareResults16"
       | "decryptAndCompareResults32"
       | "decryptAndCompareResults64"
       | "getAddResult"
       | "getMulResult"
       | "getSubResult"
-      | "mulTest"
       | "setPublicValues"
-      | "subTest"
   ): FunctionFragment;
 
   encodeFunctionData(
-    functionFragment: "addTest",
+    functionFragment: "checkedAddWithOverflowBitTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "checkedMulWithOverflowBitTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "checkedSubWithOverflowBitTest",
     values: [BigNumberish, BigNumberish]
   ): string;
   encodeFunctionData(
@@ -158,10 +166,6 @@ export interface ArithmeticTestsContractInterface extends Interface {
     functionFragment: "getSubResult",
     values?: undefined
   ): string;
-  encodeFunctionData(
-    functionFragment: "mulTest",
-    values: [BigNumberish, BigNumberish]
-  ): string;
   encodeFunctionData(
     functionFragment: "setPublicValues",
     values: [
@@ -170,12 +174,19 @@ export interface ArithmeticTestsContractInterface extends Interface {
       BigNumberish
     ]
   ): string;
-  encodeFunctionData(
-    functionFragment: "subTest",
-    values: [BigNumberish, BigNumberish]
-  ): string;
 
-  decodeFunctionResult(functionFragment: "addTest", data: BytesLike): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedAddWithOverflowBitTest",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedMulWithOverflowBitTest",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedSubWithOverflowBitTest",
+    data: BytesLike
+  ): Result;
   decodeFunctionResult(
     functionFragment: "decryptAndCompareResults16",
     data: BytesLike
@@ -200,12 +211,10 @@ export interface ArithmeticTestsContractInterface extends Interface {
     functionFragment: "getSubResult",
     data: BytesLike
   ): Result;
-  decodeFunctionResult(functionFragment: "mulTest", data: BytesLike): Result;
   decodeFunctionResult(
     functionFragment: "setPublicValues",
     data: BytesLike
   ): Result;
-  decodeFunctionResult(functionFragment: "subTest", data: BytesLike): Result;
 }
 
 export interface ArithmeticTestsContract extends BaseContract {
@@ -251,7 +260,19 @@ export interface ArithmeticTestsContract extends BaseContract {
     event?: TCEvent
   ): Promise<this>;
 
-  addTest: TypedContractMethod<
+  checkedAddWithOverflowBitTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
+  checkedMulWithOverflowBitTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
+  checkedSubWithOverflowBitTest: TypedContractMethod<
     [a: BigNumberish, b: BigNumberish],
     [bigint],
     "nonpayable"
@@ -281,12 +302,6 @@ export interface ArithmeticTestsContract extends BaseContract {
 
   getSubResult: TypedContractMethod<[], [bigint], "view">;
 
-  mulTest: TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
-
   setPublicValues: TypedContractMethod<
     [
       castingValues: ArithmeticTestsContract.AllGTCastingValuesStruct,
@@ -297,18 +312,26 @@ export interface ArithmeticTestsContract extends BaseContract {
     "nonpayable"
   >;
 
-  subTest: TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
-
   getFunction<T extends ContractMethod = ContractMethod>(
     key: string | FunctionFragment
   ): T;
 
   getFunction(
-    nameOrSignature: "addTest"
+    nameOrSignature: "checkedAddWithOverflowBitTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "checkedMulWithOverflowBitTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "checkedSubWithOverflowBitTest"
   ): TypedContractMethod<
     [a: BigNumberish, b: BigNumberish],
     [bigint],
@@ -344,13 +367,6 @@ export interface ArithmeticTestsContract extends BaseContract {
   getFunction(
     nameOrSignature: "getSubResult"
   ): TypedContractMethod<[], [bigint], "view">;
-  getFunction(
-    nameOrSignature: "mulTest"
-  ): TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
   getFunction(
     nameOrSignature: "setPublicValues"
   ): TypedContractMethod<
@@ -362,13 +378,6 @@ export interface ArithmeticTestsContract extends BaseContract {
     [void],
     "nonpayable"
   >;
-  getFunction(
-    nameOrSignature: "subTest"
-  ): TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
 
   filters: {};
 }

package/typechain-types/contracts/mocks/utils/mpc/{ArithmeticTestsContract.sol → ArithmeticWithOverflowBitTestsContract.sol}/index.ts

@@ -2,4 +2,3 @@
 /* tslint:disable */
 /* eslint-disable */
 export type { ArithmeticTestsContract } from "./ArithmeticTestsContract";
-export type { PrecompilesArythmeticTestsContract } from "./PrecompilesArythmeticTestsContract";

package/typechain-types/contracts/mocks/utils/mpc/{ArithmeticTestsContract.sol/PrecompilesArythmeticTestsContract.ts → CheckedArithmeticWIthOverflowBitTestsContract.sol/CheckedArithmeticWithOverflowBitTestsContract.ts}

@@ -20,7 +20,7 @@ import type {
   TypedContractMethod,
 } from "../../../../../common";
 
-export declare namespace PrecompilesArythmeticTestsContract {
+export declare namespace CheckedArithmeticWithOverflowBitTestsContract {
   export type Check16Struct = {
     res16_16: BigNumberish;
     res8_16: BigNumberish;
@@ -115,36 +115,45 @@ export declare namespace PrecompilesArythmeticTestsContract {
   };
 }
 
-export interface PrecompilesArythmeticTestsContractInterface extends Interface {
+export interface CheckedArithmeticWithOverflowBitTestsContractInterface
+  extends Interface {
   getFunction(
     nameOrSignature:
-      | "addTest"
+      | "checkedAddWithOverflowBitTest"
+      | "checkedMulWithOverflowBitTest"
+      | "checkedSubWithOverflowBitTest"
       | "decryptAndCompareResults16"
       | "decryptAndCompareResults32"
       | "decryptAndCompareResults64"
       | "getAddResult"
       | "getMulResult"
       | "getSubResult"
-      | "mulTest"
       | "setPublicValues"
-      | "subTest"
   ): FunctionFragment;
 
   encodeFunctionData(
-    functionFragment: "addTest",
+    functionFragment: "checkedAddWithOverflowBitTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "checkedMulWithOverflowBitTest",
+    values: [BigNumberish, BigNumberish]
+  ): string;
+  encodeFunctionData(
+    functionFragment: "checkedSubWithOverflowBitTest",
     values: [BigNumberish, BigNumberish]
   ): string;
   encodeFunctionData(
     functionFragment: "decryptAndCompareResults16",
-    values: [PrecompilesArythmeticTestsContract.Check16Struct]
+    values: [CheckedArithmeticWithOverflowBitTestsContract.Check16Struct]
   ): string;
   encodeFunctionData(
     functionFragment: "decryptAndCompareResults32",
-    values: [PrecompilesArythmeticTestsContract.Check32Struct]
+    values: [CheckedArithmeticWithOverflowBitTestsContract.Check32Struct]
   ): string;
   encodeFunctionData(
     functionFragment: "decryptAndCompareResults64",
-    values: [PrecompilesArythmeticTestsContract.Check64Struct]
+    values: [CheckedArithmeticWithOverflowBitTestsContract.Check64Struct]
   ): string;
   encodeFunctionData(
     functionFragment: "getAddResult",
@@ -158,24 +167,27 @@ export interface PrecompilesArythmeticTestsContractInterface extends Interface {
     functionFragment: "getSubResult",
     values?: undefined
   ): string;
-  encodeFunctionData(
-    functionFragment: "mulTest",
-    values: [BigNumberish, BigNumberish]
-  ): string;
   encodeFunctionData(
     functionFragment: "setPublicValues",
     values: [
-      PrecompilesArythmeticTestsContract.AllGTCastingValuesStruct,
+      CheckedArithmeticWithOverflowBitTestsContract.AllGTCastingValuesStruct,
       BigNumberish,
       BigNumberish
     ]
   ): string;
-  encodeFunctionData(
-    functionFragment: "subTest",
-    values: [BigNumberish, BigNumberish]
-  ): string;
 
-  decodeFunctionResult(functionFragment: "addTest", data: BytesLike): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedAddWithOverflowBitTest",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedMulWithOverflowBitTest",
+    data: BytesLike
+  ): Result;
+  decodeFunctionResult(
+    functionFragment: "checkedSubWithOverflowBitTest",
+    data: BytesLike
+  ): Result;
   decodeFunctionResult(
     functionFragment: "decryptAndCompareResults16",
     data: BytesLike
@@ -200,19 +212,20 @@ export interface PrecompilesArythmeticTestsContractInterface extends Interface {
     functionFragment: "getSubResult",
     data: BytesLike
   ): Result;
-  decodeFunctionResult(functionFragment: "mulTest", data: BytesLike): Result;
   decodeFunctionResult(
     functionFragment: "setPublicValues",
     data: BytesLike
   ): Result;
-  decodeFunctionResult(functionFragment: "subTest", data: BytesLike): Result;
 }
 
-export interface PrecompilesArythmeticTestsContract extends BaseContract {
-  connect(runner?: ContractRunner | null): PrecompilesArythmeticTestsContract;
+export interface CheckedArithmeticWithOverflowBitTestsContract
+  extends BaseContract {
+  connect(
+    runner?: ContractRunner | null
+  ): CheckedArithmeticWithOverflowBitTestsContract;
   waitForDeployment(): Promise<this>;
 
-  interface: PrecompilesArythmeticTestsContractInterface;
+  interface: CheckedArithmeticWithOverflowBitTestsContractInterface;
 
   queryFilter<TCEvent extends TypedContractEvent>(
     event: TCEvent,
@@ -251,26 +264,38 @@ export interface PrecompilesArythmeticTestsContract extends BaseContract {
     event?: TCEvent
   ): Promise<this>;
 
-  addTest: TypedContractMethod<
+  checkedAddWithOverflowBitTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
+  checkedMulWithOverflowBitTest: TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+
+  checkedSubWithOverflowBitTest: TypedContractMethod<
     [a: BigNumberish, b: BigNumberish],
     [bigint],
     "nonpayable"
   >;
 
   decryptAndCompareResults16: TypedContractMethod<
-    [check16: PrecompilesArythmeticTestsContract.Check16Struct],
+    [check16: CheckedArithmeticWithOverflowBitTestsContract.Check16Struct],
     [bigint],
     "nonpayable"
   >;
 
   decryptAndCompareResults32: TypedContractMethod<
-    [check32: PrecompilesArythmeticTestsContract.Check32Struct],
+    [check32: CheckedArithmeticWithOverflowBitTestsContract.Check32Struct],
     [bigint],
     "nonpayable"
   >;
 
   decryptAndCompareResults64: TypedContractMethod<
-    [check64: PrecompilesArythmeticTestsContract.Check64Struct],
+    [check64: CheckedArithmeticWithOverflowBitTestsContract.Check64Struct],
     [bigint],
     "nonpayable"
   >;
@@ -281,15 +306,9 @@ export interface PrecompilesArythmeticTestsContract extends BaseContract {
 
   getSubResult: TypedContractMethod<[], [bigint], "view">;
 
-  mulTest: TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
-
   setPublicValues: TypedContractMethod<
     [
-      castingValues: PrecompilesArythmeticTestsContract.AllGTCastingValuesStruct,
+      castingValues: CheckedArithmeticWithOverflowBitTestsContract.AllGTCastingValuesStruct,
       a: BigNumberish,
       b: BigNumberish
     ],
@@ -297,18 +316,26 @@ export interface PrecompilesArythmeticTestsContract extends BaseContract {
     "nonpayable"
   >;
 
-  subTest: TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
-
   getFunction<T extends ContractMethod = ContractMethod>(
     key: string | FunctionFragment
   ): T;
 
   getFunction(
-    nameOrSignature: "addTest"
+    nameOrSignature: "checkedAddWithOverflowBitTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "checkedMulWithOverflowBitTest"
+  ): TypedContractMethod<
+    [a: BigNumberish, b: BigNumberish],
+    [bigint],
+    "nonpayable"
+  >;
+  getFunction(
+    nameOrSignature: "checkedSubWithOverflowBitTest"
   ): TypedContractMethod<
     [a: BigNumberish, b: BigNumberish],
     [bigint],
@@ -317,21 +344,21 @@ export interface PrecompilesArythmeticTestsContract extends BaseContract {
   getFunction(
     nameOrSignature: "decryptAndCompareResults16"
   ): TypedContractMethod<
-    [check16: PrecompilesArythmeticTestsContract.Check16Struct],
+    [check16: CheckedArithmeticWithOverflowBitTestsContract.Check16Struct],
     [bigint],
     "nonpayable"
   >;
   getFunction(
     nameOrSignature: "decryptAndCompareResults32"
   ): TypedContractMethod<
-    [check32: PrecompilesArythmeticTestsContract.Check32Struct],
+    [check32: CheckedArithmeticWithOverflowBitTestsContract.Check32Struct],
     [bigint],
     "nonpayable"
   >;
   getFunction(
     nameOrSignature: "decryptAndCompareResults64"
   ): TypedContractMethod<
-    [check64: PrecompilesArythmeticTestsContract.Check64Struct],
+    [check64: CheckedArithmeticWithOverflowBitTestsContract.Check64Struct],
     [bigint],
     "nonpayable"
   >;
@@ -344,31 +371,17 @@ export interface PrecompilesArythmeticTestsContract extends BaseContract {
   getFunction(
     nameOrSignature: "getSubResult"
   ): TypedContractMethod<[], [bigint], "view">;
-  getFunction(
-    nameOrSignature: "mulTest"
-  ): TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
   getFunction(
     nameOrSignature: "setPublicValues"
   ): TypedContractMethod<
     [
-      castingValues: PrecompilesArythmeticTestsContract.AllGTCastingValuesStruct,
+      castingValues: CheckedArithmeticWithOverflowBitTestsContract.AllGTCastingValuesStruct,
       a: BigNumberish,
       b: BigNumberish
     ],
     [void],
     "nonpayable"
   >;
-  getFunction(
-    nameOrSignature: "subTest"
-  ): TypedContractMethod<
-    [a: BigNumberish, b: BigNumberish],
-    [bigint],
-    "nonpayable"
-  >;
 
   filters: {};
 }

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

@@ -0,0 +1,4 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+export type { CheckedArithmeticWithOverflowBitTestsContract } from "./CheckedArithmeticWithOverflowBitTestsContract";

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

@@ -1,6 +1,10 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
+import type * as arithmeticWithOverflowBitTestsContractSol from "./ArithmeticWithOverflowBitTestsContract.sol";
+export type { arithmeticWithOverflowBitTestsContractSol };
+import type * as checkedArithmeticWIthOverflowBitTestsContractSol from "./CheckedArithmeticWIthOverflowBitTestsContract.sol";
+export type { checkedArithmeticWIthOverflowBitTestsContractSol };
 export type { ArithmeticTestsContract } from "./ArithmeticTestsContract";
 export type { BitwiseTestsContract } from "./BitwiseTestsContract";
 export type { Comparison1TestsContract } from "./Comparison1TestsContract";

package/typechain-types/contracts/utils/mpc/MpcInterface.sol/ExtendedOperations.ts

@@ -29,7 +29,6 @@ export interface ExtendedOperationsInterface extends Interface {
       | "CheckedMul"
       | "CheckedSub"
       | "Decrypt"
-      | "DeleteUserKey"
       | "Div"
       | "Eq"
       | "Ge"
@@ -50,6 +49,7 @@ export interface ExtendedOperationsInterface extends Interface {
       | "Rand"
       | "RandBoundedBits"
       | "Rem"
+      | "SHA256Fixed432BitInput"
       | "SetPublic"
       | "Shl"
       | "Shr"
@@ -84,10 +84,6 @@ export interface ExtendedOperationsInterface extends Interface {
     functionFragment: "Decrypt",
     values: [BytesLike, BigNumberish]
   ): string;
-  encodeFunctionData(
-    functionFragment: "DeleteUserKey",
-    values: [BytesLike]
-  ): string;
   encodeFunctionData(
     functionFragment: "Div",
     values: [BytesLike, BigNumberish, BigNumberish]
@@ -165,6 +161,17 @@ export interface ExtendedOperationsInterface extends Interface {
     functionFragment: "Rem",
     values: [BytesLike, BigNumberish, BigNumberish]
   ): string;
+  encodeFunctionData(
+    functionFragment: "SHA256Fixed432BitInput",
+    values: [
+      BigNumberish,
+      BigNumberish,
+      BigNumberish,
+      BigNumberish,
+      BigNumberish,
+      BytesLike
+    ]
+  ): string;
   encodeFunctionData(
     functionFragment: "SetPublic",
     values: [BytesLike, BigNumberish]
@@ -204,10 +211,6 @@ export interface ExtendedOperationsInterface extends Interface {
   decodeFunctionResult(functionFragment: "CheckedMul", data: BytesLike): Result;
   decodeFunctionResult(functionFragment: "CheckedSub", data: BytesLike): Result;
   decodeFunctionResult(functionFragment: "Decrypt", data: BytesLike): Result;
-  decodeFunctionResult(
-    functionFragment: "DeleteUserKey",
-    data: BytesLike
-  ): Result;
   decodeFunctionResult(functionFragment: "Div", data: BytesLike): Result;
   decodeFunctionResult(functionFragment: "Eq", data: BytesLike): Result;
   decodeFunctionResult(functionFragment: "Ge", data: BytesLike): Result;
@@ -234,6 +237,10 @@ export interface ExtendedOperationsInterface extends Interface {
     data: BytesLike
   ): Result;
   decodeFunctionResult(functionFragment: "Rem", data: BytesLike): Result;
+  decodeFunctionResult(
+    functionFragment: "SHA256Fixed432BitInput",
+    data: BytesLike
+  ): Result;
   decodeFunctionResult(functionFragment: "SetPublic", data: BytesLike): Result;
   decodeFunctionResult(functionFragment: "Shl", data: BytesLike): Result;
   decodeFunctionResult(functionFragment: "Shr", data: BytesLike): Result;
@@ -329,12 +336,6 @@ export interface ExtendedOperations extends BaseContract {
     "nonpayable"
   >;
 
-  DeleteUserKey: TypedContractMethod<
-    [signature: BytesLike],
-    [boolean],
-    "nonpayable"
-  >;
-
   Div: TypedContractMethod<
     [metaData: BytesLike, lhs: BigNumberish, rhs: BigNumberish],
     [bigint],
@@ -451,6 +452,19 @@ export interface ExtendedOperations extends BaseContract {
     "nonpayable"
   >;
 
+  SHA256Fixed432BitInput: TypedContractMethod<
+    [
+      amount: BigNumberish,
+      seed1: BigNumberish,
+      seed2: BigNumberish,
+      padding1: BigNumberish,
+      padding2: BigNumberish,
+      addr: BytesLike
+    ],
+    [string],
+    "nonpayable"
+  >;
+
   SetPublic: TypedContractMethod<
     [metaData: BytesLike, ct: BigNumberish],
     [bigint],
@@ -563,9 +577,6 @@ export interface ExtendedOperations extends BaseContract {
     [bigint],
     "nonpayable"
   >;
-  getFunction(
-    nameOrSignature: "DeleteUserKey"
-  ): TypedContractMethod<[signature: BytesLike], [boolean], "nonpayable">;
   getFunction(
     nameOrSignature: "Div"
   ): TypedContractMethod<
@@ -698,6 +709,20 @@ export interface ExtendedOperations extends BaseContract {
     [bigint],
     "nonpayable"
   >;
+  getFunction(
+    nameOrSignature: "SHA256Fixed432BitInput"
+  ): TypedContractMethod<
+    [
+      amount: BigNumberish,
+      seed1: BigNumberish,
+      seed2: BigNumberish,
+      padding1: BigNumberish,
+      padding2: BigNumberish,
+      addr: BytesLike
+    ],
+    [string],
+    "nonpayable"
+  >;
   getFunction(
     nameOrSignature: "SetPublic"
   ): TypedContractMethod<