JavaScript is required for this demo, please please use a browser with JavaScript support such as Firefox or Chrome.
SHA-256 demo
This demo allows computing the
SHA-256 sum
using a
provably correct
implementation in Coq. This Coq
program
was
compiled
to a
WebAssembly
module that is run directly in the browser. Find the code of this site on
GitHub
.
CertiCoq-Wasm:
Web Crypto API: