Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.
☆16Apr 9, 2025Updated last year
Alternatives and similar repositories for leology
Users that are interested in leology are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open source, private, self-custodial wallet. Built on the Aleo network.☆22Sep 20, 2024Updated 2 years ago
- Web Assembly low level implementation of pairing friendly curves.☆16Oct 4, 2026Updated last month
- ☆13Aug 16, 2024Updated 2 years ago
- Locate an audio or video recording from the Doppler curves of propeller aircraft, matched against archived ADS-B flight tracks. Rust, on …☆34Updated this week
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Jul 12, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- iden3 documentation☆15Jan 23, 2024Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- zk-Snarks circuit for franchise proof☆13Oct 20, 2026Updated 2 weeks ago
- ☆17Updated this week
- ☆15Jul 8, 2021Updated 5 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- A spot to start collecting info about STARKs for our study group☆12Nov 13, 2021Updated 4 years ago
- a web page / paper☆18Sep 2, 2026Updated 2 months ago
- Tool for overriding Ethereum transactions stuck in the pool☆17Jul 15, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Feb 6, 2024Updated 2 years ago
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆12Jun 3, 2021Updated 5 years ago
- ☆13Aug 7, 2023Updated 3 years ago
- [WIP] a solidity implementation of verification in a STARK on a MIMC calculation☆11Mar 30, 2021Updated 5 years ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated 2 years ago
- ☆14Dec 26, 2017Updated 8 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- ☆15May 27, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- agora-unknown_order☆13Sep 2, 2026Updated 2 months ago
- MerkleTree compatible with circomlib☆12Oct 21, 2026Updated 2 weeks ago
- 🚀 Substrate framework with integrated IPFS support.☆12Apr 19, 2023Updated 3 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 5 years ago
- ZombieNet SDK☆55Oct 27, 2026Updated last week
- fft impl for ff::Field☆17May 9, 2024Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- ☆16Nov 18, 2024Updated last year
- Container of general purpose gadgets used across Dusk Network's circuit implementations.☆12Jul 5, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- bonfire monorepo☆11Aug 30, 2023Updated 3 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 3 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated 2 years ago
- This is a Hyperledger Composer based sample project which is developed considering a medical use case.☆10Feb 1, 2023Updated 3 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆13Jan 16, 2020Updated 6 years ago