Glossary
RISC Zero
Eine universelle ZK-Virtual-Machine, die die korrekte Ausführung beliebiger Rust- (oder C++-)Programme beweist — Bonsai ist das gehostete Prover-Netzwerk.
RISC Zero implementiert eine ZK-Virtual-Machine über dem RISC-V-Befehlssatz. Entwickler schreiben Programme in Rust (oder jeder Sprache mit RISC-V-Backend), kompilieren sie zu einem Guest-Binary, und die zkVM erzeugt einen Beweis, dass das Binary korrekt mit den gegebenen Eingaben ausgeführt wurde.
Das Modell entkoppelt ZK von der Circuit-Entwicklung: Jedes Programm ist ein Kandidat fürs Beweisen. Bonsai, der gehostete Prover-Dienst, erlaubt es On-Chain-Verträgen, Jobs einzureichen und verifizierte Ergebnisse zu erhalten. Zu den Konkurrenten zählen Succincts SP1 und Polygons Miden VM.