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

Backend

Proving Schemes
Curves or Fields
  • bn254

Gnark

A performant Go-based API from Consensys

Backend

Proving Schemes
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

Backend

Proving Schemes
Curves or Fields
  • bn254

Noir

An performant DSL from Aztec

Plonky2

A performant Rust-based API for recursive SNARKs from Polygon

Backend

Proving Schemes
Curves or Fields
  • Goldilocks

Jolt

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

Backend

Proving Schemes
Curves or Fields
  • bn254