https://github.com/risc0/zirgen

Zirgen compiler and RISC Zero circuits
https://github.com/risc0/zirgen

compiler dsl zk

Last synced: about 2 months ago
JSON representation

Zirgen compiler and RISC Zero circuits

• Host: GitHub
• URL: https://github.com/risc0/zirgen
• Owner: risc0
• License: apache-2.0
• Created: 2024-08-14T22:18:56.000Z (5 months ago)
• Default Branch: main
• Last Pushed: 2024-10-23T21:01:07.000Z (3 months ago)
• Last Synced: 2024-10-24T21:34:35.592Z (3 months ago)
• Topics: compiler, dsl, zk
• Language: C++
• Homepage:
• Size: 15.2 MB
• Stars: 40
• Watchers: 12
• Forks: 5
• Open Issues: 8
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Zirgen Circuit Compiler

Zirgen is a compiler for a domain-specific language, also called "zirgen",

which creates arithmetic circuits for the RISC Zero proof system.

For the most part, users of RISC Zero should be writing their zkApps in Rust

and using our RISC-V zkVM rather than building them directly in Zirgen.

Sometimes, however, it is necessary or desirable to write parts of an

application as an arithmetic circuit to integrate directly with our proof system

and achieve better performance. In fact, we have an upcoming version of the zkVM

circuit written in Zirgen! Zirgen will make it possible to build accelerators

for important parts of your applications, or even to build entire other VMs that

integrate into the RISC Zero ecosystem through proof composition. With that said,

it's still a work in progress and has quite a few rough edges.

[Getting Started](zirgen/docs/01_Getting_Started.md)

[Language Overview](zirgen/docs/02_Conceptual_Overview.md)

## Included circuits

* [The recursion circuit](/zirgen/circuit/recursion/)

* [The RISC-V zkVM](/zirgen/circuit/rv32im/) 

## Circom integration

We also have an integration with Circom in the works -- this will make it

possible to generate recursion circuit programs that verify witnesses for

arbitrary Circom circuits. This can be found

[here](/zirgen/compiler/tools/zirgen-r1cs.cpp).

```mermaid

graph TD;

    A[Zirgen] --> B[Zirgen Compiler]

    C[Circom] --> B

    B --> D[Rust code]

    B --> E[C++ code]

    B --> F[Recursion VM predicates]

```