Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Jul 9, 2024 - Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
Verify Cairo contracts on Starkscan in 1 minute.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Mastering Starknet. By the Starknet community
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.
Generative Art Marketplace
Starknet Ecosystem Dashboard
Building the Integrity Web. The most modular ZK Rollup framework.
A collection of React providers and hooks for StarkNet
Blazing fast toolkit for developing Starknet contracts.
Add a description, image, and links to the starknet topic page so that developers can more easily learn about it.
To associate your repository with the starknet topic, visit your repo's landing page and select "manage topics."