Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
-
Updated
May 31, 2024 - Cairo
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A google app script implementation of the Cairo VM
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A collection of examples of Cairo smart contracts for Starknet.
Blazing fast toolkit for developing Starknet contracts.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
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.
Loot Survivor - onchain arcade
Efficient pairing library, written in Cairo 🐺.
Mastering Starknet. By the Starknet community
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."