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

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems

A 📝 literate and test-driven 🐛 implementation of ZK-STARKs

Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network

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

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

Go implementation of RFC9497, Oblivious Pseudorandom Functions and Verifiable variants.

An implementation of the Chaum-Pedersen Zero Knowledge Protocol (ZKP) to register and authenticate users without storing the underlying user password hashes on the grpc-server

Bron's Advanced Cryptography Library

Integrate proof verification into your platform

ZK13: A Super Fast Zero-Knowledge Proof Protocol for Set Membership

An applocker for linux

Supur Smart Chain 轻量级节点设计 ，内存占用极低，适合移动设备，远超大多数传统区块链（如以太坊、比特币等主流公链的全节点和轻节点）。创新点 - Verkle树、ZK隐私、环签名、隐匿地址等前沿技术 ，在移动端落地，属于行业创新。 - 原生iOS/Android SDK、Flutter插件 ，极大降低了移动开发门槛。在移动端极致轻量化、资源优化、安全合规、创新隐私保护等方面，整体优于大部分同类产品，部分特性（如Verkle树、端到端隐私、热更新）甚至处于行业领先。

Averveil is OpenSea for Data.

This tool allows you to convert KZG Structured Reference Strings (KZG SRS) generated by Celo, Aleo, Aztec protocols using multi-party computation for the BN254, BLS12-377, and BW6-761 elliptic curves to a format compatible with gnark.

Verifies a user-provided ZKP, real-world identity certificate and issues voting permission claim

[WIP] This repository contains a simple demonstration of Hierarchical Deterministic (HD) wallet derivation and parent–child relationship proving in Go.

A zero knowledge proof based http protocol written in Go

Implementation of zk-SNARKs in Go, featuring efficient proof generation and verification for secure cryptographic protocols.