zirgen

Compilatore di circuiti Zirgen Zirgen è un compilatore per un linguaggio specifico del dominio, chiamato anch'esso "zirgen", che crea circuiti aritmetici per il sistema di prova RISC Zero. Per la maggior parte, gli utenti di RISC Zero dovrebbero scrivere le loro zkApps in Rust e utilizzare la...