29 results found Sort:
- Filter by Primary Language:
- Rust (12)
- JavaScript (2)
- Haskell (2)
- Jupyter Notebook (1)
- Shell (1)
- Solidity (1)
- Go (1)
- TypeScript (1)
- HTML (1)
- Java (1)
- +
๐ฆ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Created
2020-03-10
7,394 commits to mainnet branch, last one 4 hours ago
A Decentralized Operating System for ZK Applications
Created
2020-02-16
10,271 commits to staging branch, last one 2 days ago
A toolbox for zkSNARKs on Ethereum
Created
2017-10-23
4,602 commits to develop branch, last one 9 months ago
้ถ็ฅ่ฏ่ฏๆๅ
ฅ้จๆ็จใComprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
519 commits to main branch, last one 3 months 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
53 commits to master branch, last one 2 days ago
Javascript & Typescript SDK for Zero-Knowledge Application Development
Created
2021-01-02
1,734 commits to mainnet branch, last one a day 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 2 years ago
The proof systems used by Mina
Created
2019-12-09
9,123 commits to master branch, last one a day ago
๐๏ธ A curated list of Aleo & Leo code and resources ๐๏ธ
Created
2022-09-20
215 commits to main branch, last one 2 months ago
๐ A Starter Guide to Build ZK Applications ๐
Created
2022-09-17
155 commits to master branch, last one about a month ago
A zkRollup DEX & Payment Protocol
Created
2018-12-29
3,516 commits to master branch, last one 7 months ago
๐ Welcome to Provable! Zero-Knowledge is Finally Here ๐
Created
2020-05-22
1,731 commits to master branch, last one 4 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,268 commits to main branch, last one 18 days ago
Arithmetic circuits for zero knowledge proof systems
Created
2019-11-16
87 commits to master branch, last one 4 years ago
A curated collection of links for zero-knowledge proof cryptography used in blockchains
Created
2018-12-09
4 commits to master branch, last one 2 months ago
Awesome Aleo mining and development resources maintained by MinerDAO community.
Created
2022-07-02
9 commits to master branch, last one 2 years 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
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 7 months ago
Argument systems for inner pairing products
Created
2020-03-05
78 commits to master branch, last one about a year 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 2 years ago
Checklist for security audit of ZKP projects by @positivesecurity
Created
2024-09-12
5 commits to main branch, last one 4 months ago
Building Zero Knowledge Proof from Scratch in Rust
Created
2024-10-07
103 commits to main branch, last one about a month ago