Sıfır Bilgi İspatı

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 ...