zirgen

Compilador de Circuitos Zirgen Zirgen é um compilador para uma linguagem de domínio específico, também chamada "zirgen", que cria circuitos aritméticos para o sistema de prova RISC Zero. Na maioria das vezes, os usuários do RISC Zero devem escrever seus zkApps em Rust e usar nosso zkVM RISC-V em...