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

• 2.0.0+Recommended

Documentation 📄

Backend

Proving Schemes

• Groth16

Curves or Fields

• bn254

Gnark

A performant Go-based API from Consensys

Frontend

Supported Versions

• 0.8.1
• 0.9.0
• 0.10.0Recommended

Documentation 📄

Backend

Proving Schemes

• Groth16
• PlonK

Curves or Fields

• bn254
• bls12-377
• bls12-381
• bls24-315
• bw6-633
• bw6-761

Halo2

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

Frontend

Supported Versions

• (Axiom) v0.2.2
• (Axiom) v0.3.0Recommended
• (PSE) v0.3.0Recommended

Documentation 📄

Backend

Proving Schemes

• SHPlonk

Curves or Fields

• bn254

Noir

An performant DSL from Aztec

Frontend

Supported Versions

• 0.17.0
• 0.18.0
• 0.19.4
• 0.22.0
• 0.23.0
• 0.24.0
• 0.25.0
• 0.26.0
• 0.27.0
• 0.28.0Recommended

Documentation 📄

Backend

Proving Schemes

• Plonk (barretenberg)

Curves or Fields

• bn254

Plonky2

A performant Rust-based API for recursive SNARKs from Polygon

Frontend

Supported Versions

• v0.2.2Recommended

Documentation 📄

Backend

Proving Schemes

• Plonky2

Curves or Fields

• Goldilocks

Jolt

A performant Rust-based zkVM for RISC-V from a16z crypto

Frontend

Supported Versions

• Jolt (rev 55c577f)Recommended

Documentation 📄

Backend

Proving Schemes

• Sum-check

Curves or Fields

• bn254