Skip to main content

gnark-cardano

Open SourceSmart Contracts Go Python

Pipeline for writing Groth16 zero-knowledge circuits in Go with gnark and verifying them on-chain with a generic Aiken verifier.

View on GitHub Visit website

More in this category

Aiken
Purpose-built smart contract language and toolchain for Cardano, compiling to UPLC.
Smart Contracts
Helios
Smart contract DSL for Cardano with a single-file, dependency-free JavaScript compiler.
Smart ContractsJavaScript
Marlowe
Domain-specific language for financial contracts on Cardano, built on Plutus.
Smart Contracts

View all Smart Contracts tools

Spotted something off?

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

Edit gnark-cardano on GitHub