RPC server and client to run the Stone Prover on the Madara sequencer.
☆11Oct 16, 2024Updated last year
Alternatives and similar repositories for madara-prover-api
Users that are interested in madara-prover-api are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- ☆15Nov 8, 2023Updated 2 years ago
- Bridging protocol between gear and ethereum☆16Apr 6, 2026Updated last week
- Rust Library for running the Starknet OS via the Cairo VM☆67Apr 9, 2026Updated last week
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆16Feb 18, 2024Updated 2 years ago
- ShellOnStark is a bot designed to facilitate the management and visualization of cryptocurrency portfolios. It offers features such as …☆18Feb 28, 2024Updated 2 years ago
- Stark Compass: the only open source explorer☆68Oct 4, 2024Updated last year
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 6 months ago
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated last year
- ☆16Feb 22, 2023Updated 3 years ago
- Libp2p bindings for Python☆12Mar 21, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Nov 17, 2023Updated 2 years ago
- A js-libp2p backed daemon☆17Mar 27, 2026Updated 2 weeks ago
- Madara is a powerful hybrid Starknet client written in Rust.☆123Updated this week
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- Poseidon Rust library☆39Mar 13, 2023Updated 3 years ago
- ☆19Mar 6, 2026Updated last month
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- The Madara orchestrator is designed to be an additional service which runs in parallel to Madara and handles various critical jobs that e…☆11May 24, 2025Updated 10 months ago
- The development tree for OpenOCD for the Synopsys DesignWare ARC processor family☆15Mar 23, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bootstrap node for the Avail Light Client☆17Jul 1, 2024Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- WadRay library for Cairo and Starknet☆21Apr 24, 2025Updated 11 months ago
- A toolchain for rapidly spinning up Katana and Torii instances. Play test your game in seconds.☆51Apr 1, 2026Updated 2 weeks ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 3 years ago
- ☆16Feb 17, 2024Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Aug 5, 2024Updated last year
- ☆18Mar 28, 2023Updated 3 years ago
- Cashu Mint, written in Elixir.☆17Nov 12, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Governance and Discussion☆12Apr 26, 2024Updated last year
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 2 years ago
- Sets up Scarb in your GitHub Actions workflow.☆19Mar 18, 2026Updated 3 weeks ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- ☆41Aug 9, 2024Updated last year
- Source code of the smart contracts of the Phoenix DeFi hub DEX protocol☆12Aug 13, 2025Updated 8 months ago