A collection of examples of Cairo smart contracts for Starknet.
-
Updated
Jun 3, 2024 - Cairo
A collection of examples of Cairo smart contracts for Starknet.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
A google app script implementation of the Cairo VM
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Blazing fast toolkit for developing Starknet contracts.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Kakarot zkEVM - rewrite in the latest version of Cairo
学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.
A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
Mastering Starknet. By the Starknet community
Loot Survivor - onchain arcade
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
Smart Contract Security Auditing Exercises for Cairo
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Add a description, image, and links to the cairo-lang topic page so that developers can more easily learn about it.
To associate your repository with the cairo-lang topic, visit your repo's landing page and select "manage topics."