
repos
119
ecosystems
35
languages
9
commits
58,208
─── top repos · by commits
─── repositories
119 totalA zkVM for Decentralized Private Computations (DPC)
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Decentralized Operating System for ZK Applications
A Decentralized Operating System for ZK Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
A Virtual Machine for Zero-Knowledge Executions
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Virtual Machine for Zero-Knowledge Executions
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Rust library for generating cryptocurrency wallets
Javascript & Typescript SDK for Zero-Knowledge Application Development
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
📄 Documentation for Leo 🦁
Welcome to the Aleo Network community.
Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers
A Setup Ceremony for Universal SNARKs
A Setup Ceremony for Universal SNARKs
Welcome to Aleo. Where Applications Become Zero-Knowledge
🏎️ A curated list of Aleo & Leo code and resources 🏎️
🏎️ A curated list of Aleo & Leo code and resources 🏎️
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Proof of luck Intel SGX and IPFS based blockchain.
C++ library for zkSNARKs
C++ library for zkSNARKs
C++ library for zkSNARKs
C++ library for zkSNARKs (forked from scipr-lab/libsnark)
libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]
C++ library for zkSNARKs
C++ library for zkSNARKs
C++ library for zkSNARKs
📜 A Starter Guide to Build ZK Applications 📜
📜 A Starter Guide to Build ZK Applications 📜
Aleo Request for Comments (ARCs)
Aleo Request for Comments (ARCs)
C++ library for Fast Fourier Transforms in finite fields
C++ library for Fast Fourier Transforms in finite fields
Fork of libfqtt, C++ library for Fast Fourier Transforms in finite fields
C++ library for Fast Fourier Transforms in finite fields
C++ library for Fast Fourier Transforms in finite fields
Aleo Request for Comments (ARCs)
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves (forked from scipr-lab/libff)
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
Java library for distributed zero knowledge proof systems
Java library for distributed zero knowledge proof systems
Java library for distributed zero knowledge proof systems (forked from scipr-lab/dizk)
Interfaces for Relations and SNARKs for these relations
Ginger-lib is a general purpose zk-SNARK library that supports recursive proof composition
Rust library for decentralized private computation
Rust library for decentralized private computation
Rust library for decentralized private computation
Rust library for decentralized private computation
Interfaces for Relations and SNARKs for these relations
Interfaces for Relations and SNARKs for these relations
Interfaces for Relations and SNARKs for these relations
Audit Fork of celo's ZEXE
Interfaces for Relations and SNARKs for these relations, patched to work with modern Rust versions
Libra Credit token sale smart contracts on Ethereum
The audit results from the Blockchain at Berkeley
Rust library for decentralized private computation
A zkSNARK tutorial and development environment
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
R1CS constraints for bits, fields, and elliptic curves
A simple Sudoku puzzle grid in Leo
A Rust library for the preprocessing zkSNARK of Groth and Maller
Import Zcash Sapling parameters natively into your Rust code
R1CS constraints for bits, fields, and elliptic curves
R1CS constraints for bits, fields, and elliptic curves
A zkSNARK tutorial and development environment
A test suite and interface you can use to implement standard Bitcoin blockchain API calls for various backends and platforms.
A Rust implementation of the Groth16 zkSNARK
A standard library wrapper for use in the `arkworks` ecosystem
A library for decentralized private computation
A Rust implementation of the Groth16 zkSNARK
A Rust implementation of the Groth16 zkSNARK
A Rust implementation of the Groth16 zkSNARK
A Rust implementation of the Groth16 zkSNARK
A standard library wrapper for use in the `arkworks` ecosystem
A standard library wrapper for use in the `arkworks` ecosystem
A Rust implementation of the Darklake Protocol
A repository to file bugs and feature requests for Leo plugins
ZKProofs website
SageMath library for constructing elliptic curves
C++ library for evaluating arithmetic circuits on batches of inputs
A Rust library for polynomial commitments
Hush Zaddr Paper Wallet Generator
─── peer developers
─── ecosystems
─── languages
- Rust50
- C++22
- JavaScript7
- Shell2
- Java2
- TypeScript1
- Mermaid1
- HTML1
- Python1
─── subscriber view
Unlock the full view of howardwu
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.



















