Aleo's Minimum Anti-Collusion Infrastructure / MACI
☆13Aug 3, 2022Updated 3 years ago
Alternatives and similar repositories for aleo_minimum_anti_collusion_infrastructure
Users that are interested in aleo_minimum_anti_collusion_infrastructure are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Aleo zkML initiative (zkML Algorithm Linear Regression & Python Developer Tooling)☆11May 14, 2023Updated 3 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆16Apr 18, 2023Updated 3 years ago
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆34Oct 23, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆20Nov 10, 2025Updated 8 months ago
- ☆17Updated this week
- The classical game of Liar's Dice enhanced with the usage of Zero-Knowledge Proof☆22Jul 18, 2023Updated 3 years ago
- Quadratic Funding Infrastructure☆20May 26, 2024Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 3 years ago
- Anonymity Research Tools for TCash Users☆17Feb 8, 2022Updated 4 years ago
- Tiny HTTP server showing the environment variables☆17Jan 21, 2023Updated 3 years ago
- The PSE website☆27Jun 23, 2026Updated last month
- This was a temporary home for the new Geth website☆23Jan 16, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator☆13Mar 21, 2024Updated 2 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated 2 years ago
- ☆22May 18, 2022Updated 4 years ago
- ☆10Sep 5, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Notebooks de las clases del curso de ciencia de datos brindado por el MLI para estudiantes de la facultad de ingeniería de la Universidad…☆10Dec 1, 2021Updated 4 years ago
- Ethereum.foundation is the primary website for the Ethereum Foundation.☆12Jul 6, 2026Updated 3 weeks ago
- A BibTeX collection on Zero-Knowledge Proofs☆16Dec 4, 2018Updated 7 years ago
- Give Claude long-term memory for your projects☆11Oct 20, 2025Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- YAML-based configuration module with object-attribute style access, ordering and recursive ops☆21Apr 22, 2021Updated 5 years ago
- ☆11Sep 10, 2024Updated last year
- 🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.☆36Feb 26, 2024Updated 2 years ago
- Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.☆24May 11, 2026Updated 2 months ago
- ☆11Mar 14, 2023Updated 3 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Nov 1, 2019Updated 6 years ago
- semaphore-mtb repository☆51Dec 16, 2025Updated 7 months ago
- Ultra-fast local TTS for AI agents. ~90ms to first sound.