AlignedLayer
  • Introduction
    • About Aligned
    • Try Aligned
    • Use cases
    • FAQ
    • Why ZK and Aligned?
  • Architecture
    • Supported Verifiers
    • Key Terms
    • Fast mode
      • Batcher
      • Payment Service Contract
      • Service Manager Contract
      • Operator
      • Aggregator
      • Explorer
    • Aggregation mode
  • Guides
    • Submitting proofs
    • Build your first Aligned Application
      • Modify ZkQuiz Questions
    • Validating public input
    • SDK Intro
    • SDK API Reference
    • Generating proofs for Aligned
    • Generating & submitting proofs of Rust code with ZKRust
    • Setup Aligned Infrastructure Locally
    • Contract Addresses
    • Submitting Batch Without Batcher
    • Aligned CLI
  • Operators
    • Running an operator
    • Operator FAQ
    • Troubleshooting
    • Upgrading Guides
      • Upgrading to v0.14.0
      • Upgrading to v0.10.2
      • Upgrading to v0.9.2
  • Useful links
    • Mainnet Explorer
    • Holesky Explorer
    • All the proof aggregation solutions will use RISC-V zkvms
    • Manifesto
  • Socials
    • Telegram Group
    • Twitter/X
    • Discord
    • Blog
    • Website
    • Github
    • YouTube
Powered by GitBook
On this page
  1. Architecture

Supported Verifiers

PreviousWhy ZK and Aligned?NextKey Terms

Last updated 1 month ago

Aligned's support for multiple proof systems is a significant advantage, as it allows users to choose the most suitable system based on their specific requirements.

The following is the list of the verifiers currently supported by Aligned:

  • gnark - Groth16 (with BN254)

  • gnark - Plonk (with BN254 and BLS12-381)

  • SP1

  • Risc0

  • 🏗️ Circom

  • 🏗️ Lambdaworks

  • 🏗️ Kimchi

The following are in the roadmap to be added:

  • Jolt

  • Nexus

✅
✅
✅
✅
🔲
🔲
(v0.10.0)
(v0.10.0)
(v4.1.7)
(v2.0.0)