risc0/zirgenКомпилятор предметно-ориентированного языка для создания арифметических схем, ориентированных на систему доказательств с нулевым разглашением RISC Zero, обеспечивающий возможность создания пользовательских ускорителей и интеграции с виртуальной машиной.
Zirgen — это компилятор для предметно-ориентированного языка, также называемого «zirgen», который создаёт арифметические схемы для системы доказательств RISC Zero.
По большей части пользователям RISC Zero следует писать свои zk-приложения на Rust и использовать наш zkVM RISC-V, а не создавать их напрямую в Zirgen. Однако иногда необходимо или желательно реализовать части приложения в виде арифметической схемы, чтобы напрямую интегрироваться с нашей системой доказательств и достичь лучшей производительности. Более того, у нас есть грядущая версия схемы zkVM, написанная на Zirgen! Zirgen позволит создавать ускорители для важных частей ваших приложений или даже строить целые другие виртуальные машины, интегрирующиеся в экосистему RISC Zero через композицию доказательств. При этом проект всё ещё находится в разработке и имеет немало шероховатостей.
У нас также в разработке находится интеграция с Circom — она позволит создавать программы для схем рекурсии, которые верифицируют свидетелей для произвольных схем Circom. Найти её можно здесь.
graph TD;
A[Zirgen] --> B[Zirgen Compiler]
C[Circom] --> B
B --> D[Rust code]
B --> E[C++ code]
B --> F[Recursion VM predicates]