51 results found Sort:
- Filter by Primary Language:
- Rust (25)
- C++ (3)
- Python (3)
- Solidity (3)
- TypeScript (3)
- JavaScript (2)
- Cairo (2)
- Go (2)
- Jupyter Notebook (1)
- Cuda (1)
- Java (1)
- +
Minimal implementation of the Mimblewimble protocol.
Created
2016-10-21
2,533 commits to master branch, last one 2 days ago
Cairo is the first Turing-complete language for creating provable programs for general computation.
Created
2022-05-19
5,411 commits to main branch, last one 5 hours ago
A zero-knowledge protocol for anonymous interactions.
Created
2019-04-05
1,710 commits to main branch, last one 2 days ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
425 commits to main branch, last one 11 days ago
Interfaces for Relations and SNARKs for these relations
Created
2019-04-01
499 commits to master branch, last one 5 months ago
The privacy-focused cryptocurrency
Created
2016-09-09
17,527 commits to master branch, last one a day ago
Spartan: High-speed zkSNARKs without trusted setup
Created
2019-12-16
47 commits to master branch, last one 2 months ago
Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
This repository has been archived
(exclude archived)
Created
2018-11-26
3,896 commits to develop branch, last one 3 years ago
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Created
2023-01-16
497 commits to main branch, last one 7 days 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,533 commits to main branch, last one 15 hours ago
A Privacy-Preserving Framework Based on TensorFlow
Created
2020-04-08
463 commits to master branch, last one 2 years ago
A curated list of awesome zkEVM resources, libraries, tools and more
Created
2022-04-12
69 commits to main branch, last one about a year ago
The proof systems used by Mina
Created
2019-12-09
7,129 commits to master branch, last one a day ago
A Rust Implementation of the PLONK ZKP System and Extensions
Created
2022-01-07
237 commits to main branch, last one 4 days ago
Rust language general purpose elliptic curve cryptography.
Created
2018-07-12
274 commits to master branch, last one about a year ago
The main repo for manta blockchain nodes.
Created
2021-04-12
699 commits to manta branch, last one 29 days ago
Java library for distributed zero knowledge proof systems
Created
2018-07-16
28 commits to master branch, last one 4 years ago
zkPoD: A decentralized system for perfect fair data exchange
Created
2019-06-26
98 commits to master branch, last one 3 years ago
Threshold Signature Scheme for ECDSA
This repository has been archived
(exclude archived)
Created
2020-11-26
66 commits to master branch, last one 9 months 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
Zero-knowledge template library
Created
2022-06-14
276 commits to main branch, last one 3 months ago
zkBitcoin: zero-knowledge proofs on Bitcoin!
Created
2023-11-27
304 commits to main branch, last one 2 months 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 4 days ago
Best zkSync-era ETL ever 😜
Created
2023-12-25
27 commits to main branch, last one 5 months ago
Kakarot zkEVM - rewrite in the latest version of Cairo
Created
2023-02-09
392 commits to main branch, last one 14 days ago
A collection of Paillier cryptosystem zero knowledge proofs
Created
2018-11-29
76 commits to master branch, last one about a year ago
An implementation of BBS+ signatures for node and browser environments
Created
2020-04-16
185 commits to master branch, last one a day ago
Hääl - Anonymous Electronic Voting System on Public Blockchains
Created
2019-01-05
68 commits to master branch, last one 3 years ago
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Created
2022-09-13
92 commits to main branch, last one 9 months ago
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Created
2023-04-28
372 commits to main branch, last one 6 days ago