zirgen

Zirgen 회로 컴파일러 Zirgen은 "zirgen"이라고도 불리는 도메인 특화 언어용 컴파일러로, RISC Zero 증명 시스템을 위한 산술 회로를 생성합니다. 대부분의 경우 RISC Zero 사용자는 zkApp을 Rust로 작성하고 RISC-V zkVM을 사용해야 하며, Zirgen에서 직접 빌드하지 않아야 합니다. 하지만 때로는 애플리케이션의 일부를 산술 회로로 작성하여 증명 시스템과 직접 통합하고 더 나은 성능을 얻는 것이 필요하거나 바람직할 수 있습니다. 실제로 우리는 Zirgen으로 작성된 zkVM 회로의 차기...