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

This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance

A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

A Noir's backend implementation using Gnark

.ptau deserializer for gnark groth16 bn254 trusted setup

A compiler to turn GO code into a zkSNARK

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

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

Toy implementation of snark systems - Groth16, PHGR13 - in Go

Full node

Decentralized Levitation Sequencer Module to run Polygon Hermez on SKALE chains

A Go-based blockchain implementation featuring block creation, transaction handling, governance mechanism, zk-SNARKs privacy feature, smart contracts, IBC interoperability, and consensus algorithms. Includes automated deployment with Terraform and Ansible, and performance monitoring with Prometheus and Grafana.

Open and distributed credit scoring system

Zero-knowledge Range Proof

Golang reference version of the virtual smart chain protocol

Pairing-Based Zero-Knowledge SNARK creation toolchain

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

ZSL: zk-SNARKs for the Enterprise

Practise implementation of Bulletproofs, including Pedersen commitments, based on the Bulletproofs (ZK-2) course by Rareskills.