153 results found Sort:

831
16.2k
agpl-3.0
43
Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
Created 2022-11-01
35,493 commits to main branch, last one 8 hours ago
Modular ZK(Zero Knowledge) backend accelerated by GPU
Created 2023-06-27
3,500 commits to main branch, last one 16 days ago
659
4.8k
gpl-3.0
36
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Created 2020-03-10
7,355 commits to mainnet branch, last one a day ago
2.6k
4.4k
apache-2.0
114
A Decentralized Operating System for ZK Applications
Created 2020-02-16
10,191 commits to staging branch, last one 19 hours ago
708
2.4k
apache-2.0
110
FISCO BCOS(发音为/ˈfɪskl bi:ˈkɒz/)是一个稳定、高效、安全的许可区块链平台,已被广泛应用于现实的行业应用。截至目前,已拥有5000多家企事业单位,400多个产业数字化标杆应用,涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stabl...
Created 2017-12-12
8,656 commits to master branch, last one 27 days ago
361
1.8k
lgpl-3.0
41
A toolbox for zkSNARKs on Ethereum
Created 2017-10-23
4,602 commits to develop branch, last one 7 months ago
427
1.7k
apache-2.0
49
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Created 2022-02-19
1,453 commits to main branch, last one 19 hours ago
198
1.6k
mit
15
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
519 commits to main branch, last one about a month ago
234
1.3k
unknown
49
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
Created 2020-01-07
8,799 commits to develop branch, last one a day ago
122
1.1k
agpl-3.0
43
Anonymous. Uncensored. Sovereign.
Created 2020-08-17
9,391 commits to master branch, last one a day ago
1.5k
1.1k
apache-2.0
51
A Virtual Machine for Zero-Knowledge Executions
Created 2020-03-14
11,456 commits to staging branch, last one 2 days ago
"Zero-Knowledge" Proof Implementation with HMAC Communication in Python
Created 2023-10-06
34 commits to main branch, last one about a month ago
Rust implementation of Ziesha protocol
Created 2021-12-16
1,484 commits to master branch, last one about a year ago
327
1.0k
apache-2.0
36
The fastest, most feature-complete zkVM for developers.
Created 2023-12-05
1,478 commits to dev branch, last one 18 hours ago
305
996
mit
23
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Created 2022-10-04
1,091 commits to main branch, last one a day ago
142
947
unknown
21
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.
Created 2022-07-05
758 commits to main branch, last one 2 days ago
A zero-knowledge protocol for anonymous interactions.
Created 2019-04-05
1,789 commits to main branch, last one a day ago
200
899
apache-2.0
18
Noir is a domain specific language for zero knowledge proofs
Created 2020-08-04
4,498 commits to master branch, last one 22 hours ago
118
755
agpl-3.0
22
Private airdrops for Ethereum.
Created 2022-01-21
16 commits to main branch, last one about a year ago
240
752
apache-2.0
13
The Nexus zkVM: The zero-knowledge virtual machine
Created 2023-09-07
289 commits to main branch, last one about a month ago
498
743
other
35
The Halo2 zero-knowledge proving system
Created 2020-08-24
2,478 commits to main branch, last one 8 months ago
"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript
Created 2024-04-03
18 commits to main branch, last one about a month ago
355
719
mit
99
The privacy-focused cryptocurrency
Created 2016-09-09
17,539 commits to master branch, last one 7 days ago
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Created 2022-04-28
352 commits to master branch, last one 20 days ago
"Zero-Knowledge" Proof Implementation with HMAC Communication in C++
Created 2024-04-03
23 commits to master branch, last one about a month ago
STARK-based virtual machine
Created 2021-09-10
2,578 commits to main branch, last one 5 days ago
471
593
gpl-3.0
56
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Created 2021-01-02
1,673 commits to testnet3 branch, last one 15 days ago
149
552
mpl-2.0
24
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Created 2019-11-19
856 commits to master branch, last one about a month ago
44
535
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
"Zero-Knowledge" Proof Implementation with HMAC Communication in Go
Created 2024-04-03
8 commits to main branch, last one about a month ago