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

A STARK proof to sync a Bitcoin full node in an instant.

Static Analyzer for Starknet smart contracts

Dope Wars game engine on StarkNet L2 roll-up

Multi-signature functionality for StarkNet

Share private EVM state attestations using STARK proofs

Contracts for governance of Starknet protocols

Cairo / Starknet files for the Briq protocol and the Briq builder

A decentralized ZK Rollup AMM written in Cairo for StarkNet.

Bitcoin ZK client written in Cairo.

Contracts for verifiable randomness on StarkNet

A simple multisig implementation for StarkNet

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

Math of 384 bit numbers in pure cairo. Geared towards being used in ecc

A Cairo implementation of Ripemd-160.