risc0/zirgenCompilador de lenguaje específico de dominio para crear circuitos aritméticos dirigidos al sistema de prueba de conocimiento cero RISC Zero, permitiendo aceleradores personalizados e integración con máquinas virtuales.
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-V en lugar de construirlas directamente en Zirgen. Sin embargo, a veces es necesario o deseable escribir partes de una aplicación como un circuito aritmético para integrarse directamente con nuestro sistema de pruebas y lograr un mejor rendimiento. De hecho, ¡tenemos una próxima versión del circuito de la zkVM escrita en Zirgen! Zirgen hará posible construir aceleradores para partes importantes de sus aplicaciones, o incluso construir VMs completas que se integren en el ecosistema RISC Zero mediante composición de pruebas. Dicho esto, aún está en desarrollo y tiene bastantes asperezas.
Descripción general del lenguaje
También tenemos una integración con Circom en desarrollo; esto hará posible generar programas de circuitos de recursión que verifiquen testigos para circuitos Circom arbitrarios. Se puede encontrar aquí.
graph TD;
A[Zirgen] --> B[Zirgen Compiler]
C[Circom] --> B
B --> D[Rust code]
B --> E[C++ code]
B --> F[Recursion VM predicates]