sem-crypto-hs24-BitVM