27 results found Sort:
- Filter by Primary Language:
- Rust (11)
- JavaScript (3)
- Haskell (2)
- Shell (1)
- Solidity (1)
- Go (1)
- TypeScript (1)
- Java (1)
- Jupyter Notebook (1)
- +
🦁 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
A Decentralized Operating System for ZK Applications
Created
2020-02-16
10,191 commits to staging branch, last one 19 hours ago
A toolbox for zkSNARKs on Ethereum
Created
2017-10-23
4,602 commits to develop branch, last one 7 months ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
519 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
Spartan: High-speed zkSNARKs without trusted setup
Created
2019-12-16
50 commits to master branch, last one about a month ago
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Created
2021-01-02
1,673 commits to testnet3 branch, last one 15 days ago
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
The proof systems used by Mina
Created
2019-12-09
8,506 commits to master branch, last one 19 hours ago
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Created
2022-09-20
205 commits to main branch, last one 3 months ago
📜 A Starter Guide to Build ZK Applications 📜
Created
2022-09-17
152 commits to master branch, last one 3 months ago
A zkRollup DEX & Payment Protocol
Created
2018-12-29
3,516 commits to master branch, last one 5 months ago
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
Created
2020-05-22
1,731 commits to master branch, last one 2 months ago
Java library for distributed zero knowledge proof systems
Created
2018-07-16
28 commits to master branch, last one 4 years ago
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
Created
2020-12-07
230 commits to master branch, last one 2 years ago
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
Created
2022-11-14
187 commits to main branch, last one about a year ago
ED25519 implementation in Circom
Created
2022-01-02
2 commits to main branch, last one about a year ago
A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol
Created
2020-05-15
3,264 commits to main branch, last one 28 days ago
Arithmetic circuits for zero knowledge proof systems
Created
2019-11-16
87 commits to master branch, last one 4 years ago
Awesome Aleo mining and development resources maintained by MinerDAO community.
Created
2022-07-02
9 commits to master branch, last one about a year ago
ZPrize 2022 - All qualified entries
Created
2022-12-07
12 commits to main branch, last one about a year ago
MinerDAO focus on the Chinese community to research and share mining tutorial.
Created
2022-04-29
39 commits to master branch, last one about a year ago
Argument systems for inner pairing products
Created
2020-03-05
78 commits to master branch, last one 12 months ago
zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS fra...
Created
2023-07-10
256 commits to main branch, last one 5 months ago
AES-GCM implementation in Circom
Created
2022-05-27
66 commits to master branch, last one 2 years ago
Aleo prove benchmark scripts for testnet3 with GPU.
Created
2022-09-30
51 commits to master branch, last one about a year ago
Checklist for security audit of ZKP projects by @positivesecurity
Created
2024-09-12
5 commits to main branch, last one 2 months ago