Skip to main content

Supported Frameworks

Check back often as we add support for more of the ZK-SNARK ecosystem!

We refer to a framework as the circuit development frontend that you write your ZK application in. Each of these frameworks may have different versions as well as one or more proving scheme backends. This page provides an outline of all of the frontends, backends, and versions that are currently supported by Sindri.

Circom

A performant DSL from iden3

Frontend

Supported Versions

Documentation 📄

Backend

Proving Schemes
Curves
  • bn254

Gnark

A performant Go-based API from Consensys

Backend

Proving Schemes
Curves
  • bn254
  • bls12-377
  • bls12-381
  • bls24-315
  • bw6-633
  • bw6-761

Halo2

A performant Rust-based API from Zcash, PSE and Axiom

Backend

Proving Schemes
Curves
  • bn254

Noir

An performant DSL from Aztec