risc0/zirgenDomänenspezifischer Sprachcompiler zum Erstellen arithmetischer Schaltungen, die auf das RISC Zero Zero-Knowledge-Beweissystem abzielen, und die Integration benutzerdefinierter Beschleuniger und virtueller Maschinen ermöglichen.
Zirgen ist ein Compiler für eine domänenspezifische Sprache, ebenfalls "Zirgen" genannt, die arithmetische Schaltkreise für das RISC Zero Proof-System erstellt.
Für den größten Teil sollten Benutzer von RISC Zero ihre zkApps in Rust schreiben und unsere RISC-V zkVM verwenden, anstatt sie direkt in Zirgen zu erstellen. Manchmal ist es jedoch notwendig oder wünschenswert, Teile einer Anwendung als arithmetischen Schaltkreis zu schreiben, um direkt in unser Proof-System zu integrieren und eine bessere Leistung zu erzielen. Tatsächlich haben wir eine kommende Version des zkVM-Schaltkreises, die in Zirgen geschrieben ist! Zirgen wird es ermöglichen, Beschleuniger für wichtige Teile Ihrer Anwendungen zu bauen oder sogar ganze andere VMs zu bauen, die durch Proof Composition in das RISC Zero-Ökosystem integrieren. Dennoch ist es noch in Arbeit und hat einige raue Kanten.
Wir haben außerdem eine Integration mit Circom in Arbeit – dies wird es ermöglichen, Rekursionsschaltkreis-Programme zu generieren, die Zeugen für beliebige Circom-Schaltkreise verifizieren. Diese finden Sie hier.
graph TD;
A[Zirgen] --> B[Zirgen Compiler]
C[Circom] --> B
B --> D[Rust code]
B --> E[C++ code]
B --> F[Recursion VM predicates]