Skip to main content

Introduction

Using this Library​

To incorporate the compiler into your Go project, include the following import statement in your code:

import "github.com/PolyhedraZK/ExpanderCompilerCollection"

The APIs for this library are detailed in Compiler APIs.

Example​

Refer to this example for a practical demonstration of our compiler. In this example, we illustrate how a gnark circuit can be compiled using ExpanderCompilerCollection. The output of this example includes a circuit description file "circuit.txt" and a corresponding witnesses file "witness.txt". Our prover, Expander, utilizes these representations to generate the actual proof.

Additional examples include:

Standard Circuits​

We have implemented some standard circuits, similar to those in gnark, which can be viewed in Circuit Std.

Transition to Rust​

The older version of ExpanderCompilerCollection was purely written in Go. Currently, Go is only responsible for preprocessing circuits and converting them to a specific IR, which is then compiled using a Rust library. The Rust library is dynamically downloaded from GitHub. Unless you are working with existing gnark circuits or require specific Go features, we recommend using the Rust version for development.

Index