Awesome Open Source

Programming Languages

Search results for zk snarks

134 search results found

Awesome Zero Knowledge Proofs ⭐ 4,603

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Snarkos ⭐ 3,476

A Decentralized Operating System for ZK Applications

Owshen ⭐ 1,996

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Zokrates ⭐ 1,729

A toolbox for zkSNARKs on Ethereum

Gnark ⭐ 1,279

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

Bazuka ⭐ 1,065

Rust implementation of Ziesha protocol

Darkfi ⭐ 1,008

Anonymous. Uncensored. Sovereign.

Semaphore ⭐ 834

A zero-knowledge protocol for anonymous interactions.

Spartan ⭐ 595

Spartan: High-speed zkSNARKs without trusted setup

Bulletproofs ⭐ 531

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

A Software Development Kit (SDK) for Zero-Knowledge Transactions

Private Instant Verified Transactions - Core wallet.

Gnark Crypto ⭐ 448

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.

Lurk Rs ⭐ 359

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Proof Systems ⭐ 348

The proof systems used by Mina

Stealthdrop ⭐ 333

Anonymous Airdrops using ZK-SNARKs

Protocols ⭐ 299

A zkRollup DEX & Payment Protocol

Awesome Aleo ⭐ 279

🏎️ A curated list of Aleo & Leo code and resources 🏎️

Welcome ⭐ 279

Welcome to Aleo. Where Applications Become Zero-Knowledge

The lookup singularity. Based on Spartan; built on Arkworks.

A Rust library for the Marlin preprocessing zkSNARK

Workshop ⭐ 248

📜 A Starter Guide to Build ZK Applications 📜

Zk Email Verify ⭐ 236

Verify emails with the same trust assumption as the email domain i.e. without trusting our server (because it doesnt exist)

Hydra S1 Zkps ⭐ 222

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

A monorepo of reusable libraries for zero-knowledge technologies.

Awesome Folding ⭐ 215

A curated list of zero-knowledge folding schemes

Noble Bls12 381 ⭐ 199

DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.

Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

Ethsnarks ⭐ 185

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Groth16 ⭐ 182

A Rust implementation of the Groth16 zkSNARK

Zero Chain ⭐ 181

A privacy-preserving blockchain on Substrate

Plonkit ⭐ 154

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

Zero-knowledge template library

Zero Knowledge Mastery ⭐ 132

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

Pysnark ⭐ 131

Library for programming zk-SNARKs directly in Python

Efficient pairing library, written in Cairo 🐺.

Java library for distributed zero knowledge proof systems

Zk Nullifier Sig ⭐ 103

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Rustic programming language that targets the Ethereum Virtual Machine

Hääl - Anonymous Electronic Voting System on Public Blockchains

Ed25519 Circom ⭐ 89

ED25519 implementation in Circom

Zk Harness ⭐ 80

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

Vocdoni Node ⭐ 77

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

Zero Knowledge Proofs Learning Resources ⭐ 74

This repository contains Zk learning resources

Bellman zkSNARK library for community with Ethereum's BN256 support

Recursive SNARKs based on Plonk and Halo

Arithmetic Circuits ⭐ 67

Arithmetic circuits for zero knowledge proof systems

Zklink Contracts ⭐ 66

zklink core contract, EVM compatible.

Awesome Zkp Starter Pack ⭐ 63

A curated collection of links for zero-knowledge proof cryptography used in blockchains

Namada Trusted Setup ⭐ 63

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

A framework to execute and verify algorithms using Groth16 zkSNARKs.

🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

Eth Mimblewimble ⭐ 54

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

Rust crypto library for data privacy tools

Orochimaru ⭐ 52

Orochi Network monorepo of its full-node client

Awesome Hyper Oracle ⭐ 52

A curated list of awesome Hyper Oracle ecosystem.

Ethsnarks Miximus ⭐ 51

Example project for EthSnarks - Miximus coin mixer

Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905

A Rust library for building R1CS gadgets

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

Argument systems for inner pairing products

Ecrecover Noir ⭐ 38

A Noir circuit that mimics Solidity's ecrecover

Zkllvm Blueprint ⭐ 37

Circuit components definition library for zkLLVM circuit compiler

Aleo Setup ⭐ 36

A Setup Ceremony for Universal SNARKs

Configurable Asset Privacy

Red Packet Contract ⭐ 32

Crypto red packet with zk-proof.

Reputation Service ⭐ 32

🚀 Interep back-end and front-end.

Elusiv Solana program library

An experimental rust zksnarks compiler with embeeded bellman-bn128 prover

Awesome Aleo ⭐ 31

Awesome Aleo mining and development resources maintained by MinerDAO community.

MinerDAO focus on the Chinese community to research and share mining tutorial.

Anonklub ⭐ 29

Anonymous Proof of Ethereum Address Set Membership

Crypto3 Zk ⭐ 28

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.

Kogarashi ⭐ 25

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

Circomjs ⭐ 24

CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.

Aleo Prove Bench ⭐ 24

Aleo prove benchmark scripts for testnet3 with GPU.

Mina Zk Rollup ⭐ 24

A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.

Zksnarks Example ⭐ 23

An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.

Research ⭐ 23

Shared learning of decentralized development.

Noir_backend_using_gnark ⭐ 22

A Noir's backend implementation using Gnark

Authenticate geographical location with service providers while preserving their privacy. Powered by ZK-SNARK proofs. Users can verify being within a certain region, following a certain path, or being outside a specified area, without revealing their precise coordinates.

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.

zkCREAM is zk-SNARK based anonymized voting application using a token mixer

ZPiE: Zero-knowledge Proofs in Embedded systems

Ptau Deserializer ⭐ 18

.ptau deserializer for gnark groth16 bn254 trusted setup

Designated Verifier Proof ⭐ 18

Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)

A Risc-V CPU implemented as a zk-SNARK

Snark Mixer ⭐ 17

A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)

Zcash Sprout Verifier ⭐ 17

Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.

Bellman Substrate ⭐ 17

A library for supporting zk-SNARKs to Substrate

Pasta Msm ⭐ 17

High-performance Multi-scalar Multiplication for Pasta curves

Powersoftau ⭐ 16

Communal zk-SNARK MPC for Public Parameters

Zerocash Ethereum ⭐ 16

Smart contract - Zerocash-like approach for privacy on Ethereum

A database being built for the Amoveo blockchain.

Template for zkGraph.

Crypto Wasm Ts ⭐ 15

Typescript abstractions over Rust crypto library's WASM wrapper

Lx Sonic ⭐ 14

Sonic implementation in Rust

Related Searches

Zero Knowledge Zk Snarks (50)

Ethereum Zk Snarks (41)

Cryptography Zk Snarks (40)

Rust Zk Snarks (31)

1-100 of 134 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.