@coti-io/coti-contracts 1.1.0 → 1.2.0

package/typechain-types/index.ts

@@ -6,8 +6,14 @@ export type { openzeppelin };
 import type * as contracts from "./contracts";
 export type { contracts };
 export * as factories from "./factories";
+export type { Ownable } from "./@openzeppelin/contracts/access/Ownable";
+export { Ownable__factory } from "./factories/@openzeppelin/contracts/access/Ownable__factory";
 export type { IERC4906 } from "./@openzeppelin/contracts/interfaces/IERC4906";
 export { IERC4906__factory } from "./factories/@openzeppelin/contracts/interfaces/IERC4906__factory";
+export type { IERC20Permit } from "./@openzeppelin/contracts/token/ERC20/extensions/IERC20Permit";
+export { IERC20Permit__factory } from "./factories/@openzeppelin/contracts/token/ERC20/extensions/IERC20Permit__factory";
+export type { IERC20 } from "./@openzeppelin/contracts/token/ERC20/IERC20";
+export { IERC20__factory } from "./factories/@openzeppelin/contracts/token/ERC20/IERC20__factory";
 export type { IERC721 } from "./@openzeppelin/contracts/token/ERC721/IERC721";
 export { IERC721__factory } from "./factories/@openzeppelin/contracts/token/ERC721/IERC721__factory";
 export type { IERC721Receiver } from "./@openzeppelin/contracts/token/ERC721/IERC721Receiver";
@@ -20,54 +26,104 @@ export type { DataPrivacyFramework } from "./contracts/access/DataPrivacyFramewo
 export { DataPrivacyFramework__factory } from "./factories/contracts/access/DataPrivacyFramework/DataPrivacyFramework__factory";
 export type { DataPrivacyFrameworkMpc } from "./contracts/access/DataPrivacyFramework/extensions/DataPrivacyFrameworkMpc";
 export { DataPrivacyFrameworkMpc__factory } from "./factories/contracts/access/DataPrivacyFramework/extensions/DataPrivacyFrameworkMpc__factory";
+export type { FixedRatioCoinDisperser } from "./contracts/disperse/coinByRatio/FixedRatioCoinDisperser";
+export { FixedRatioCoinDisperser__factory } from "./factories/contracts/disperse/coinByRatio/FixedRatioCoinDisperser__factory";
+export type { IMintableERC20 } from "./contracts/disperse/disperseToken/MintDisperser.sol/IMintableERC20";
+export { IMintableERC20__factory } from "./factories/contracts/disperse/disperseToken/MintDisperser.sol/IMintableERC20__factory";
+export type { MintDisperser } from "./contracts/disperse/disperseToken/MintDisperser.sol/MintDisperser";
+export { MintDisperser__factory } from "./factories/contracts/disperse/disperseToken/MintDisperser.sol/MintDisperser__factory";
+export type { TokenDisperser } from "./contracts/disperse/disperseToken/TokenDisperser";
+export { TokenDisperser__factory } from "./factories/contracts/disperse/disperseToken/TokenDisperser__factory";
 export type { DataPrivacyFrameworkMock } from "./contracts/mocks/access/DataPrivacyFramework/DataPrivacyFrameworkMock";
 export { DataPrivacyFrameworkMock__factory } from "./factories/contracts/mocks/access/DataPrivacyFramework/DataPrivacyFrameworkMock__factory";
 export type { PrivateERC20Mock } from "./contracts/mocks/token/PrivateERC20/PrivateERC20Mock";
 export { PrivateERC20Mock__factory } from "./factories/contracts/mocks/token/PrivateERC20/PrivateERC20Mock__factory";
 export type { PrivateERC721URIStorageMock } from "./contracts/mocks/token/PrivateERC721/PrivateERC721URIStorageMock";
 export { PrivateERC721URIStorageMock__factory } from "./factories/contracts/mocks/token/PrivateERC721/PrivateERC721URIStorageMock__factory";
