ZK Proving Infrastructure
GhostProver
Dedicated GPU proving backend for SP1 and RISC Zero. Real hardware, real receipts — not Bonsai, not emulated.
107×
GPU vs CPU · SLH-DSA-128s · RTX 4090 · 5-run verified
ZK Proving Infrastructure
Dedicated GPU proving backend for SP1 and RISC Zero. Real hardware, real receipts — not Bonsai, not emulated.
Benchmark Results — NIST PQ Signatures in RISC Zero zkVM
| Scheme | Standard | Composite STARK | Succinct Compress | Total (mean) |
|---|---|---|---|---|
| SLH-DSA-128sSHA-256-heavy · RISC Zero accelerated | FIPS-205 | ~11.5s | ~4.8s | 16.33s |
| ML-DSA-44Lattice · SHAKE-heavy | FIPS-204 | ~3.95s | ~1.40s | 5.35s |
| FN-DSA Falcon-512Lattice/NTRU · NTT-heavy | FIPS-206 draft | ~1.34s | ~0.58s | 1.91s |
RTX 4090 · CUDA 12.8 · RISC Zero 3.0.6 · Ubuntu 22.04 · July 2026 · github.com/NthMOMENT/kaspa-pq-bench-results
5-Run Variance — RTX 4090 · July 20, 2026
SLH-DSA-128s
FN-DSA Falcon-512
ML-DSA-44
Infrastructure
Send your RISC Zero guest ELF or SP1 program and get back cycle count, STARK time, proof size, and GPU vs CPU comparison. Free for M0 cost baselines. Ongoing proving arrangements available.