Function tmrIV

src/simplicity/type.c:11–19

Given a the 'kind' of a Simplicity type, return the SHA-256 hash of its associated TMR tag. * This is the "initial value" for computing the type Merkle root for that type. */

 * This is the "initial value" for computing the type Merkle root for that type.
 */
static sha256_midstate tmrIV(typeName kind) {
  switch (kind) {
   case ONE: return unitIV;
   case SUM: return sumIV;
   case PRODUCT: return prodIV;
  }
  /* Impossible to reach here (unless you call with uninitialized values). */
  SIMPLICITY_UNREACHABLE;
}

/* Given a well-formed 'type_dag', compute the bitSizes, skips, and type Merkle roots of all subexpressions.
 * For all 'i', 0 <= 'i' < 'len',