Add SHA-512/256 hash operation

go/ops.go

@@ -131,6 +131,10 @@ func doHash(hashOp HashOp, preimage []byte) ([]byte, error) {
 		hash := crypto.RIPEMD160.New()
 		hash.Write(tmp)
 		return hash.Sum(nil), nil
+	case HashOp_SHA512_256:
+		hash := crypto.SHA512_256.New()
+		hash.Write(preimage)
+		return hash.Sum(nil), nil
 	}
 	return nil, errors.Errorf("Unsupported hashop: %d", hashOp)
 }

go/ops_test.go

@@ -199,6 +199,12 @@ func TestDoHash(t *testing.T) {
 			// echo -n c1f026582fe6e8cb620d0c85a72fe421ddded756662a8ec00ed4c297ad10676b | xxd -r -p | openssl dgst -rmd160 -hex
 			expectedHash: "0bcb587dfb4fc10b36d57f2bba1878f139b75d24",
 		},
+		"sha512_256": {
+			hashOp:   HashOp_SHA512_256,
+			preimage: "food",
+			// echo -n food | openssl dgst -sha512-256 -hex | cut -d' ' -f2
+			expectedHash: "5b3a452a6acbf1fc1e553a40c501585d5bd3cca176d562e0a0e19a3c43804e88",
+		},
 	}
 
 	for name, tc := range cases {

js/package.json

@@ -47,6 +47,7 @@
   "dependencies": {
     "protobufjs": "^6.8.8",
     "ripemd160": "^2.0.2",
-    "sha.js": "^2.4.11"
+    "sha.js": "^2.4.11",
+    "js-sha512": "^0.8.0"
   }
 }

js/src/generated/codecimpl.d.ts

