Function simplicity_sha_256_ctx_8_add_buffer_511

src/simplicity/jets.c:1355–1367

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

 * CTX8 = (TWO^8)^<64 * TWO^64 * TWO^256
 */
bool simplicity_sha_256_ctx_8_add_buffer_511(frameItem* dst, frameItem src, const txEnv* env) {
  (void) env; /* env is unused. */
  sha256_midstate midstate;
  unsigned char buf[511];
  size_t buf_len;
  sha256_context ctx = {.output = midstate.s};

  if (!simplicity_read_sha256_context(&ctx, &src)) return false;

  simplicity_read_buffer8(buf, &buf_len, &src, 8);
  sha256_uchars(&ctx, buf, buf_len);
  return simplicity_write_sha256_context(dst, &ctx);
}

/* sha_256_ctx_8_finalize : CTX8 |- TWO^256
 * where