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

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

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

A Noir's backend implementation using Gnark

.ptau deserializer for gnark groth16 bn254 trusted setup

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

Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

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

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

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

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

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

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

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

Accompanying code for technical walkthrough of verifiable credentials and zero-knowledge proving hosted on Google cloud

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

[WIP] Encode - Explore Expander Bootcamp - Keyless Hackathon

zkSNARK in golang for Ethereum

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