@coti-io/coti-contracts 0.1.0 → 1.0.0

package/contracts/mocks/utils/mpc/README.md

@@ -1,4 +1,4 @@
-# ArithmeticTestsContract.sol
+# PrecompilesArythmeticTestsContract.sol
 
 Performs arithmetic operations (addition, subtraction, and multiplication) on different bit-length values and ensures consistency across various data types.
 
@@ -49,7 +49,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures that arithmetic operations on various bit-length values are consistent and correct by performing the operations, decrypting the results, and comparing them across different types and combinations. This can be particularly useful for testing and validating the correctness of arithmetic operations in a decentralized environment.
 
-# BitwiseTestsContract.sol
+# PrecompilesBitwiseTestsContract.sol
 
 Performs bitwise operations (AND, OR, XOR) on different bit-length values and ensures consistency across various data types.
 
@@ -97,7 +97,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures that bitwise operations on various bit-length values are consistent and correct by performing the operations, decrypting the results, and comparing them across different types and combinations. This can be particularly useful for testing and validating the correctness of bitwise operations in a decentralized environment.
 
-# Comparison1TestsContract.sol
+# PrecompilesComparison1TestsContract.sol
 
 Performs comparison operations (greater than, less than or equal to, and less than) on different bit-length values and ensures consistency across various data types.
 
@@ -145,7 +145,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures that comparison operations on various bit-length values are consistent and correct by performing the operations, decrypting the results, and comparing them across different types and combinations. This can be particularly useful for testing and validating the correctness of comparison operations in a decentralized environment.
 
-# Comparison2TestsContract.sol
+# PrecompilesComparison2TestsContract.sol
 
 Performs additional comparison operations (equal to, not equal to, greater than or equal to) on different bit-length values and ensures consistency across various data types.
 
@@ -193,7 +193,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures that comparison operations on various bit-length values are consistent and correct by performing the operations, decrypting the results, and comparing them across different types and combinations. This can be particularly useful for testing and validating the correctness of comparison operations in a decentralized environment.
 
-# MinMaxTestsContract.sol
+# PrecompilesMinMaxTestsContract.sol
 
 Performs minimum and maximum operations on different bit-length values and ensures consistency across various data types.
 
@@ -235,7 +235,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures that min/max operations on various bit-length values are consistent and correct by performing the operations, decrypting the results, and comparing them across different types and combinations. This can be particularly useful for testing and validating the correctness of min/max operations in a decentralized environment.
 
-# Miscellaneous1TestsContract.sol
+# PrecompilesMiscellaneous1TestsContract.sol
 
 Performs various miscellaneous operations including random number generation and boolean logic operations.
 
@@ -277,7 +277,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures the correctness of random number generation and boolean operations by performing the operations, decrypting the results, and comparing them as necessary. This can be particularly useful for testing and validating the correctness of these operations in a decentralized environment.
 
-# Miscellaneous2TestsContract.sol
+# PrecompilesMiscellaneousTestsContract.sol
 
 Performs various miscellaneous operations including division, remainder, mux, offboard/onboard, and boolean NOT operations.
 
@@ -334,7 +334,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures the correctness of various miscellaneous operations by performing the operations, decrypting the results, and comparing them as necessary. This can be particularly useful for testing and validating the correctness of these operations in a decentralized environment.
 
-# OffboardToUserKeyTestContract.sol
+# PrecompilesOffboardToUserKeyTestContract.sol
 
 Performs operations involving offboarding data to a user key and handling various cryptographic operations.
 
@@ -373,7 +373,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures the correctness of operations involving offboarding to user keys by performing the operations, decrypting the results, and comparing them as necessary. This can be particularly useful for testing and validating the correctness of these operations in a decentralized environment.
 
-# ShiftTestsContract.sol
+# PrecompilesShiftTestsContract.sol
 
 Performs various shift operations (left and right) on different bit-length values and ensures consistency across various data types.
 
@@ -419,7 +419,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures the correctness of shift operations on various bit-length values by performing the operations, decrypting the results, and comparing them as necessary. This can be particularly useful for testing and validating the correctness of these operations in a decentralized environment.
 
-# TransferScalarTestsContract.sol
+# PrecompilesTransferScalarTestsContract.sol
 
 Performs transfer operations with scalar values, checking the correctness of these operations across different bit-length values.
 
