AleoNet / aleo-setupLinks
A Setup Ceremony for Universal SNARKs
β82Updated last year
Alternatives and similar repositories for aleo-setup
Users that are interested in aleo-setup are comparing it to the libraries listed below
Sorting:
- π Documentation for Leo π¦β331Updated 2 weeks ago
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.β152Updated last week
- Nitro goes vroom and fixes everythingβ29Updated last week
- β160Updated 10 months ago
- β67Updated last week
- β34Updated last year
- β45Updated 5 months ago
- π A Starter Guide to Build ZK Applications πβ340Updated last year
- Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfersβ117Updated 3 years ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISAβ133Updated 8 months ago
- β167Updated last week
- Manta Client to turbo-charge ZKP Generationβ91Updated 2 years ago
- Boojum, the scariest SNARK implementation.β302Updated last year
- β106Updated 2 weeks ago
- Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.β159Updated last year
- An L1 for Move VM built on Avalanche.β74Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacyβ163Updated 10 months ago
- β50Updated last year
- β94Updated last year
- Sequencing Engine for Dymension RollAppsβ102Updated 2 weeks ago
- Celestia Documentation Siteβ182Updated 2 weeks ago
- β78Updated 3 weeks ago
- β104Updated 2 weeks ago
- ποΈ A curated list of Aleo & Leo code and resources ποΈβ388Updated 4 months ago
- Framework for building highly scalable RollAppsβ101Updated last month
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasmβ84Updated this week
- β80Updated 10 months ago
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offerβ¦β138Updated last month
- Predicate for relaying messages from Ethereum to a Fuel contractβ45Updated 2 years ago
- Rust Crates for the Manta Network Ecosystemβ80Updated 2 years ago