-export type { Arithmetic128BitTestsContract } from "./contracts/mocks/utils/mpc/Arithmetic128BitTestsContract";
-export { Arithmetic128BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Arithmetic128BitTestsContract__factory";
-export type { Arithmetic256BitTestsContract } from "./contracts/mocks/utils/mpc/Arithmetic256BitTestsContract";
-export { Arithmetic256BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Arithmetic256BitTestsContract__factory";
+export type { Arithmetic128TestsContract } from "./contracts/mocks/utils/mpc/Arithmetic128TestsContract";
+export { Arithmetic128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Arithmetic128TestsContract__factory";
+export type { Arithmetic256TestsContract } from "./contracts/mocks/utils/mpc/Arithmetic256TestsContract";
+export { Arithmetic256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Arithmetic256TestsContract__factory";
 export type { ArithmeticTestsContract } from "./contracts/mocks/utils/mpc/ArithmeticTestsContract";
 export { ArithmeticTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/ArithmeticTestsContract__factory";
-export type { Bitwise128BitTestsContract } from "./contracts/mocks/utils/mpc/Bitwise128BitTestsContract";
-export { Bitwise128BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Bitwise128BitTestsContract__factory";
-export type { Bitwise256BitTestsContract } from "./contracts/mocks/utils/mpc/Bitwise256BitTestsContract";
-export { Bitwise256BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Bitwise256BitTestsContract__factory";
+export type { Bitwise128TestsContract } from "./contracts/mocks/utils/mpc/Bitwise128TestsContract";
+export { Bitwise128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Bitwise128TestsContract__factory";
+export type { Bitwise256TestsContract } from "./contracts/mocks/utils/mpc/Bitwise256TestsContract";
+export { Bitwise256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Bitwise256TestsContract__factory";
 export type { BitwiseTestsContract } from "./contracts/mocks/utils/mpc/BitwiseTestsContract";
 export { BitwiseTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/BitwiseTestsContract__factory";
+export type { CheckedArithmetic128WithOverflowBitTestsContract } from "./contracts/mocks/utils/mpc/CheckedArithmetic128WithOverflowBitTestsContract";
+export { CheckedArithmetic128WithOverflowBitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/CheckedArithmetic128WithOverflowBitTestsContract__factory";
+export type { CheckedArithmetic256WithOverflowBitTestsContract } from "./contracts/mocks/utils/mpc/CheckedArithmetic256WithOverflowBitTestsContract";
+export { CheckedArithmetic256WithOverflowBitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/CheckedArithmetic256WithOverflowBitTestsContract__factory";
 export type { CheckedArithmeticWithOverflowBitTestsContract } from "./contracts/mocks/utils/mpc/CheckedArithmeticWIthOverflowBitTestsContract.sol/CheckedArithmeticWithOverflowBitTestsContract";
 export { CheckedArithmeticWithOverflowBitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/CheckedArithmeticWIthOverflowBitTestsContract.sol/CheckedArithmeticWithOverflowBitTestsContract__factory";
-export type { Comparison128BitTestsContract } from "./contracts/mocks/utils/mpc/Comparison128BitTestsContract";
-export { Comparison128BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Comparison128BitTestsContract__factory";
+export type { Comparison128TestsContract } from "./contracts/mocks/utils/mpc/Comparison128TestsContract";
+export { Comparison128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Comparison128TestsContract__factory";
 export type { Comparison1TestsContract } from "./contracts/mocks/utils/mpc/Comparison1TestsContract";
 export { Comparison1TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Comparison1TestsContract__factory";
-export type { Comparison256BitTestsContract } from "./contracts/mocks/utils/mpc/Comparison256BitTestsContract";
-export { Comparison256BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Comparison256BitTestsContract__factory";
+export type { Comparison256TestsContract } from "./contracts/mocks/utils/mpc/Comparison256TestsContract";
+export { Comparison256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Comparison256TestsContract__factory";
 export type { Comparison2TestsContract } from "./contracts/mocks/utils/mpc/Comparison2TestsContract";
 export { Comparison2TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Comparison2TestsContract__factory";
+export type { MinimalImplementation } from "./contracts/mocks/utils/mpc/MinimalImplementation";
+export { MinimalImplementation__factory } from "./factories/contracts/mocks/utils/mpc/MinimalImplementation__factory";
+export type { MinimalProxy } from "./contracts/mocks/utils/mpc/MinimalProxy";
+export { MinimalProxy__factory } from "./factories/contracts/mocks/utils/mpc/MinimalProxy__factory";
+export type { MinMax128TestsContract } from "./contracts/mocks/utils/mpc/MinMax128TestsContract";
+export { MinMax128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/MinMax128TestsContract__factory";
+export type { MinMax256TestsContract } from "./contracts/mocks/utils/mpc/MinMax256TestsContract";
+export { MinMax256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/MinMax256TestsContract__factory";
 export type { MinMaxTestsContract } from "./contracts/mocks/utils/mpc/MinMaxTestsContract";
 export { MinMaxTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/MinMaxTestsContract__factory";
-export type { Miscellaneous128BitTestsContract } from "./contracts/mocks/utils/mpc/Miscellaneous128BitTestsContract";
-export { Miscellaneous128BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Miscellaneous128BitTestsContract__factory";
 export type { Miscellaneous1TestsContract } from "./contracts/mocks/utils/mpc/Miscellaneous1TestsContract";
 export { Miscellaneous1TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Miscellaneous1TestsContract__factory";
-export type { Miscellaneous256BitTestsContract } from "./contracts/mocks/utils/mpc/Miscellaneous256BitTestsContract";
-export { Miscellaneous256BitTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Miscellaneous256BitTestsContract__factory";
 export type { MiscellaneousTestsContract } from "./contracts/mocks/utils/mpc/MiscellaneousTestsContract";
 export { MiscellaneousTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/MiscellaneousTestsContract__factory";
+export type { MpcOperations128TestContract } from "./contracts/mocks/utils/mpc/MpcOperations128TestContract";
+export { MpcOperations128TestContract__factory } from "./factories/contracts/mocks/utils/mpc/MpcOperations128TestContract__factory";
+export type { MpcOperationsTestContract } from "./contracts/mocks/utils/mpc/MpcOperationsTestContract";
+export { MpcOperationsTestContract__factory } from "./factories/contracts/mocks/utils/mpc/MpcOperationsTestContract__factory";
+export type { Mux128TestsContract } from "./contracts/mocks/utils/mpc/Mux128TestsContract";
+export { Mux128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Mux128TestsContract__factory";
+export type { Mux256TestsContract } from "./contracts/mocks/utils/mpc/Mux256TestsContract";
+export { Mux256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Mux256TestsContract__factory";
 export type { OffboardToUserKeyTestContract } from "./contracts/mocks/utils/mpc/OffboardToUserKeyTestContract";
 export { OffboardToUserKeyTestContract__factory } from "./factories/contracts/mocks/utils/mpc/OffboardToUserKeyTestContract__factory";
+export type { OnBoard128TestsContract } from "./contracts/mocks/utils/mpc/OnBoard128TestsContract";
+export { OnBoard128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/OnBoard128TestsContract__factory";
+export type { OnBoard256TestsContract } from "./contracts/mocks/utils/mpc/OnBoard256TestsContract";
+export { OnBoard256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/OnBoard256TestsContract__factory";
+export type { PrivacyImplementationV1 } from "./contracts/mocks/utils/mpc/PrivacyImplementationV1";
+export { PrivacyImplementationV1__factory } from "./factories/contracts/mocks/utils/mpc/PrivacyImplementationV1__factory";
+export type { PrivacyImplementationV2 } from "./contracts/mocks/utils/mpc/PrivacyImplementationV2";
+export { PrivacyImplementationV2__factory } from "./factories/contracts/mocks/utils/mpc/PrivacyImplementationV2__factory";
+export type { PrivacyProxy } from "./contracts/mocks/utils/mpc/PrivacyProxy";
+export { PrivacyProxy__factory } from "./factories/contracts/mocks/utils/mpc/PrivacyProxy__factory";
+export type { Random128TestsContract } from "./contracts/mocks/utils/mpc/Random128TestsContract";
+export { Random128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Random128TestsContract__factory";
+export type { Random256TestsContract } from "./contracts/mocks/utils/mpc/Random256TestsContract";
+export { Random256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Random256TestsContract__factory";
+export type { Shift128TestsContract } from "./contracts/mocks/utils/mpc/Shift128TestsContract";
+export { Shift128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Shift128TestsContract__factory";
+export type { Shift256TestsContract } from "./contracts/mocks/utils/mpc/Shift256TestsContract";
+export { Shift256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Shift256TestsContract__factory";
 export type { ShiftTestsContract } from "./contracts/mocks/utils/mpc/ShiftTestsContract";
 export { ShiftTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/ShiftTestsContract__factory";
 export type { StringTestsContract } from "./contracts/mocks/utils/mpc/StringTestsContract";
 export { StringTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/StringTestsContract__factory";
+export type { Transfer128TestsContract } from "./contracts/mocks/utils/mpc/Transfer128TestsContract";
+export { Transfer128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Transfer128TestsContract__factory";
+export type { Transfer256TestsContract } from "./contracts/mocks/utils/mpc/Transfer256TestsContract";
+export { Transfer256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/Transfer256TestsContract__factory";
 export type { TransferScalarTestsContract } from "./contracts/mocks/utils/mpc/TransferScalarTestsContract";
 export { TransferScalarTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferScalarTestsContract__factory";
 export type { TransferTestsContract } from "./contracts/mocks/utils/mpc/TransferTestsContract";
 export { TransferTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferTestsContract__factory";
+export type { TransferWithAllowance128TestsContract } from "./contracts/mocks/utils/mpc/TransferWithAllowance128TestsContract";
+export { TransferWithAllowance128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferWithAllowance128TestsContract__factory";
+export type { TransferWithAllowance256TestsContract } from "./contracts/mocks/utils/mpc/TransferWithAllowance256TestsContract";
+export { TransferWithAllowance256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferWithAllowance256TestsContract__factory";
 export type { TransferWithAllowance64_16TestsContract } from "./contracts/mocks/utils/mpc/TransferWithAllowance64_16TestsContract";
 export { TransferWithAllowance64_16TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferWithAllowance64_16TestsContract__factory";
 export type { TransferWithAllowance64_32TestsContract } from "./contracts/mocks/utils/mpc/TransferWithAllowance64_32TestsContract";
@@ -80,6 +136,12 @@ export type { TransferWithAllowanceScalarTestsContract } from "./contracts/mocks
 export { TransferWithAllowanceScalarTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferWithAllowanceScalarTestsContract__factory";
 export type { TransferWithAllowanceTestsContract } from "./contracts/mocks/utils/mpc/TransferWithAllowanceTestsContract";
 export { TransferWithAllowanceTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/TransferWithAllowanceTestsContract__factory";
+export type { ValidateCiphertext128TestsContract } from "./contracts/mocks/utils/mpc/ValidateCiphertext128TestsContract";
+export { ValidateCiphertext128TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/ValidateCiphertext128TestsContract__factory";
+export type { ValidateCiphertext256TestsContract } from "./contracts/mocks/utils/mpc/ValidateCiphertext256TestsContract";
+export { ValidateCiphertext256TestsContract__factory } from "./factories/contracts/mocks/utils/mpc/ValidateCiphertext256TestsContract__factory";
+export type { ValidateCiphertextTestsContract } from "./contracts/mocks/utils/mpc/ValidateCiphertextTestsContract";
+export { ValidateCiphertextTestsContract__factory } from "./factories/contracts/mocks/utils/mpc/ValidateCiphertextTestsContract__factory";
 export type { PrivateERC20WalletMock } from "./contracts/mocks/wallet/PrivateERC20Wallet/PrivateERC20WalletMock";
 export { PrivateERC20WalletMock__factory } from "./factories/contracts/mocks/wallet/PrivateERC20Wallet/PrivateERC20WalletMock__factory";
 export type { AccountOnboard } from "./contracts/onboard/AccountOnboard";

package/contracts/mocks/utils/mpc/Arithmetic128BitTestsContract.sol

@@ -1,260 +0,0 @@
-// SPDX-License-Identifier: MIT
-pragma solidity ^0.8.19;
-
-import "../../../utils/mpc/MpcCore.sol";
-
-contract Arithmetic128BitTestsContract {
-
-    bool[] public overflows;
-    bool[] public overflowsLHS;
-    bool[] public overflowsRHS;
-    uint128[] public numbers;
-    uint128[] public numbersLHS;
-    uint128[] public numbersRHS;
-
-    function addTest(uint128[] calldata a, uint128[] calldata b) public {
-        require(a.length == b.length, "Input length mismatch");
-        
-        _resetNumbers(a.length);
-
-        for (uint256 i = 0; i < a.length; ++i) {
-            gtUint128 memory gtA = MpcCore.setPublic128(a[i]);
-            gtUint128 memory gtB = MpcCore.setPublic128(b[i]);
-            
-            numbers[i] = MpcCore.decrypt(MpcCore.add(gtA, gtB));
-
-            assert(numbers[i] == MpcCore.decrypt(MpcCore.add(a[i], gtB)));
-            assert(numbers[i] == MpcCore.decrypt(MpcCore.add(gtA, b[i])));
-        }
-    }
-
-    function checkedAddTest(uint128 a, uint128 b) public {
-        _resetNumbers(1);
-
-        gtUint128 memory gtA = MpcCore.setPublic128(a);
-        gtUint128 memory gtB = MpcCore.setPublic128(b);
-
-        numbers[0] = MpcCore.decrypt(MpcCore.checkedAdd(gtA, gtB));
-
-        assert(numbers[0] == MpcCore.decrypt(MpcCore.checkedAdd(a, gtB)));
-        assert(numbers[0] == MpcCore.decrypt(MpcCore.checkedAdd(gtA, b)));
-    }
-
-    function checkedAddWithOverflowBitTest(uint128[] calldata a, uint128[] calldata b) public {
-        require(a.length == b.length, "Input length mismatch");
-        
-        _resetOverflows(a.length);
-        _resetOverflowsLHS(a.length);
-        _resetOverflowsRHS(a.length);
-        _resetNumbers(a.length);
-        _resetNumbersLHS(a.length);
-        _resetNumbersRHS(a.length);
-
-        gtBool bit;
-        gtBool bitLHS;
-        gtBool bitRHS;
-        gtUint128 memory result;
-        gtUint128 memory resultLHS;
-        gtUint128 memory resultRHS;
-
-        for (uint256 i = 0; i < a.length; ++i) {
-            gtUint128 memory gtA = MpcCore.setPublic128(a[i]);
-            gtUint128 memory gtB = MpcCore.setPublic128(b[i]);
-            
-            (bit, result) = MpcCore.checkedAddWithOverflowBit(gtA, gtB);
-            (bitLHS, resultLHS) = MpcCore.checkedAddWithOverflowBit(a[i], gtB);
-            (bitRHS, resultRHS) = MpcCore.checkedAddWithOverflowBit(gtA, b[i]);
-
-            overflows[i] = MpcCore.decrypt(bit);
-            overflowsLHS[i] = MpcCore.decrypt(bitLHS);
-            overflowsRHS[i] = MpcCore.decrypt(bitRHS);
-            numbers[i] = MpcCore.decrypt(result);
-            numbersLHS[i] = MpcCore.decrypt(resultLHS);
-            numbersRHS[i] = MpcCore.decrypt(resultRHS);
-        }
-    }
-
-    function subTest(uint128[] calldata a, uint128[] calldata b) public {
-        require(a.length == b.length, "Input length mismatch");
-        
-        _resetNumbers(a.length);
-
-        for (uint256 i = 0; i < a.length; ++i) {
-            gtUint128 memory gtA = MpcCore.setPublic128(a[i]);
-            gtUint128 memory gtB = MpcCore.setPublic128(b[i]);
-            
-            numbers[i] = MpcCore.decrypt(MpcCore.sub(gtA, gtB));
-
-            assert(numbers[i] == MpcCore.decrypt(MpcCore.sub(a[i], gtB)));
-            assert(numbers[i] == MpcCore.decrypt(MpcCore.sub(gtA, b[i])));
-        }
-    }
-
-    function checkedSubTest(uint128 a, uint128 b) public {
-        _resetNumbers(1);
-
-        gtUint128 memory gtA = MpcCore.setPublic128(a);
-        gtUint128 memory gtB = MpcCore.setPublic128(b);
-
-        numbers[0] = MpcCore.decrypt(MpcCore.checkedSub(gtA, gtB));
-
-        assert(numbers[0] == MpcCore.decrypt(MpcCore.checkedSub(a, gtB)));
-        assert(numbers[0] == MpcCore.decrypt(MpcCore.checkedSub(gtA, b)));
-    }
-
-    function checkedSubWithOverflowBitTest(uint128[] calldata a, uint128[] calldata b) public {
-        require(a.length == b.length, "Input length mismatch");
-        
-        _resetOverflows(a.length);
-        _resetOverflowsLHS(a.length);
-        _resetOverflowsRHS(a.length);
-        _resetNumbers(a.length);
-        _resetNumbersLHS(a.length);
-        _resetNumbersRHS(a.length);
-
-        gtBool bit;
-        gtBool bitLHS;
-        gtBool bitRHS;
-        gtUint128 memory result;
-        gtUint128 memory resultLHS;
-        gtUint128 memory resultRHS;
-
-        for (uint256 i = 0; i < a.length; ++i) {
-            gtUint128 memory gtA = MpcCore.setPublic128(a[i]);
-            gtUint128 memory gtB = MpcCore.setPublic128(b[i]);
-            
-            (bit, result) = MpcCore.checkedSubWithOverflowBit(gtA, gtB);
-            (bitLHS, resultLHS) = MpcCore.checkedSubWithOverflowBit(a[i], gtB);
-            (bitRHS, resultRHS) = MpcCore.checkedSubWithOverflowBit(gtA, b[i]);
-
-            overflows[i] = MpcCore.decrypt(bit);
-            overflowsLHS[i] = MpcCore.decrypt(bitLHS);
-            overflowsRHS[i] = MpcCore.decrypt(bitRHS);
-            numbers[i] = MpcCore.decrypt(result);
-            numbersLHS[i] = MpcCore.decrypt(resultLHS);
-            numbersRHS[i] = MpcCore.decrypt(resultRHS);
-        }
-    }
-
-    function mulTest(uint128[] calldata a, uint128[] calldata b) public {
-        require(a.length == b.length, "Input length mismatch");
-        
-        _resetNumbers(a.length);
-
-        for (uint256 i = 0; i < a.length; ++i) {
-            gtUint128 memory gtA = MpcCore.setPublic128(a[i]);
-            gtUint128 memory gtB = MpcCore.setPublic128(b[i]);
-            
-            numbers[i] = MpcCore.decrypt(MpcCore.mul(gtA, gtB));
-
-            assert(numbers[i] == MpcCore.decrypt(MpcCore.mul(a[i], gtB)));
-            assert(numbers[i] == MpcCore.decrypt(MpcCore.mul(gtA, b[i])));
-        }
-    }
-
-    function checkedMulTest(uint128 a, uint128 b) public {
-        _resetNumbers(1);
-
-        gtUint128 memory gtA = MpcCore.setPublic128(a);
-        gtUint128 memory gtB = MpcCore.setPublic128(b);
-
-        numbers[0] = MpcCore.decrypt(MpcCore.checkedMul(gtA, gtB));
-
-        assert(numbers[0] == MpcCore.decrypt(MpcCore.checkedMul(a, gtB)));
-        assert(numbers[0] == MpcCore.decrypt(MpcCore.checkedMul(gtA, b)));
-    }
-
-    function checkedMulWithOverflowBitTest(uint128[] calldata a, uint128[] calldata b) public {
-        require(a.length == b.length, "Input length mismatch");
-        
-        _resetOverflows(a.length);
-        _resetOverflowsLHS(a.length);
-        _resetOverflowsRHS(a.length);
-        _resetNumbers(a.length);
-        _resetNumbersLHS(a.length);
-        _resetNumbersRHS(a.length);
-
-        gtBool bit;
-        gtBool bitLHS;
-        gtBool bitRHS;
-        gtUint128 memory result;
-        gtUint128 memory resultLHS;
-        gtUint128 memory resultRHS;
-
-        for (uint256 i = 0; i < a.length; ++i) {
-            gtUint128 memory gtA = MpcCore.setPublic128(a[i]);
-            gtUint128 memory gtB = MpcCore.setPublic128(b[i]);
-            
-            (bit, result) = MpcCore.checkedMulWithOverflowBit(gtA, gtB);
-            (bitLHS, resultLHS) = MpcCore.checkedMulWithOverflowBit(a[i], gtB);
-            (bitRHS, resultRHS) = MpcCore.checkedMulWithOverflowBit(gtA, b[i]);
-
-            overflows[i] = MpcCore.decrypt(bit);
-            overflowsLHS[i] = MpcCore.decrypt(bitLHS);
-            overflowsRHS[i] = MpcCore.decrypt(bitRHS);
-            numbers[i] = MpcCore.decrypt(result);
-            numbersLHS[i] = MpcCore.decrypt(resultLHS);
-            numbersRHS[i] = MpcCore.decrypt(resultRHS);
-        }
-    }
-
-    function _resetOverflows(uint256 length) internal {
-        // Reset the overflows array
-        delete overflows;
-        
-        // Resize the overflows array to match input length
-        for(uint i = 0; i < length; i++) {
-            overflows.push(false);
-        }
-    }
-
-    function _resetOverflowsLHS(uint256 length) internal {
-        // Reset the overflows array
-        delete overflowsLHS;
-        
-        // Resize the overflows array to match input length
-        for(uint i = 0; i < length; i++) {
-            overflowsLHS.push(false);
-        }
-    }
-
-    function _resetOverflowsRHS(uint256 length) internal {
-        // Reset the overflows array
-        delete overflowsRHS;
-        
-        // Resize the overflows array to match input length
-        for(uint i = 0; i < length; i++) {
-            overflowsRHS.push(false);
-        }
-    }
-
-    function _resetNumbers(uint256 length) internal {
-        // Reset the numbers array
-        delete numbers;
-        
-        // Resize the numbers array to match input length
-        for(uint i = 0; i < length; i++) {
-            numbers.push(0);
-        }
-    }
-
-    function _resetNumbersLHS(uint256 length) internal {
-        // Reset the numbers array
-        delete numbersLHS;
-        
-        // Resize the numbers array to match input length
-        for(uint i = 0; i < length; i++) {
-            numbersLHS.push(0);
-        }
-    }
-
-    function _resetNumbersRHS(uint256 length) internal {
-        // Reset the numbers array
-        delete numbersRHS;
-        
-        // Resize the numbers array to match input length
-        for(uint i = 0; i < length; i++) {
-            numbersRHS.push(0);
-        }
-    }
-}