zksnark

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

A Rust library for the Marlin preprocessing zkSNARK

This repository contains Zk learning resources

Bellman zkSNARK library for community with Ethereum's BN256 support

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

ED25519 implementation in Circom

Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

zklink core contract, EVM compatible.

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Building Zero Knowledge Proof from Scratch in Rust

AES-GCM implementation in Circom

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

Secure E-Voting framework based on Ethereum blockchain and zkSNARK

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.

A Zig implementation of Poseidon2 hash function.

A database being built for the Amoveo blockchain.

The Wordle you know, but with Zero-Knowledge Proofs

SHA512 Circom circuits