@@ -8,7 +8,8 @@ export namespace ics23 {
     SHA512 = 2,
     KECCAK = 3,
     RIPEMD160 = 4,
-    BITCOIN = 5
+    BITCOIN = 5,
+    SHA512_256 = 6
   }
 
   /**

js/src/generated/codecimpl.js

@@ -28,6 +28,7 @@ $root.ics23 = (function() {
      * @property {number} KECCAK=3 KECCAK value
      * @property {number} RIPEMD160=4 RIPEMD160 value
      * @property {number} BITCOIN=5 BITCOIN value
+     * @property {number} SHA512_256=6 SHA512_256 value
      */
     ics23.HashOp = (function() {
         var valuesById = {}, values = Object.create(valuesById);
@@ -37,6 +38,7 @@ $root.ics23 = (function() {
         values[valuesById[3] = "KECCAK"] = 3;
         values[valuesById[4] = "RIPEMD160"] = 4;
         values[valuesById[5] = "BITCOIN"] = 5;
+        values[valuesById[6] = "SHA512_256"] = 6;
         return values;
     })();
 
@@ -1161,6 +1163,7 @@ $root.ics23 = (function() {
                 case 3:
                 case 4:
                 case 5:
+                case 6:
                     break;
                 }
             if (message.prehashKey != null && message.hasOwnProperty("prehashKey"))
@@ -1173,6 +1176,7 @@ $root.ics23 = (function() {
                 case 3:
                 case 4:
                 case 5:
+                case 6:
                     break;
                 }
             if (message.prehashValue != null && message.hasOwnProperty("prehashValue"))
@@ -1185,6 +1189,7 @@ $root.ics23 = (function() {
                 case 3:
                 case 4:
                 case 5:
+                case 6:
                     break;
                 }
             if (message.length != null && message.hasOwnProperty("length"))
@@ -1245,6 +1250,10 @@ $root.ics23 = (function() {
             case 5:
                 message.hash = 5;
                 break;
+            case "SHA512_256":
+            case 6:
+                message.hash = 6;
+                break;
             }
             switch (object.prehashKey) {
             case "NO_HASH":
@@ -1271,6 +1280,10 @@ $root.ics23 = (function() {
             case 5:
                 message.prehashKey = 5;
                 break;
+            case "SHA512_256":
+            case 6:
+                message.prehashKey = 6;
+                break;
             }
             switch (object.prehashValue) {
             case "NO_HASH":
@@ -1297,6 +1310,10 @@ $root.ics23 = (function() {
             case 5:
                 message.prehashValue = 5;
                 break;
+            case "SHA512_256":
+            case 6:
+                message.prehashValue = 6;
+                break;
             }
             switch (object.length) {
             case "NO_PREFIX":
@@ -1579,6 +1596,7 @@ $root.ics23 = (function() {
                 case 3:
                 case 4:
                 case 5:
+                case 6:
                     break;
                 }
             if (message.prefix != null && message.hasOwnProperty("prefix"))
@@ -1627,6 +1645,10 @@ $root.ics23 = (function() {
             case 5:
                 message.hash = 5;
                 break;
+            case "SHA512_256":
+            case 6:
+                message.hash = 6;
+                break;
             }
             if (object.prefix != null)
                 if (typeof object.prefix === "string")
@@ -2208,6 +2230,7 @@ $root.ics23 = (function() {
                 case 3:
                 case 4:
                 case 5:
+                case 6:
                     break;
                 }
             return null;
@@ -2268,6 +2291,10 @@ $root.ics23 = (function() {
             case 5:
                 message.hash = 5;
                 break;
+            case "SHA512_256":
+            case 6:
+                message.hash = 6;
+                break;
             }
             return message;
         };

js/src/ops.spec.ts

@@ -50,6 +50,16 @@ describe("applyLeaf", () => {
     expect(applyLeaf(op, key, value)).toEqual(expected);
   });
 
+  it("hashes food with sha-512/256", () => {
+    const op: ics23.ILeafOp = { hash: ics23.HashOp.SHA512_256 };
+    const key = toAscii("fo");
+    const value = toAscii("od");
+    const expected = fromHex(
+      "5b3a452a6acbf1fc1e553a40c501585d5bd3cca176d562e0a0e19a3c43804e88"
+    );
+    expect(applyLeaf(op, key, value)).toEqual(expected);
+  });
+
   it("hashes foobar (different breakpoint)", () => {
     const op: ics23.ILeafOp = { hash: ics23.HashOp.SHA256 };
     const key = toAscii("f");

js/src/ops.ts

@@ -1,3 +1,4 @@
+import { sha512_256 } from "js-sha512";
 import ripemd160 from "ripemd160";
 import shajs from "sha.js";
 
@@ -109,6 +110,8 @@ export function doHash(hashOp: ics23.HashOp, preimage: Uint8Array): Uint8Array {
       return rp160(preimage);
     case ics23.HashOp.BITCOIN:
       return rp160(s256(preimage));
+    case ics23.HashOp.SHA512_256:
+      return new Uint8Array(sha512_256.arrayBuffer(preimage));
   }
   throw new Error(`Unsupported hashop: ${hashOp}`);
 }

js/yarn.lock

@@ -305,6 +305,11 @@ jasmine@^3.5.0:
     glob "^7.1.4"
     jasmine-core "~3.5.0"
 
+js-sha512@^0.8.0:
+  version "0.8.0"
+  resolved "https://registry.yarnpkg.com/js-sha512/-/js-sha512-0.8.0.tgz#dd22db8d02756faccf19f218e3ed61ec8249f7d4"
+  integrity sha512-PWsmefG6Jkodqt+ePTvBZCSMFgN7Clckjd0O7su3I0+BW2QWUTJNzjktHsztGLhncP2h8mcF9V9Y2Ha59pAViQ==
+
 js-tokens@^4.0.0:
   version "4.0.0"
   resolved "https://registry.yarnpkg.com/js-tokens/-/js-tokens-4.0.0.tgz#19203fb59991df98e3a287050d4647cdeaf32499"

proofs.proto

@@ -10,6 +10,7 @@ enum HashOp {
     KECCAK = 3;
     RIPEMD160 = 4;
     BITCOIN = 5;  // ripemd160(sha256(x))
+    SHA512_256 = 6;
 }
 
 /**

rust/src/ics23.rs

@@ -252,6 +252,7 @@ pub enum HashOp {
     Ripemd160 = 4,
     /// ripemd160(sha256(x))
     Bitcoin = 5,
+    Sha512_256 = 6,
 }
 ///*
 ///LengthOp defines how to process the key and value of the LeafOp

rust/src/ops.rs

@@ -1,6 +1,6 @@
 use anyhow::{bail, ensure};
 use ripemd160::Ripemd160;
-use sha2::{Digest, Sha256, Sha512};
+use sha2::{Digest, Sha256, Sha512, Sha512Trunc256};
 use sha3::Sha3_512;
 use std::convert::TryInto;
 
@@ -41,6 +41,7 @@ fn do_hash(hash: HashOp, data: &[u8]) -> Result<Hash> {
         HashOp::Bitcoin => Ok(Hash::from(
             Ripemd160::digest(Sha256::digest(data).as_slice()).as_slice(),
         )),
+        HashOp::Sha512_256 => Ok(Hash::from(Sha512Trunc256::digest(data).as_slice())),
     }
 }
 
@@ -99,6 +100,14 @@ mod tests {
             "bitcoin hash fails"
         );
 
+        let hash = do_hash(HashOp::Sha512_256, b"food")?;
+        ensure!(
+            hash == hex::decode(
+                "5b3a452a6acbf1fc1e553a40c501585d5bd3cca176d562e0a0e19a3c43804e88"
+            )?,
+            "sha512/256 hash fails"
+        );
+
         Ok(())
     }