-- Check that hashing a random bytestring with an empty DST gives the expected result.
(program 1.0.0
 [
  [
   (builtin bls12_381_G1_hashToGroup)
   (con bytestring #8e)
  ]
  (con bytestring #)
 ]
)