zirgen

Компилятор схем Zirgen Zirgen — это компилятор для предметно-ориентированного языка, также называемого «zirgen», который создаёт арифметические схемы для системы доказательств RISC Zero. По большей части пользователям RISC Zero следует писать свои zk-приложения на Rust и использовать наш zkVM...