Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for zkp
zkp
x
83 search results found
Sismo Badges
⭐
16,251
Contracts of the Sismo Badge Minting Protocol
Namada
⭐
2,252
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Gnark
⭐
1,309
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
Cairo
⭐
1,276
Cairo is the first Turing-complete language for creating provable programs for general computation.
Snarkvm
⭐
843
A Virtual Machine for Zero-Knowledge Executions
Firo
⭐
701
The privacy-focused cryptocurrency
Indy Sdk
⭐
666
indy-sdk
Cairo Vm
⭐
462
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Gnark Crypto
⭐
460
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.
Library Of Ethereum
⭐
271
Curated Collection of Ethereum Ecosystem Resources
Lasso
⭐
264
The lookup singularity. Based on Spartan; built on Arkworks.
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)
Constantine
⭐
225
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
Hydra S1 Zkps
⭐
222
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Zkp App Boilerplate
⭐
215
Build your zkp app with typescript, hardhat, circom, and snarkjs!
Fastcrypto
⭐
207
Common cryptographic library used in software at Mysten Labs.
Zkopru
⭐
187
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Alexandria
⭐
179
Community maintained Cairo 1.0 library.
Awesome Cairo
⭐
159
Resources for Cairo 1.0 development.
Wedpr Lab Core
⭐
156
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
Vamp Ir
⭐
152
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Sandstorm
⭐
146
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
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.
Web3 Resources
⭐
129
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
Garaga
⭐
121
Efficient pairing library, written in Cairo 🐺.
Zkbasicscs
⭐
110
Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Zkp Compiler Shootout
⭐
108
Evaluating & benchmarking ZKP compilation strategies.
Manta Signer
⭐
91
Manta Client to turbo-charge ZKP Generation
Noah
⭐
91
Noah is a library that provide tools to create and verify public transaction with confidential data.
Eigen Zkvm
⭐
87
A private zkVM basing on layered proof system
Zk Harness
⭐
80
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Bellman
⭐
70
Bellman zkSNARK library for community with Ethereum's BN256 support
Zkp
⭐
61
A framework to execute and verify algorithms using Groth16 zkSNARKs.
Sirius
⭐
61
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Zk Light Client Implementation
⭐
61
Zero Knowledge Light Client Implementation by Zpoken team.
Docs2
⭐
53
Docs website for the Mina Protocol.
Wtf Starknet
⭐
49
Education Platform to onboard developers to Starknet.
Khepri
⭐
44
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Eigen Secret
⭐
37
Confidential Transaction with Collaborative Traceability, zk-zkRollup
Zksudoku
⭐
34
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
Gkr
⭐
33
zero knowledge proof aggregator for general circuit
Zkp Workshop
⭐
32
Explore the world of zero-knowledge proofs from first principles.
Zkdatabase
⭐
30
zkDatabase, a distributed off-chain database with ZK prover
Crypt Keeper Extension
⭐
29
🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.
Wedpr Lab Crypto
⭐
29
Cryptography libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案密码学算法组件
Zechub
⭐
25
A decentralized education hub for Zcash.
Okapi
⭐
25
Collection of tools that support workflows for authentic data and identity management. Libraries available in most languages.
Kogarashi
⭐
25
A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Zkgames
⭐
19
zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.
Wedpr Lab Java Sdk
⭐
18
Java SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件通用Java SDK
Bulletproofs
⭐
17
A pure Java implementation of Bulletproofs using Ristretto. Bulletproofs: short non-interactive zero-knowledge proofs that require no trusted setup
Wedpr Lab Android Sdk
⭐
16
Android SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件Android SDK
Wedpr Lab Ios Sdk
⭐
15
iOS SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件iOS SDK
Hexhoot
⭐
15
An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication.
Anemoi Hash
⭐
13
Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
Financialcircuit
⭐
13
Writing zero-knowledge circuits using gnark to expand the existing library – Focus on Financial Circuit Development and Approach
Halo2 Verifier.move
⭐
12
A set of tooling of halo2 circuits verification in Move environments
Edcon2019_material
⭐
12
Materials for Edcon 2019 webcast
Circomlib Matrix
⭐
11
Circuits library for matrix operations in circom
Sindri Js
⭐
10
Sindri Zero-Knowledge Proof CLI
Zksudoku Plonk
⭐
10
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
Bulletproofs Gadgets
⭐
10
Bulletproofs Gadgets. Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Decentralized Protocols Research
⭐
10
👾 𝗽𝗿𝗼𝘁𝗼𝗰𝗼𝗹 𝗱𝗲𝘀𝗶𝗴𝗻, 𝗶𝗻𝗰𝗲𝗻𝘁𝗶𝘃𝗲𝘀, 𝗴𝗮𝗺𝗲 𝘁𝗵𝗲𝗼𝗿𝘆, 𝗰𝗿𝘆𝗽𝘁𝗼𝗴𝗿𝗮𝗽𝗵𝘆, 𝗱𝗮, 𝗼𝗽𝘁𝗶𝗺𝗶𝘇𝗮𝘁𝗶𝗼𝗻
Zkjson
⭐
10
Zero Knowledge Provable JSON
Zkml Optimization
⭐
9
Optimization for on-chain private machine learning.
Zero Knowledge Toolkit
⭐
9
👾 𝗺𝘆 𝗰𝗼𝗱𝗲, 𝗰𝗶𝗿𝗰𝘂𝗶𝘁𝘀, 𝗮𝗻𝗱 𝘀𝘁𝘂𝗱𝗶𝗲𝘀 𝗼𝗻 𝘇𝗸𝗽
Zkmarek
⭐
9
ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.
Circom Lsp
⭐
9
A Language Server Protocol Implementation for Circom
Zkorum
⭐
9
Monorepo for ZKorum
Zk Wordle
⭐
8
The Wordle you know, but with Zero-Knowledge Proofs
Zkrypt
⭐
8
Zero-Knowledge Proof Toolbox
Zkflow
⭐
8
The ZKFlow consensus protocol enables private transactions on Corda for arbitrary smart contracts using Zero Knowledge Proofs
Panther Core
⭐
8
Panther Protocol core repository
Zkopru
⭐
8
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Blind Find
⭐
7
A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.
Mattrzeroknowledgeproofsaspnetcore
⭐
7
Verify vaccination data using Zero Knowledge Proofs with ASP.NET Core and MATTR
Zk Atlas
⭐
7
A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
Blind Find
⭐
7
A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.
My_learning_cryptography
⭐
6
Learn about cryptography concepts - Both basics and core.
Winterfell
⭐
6
A fork of the novifinancial/winterfell STARK library.
Zkvote Node
⭐
5
Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
Solvency Proofs
⭐
5
Cryptographic Solvency Proofs (schemes, standards, links, edu material)
Notvault Sdk
⭐
5
NotVault is an sdk developed by NotCentralised to build self-sovereign dapps with encryption, zk proofs, ipfs and evm.
Related Searches
Blockchain Zkp (26)
Cryptography Zkp (25)
Rust Zkp (23)
1-83 of 83 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.