@coti-io/coti-contracts 0.1.0 → 1.0.0

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

@@ -1,5 +1,4 @@
 // SPDX-License-Identifier: MIT
-
 pragma solidity ^0.8.19;
 
 import "../../../utils/mpc/MpcCore.sol";
@@ -41,74 +40,63 @@ contract BitwiseTestsContract {
         gtUint64 res64_32;
     }
 
-    uint8 result;
+    uint8 andResult;
+    uint8 orResult;
+    uint8 xorResult;
 
-    function getResult() public view returns (uint8) {
-        return result;
+    function getAndResult() public view returns (uint8) {
+        return andResult;
+    }
+    function getOrResult() public view returns (uint8) {
+        return orResult;
+    }
+    function getXorResult() public view returns (uint8) {
+        return xorResult;
     }
 
-    function setPublicValues(
-        AllGTCastingValues memory castingValues,
-        uint8 a,
-        uint8 b
-    ) public {
+    function setPublicValues(AllGTCastingValues memory castingValues, uint8 a, uint8 b) public{
         castingValues.a8_s = MpcCore.setPublic8(a);
         castingValues.b8_s = MpcCore.setPublic8(b);
-        castingValues.a16_s = MpcCore.setPublic16(a);
-        castingValues.b16_s = MpcCore.setPublic16(b);
-        castingValues.a32_s = MpcCore.setPublic32(a);
-        castingValues.b32_s = MpcCore.setPublic32(b);
-        castingValues.a64_s = MpcCore.setPublic64(a);
-        castingValues.b64_s = MpcCore.setPublic64(b);
+        castingValues.a16_s =  MpcCore.setPublic16(a);
+        castingValues.b16_s =  MpcCore.setPublic16(b);
+        castingValues.a32_s =  MpcCore.setPublic32(a);
+        castingValues.b32_s =  MpcCore.setPublic32(b);
+        castingValues.a64_s =  MpcCore.setPublic64(a);
+        castingValues.b64_s =  MpcCore.setPublic64(b);
     }
 
-    function decryptAndCompareResults16(
-        Check16 memory check16
-    ) public returns (uint16) {
+    function decryptAndCompareResults16(Check16 memory check16) public returns (uint16){
+
         // Calculate the result
         uint16 result = MpcCore.decrypt(check16.res16_16);
 
-        require(
-            result == MpcCore.decrypt(check16.res8_16) &&
-                result == MpcCore.decrypt(check16.res16_8),
-            "decryptAndCompareAllResults: Failed to decrypt and compare all results"
-        );
+        require(result == MpcCore.decrypt(check16.res8_16) && result == MpcCore.decrypt(check16.res16_8),
+            "decryptAndCompareAllResults: Failed to decrypt and compare all results");
 
         return result;
     }
 
-    function decryptAndCompareResults32(
-        Check32 memory check32
-    ) public returns (uint32) {
+    function decryptAndCompareResults32(Check32 memory check32) public returns (uint32){
+
         // Calculate the result
         uint32 result = MpcCore.decrypt(check32.res32_32);
 
-        require(
-            result == MpcCore.decrypt(check32.res8_32) &&
-                result == MpcCore.decrypt(check32.res32_8) &&
-                result == MpcCore.decrypt(check32.res32_16) &&
-                result == MpcCore.decrypt(check32.res16_32),
-            "decryptAndCompareAllResults: Failed to decrypt and compare all results"
-        );
+        require(result == MpcCore.decrypt(check32.res8_32) && result == MpcCore.decrypt(check32.res32_8)
+        && result == MpcCore.decrypt(check32.res32_16) && result == MpcCore.decrypt(check32.res16_32),
+            "decryptAndCompareAllResults: Failed to decrypt and compare all results");
 
         return result;
     }
 
-    function decryptAndCompareResults64(
-        Check64 memory check64
-    ) public returns (uint64) {
+    function decryptAndCompareResults64(Check64 memory check64) public returns (uint64){
+
         // Calculate the result
         uint64 result = MpcCore.decrypt(check64.res64_64);
 
-        require(
-            result == MpcCore.decrypt(check64.res8_64) &&
-                result == MpcCore.decrypt(check64.res64_8) &&
-                result == MpcCore.decrypt(check64.res64_16) &&
-                result == MpcCore.decrypt(check64.res16_64) &&
-                result == MpcCore.decrypt(check64.res64_32) &&
-                result == MpcCore.decrypt(check64.res32_64),
-            "decryptAndCompareAllResults: Failed to decrypt and compare all results"
-        );
+        require(result == MpcCore.decrypt(check64.res8_64) && result == MpcCore.decrypt(check64.res64_8)
+        && result == MpcCore.decrypt(check64.res64_16) && result == MpcCore.decrypt(check64.res16_64)
+        && result == MpcCore.decrypt(check64.res64_32) && result == MpcCore.decrypt(check64.res32_64),
+            "decryptAndCompareAllResults: Failed to decrypt and compare all results");
 
         return result;
     }
@@ -121,85 +109,45 @@ contract BitwiseTestsContract {
         setPublicValues(castingValues, a, b);
 
         // Calculate the expected result
-        result = MpcCore.decrypt(
-            MpcCore.and(castingValues.a8_s, castingValues.b8_s)
-        );
+        uint8 result =  MpcCore.decrypt(MpcCore.and(castingValues.a8_s, castingValues.b8_s));
+        andResult = result;
 
         // Calculate the results with casting to 16
-        check16.res16_16 = MpcCore.and(
-            castingValues.a16_s,
-            castingValues.b16_s
-        );
+        check16.res16_16 = MpcCore.and(castingValues.a16_s, castingValues.b16_s);
         check16.res8_16 = MpcCore.and(castingValues.a8_s, castingValues.b16_s);
         check16.res16_8 = MpcCore.and(castingValues.a16_s, castingValues.b8_s);
         uint16 res16 = decryptAndCompareResults16(check16);
         require(res16 == result, "andTest: cast 16 failed");
 
         // Calculate the result with casting to 32
-        check32.res32_32 = MpcCore.and(
-            castingValues.a32_s,
-            castingValues.b32_s
-        );
+        check32.res32_32 = MpcCore.and(castingValues.a32_s, castingValues.b32_s);
         check32.res8_32 = MpcCore.and(castingValues.a8_s, castingValues.b32_s);
         check32.res32_8 = MpcCore.and(castingValues.a32_s, castingValues.b8_s);
-        check32.res16_32 = MpcCore.and(
-            castingValues.a16_s,
-            castingValues.b32_s
-        );
-        check32.res32_16 = MpcCore.and(
-            castingValues.a32_s,
-            castingValues.b16_s
-        );
+        check32.res16_32 = MpcCore.and(castingValues.a16_s, castingValues.b32_s);
+        check32.res32_16 = MpcCore.and(castingValues.a32_s, castingValues.b16_s);
         uint32 res32 = decryptAndCompareResults32(check32);
         require(result == res32, "andTest: cast 32 failed");
 
         // Calculate the result with casting to 64
-        check64.res64_64 = MpcCore.and(
-            castingValues.a64_s,
-            castingValues.b64_s
-        );
+        check64.res64_64 = MpcCore.and(castingValues.a64_s, castingValues.b64_s);
         check64.res8_64 = MpcCore.and(castingValues.a8_s, castingValues.b64_s);
         check64.res64_8 = MpcCore.and(castingValues.a64_s, castingValues.b8_s);
-        check64.res16_64 = MpcCore.and(
-            castingValues.a16_s,
-            castingValues.b64_s
-        );
-        check64.res64_16 = MpcCore.and(
-            castingValues.a64_s,
-            castingValues.b16_s
-        );
-        check64.res32_64 = MpcCore.and(
-            castingValues.a32_s,
-            castingValues.b64_s
-        );
-        check64.res64_32 = MpcCore.and(
-            castingValues.a64_s,
-            castingValues.b32_s
-        );
+        check64.res16_64 = MpcCore.and(castingValues.a16_s, castingValues.b64_s);
+        check64.res64_16 = MpcCore.and(castingValues.a64_s, castingValues.b16_s);
+        check64.res32_64 = MpcCore.and(castingValues.a32_s, castingValues.b64_s);
+        check64.res64_32 = MpcCore.and(castingValues.a64_s, castingValues.b32_s);
         uint64 res64 = decryptAndCompareResults64(check64);
         require(result == res64, "andTest: cast 64 failed");
 
         // Check the result with scalar
-        require(
-            result == MpcCore.decrypt(MpcCore.and(a, castingValues.b8_s)) &&
-                result == MpcCore.decrypt(MpcCore.and(castingValues.a8_s, b)),
-            "andTest: test 8 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.and(a, castingValues.b16_s)) &&
-                result == MpcCore.decrypt(MpcCore.and(castingValues.a16_s, b)),
-            "andTest: test 16 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.and(a, castingValues.b32_s)) &&
-                result == MpcCore.decrypt(MpcCore.and(castingValues.a32_s, b)),
-            "andTest: test 32 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.and(a, castingValues.b64_s)) &&
-                result == MpcCore.decrypt(MpcCore.and(castingValues.a64_s, b)),
-            "andTest: test 64 bits with scalar failed"
-        );
+        require(result == MpcCore.decrypt(MpcCore.and(a, castingValues.b8_s)) && result == MpcCore.decrypt(MpcCore.and(castingValues.a8_s, b)),
+            "andTest: test 8 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.and(a, castingValues.b16_s)) && result == MpcCore.decrypt(MpcCore.and(castingValues.a16_s, b)),
+            "andTest: test 16 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.and(a, castingValues.b32_s)) && result == MpcCore.decrypt(MpcCore.and(castingValues.a32_s, b)),
+            "andTest: test 32 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.and(a, castingValues.b64_s)) && result == MpcCore.decrypt(MpcCore.and(castingValues.a64_s, b)),
+            "andTest: test 64 bits with scalar failed");
 
         return result;
     }
@@ -212,9 +160,8 @@ contract BitwiseTestsContract {
         setPublicValues(castingValues, a, b);
 
         // Calculate the expected result
-        result = MpcCore.decrypt(
-            MpcCore.or(castingValues.a8_s, castingValues.b8_s)
-        );
+        uint8 result =  MpcCore.decrypt(MpcCore.or(castingValues.a8_s, castingValues.b8_s));
+        orResult = result;
 
         // Calculate the results with casting to 16
         check16.res16_16 = MpcCore.or(castingValues.a16_s, castingValues.b16_s);
@@ -244,26 +191,14 @@ contract BitwiseTestsContract {
         require(result == res64, "orTest: cast 64 failed");
 
         // Check the result with scalar
-        require(
-            result == MpcCore.decrypt(MpcCore.or(a, castingValues.b8_s)) &&
-                result == MpcCore.decrypt(MpcCore.or(castingValues.a8_s, b)),
-            "orTest: test 8 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.or(a, castingValues.b16_s)) &&
-                result == MpcCore.decrypt(MpcCore.or(castingValues.a16_s, b)),
-            "orTest: test 16 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.or(a, castingValues.b32_s)) &&
-                result == MpcCore.decrypt(MpcCore.or(castingValues.a32_s, b)),
-            "orTest: test 32 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.or(a, castingValues.b64_s)) &&
-                result == MpcCore.decrypt(MpcCore.or(castingValues.a64_s, b)),
-            "orTest: test 64 bits with scalar failed"
-        );
+        require(result == MpcCore.decrypt(MpcCore.or(a, castingValues.b8_s)) && result == MpcCore.decrypt(MpcCore.or(castingValues.a8_s, b)),
+            "orTest: test 8 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.or(a, castingValues.b16_s)) && result == MpcCore.decrypt(MpcCore.or(castingValues.a16_s, b)),
+            "orTest: test 16 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.or(a, castingValues.b32_s)) && result == MpcCore.decrypt(MpcCore.or(castingValues.a32_s, b)),
+            "orTest: test 32 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.or(a, castingValues.b64_s)) && result == MpcCore.decrypt(MpcCore.or(castingValues.a64_s, b)),
+            "orTest: test 64 bits with scalar failed");
 
         return result;
     }
@@ -276,86 +211,47 @@ contract BitwiseTestsContract {
         setPublicValues(castingValues, a, b);
 
         // Calculate the expected result
-        result = MpcCore.decrypt(
-            MpcCore.xor(castingValues.a8_s, castingValues.b8_s)
-        );
+        uint8 result =  MpcCore.decrypt(MpcCore.xor(castingValues.a8_s, castingValues.b8_s));
+        xorResult = result;
 
         // Calculate the results with casting to 16
-        check16.res16_16 = MpcCore.xor(
-            castingValues.a16_s,
-            castingValues.b16_s
-        );
+        check16.res16_16 = MpcCore.xor(castingValues.a16_s, castingValues.b16_s);
         check16.res8_16 = MpcCore.xor(castingValues.a8_s, castingValues.b16_s);
         check16.res16_8 = MpcCore.xor(castingValues.a16_s, castingValues.b8_s);
         uint16 res16 = decryptAndCompareResults16(check16);
         require(res16 == result, "xorTest: cast 16 failed");
 
         // Calculate the result with casting to 32
-        check32.res32_32 = MpcCore.xor(
-            castingValues.a32_s,
-            castingValues.b32_s
-        );
+        check32.res32_32 = MpcCore.xor(castingValues.a32_s, castingValues.b32_s);
         check32.res8_32 = MpcCore.xor(castingValues.a8_s, castingValues.b32_s);
         check32.res32_8 = MpcCore.xor(castingValues.a32_s, castingValues.b8_s);
-        check32.res16_32 = MpcCore.xor(
-            castingValues.a16_s,
-            castingValues.b32_s
-        );
-        check32.res32_16 = MpcCore.xor(
-            castingValues.a32_s,
-            castingValues.b16_s
-        );
+        check32.res16_32 = MpcCore.xor(castingValues.a16_s, castingValues.b32_s);
+        check32.res32_16 = MpcCore.xor(castingValues.a32_s, castingValues.b16_s);
         uint32 res32 = decryptAndCompareResults32(check32);
         require(result == res32, "xorTest: cast 32 failed");
 
         // Calculate the result with casting to 64
-        check64.res64_64 = MpcCore.xor(
-            castingValues.a64_s,
-            castingValues.b64_s
-        );
+        check64.res64_64 = MpcCore.xor(castingValues.a64_s, castingValues.b64_s);
         check64.res8_64 = MpcCore.xor(castingValues.a8_s, castingValues.b64_s);
         check64.res64_8 = MpcCore.xor(castingValues.a64_s, castingValues.b8_s);
-        check64.res16_64 = MpcCore.xor(
-            castingValues.a16_s,
-            castingValues.b64_s
-        );
-        check64.res64_16 = MpcCore.xor(
-            castingValues.a64_s,
-            castingValues.b16_s
-        );
-        check64.res32_64 = MpcCore.xor(
-            castingValues.a32_s,
-            castingValues.b64_s
-        );
-        check64.res64_32 = MpcCore.xor(
-            castingValues.a64_s,
-            castingValues.b32_s
-        );
+        check64.res16_64 = MpcCore.xor(castingValues.a16_s, castingValues.b64_s);
+        check64.res64_16 = MpcCore.xor(castingValues.a64_s, castingValues.b16_s);
+        check64.res32_64 = MpcCore.xor(castingValues.a32_s, castingValues.b64_s);
+        check64.res64_32 = MpcCore.xor(castingValues.a64_s, castingValues.b32_s);
         uint64 res64 = decryptAndCompareResults64(check64);
         require(result == res64, "xorTest: cast 64 failed");
 
         // Check the result with scalar
-        require(
-            result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b8_s)) &&
-                result == MpcCore.decrypt(MpcCore.xor(castingValues.a8_s, b)),
-            "xorTest: test 8 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b16_s)) &&
-                result == MpcCore.decrypt(MpcCore.xor(castingValues.a16_s, b)),
-            "xorTest: test 16 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b32_s)) &&
-                result == MpcCore.decrypt(MpcCore.xor(castingValues.a32_s, b)),
-            "xorTest: test 32 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b64_s)) &&
-                result == MpcCore.decrypt(MpcCore.xor(castingValues.a64_s, b)),
-            "xorTest: test 64 bits with scalar failed"
-        );
+        require(result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b8_s)) && result == MpcCore.decrypt(MpcCore.xor(castingValues.a8_s, b)),
+            "xorTest: test 8 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b16_s)) && result == MpcCore.decrypt(MpcCore.xor(castingValues.a16_s, b)),
+            "xorTest: test 16 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b32_s)) && result == MpcCore.decrypt(MpcCore.xor(castingValues.a32_s, b)),
+            "xorTest: test 32 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.xor(a, castingValues.b64_s)) && result == MpcCore.decrypt(MpcCore.xor(castingValues.a64_s, b)),
+            "xorTest: test 64 bits with scalar failed");
 
         return result;
     }
-}
+
+}

