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
slightly modified
version of the
provably correct
implementation in Coq. This Coq program was
compiled
to a
WebAssembly
module that is run directly in the browser.
Our result:
Web Crypto API: