Run leo from python
☆40Jul 5, 2023Updated 2 years ago
Alternatives and similar repositories for run_leo
Users that are interested in run_leo are comparing it to the libraries listed below
Sorting:
- The classical game of Liar's Dice enhanced with the usage of Zero-Knowledge Proof☆22Jul 18, 2023Updated 2 years ago
- Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator☆13Mar 21, 2024Updated last year
- The Etherlink.com landing page, brought to you by NextJS/Vercel 🤝☆15Feb 5, 2026Updated last month
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆26Nov 6, 2022Updated 3 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- An introductory course for leo language.☆16Feb 20, 2024Updated 2 years ago
- Synapse Protocol's NodeJS SDK☆19Apr 18, 2024Updated last year
- onchain maxi wallet software☆29Aug 23, 2025Updated 6 months ago
- ☆27Nov 5, 2024Updated last year
- ☆25Oct 31, 2024Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- ☆12Sep 6, 2023Updated 2 years ago
- ☆30Mar 24, 2023Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated 2 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Serves as a bridge for the Safe{Wallet} clients (Android, iOS, Web)☆41Feb 27, 2026Updated last week
- A multisignature wallet.☆10Mar 8, 2023Updated 2 years ago
- Expander Compiler☆42Feb 22, 2026Updated last week
- 📜 A Starter Guide to Build ZK Applications 📜☆341Dec 17, 2024Updated last year
- Template for the CryCollege library.☆12Jan 6, 2024Updated 2 years ago
- ☆45Jul 29, 2024Updated last year
- Baikal Giant N Miner☆12Mar 22, 2018Updated 7 years ago
- hyrax-pcs-commit repository☆14Dec 16, 2025Updated 2 months ago
- SDK for the Puzzle Wallet☆11Aug 12, 2025Updated 6 months ago
- for Raspberry Pi☆12Apr 30, 2020Updated 5 years ago
- find positive EV bets using the odds API☆12Oct 11, 2023Updated 2 years ago
- ☆13Sep 10, 2025Updated 5 months ago
- Basic mud reference implementation (contracts + phaser client)☆45Dec 14, 2022Updated 3 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- An educational website documenting the development of zk-rollups on Bitcoin.☆11Mar 23, 2024Updated last year
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- Animate your GSAP Timelines as you scroll. Like ScrollTrigger but with less features. 980 bytes Gzipped☆32Sep 13, 2021Updated 4 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆11Mar 2, 2024Updated 2 years ago
- Gamba degen coin flip, decentralized gambleFi protocol for on-chain degeneracy on Solana.☆12Jun 19, 2024Updated last year
- ☆11Sep 10, 2024Updated last year
- Aspect examples, create a pull request for your brilliant ideas!☆40Aug 26, 2024Updated last year
- An open source, catch-all replacement to websites like TappedOut, MTG Goldfish, DeckStats, DeckBox, TCGPlayer and any other website that …☆10Oct 15, 2024Updated last year