zirgen

Zirgen Circuit Compiler 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...