This panel selects the program to be proven in zero-knowledge.
Example programs are included in addition to the custom selector which supports writing programs in AssemblyScript (a minimal Javascript-like language). SpeakUp can prove any program which compiles to WebAssembly.
AssemblyScript — compiled to a guest module
drop a
.wasm module, or click to browse
configure it entirely in the script below
orchestration — JavaScript against the typed
guest API
A peer wants to prove something to you.
They'll request to prove a program, while keeping some information private.
Connecting reveals your IP address to the peer.
📡
Connected as verifier
Waiting for the prover to initiate a proof…
incoming request
Prover
→
Verifier
—
Verifier
→
Prover
—
time
—
result