Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

An interactive tutorial to get you up and running with Cairo v1 and Starknet

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

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

Bitcoin ZK client written in Cairo.

starknet-staking

RISC-V ELF interpreter in cairo

Public ABIs for the Ekubo contracts

Gitcoin Allo protocol for Starknet 🐺

Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.

DEFLATE algorithm implemented in Cairo

A Worldcoin bridge for Starknet

Contract of the starknet identity base NFT built for compiler version 2.3.0

erc721, erc1155, erc2981 write by cairo2. It can be deployed directly on starknet, remember to modify the url of nft. fit for beginners.