Nightstream wasm demo

Lattice-based folding (neo-fold) with Twist/Shout memory, running in the browser via WebAssembly.

Paste or load a circuit JSON (R1CS matrices + per-step witness) and run folding prove+verify.

Build: …
Learn more GitHub repo
Bundle: … Cross-Origin Isolation: …

Controls

Circuits
RISC-V mode expects a small “mini-asm” subset (or one 32-bit word per line).
Drag & drop a .json file
or choose a file
Options
Produces a Spartan2 proof from the folding proof (larger wasm + longer runtime).
Actions

Circuit JSON

Output