Skip to main content

plutus-halo2-verifier-gen

Open SourceSmart Contracts Rust Haskell

Generates on-chain verifiers in Plinth or Aiken from a Rust Halo2 circuit, so its zero-knowledge proofs can be verified inside Cardano validators.

More in this category

Aiken
Purpose-built smart contract language and toolchain for Cardano, compiling to UPLC.
Smart Contracts
gnark-cardano
Pipeline for writing Groth16 zero-knowledge circuits in Go with gnark and verifying them on-chain with a generic Aiken verifier.
Smart ContractsGoPython
Helios
Smart contract DSL for Cardano with a single-file, dependency-free JavaScript compiler.
Smart ContractsJavaScript

View all Smart Contracts tools

Spotted something off?

This directory is open source. Open a pull request to update or correct this entry.

Edit plutus-halo2-verifier-gen on GitHub