gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

• Updated Feb 20, 2026
• Go

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and r...

• Updated May 9, 2025

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

• Updated Jun 8, 2024
• Go

A Noir's backend implementation using Gnark

• Updated Mar 8, 2024
• Go

Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.

• Updated Feb 26, 2023
• Go

snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup

• Updated Dec 16, 2025
• Go

.ptau deserializer for gnark groth16 bn254 trusted setup

• Updated Mar 28, 2025
• Go

Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

• Updated Dec 16, 2025
• Go

A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups

• Updated Jul 7, 2024
• Go

Sindri Zero-Knowledge Proof CLI

• Updated Oct 15, 2025
• TypeScript

A tool to extract gnark circuits defined in Go to Lean for formal verification.

• Updated Apr 4, 2025
• Go

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

• Updated Mar 3, 2024
• Lean

Writing zero-knowledge circuits using gnark to expand the existing library – Focus on Financial Circuit Development and Approach

• Updated Nov 17, 2025
• Go

EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos' network

• Updated Dec 22, 2023
• Go

gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.

• Updated Feb 19, 2026
• CSS

Recursive Groth16 + PlonK Verifier

• Updated Nov 4, 2024
• Rust

Golang packages using gnark-crypto library to parse and verify AZTEC ignition ceremony. Example usage; build a KZG SRS for bn254.

• Updated Jun 24, 2024
• Go

A blockchain platform focused on secure and efficient data management. It features custom execution layers, batch processing, and a democratic validator system.

• Updated Jan 6, 2024
• Go

Examples of using zero-knowledge proofs on the TON blockchain (Groth16)

• Updated Feb 12, 2026
• TypeScript

Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

• Updated Jan 17, 2024
• Go