zirgen

Compilateur de circuits Zirgen Zirgen est un compilateur pour un langage spécifique au domaine, également appelé « zirgen », qui crée des circuits arithmétiques pour le système de preuve RISC Zero. Pour la plupart, les utilisateurs de RISC Zero devraient écrire leurs zkApps en Rust et utiliser...