Fix

SigmaGmbH · Mar 22, 2024 · 9c8f005 · 9c8f005
1 parent 64b1fde
commit 9c8f005
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/sgxvm/src/precompiles/curve25519.rs b/sgxvm/src/precompiles/curve25519.rs
@@ -29,7 +29,7 @@ impl LinearCostPrecompile for Ed25519Verify {
         let mut i = [0u8; 128];
         i[..128].copy_from_slice(&input[..128]);
 
-        let mut buf = [0u8; 4];
+        let mut buf = [0u8; 32];
 
         let msg = &i[0..32];
         let pk = VerifyingKey::try_from(&i[32..64]).map_err(|_| PrecompileFailure::Error {
@@ -41,9 +41,9 @@ impl LinearCostPrecompile for Ed25519Verify {
 
         // https://docs.rs/rust-crypto/0.2.36/crypto/ed25519/fn.verify.html
         if pk.verify(msg, &sig).is_ok() {
-            buf[3] = 0u8;
+            buf[31] = 0u8;
         } else {
-            buf[3] = 1u8;
+            buf[31] = 1u8;
         };
 
         Ok((ExitSucceed::Returned, buf.to_vec()))

diff --git a/tests/solidity/contracts/ED25519VerifyPrecompile.sol b/tests/solidity/contracts/ED25519VerifyPrecompile.sol
@@ -15,9 +15,9 @@ contract ED25519VerifyPrecompile {
         }
 
         // Decode the result
-        bytes4 result = abi.decode(data, (bytes4));
+        uint256 result = abi.decode(data, (uint256));
 
         // Check it's 0 (valid signature)
-        return result == bytes4(0);
+        return result == uint256(0);
     }
 }