Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for zero knowledge
zero-knowledge
x
197 search results found
Tachyon
⭐
5,687
Modular ZK(Zero Knowledge) backend accelerated by GPU
Leo
⭐
4,206
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Snarkos
⭐
3,476
A Decentralized Operating System for ZK Applications
Fisco Bcos
⭐
2,245
FISCO BCOS(发音为/ˈfɪskl bi:ˈkɒz/)是一个稳定、高效、安全的许可区块链平台,已被广泛应用于现实的行业应用。截至目前,已 BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.
Zokrates
⭐
1,729
A toolbox for zkSNARKs on Ethereum
Risc0
⭐
1,231
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Bazuka
⭐
1,065
Rust implementation of Ziesha protocol
Darkfi
⭐
1,008
Anonymous. Uncensored. Sovereign.
Snarkvm
⭐
843
A Virtual Machine for Zero-Knowledge Executions
Semaphore
⭐
834
A zero-knowledge protocol for anonymous interactions.
Kakarot
⭐
787
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
Ezkl
⭐
737
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
Noir
⭐
734
Noir is a domain specific language for zero knowledge proofs
Zkdrops
⭐
704
Private airdrops for Ethereum.
Firo
⭐
701
The privacy-focused cryptocurrency
Ingopedia
⭐
653
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Miden Vm
⭐
590
STARK-based virtual machine
Halo2
⭐
570
The Halo2 zero-knowledge proving system
Bulletproofs
⭐
531
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Photos App
⭐
507
Mobile apps for Ente Photos, end-to-end encrypted, privacy-focused photo storage app. https://ente.io
Sdk
⭐
500
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Plonk
⭐
462
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
Toriptables2
⭐
371
Tor Iptables script is an anonymizer that sets up iptables and tor to route all services and traffic including DNS through the Tor network.
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.
Secp256k1 Zkp
⭐
352
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
Stealthdrop
⭐
333
Anonymous Airdrops using ZK-SNARKs
Protocols
⭐
299
A zkRollup DEX & Payment Protocol
Ministark
⭐
296
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Welcome
⭐
279
Welcome to Aleo. Where Applications Become Zero-Knowledge
Awesome Aleo
⭐
279
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Cicada
⭐
262
A protocol for private on-chain voting, implemented in Solidity.
Workshop
⭐
248
📜 A Starter Guide to Build ZK Applications 📜
Dive Into Blockchain
⭐
248
旨在交流学习区块链技术,记录智能合约开发应用与相关安全练习的仓库🚀
Zkllvm
⭐
246
Zero-Knowledge Proof Systems Circuit Compiler
Plonk
⭐
244
A pure Rust PLONK implementation using arkworks as a backend.
Flashpaper
⭐
241
One-time encrypted password/secret sharing
Zk Kit
⭐
220
A monorepo of reusable libraries for zero-knowledge technologies.
Awesome Folding
⭐
215
A curated list of zero-knowledge folding schemes
Icicle
⭐
212
a GPU Library for Zero-Knowledge Acceleration
Sunscreen
⭐
207
A compiler for fully homomorphic encryption and zero knowledge proofs
Triton Vm
⭐
200
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Zero Chain
⭐
181
A privacy-preserving blockchain on Substrate
Zkp Ecdsa
⭐
178
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
Awesome Zero Knowledge
⭐
172
A curated list of Zero Knowledge links, mostly focusing on blockchain.
Vamp Ir
⭐
152
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Solcrypto
⭐
151
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
Renegade
⭐
151
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
Sppark
⭐
145
Zero-knowledge template library
Distaff
⭐
139
Zero-knowledge virtual machine written in Rust
Pysnark
⭐
131
Library for programming zk-SNARKs directly in Python
Garaga
⭐
121
Efficient pairing library, written in Cairo 🐺.
Zkdocs
⭐
117
Interactive documentation on zero-knowledge proof systems and related primitives.
Genstark
⭐
114
A library for generating zk-STARKs.
Zkbasicscs
⭐
110
Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Zkapp Cli
⭐
110
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
Blaze
⭐
109
blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
Zkp Compiler Shootout
⭐
108
Evaluating & benchmarking ZKP compilation strategies.
Drive Web
⭐
102
Mpz
⭐
102
Multi-party computation libraries written in Rust 🦀
Stark Snark Recursive Proofs
⭐
94
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Zkc
⭐
90
zero-knowledge chat suite
Secp256k1.swift
⭐
89
Elliptic Curve operations, Schnorr, and ZKP for Bitcoin. Supports iOS macOS tvOS watchOS + Linux.
Zkp
⭐
80
Experimental zero-knowledge proof compiler in Rust macros
Noname
⭐
75
Noname: a programming language to write zkapps
Zero Knowledge Proofs Learning Resources
⭐
74
This repository contains Zk learning resources
Schnorr Nizk
⭐
71
Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
Bellman
⭐
70
Bellman zkSNARK library for community with Ethereum's BN256 support
Zk Timelock
⭐
69
Arkworks circuits for verifiable time-lock encryption
Arithmetic Circuits
⭐
67
Arithmetic circuits for zero knowledge proof systems
Renegade Contracts
⭐
67
Smart contracts for on-chain anonymous settlement.
Circomkit
⭐
67
A testing & development environment for Circom.
Twenty First
⭐
67
Collection of mathematics routines and cryptography for the twenty-first century
Zero Knowledge Gadgets
⭐
65
Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
Awesome Zkp Starter Pack
⭐
63
A curated collection of links for zero-knowledge proof cryptography used in blockchains
Zk Sql
⭐
63
ZK-based engine for self-sovereign SQL queries
Mental Poker
⭐
63
A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
Crypto3
⭐
61
Modern Cryptography Suite in C++17
Zkp
⭐
61
A framework to execute and verify algorithms using Groth16 zkSNARKs.
Zk Light Client Implementation
⭐
61
Zero Knowledge Light Client Implementation by Zpoken team.
Libzkchannels
⭐
59
zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more
Aleph Node
⭐
58
Node implementation for aleph blockchain built with Substrate framework
Pebble Stark
⭐
58
A community-developed re-implementation of the Starkware Stone Prover
Hollowdb
⭐
57
A privacy-preserving key-value database on Arweave.
Dkg Substrate
⭐
56
Multy-party threshold ECDSA (GG20) Substrate node
Docs2
⭐
53
Docs website for the Mina Protocol.
Awesome Hyper Oracle
⭐
52
A curated list of awesome Hyper Oracle ecosystem.
Orochimaru
⭐
52
Orochi Network monorepo of its full-node client
Esecurity
⭐
49
MSc Module
Bandada
⭐
47
A system for managing privacy-preserving groups.
Zk
⭐
45
Cross-platform zero knowledge proofs
Khepri
⭐
44
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Crypto In Action
⭐
42
algebra arithmetic, finite fields, elliptic curves, zero-knowledge
Examples
⭐
41
Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
Nixcore
⭐
39
Nix Core Staging Repo
Protocol Substrate
⭐
39
Webb protocol implementation in Substrate.
Zkllvm Blueprint
⭐
37
Circuit components definition library for zkLLVM circuit compiler
Zksudoku
⭐
34
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
Ark Mpc
⭐
34
A framework for SPDZ-style maliciously-secure MPC.
Rust Paillier
⭐
34
A pure-Rust implementation of the Paillier encryption scheme
Autovpn2
⭐
34
OpenVPN VPN Gate Client for Linux, connects you to a random Free VPN in a country of your choice by country code.
1-100 of 197 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.