Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Mastering Starknet. By the Starknet community
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.
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Protostar is a toolchain for developing and testing Starknet contracts
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
#计算机科学#ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
#Awesome#Resources for Cairo 1.0 development.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
A collection of examples of Cairo smart contracts for Starknet.
Kakarot zkEVM - rewrite in the latest version of Cairo
Cairo/Starknet smart contract fuzzer
Learn how to deploy and customize an ERC721 token on StarkNet
Realms Monorepo for Ethereum contracts and Starknet contracts.