plutus-halo2-verifier-gen
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.
gnark-cardano
Pipeline for writing Groth16 zero-knowledge circuits in Go with gnark and verifying them on-chain with a generic Aiken verifier.
Helios
Smart contract DSL for Cardano with a single-file, dependency-free JavaScript compiler.
Marlowe
Domain-specific language for financial contracts on Cardano, built on Plutus.
