SHA-256 demo

This demo allows computing the SHA-256 sum using the functional, verified implementation (Section 4), compiled to Wasm using CertiCoq-Wasm.