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 Rust implementation of the Groth16 zkSNARK

This repository contains Zk learning resources

Bellman zkSNARK library for community with Ethereum's BN256 support

This is a simple monopoly game using Leo programming language. Players has a specific amount to buy, rent, stake to earn, bid super auction and sale property. Have fun playing private as balances/bid cannot be known! Testnet Gude: https://elexy101.hashnode.dev/aleo-monopoly-beta-how-to-play-1st-monopoly-game-on-aleo-blockchain

zklink core contract, EVM compatible.

Yet Another Zero Knowledge Benchmark

Use Common/Structured Reference String (CRS/SRS) from existing ceremonies with ease

proving knowledge of a hash preimage of a leaf in an intermediate merkle tree in Noir

Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements

Pedersen Hash for C# .Net

凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform

🏘️ Decentralized house listing service using ERC721 standard, ZKSNARK, and OpenSea

A Rust library for the Marlin preprocessing zkSNARK

A React zkSNARK Battleship game

A database being built for the Amoveo blockchain.

Interactive simulation of Zero-Knowledge Proofs using elliptic curve cryptography in Python, demonstrating secure credit score verification for lending processes.

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.