starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
☆1,679Updated this week
Alternatives and similar repositories for cairo:
Users that are interested in cairo are comparing it to the libraries listed below
- ☆1,358Updated this week
- A Starknet full node written in Rust☆640Updated this week
- DEPRECATED in favor of https://github.com/madara-alliance/madara☆537Updated 5 months ago
- ☆811Updated 6 months ago
- A zkVM for Decentralized Private Computations (DPC)☆1,093Updated this week
- Learn how to read Cairo code☆472Updated last year
- A blazing fast OP Stack rollup client written in Rust☆620Updated 5 months ago
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,000Updated 3 weeks ago
- The fastest, most feature-complete zkVM for developers.☆1,159Updated this week
- An interactive tutorial to get you up and running with Cairo v1 and Starknet☆458Updated 3 weeks ago
- Nitro goes vroom and fixes everything☆772Updated this week
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆532Updated this week
- Mastering Starknet. By the Starknet community☆821Updated 7 months ago
- Starknet client implementation.☆416Updated this week
- Dojo is a toolchain for building provable games and applications☆444Updated this week
- JavaScript library for StarkNet☆1,230Updated this week
- Papyrus is a StarkNet full node written in Rust.☆319Updated last month
- Go implementation of a node that operates the Polygon zkEVM Network☆552Updated last week
- ArgentX browser extension for StarkNet - made with ❤️ by Argent☆630Updated last month
- example contracts☆1,017Updated 6 months ago
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆594Updated this week
- Celestia Data Availability Nodes☆953Updated this week
- Noir is a domain specific language for zero knowledge proofs☆952Updated this week
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆1,763Updated this week
- ☆798Updated this week
- ☆646Updated this week
- ☆932Updated this week
- A collection of React providers and hooks for StarkNet☆370Updated this week
- OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup☆843Updated this week
- Scroll zkEVM Playground☆688Updated this week