HASHBU opcode

Author: SpyCheese

crypto/fift/lib/Asm.fif

@@ -1391,6 +1391,7 @@ x{F912} @Defop ECRECOVER
 x{F913} @Defop SECP256K1_XONLY_PUBKEY_TWEAK_ADD
 x{F914} @Defop P256_CHKSIGNU
 x{F915} @Defop P256_CHKSIGNS
+x{F916} @Defop HASHBU
 
 x{F920} @Defop RIST255_FROMHASH
 x{F921} @Defop RIST255_VALIDATE

crypto/vm/tonops.cpp

@@ -610,13 +610,13 @@ void register_prng_ops(OpcodeTable& cp0) {
 }
 
 int exec_compute_hash(VmState* st, int mode) {
-  VM_LOG(st) << "execute HASH" << (mode & 1 ? 'S' : 'C') << 'U';
+  VM_LOG(st) << "execute HASH" << "CSB"[mode] << 'U';
   Stack& stack = st->get_stack();
   std::array<unsigned char, 32> hash;
-  if (!(mode & 1)) {
+  if (mode == 0) {  // cell
     auto cell = stack.pop_cell();
     hash = cell->get_hash().as_array();
-  } else {
+  } else if (mode == 1) {  // slice
     auto cs = stack.pop_cellslice();
     CellBuilder cb;
     CHECK(cb.append_cellslice_bool(std::move(cs)));
@@ -625,6 +625,9 @@ int exec_compute_hash(VmState* st, int mode) {
     } else {
       hash = cb.finalize()->get_hash().as_array();
     }
+  } else {  // builder
+    auto cb = stack.pop_builder();
+    hash = cb.write().finalize_novm()->get_hash().as_array();
   }
   td::RefInt256 res{true};
   CHECK(res.write().import_bytes(hash.data(), hash.size(), false));
@@ -1368,6 +1371,7 @@ void register_ton_crypto_ops(OpcodeTable& cp0) {
       .insert(OpcodeInstr::mksimple(0xf913, 16, "SECP256K1_XONLY_PUBKEY_TWEAK_ADD", exec_secp256k1_xonly_pubkey_tweak_add)->require_version(9))
       .insert(OpcodeInstr::mksimple(0xf914, 16, "P256_CHKSIGNU", std::bind(exec_p256_chksign, _1, false))->require_version(4))
       .insert(OpcodeInstr::mksimple(0xf915, 16, "P256_CHKSIGNS", std::bind(exec_p256_chksign, _1, true))->require_version(4))
+      .insert(OpcodeInstr::mksimple(0xf916, 16, "HASHBU", std::bind(exec_compute_hash, _1, 2))->require_version(12))
 
       .insert(OpcodeInstr::mksimple(0xf920, 16, "RIST255_FROMHASH", exec_ristretto255_from_hash)->require_version(4))
       .insert(OpcodeInstr::mksimple(0xf921, 16, "RIST255_VALIDATE", std::bind(exec_ristretto255_validate, _1, false))->require_version(4))

doc/GlobalVersions.md

@@ -233,6 +233,7 @@ This is required to help computing storage stats in the future, after collator-v
 
 ### New TVM instructions
 - `BTOS` (`b - s`) - same as `ENDC CTOS`, but without gas cost for cell creation and loading. Gas cost: `26`.
+- `HASHBU` (`b - hash`) - same as `ENDC HASHCU`, but without gas cost for cell creation. Gas cost: `26`.
 
 ### Other TVM changes
 - `HASHSU` (`s - hash`) now does not spend gas for cell creation. Gas cost: `26`.