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, die ebenfalls „zirgen“ genannt wird und arithmetische Schaltkreise für das RISC Zero Proof-System erzeugt.
In den meisten Fällen sollten Nutzer 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 mit unserem Proof-System zu integrieren und eine bessere Leistung zu erzielen. Die Schaltkreise der RISC Zero zkVM selbst sind in Zirgen geschrieben. Zirgen ermöglicht es, Beschleuniger für wichtige Teile deiner Anwendungen zu bauen oder sogar ganze andere VMs zu erstellen, die sich durch Proof-Komposition in das RISC Zero Ökosystem integrieren. Allerdings befindet es sich noch in der Entwicklung und hat einige Ecken und Kanten.
Bootstrapping von Schaltkreisänderungen in risc0 und risc0-ethereum
Wir arbeiten außerdem an einer Integration mit Circom – diese wird es ermöglichen, Rekursions-Schaltkreisprogramme zu erzeugen, die Witnesses für beliebige Circom-Schaltkreise verifizieren. Diese ist hier zu finden.
graph TD;
A[Zirgen] --> B[Zirgen Compiler]
C[Circom] --> B
B --> D[Rust code]
B --> E[C++ code]
B --> F[Recursion VM predicates]