JavaScript is required for this demo, 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 the Rocq Prover. This Gallina
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: