Function sha256_finalize

src/simplicity/sha256.h:300–306

Finish the SHA-256 computation by consuming and digesting the SHA-256 padding. * The final result is stored in the original 'output' buffer that was given to 'sha256_init'. * * Returns false if the counter had overflowed. * * Precondition: NULL != ctx; */

 * Precondition: NULL != ctx;
 */
static inline bool sha256_finalize(sha256_context* ctx) {
  bool result = !ctx->overflow;
  uint_fast64_t length = ctx->counter * 8;
  sha256_uchars(ctx, (const unsigned char[64]){0x80}, 1 + (64 + 56 - ctx->counter % 64 - 1) % 64);
  sha256_u64be(ctx, length);
  return result;
}

/* Add a 256-bit hash to be consumed by an ongoing SHA-256 evaluation.
 *