@@ -456,7 +456,7 @@ The contract relies on the `MpcCore` library for:
 ## Summary
 The contract ensures the correctness of transfer operations with scalar values by performing the operations, decrypting the results, and comparing them as necessary. This can be particularly useful for testing and validating the correctness of these operations in a decentralized environment.
 
-# TransferTestsContract.sol
+# PrecompilesTransferTestsContract.sol
 
 Designed to test the transfer functionality of the `MpcCore` library with different data types and casting scenarios. The contract includes several key components and functions.
 
@@ -483,4 +483,4 @@ The contract relies on the `MpcCore` library for its core operations, which incl
 3. `MpcCore.setPublic*`: These functions set the public values for different data types (8, 16, 32, and 64-bit unsigned integers).
 
 ## Summary
-The `PrecompilesTransferTestsContract` ensures that the transfer functionality of the `MpcCore` library works correctly with various data types and casting scenarios by comparing the results of the `MpcCore.transfer` function with the expected values using `MpcCore.decrypt`.
+The `PrecompilesTransferTestsContract` ensures that the transfer functionality of the `MpcCore` library works correctly with various data types and casting scenarios by comparing the results of the `MpcCore.transfer` function with the expected values using `MpcCore.decrypt`.

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

@@ -1,11 +1,10 @@
 // SPDX-License-Identifier: MIT
