zirgen

Compilador de Circuitos Zirgen Zirgen es un compilador para un lenguaje específico de dominio, también llamado "zirgen", que crea circuitos aritméticos para el sistema de pruebas RISC Zero. En su mayor parte, los usuarios de RISC Zero deberían escribir sus zkApps en Rust y usar nuestra zkVM RISC-...