60 results found Sort:

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Created 2018-11-10
131 commits to master branch, last one about a month ago
92
2.0k
unknown
24
The Deep Sea
Created 2023-08-07
177 commits to main branch, last one 4 days ago
521
2.0k
apache-2.0
103
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Created 2017-12-18
31,732 commits to develop branch, last one 17 hours ago
336
1.3k
apache-2.0
36
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
Created 2020-02-24
3,265 commits to master branch, last one 14 days ago
110
1.1k
agpl-3.0
41
Anonymous. Uncensored. Sovereign.
Created 2020-08-17
8,811 commits to master branch, last one 22 hours ago
A zero-knowledge protocol for anonymous interactions.
Created 2019-04-05
1,713 commits to main branch, last one 2 days ago
104
576
mit
25
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created 2023-05-18
1,966 commits to main branch, last one a day ago
The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterpri...
Created 2020-02-10
2,552 commits to main branch, last one 2 days ago
44
531
bsd-3-clause
30
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Created 2018-07-11
42 commits to master branch, last one about a year ago
53
418
apache-2.0
13
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.
Created 2021-07-08
838 commits to main branch, last one a day ago
Anonymous Airdrops using ZK-SNARKs
Created 2022-01-11
127 commits to main branch, last one 3 months ago
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Created 2022-07-21
1,040 commits to main branch, last one a day ago
A monorepo of reusable libraries for zero-knowledge technologies.
Created 2021-10-06
1,257 commits to main branch, last one 2 days ago
47
261
gpl-3.0
29
A privacy-preserving blockchain on Substrate
Created 2019-01-09
754 commits to master branch, last one 4 years ago
A curated list of zero-knowledge folding schemes
Created 2023-05-31
59 commits to main branch, last one 2 months ago
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Created 2022-06-15
19 commits to main branch, last one about a year ago
28
215
gpl-3.0
12
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Created 2020-04-06
1,452 commits to main branch, last one about a year ago
DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.
This repository has been archived (exclude archived)
Created 2019-08-22
319 commits to main branch, last one 7 days ago
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.
Created 2023-07-27
24 commits to main branch, last one 2 months ago
55
163
apache-2.0
13
Zero-knowledge template library
Created 2022-06-14
290 commits to main branch, last one 23 hours ago
27
161
other
8
Library for programming zk-SNARKs directly in Python
Created 2019-09-06
212 commits to master branch, last one 17 days ago
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Created 2023-01-02
358 commits to main branch, last one 11 days ago
20
136
gpl-3.0
2
An online playground for zero knowledge circuits
Created 2021-12-07
95 commits to main branch, last one 3 months ago
Implementation of PLUME: nullifier friendly signature scheme on ECDSA
Created 2022-07-18
220 commits to main branch, last one 2 months ago
This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
Created 2023-02-01
15 commits to main branch, last one about a month ago
5
109
gpl-3.0
0
Rustic programming language that targets the Ethereum Virtual Machine
Created 2023-06-17
67 commits to main branch, last one 4 months ago
17
104
apache-2.0
16
Hääl - Anonymous Electronic Voting System on Public Blockchains
Created 2019-01-05
68 commits to master branch, last one 3 years ago
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Created 2023-01-31
700 commits to v0.1.0 branch, last one 9 months ago
Hyperbridge is a hyper-scalable coprocessor for cryptographically secure, cross-chain interoperability
Created 2023-02-27
632 commits to main branch, last one 16 hours ago
ZKProofs website
Created 2018-02-14
117 commits to master branch, last one 4 years ago