package/contracts/mocks/utils/mpc/{Comparison1Tests.Contract.sol → Comparison1TestsContract.sol}

@@ -1,5 +1,4 @@
 // SPDX-License-Identifier: MIT
-
 pragma solidity ^0.8.19;
 
 import "../../../utils/mpc/MpcCore.sol";
@@ -41,74 +40,63 @@ contract Comparison1TestsContract {
         gtBool res64_32;
     }
 
-    bool result;
+    bool gtResult;
+    bool leResult;
+    bool ltResult;
 
-    function getResult() public view returns (bool) {
-        return result;
+    function getGtResult() public view returns (bool) {
+        return gtResult;
+    }
+    function getLeResult() public view returns (bool) {
+        return leResult;
+    }
+    function getLtResult() public view returns (bool) {
+        return ltResult;
     }
 
-    function setPublicValues(
-        AllGTCastingValues memory castingValues,
-        uint8 a,
-        uint8 b
-    ) public {
+    function setPublicValues(AllGTCastingValues memory castingValues, uint8 a, uint8 b) public{
         castingValues.a8_s = MpcCore.setPublic8(a);
         castingValues.b8_s = MpcCore.setPublic8(b);
-        castingValues.a16_s = MpcCore.setPublic16(a);
-        castingValues.b16_s = MpcCore.setPublic16(b);
-        castingValues.a32_s = MpcCore.setPublic32(a);
-        castingValues.b32_s = MpcCore.setPublic32(b);
-        castingValues.a64_s = MpcCore.setPublic64(a);
-        castingValues.b64_s = MpcCore.setPublic64(b);
+        castingValues.a16_s =  MpcCore.setPublic16(a);
+        castingValues.b16_s =  MpcCore.setPublic16(b);
+        castingValues.a32_s =  MpcCore.setPublic32(a);
+        castingValues.b32_s =  MpcCore.setPublic32(b);
+        castingValues.a64_s =  MpcCore.setPublic64(a);
+        castingValues.b64_s =  MpcCore.setPublic64(b);
     }
 
-    function decryptAndCompareResults16(
-        Check16 memory check16
-    ) public returns (bool) {
+    function decryptAndCompareResults16(Check16 memory check16) public returns (bool){
+
         // Calculate the result
         bool result = MpcCore.decrypt(check16.res16_16);
 
-        require(
-            result == MpcCore.decrypt(check16.res8_16) &&
-                result == MpcCore.decrypt(check16.res16_8),
-            "decryptAndCompareAllResults: Failed to decrypt and compare all results"
-        );
+        require(result == MpcCore.decrypt(check16.res8_16) && result == MpcCore.decrypt(check16.res16_8),
+            "decryptAndCompareAllResults: Failed to decrypt and compare all results");
 
         return result;
     }
 
-    function decryptAndCompareResults32(
-        Check32 memory check32
-    ) public returns (bool) {
+    function decryptAndCompareResults32(Check32 memory check32) public returns (bool){
+
         // Calculate the result
         bool result = MpcCore.decrypt(check32.res32_32);
 
-        require(
-            result == MpcCore.decrypt(check32.res8_32) &&
-                result == MpcCore.decrypt(check32.res32_8) &&
-                result == MpcCore.decrypt(check32.res32_16) &&
-                result == MpcCore.decrypt(check32.res16_32),
-            "decryptAndCompareAllResults: Failed to decrypt and compare all results"
-        );
+        require(result == MpcCore.decrypt(check32.res8_32) && result == MpcCore.decrypt(check32.res32_8)
+        && result == MpcCore.decrypt(check32.res32_16) && result == MpcCore.decrypt(check32.res16_32),
+            "decryptAndCompareAllResults: Failed to decrypt and compare all results");
 
         return result;
     }
 
-    function decryptAndCompareResults64(
-        Check64 memory check64
-    ) public returns (bool) {
+    function decryptAndCompareResults64(Check64 memory check64) public returns (bool){
+
         // Calculate the result
         bool result = MpcCore.decrypt(check64.res64_64);
 
-        require(
-            result == MpcCore.decrypt(check64.res8_64) &&
-                result == MpcCore.decrypt(check64.res64_8) &&
-                result == MpcCore.decrypt(check64.res64_16) &&
-                result == MpcCore.decrypt(check64.res16_64) &&
-                result == MpcCore.decrypt(check64.res64_32) &&
-                result == MpcCore.decrypt(check64.res32_64),
-            "decryptAndCompareAllResults: Failed to decrypt and compare all results"
-        );
+        require(result == MpcCore.decrypt(check64.res8_64) && result == MpcCore.decrypt(check64.res64_8)
+        && result == MpcCore.decrypt(check64.res64_16) && result == MpcCore.decrypt(check64.res16_64)
+        && result == MpcCore.decrypt(check64.res64_32) && result == MpcCore.decrypt(check64.res32_64),
+            "decryptAndCompareAllResults: Failed to decrypt and compare all results");
 
         return result;
     }
@@ -121,9 +109,8 @@ contract Comparison1TestsContract {
         setPublicValues(castingValues, a, b);
 
         // Calculate the expected result
-        result = MpcCore.decrypt(
-            MpcCore.gt(castingValues.a8_s, castingValues.b8_s)
-        );
+        bool result =  MpcCore.decrypt(MpcCore.gt(castingValues.a8_s, castingValues.b8_s));
+        gtResult = result;
 
         // Calculate the results with cating to 16
         check16.res16_16 = MpcCore.gt(castingValues.a16_s, castingValues.b16_s);
@@ -153,26 +140,14 @@ contract Comparison1TestsContract {
         require(result == res64, "gtTest: cast 64 failed");
 
         // Check the result with scalar
-        require(
-            result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b8_s)) &&
-                result == MpcCore.decrypt(MpcCore.gt(castingValues.a8_s, b)),
-            "gtTest: test 8 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b16_s)) &&
-                result == MpcCore.decrypt(MpcCore.gt(castingValues.a16_s, b)),
-            "gtTest: test 16 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b32_s)) &&
-                result == MpcCore.decrypt(MpcCore.gt(castingValues.a32_s, b)),
-            "gtTest: test 32 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b64_s)) &&
-                result == MpcCore.decrypt(MpcCore.gt(castingValues.a64_s, b)),
-            "gtTest: test 64 bits with scalar failed"
-        );
+        require(result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b8_s)) && result == MpcCore.decrypt(MpcCore.gt(castingValues.a8_s, b)),
+            "gtTest: test 8 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b16_s)) && result == MpcCore.decrypt(MpcCore.gt(castingValues.a16_s, b)),
+            "gtTest: test 16 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b32_s)) && result == MpcCore.decrypt(MpcCore.gt(castingValues.a32_s, b)),
+            "gtTest: test 32 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.gt(a, castingValues.b64_s)) && result == MpcCore.decrypt(MpcCore.gt(castingValues.a64_s, b)),
+            "gtTest: test 64 bits with scalar failed");
 
         return result;
     }
@@ -185,9 +160,8 @@ contract Comparison1TestsContract {
         setPublicValues(castingValues, a, b);
 
         // Calculate the expected result
-        result = MpcCore.decrypt(
-            MpcCore.le(castingValues.a8_s, castingValues.b8_s)
-        );
+        bool result =  MpcCore.decrypt(MpcCore.le(castingValues.a8_s, castingValues.b8_s));
+        leResult = result;
 
         // Calculate the results with cating to 16
         check16.res16_16 = MpcCore.le(castingValues.a16_s, castingValues.b16_s);
@@ -217,26 +191,14 @@ contract Comparison1TestsContract {
         require(result == res64, "leTest: cast 64 failed");
 
         // Check the result with scalar
-        require(
-            result == MpcCore.decrypt(MpcCore.le(a, castingValues.b8_s)) &&
-                result == MpcCore.decrypt(MpcCore.le(castingValues.a8_s, b)),
-            "leTest: test 8 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.le(a, castingValues.b16_s)) &&
-                result == MpcCore.decrypt(MpcCore.le(castingValues.a16_s, b)),
-            "leTest: test 16 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.le(a, castingValues.b32_s)) &&
-                result == MpcCore.decrypt(MpcCore.le(castingValues.a32_s, b)),
-            "leTest: test 32 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.le(a, castingValues.b64_s)) &&
-                result == MpcCore.decrypt(MpcCore.le(castingValues.a64_s, b)),
-            "leTest: test 64 bits with scalar failed"
-        );
+        require(result == MpcCore.decrypt(MpcCore.le(a, castingValues.b8_s)) && result == MpcCore.decrypt(MpcCore.le(castingValues.a8_s, b)),
+            "leTest: test 8 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.le(a, castingValues.b16_s)) && result == MpcCore.decrypt(MpcCore.le(castingValues.a16_s, b)),
+            "leTest: test 16 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.le(a, castingValues.b32_s)) && result == MpcCore.decrypt(MpcCore.le(castingValues.a32_s, b)),
+            "leTest: test 32 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.le(a, castingValues.b64_s)) && result == MpcCore.decrypt(MpcCore.le(castingValues.a64_s, b)),
+            "leTest: test 64 bits with scalar failed");
 
         return result;
     }
@@ -249,9 +211,8 @@ contract Comparison1TestsContract {
         setPublicValues(castingValues, a, b);
 
         // Calculate the expected result
-        result = MpcCore.decrypt(
-            MpcCore.lt(castingValues.a8_s, castingValues.b8_s)
-        );
+        bool result =  MpcCore.decrypt(MpcCore.lt(castingValues.a8_s, castingValues.b8_s));
+        ltResult = result;
 
         // Calculate the results with cating to 16
         check16.res16_16 = MpcCore.lt(castingValues.a16_s, castingValues.b16_s);
@@ -281,27 +242,18 @@ contract Comparison1TestsContract {
         require(result == res64, "letTest: cast 64 failed");
 
         // Check the result with scalar
-        require(
-            result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b8_s)) &&
-                result == MpcCore.decrypt(MpcCore.lt(castingValues.a8_s, b)),
-            "letTest: test 8 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b16_s)) &&
-                result == MpcCore.decrypt(MpcCore.lt(castingValues.a16_s, b)),
-            "letTest: test 16 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b32_s)) &&
-                result == MpcCore.decrypt(MpcCore.lt(castingValues.a32_s, b)),
-            "letTest: test 32 bits with scalar failed"
-        );
-        require(
-            result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b64_s)) &&
-                result == MpcCore.decrypt(MpcCore.lt(castingValues.a64_s, b)),
-            "letTest: test 64 bits with scalar failed"
-        );
+        require(result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b8_s)) && result == MpcCore.decrypt(MpcCore.lt(castingValues.a8_s, b)),
+            "letTest: test 8 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b16_s)) && result == MpcCore.decrypt(MpcCore.lt(castingValues.a16_s, b)),
+            "letTest: test 16 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b32_s)) && result == MpcCore.decrypt(MpcCore.lt(castingValues.a32_s, b)),
+            "letTest: test 32 bits with scalar failed");
+        require(result == MpcCore.decrypt(MpcCore.lt(a, castingValues.b64_s)) && result == MpcCore.decrypt(MpcCore.lt(castingValues.a64_s, b)),
+            "letTest: test 64 bits with scalar failed");
 
         return result;
     }
-}
+
+
+
+}