A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
☆39Jul 27, 2023Updated 2 years ago
Alternatives and similar repositories for Aero
Users that are interested in Aero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Feb 20, 2023Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- WadRay library for Cairo and Starknet☆21Apr 24, 2025Updated 11 months ago
- A simple multisig implementation for StarkNet☆43May 28, 2022Updated 3 years ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 6 months ago
- Cairo/Starknet smart contract fuzzer☆130Apr 22, 2025Updated 11 months ago
- ☆16Feb 22, 2023Updated 3 years ago
- RPC server and client to run the Stone Prover on the Madara sequencer.☆11Oct 16, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Integration of IBC with Starknet☆21Sep 16, 2025Updated 6 months ago
- Bitcoin ZK client written in Cairo.☆116Dec 1, 2025Updated 4 months ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- A STARK proof of Bitcoin's header chain☆42Apr 29, 2024Updated last year
- Cairo STARK proof verifier for Starknet☆76Jan 27, 2026Updated 2 months ago
- Code coverage tool for cairo☆22Apr 6, 2026Updated last week
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Synthetics platform for Starknet, inspired by GMX v2 design.☆114Jul 26, 2024Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- ☆47Jan 10, 2024Updated 2 years ago
- ☆94Sep 6, 2023Updated 2 years ago
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated 2 years ago
- Carbon Starknet Protocol written in Cairo.☆54Jul 1, 2024Updated last year
- Caironet is a simple test runner to test starknet contracts with mocked addresses☆12Jul 1, 2023Updated 2 years ago
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 2 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Feb 2, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A STARK-based VM focused on code reuse, performance, and modularity☆343Jul 31, 2025Updated 8 months ago
- Export Circom verifier to Cairo☆49Apr 26, 2022Updated 3 years ago
- Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.☆13Sep 18, 2024Updated last year
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Various forms of distribution for the Starkware Stone prover and verifier☆17Jan 15, 2025Updated last year
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago