— Proof Playground (Simulated) —

BUILD. PROVE. VERIFY.

Enter a tiny program using real opcodes (INIT/ADD/SUB/MUL). This runs the arithmetic in your browser and animates the real pipeline stages -- it does not generate or verify an actual STARK proof.

⚠ Simulated. For a real proof, run the CLI yourself (cargo run --release -p zkvm-cli -- prove ...) or see the measured benchmarks.

program.zkasmEDITABLE

3 instructions

execution pipelineIDLE

Parsing

Executing

Building trace

Arithmetizing (AIR)

Generating STARK proof

Verifying

Real opcodes supported here

INIT n — set the accumulator to n

ADD n — acc = acc + n

SUB n — acc = acc − n

MUL n — acc = acc × n

The real ISA also has JZ/JNZ (forward-only conditional jumps) and LOAD/STORE (4 fixed registers) — not simulated in this in-browser demo, but fully real in the actual VM. See the architecture page.