-
 pragma solidity ^0.8.19;
 
 import "../../../utils/mpc/MpcCore.sol";
 
 contract TransferScalarTestsContract {
-    
+
     struct AllGTCastingValues {
         gtUint8 a8_s;
         gtUint8 b8_s;
@@ -25,247 +24,91 @@ contract TransferScalarTestsContract {
         return (new_a, new_b, res);
     }
 
-    function computeAndChekTransfer16(
-        AllGTCastingValues memory allGTCastingValues,
-        uint8 new_a,
-        uint8 new_b,
-        bool res,
-        uint8 amount
-    ) public {
+    function computeAndCheckTransfer16(AllGTCastingValues memory allGTCastingValues, uint8 new_a, uint8 new_b, bool res, uint8 amount) public {
+
         // Check all options for casting to 16 while amount is scalar
-        (gtUint16 newA_s, gtUint16 newB_s, gtBool res_s) = MpcCore.transfer(
-            allGTCastingValues.a16_s,
-            allGTCastingValues.b16_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (gtUint16 newA_s, gtUint16 newB_s, gtBool res_s) = MpcCore.transfer(allGTCastingValues.a16_s, allGTCastingValues.b16_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a8_s,
-            allGTCastingValues.b16_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a8_s, allGTCastingValues.b16_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a16_s,
-            allGTCastingValues.b8_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a16_s, allGTCastingValues.b8_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
     }
 
-    function computeAndChekTransfer32(
-        AllGTCastingValues memory allGTCastingValues,
-        uint8 new_a,
-        uint8 new_b,
-        bool res,
-        uint8 amount
-    ) public {
+    function computeAndCheckTransfer32(AllGTCastingValues memory allGTCastingValues, uint8 new_a, uint8 new_b, bool res, uint8 amount) public {
+
         // Check all options for casting to 32 while amount is scalar
-        (gtUint32 newA_s, gtUint32 newB_s, gtBool res_s) = MpcCore.transfer(
-            allGTCastingValues.a32_s,
-            allGTCastingValues.b32_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (gtUint32 newA_s, gtUint32 newB_s, gtBool res_s) = MpcCore.transfer(allGTCastingValues.a32_s, allGTCastingValues.b32_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a8_s,
-            allGTCastingValues.b32_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a8_s, allGTCastingValues.b32_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a32_s,
-            allGTCastingValues.b8_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a32_s, allGTCastingValues.b8_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a16_s,
-            allGTCastingValues.b32_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a16_s, allGTCastingValues.b32_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a32_s,
-            allGTCastingValues.b16_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a32_s, allGTCastingValues.b16_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
     }
 
-    function computeAndChekTransfer64(
-        AllGTCastingValues memory allGTCastingValues,
-        uint8 new_a,
-        uint8 new_b,
-        bool res,
-        uint8 amount
-    ) public {
+    function computeAndCheckTransfer64(AllGTCastingValues memory allGTCastingValues, uint8 new_a, uint8 new_b, bool res, uint8 amount) public {
+
         // Check all options for casting to 64 while amount is scalar
-        (gtUint64 newA_s, gtUint64 newB_s, gtBool res_s) = MpcCore.transfer(
-            allGTCastingValues.a64_s,
-            allGTCastingValues.b64_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (gtUint64 newA_s, gtUint64 newB_s, gtBool res_s) = MpcCore.transfer(allGTCastingValues.a64_s, allGTCastingValues.b64_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a8_s,
-            allGTCastingValues.b64_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a8_s, allGTCastingValues.b64_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a64_s,
-            allGTCastingValues.b8_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a64_s, allGTCastingValues.b8_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a16_s,
-            allGTCastingValues.b64_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a16_s, allGTCastingValues.b64_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a64_s,
-            allGTCastingValues.b16_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a64_s, allGTCastingValues.b16_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a32_s,
-            allGTCastingValues.b64_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a32_s, allGTCastingValues.b64_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
 
-        (newA_s, newB_s, res_s) = MpcCore.transfer(
-            allGTCastingValues.a64_s,
-            allGTCastingValues.b32_s,
-            amount
-        );
-        require(
-            new_a == MpcCore.decrypt(newA_s) &&
-                new_b == MpcCore.decrypt(newB_s) &&
-                res == MpcCore.decrypt(res_s),
-            "transferTest: check scalar failed"
-        );
+        (newA_s, newB_s, res_s) = MpcCore.transfer(allGTCastingValues.a64_s, allGTCastingValues.b32_s, amount);
+        require(new_a == MpcCore.decrypt(newA_s) && new_b == MpcCore.decrypt(newB_s) && res == MpcCore.decrypt(res_s), "transferTest: check scalar failed");
     }
 
-    function transferScalarTest(
-        uint8 a,
-        uint8 b,
-        uint8 amount
-    ) public returns (uint8, uint8, bool) {
+
+    function transferScalarTest(uint8 a, uint8 b, uint8 amount) public returns (uint8, uint8, bool) {
         AllGTCastingValues memory allGTCastingValues;
         allGTCastingValues.a8_s = MpcCore.setPublic8(a);
         allGTCastingValues.b8_s = MpcCore.setPublic8(b);
-        allGTCastingValues.a16_s = MpcCore.setPublic16(a);
-        allGTCastingValues.b16_s = MpcCore.setPublic16(b);
-        allGTCastingValues.a32_s = MpcCore.setPublic32(a);
-        allGTCastingValues.b32_s = MpcCore.setPublic32(b);
-        allGTCastingValues.a64_s = MpcCore.setPublic64(a);
-        allGTCastingValues.b64_s = MpcCore.setPublic64(b);
+        allGTCastingValues.a16_s =  MpcCore.setPublic16(a);
+        allGTCastingValues.b16_s =  MpcCore.setPublic16(b);
+        allGTCastingValues.a32_s =  MpcCore.setPublic32(a);
+        allGTCastingValues.b32_s =  MpcCore.setPublic32(b);
+        allGTCastingValues.a64_s =  MpcCore.setPublic64(a);
+        allGTCastingValues.b64_s =  MpcCore.setPublic64(b);
 
         // Calculate the expected result
-        (gtUint8 newA_s, gtUint8 newB_s, gtBool res_s) = MpcCore.transfer(
-            allGTCastingValues.a8_s,
-            allGTCastingValues.b8_s,
-            amount
-        );
-        new_a = MpcCore.decrypt(newA_s);
-        new_b = MpcCore.decrypt(newB_s);
-        res = MpcCore.decrypt(res_s);
+        (gtUint8 newA_s, gtUint8 newB_s, gtBool res_s) = MpcCore.transfer(allGTCastingValues.a8_s, allGTCastingValues.b8_s, amount);
+        new_a =  MpcCore.decrypt(newA_s);
+        new_b =  MpcCore.decrypt(newB_s);
+        res =  MpcCore.decrypt(res_s);
 
         // Calculate the result with casting to 16
-        computeAndChekTransfer16(allGTCastingValues, new_a, new_b, res, amount);
+        computeAndCheckTransfer16(allGTCastingValues, new_a, new_b, res, amount);
 
         // Calculate the result with casting to 32
-        computeAndChekTransfer32(allGTCastingValues, new_a, new_b, res, amount);
+        computeAndCheckTransfer32(allGTCastingValues, new_a, new_b, res, amount);
 
         // Calculate the result with casting to 64
-        computeAndChekTransfer64(allGTCastingValues, new_a, new_b, res, amount);
+        computeAndCheckTransfer64(allGTCastingValues, new_a, new_b, res, amount);
 
         return (new_a, new_b, res);
     }
-}
+
+}