Showing 1-5 of 5 projects
Cairo is a Turing-complete language for creating provable programs for general computation.
A curated list of awesome resources for building on the StarkNet Ethereum scaling solution.
Verify Cairo contracts on Starkscan, a block explorer for the Starknet zk-rollup network, in under a minute.
A TypeScript library for interacting with the StarkNet Layer 2 Ethereum scaling solution.
Kakarot is a zero-knowledge Ethereum Virtual Machine (zkEVM) built on Cairo and the STARK proof system.
Get weekly updates on trending AI coding tools and projects.