Function simplicity_write_sha256_context

src/simplicity/frame.c:175–180

Write data to a Simplicity CTX8 type (TWO^8)^<2^64 * TWO^64 * TWO^256 from a sha256_context value. * Advance the 'dst' frame to the end of the CTX8 type. * Returns false if the ctx had overflowed. * * The notation X^<2 is notation for the type (S X) * The notation X^<(2*n) is notation for the type S (X^n) * X^<n * * Precondition: '*dst' is a valid write frame for 838 more cells; *

 *               ctx->counter < 2^61;
 */
bool simplicity_write_sha256_context(frameItem* dst, const sha256_context* ctx) {
  simplicity_write_buffer8(dst, ctx->block, ctx->counter % 64, 5);
  simplicity_write64(dst, ctx->counter >> 6);
  write32s(dst, ctx->output, 8);
  return !ctx->overflow;
}

/* Given a write frame and a read frame, copy 'n' cells from after the read frame's cursor to after the write frame's cursor,
 * Cells in within the write frame beyond 'n' cells after the write frame's cursor may also be overwritten.