Function simplicity_sha_256_ctx_8_init

src/simplicity/jets.c:1233–1241

sha_256_ctx_8_init : ONE |- CTX8 * where * CTX8 = (TWO^8)^<64 * TWO^64 * TWO^256 */

 * CTX8 = (TWO^8)^<64 * TWO^64 * TWO^256
 */
bool simplicity_sha_256_ctx_8_init(frameItem* dst, frameItem src, const txEnv* env) {
  (void) env; /* env is unused. */
  (void) src; /* env is unused. */

  uint32_t iv[8];
  sha256_context ctx = sha256_init(iv);

  return simplicity_write_sha256_context(dst, &ctx);
}

/* sha_256_ctx_8_add_n : CTX8 * (TWO^8)^n |- CTX8
 * where