Zirgen, RISC Zero ispat sistemi için özel olarak tasarlanmış aritmetik devreler oluşturan, aynı zamanda "zirgen" adını taşıyan alan özel bir dilin (domain-specific language) compiler'ıdır. Genellikle RISC Zero kullanıcıları, sıfır bilgi uygulamalarını (zkApps) Rust programlama diliyle geliştirip RISC-V zkVM'i tercih etseler de, bazı senaryolarda uygulamanın kritik bölümlerini doğrudan ispat sistemiyle entegre etmek ve önemli ölçüde daha iyi performans elde etmek için aritmetik devreler şeklinde yazmak kaçınılmaz veya oldukça avantajlı hale gelmektedir. Zirgen, bu tür özel ihtiyaçları karşılamak üzere geliştirilmiştir ve hatta RISC Zero'nun kendi zkVM devresinin gelecek versiyonunun Zirgen ile yazılacağı belirtilmektedir.
Bu compiler, geliştiricilere uygulamalarının performans açısından kritik bölümleri için özel hızlandırıcılar (accelerator) inşa etme veya ispat bileşimi (proof composition) mekanizması aracılığıyla RISC Zero ekosistemine sorunsuz bir şekilde entegre olabilecek tamamen farklı sanal makineler (VM) tasarlama esnekliği sunmaktadır. Ayrıca, popüler Circom aracıyla entegrasyon çalışmaları da aktif olarak devam etmektedir; bu entegrasyon, rastgele Circom devreleri için tanık doğrulayan özyinelemeli devre programları (recursion circuit programs) üretilmesine olanak tanıyacaktır. Zirgen, sıfır bilgi ispatı alanında daha optimize ve özelleştirilmiş çözümlerin önünü açarken, projenin hala aktif geliştirme aşamasında olduğu ve bazı iyileştirmelere ihtiyaç duyduğu da vurgulanmaktadır.
Zirgen, RISC Zero ekosisteminde yüksek performanslı ve doğrudan entegre aritmetik devreler geliştirerek sıfır bilgi ispatı uygulamalarının yeteneklerini genişletiyor.