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

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 🐺.

Static Analyzer for Starknet smart contracts

Kakarot zkEVM - rewrite in the latest version of Cairo

Bitcoin ZK client written in Cairo.

Bitcoin Script VM in Cairo

Semgrep rules for Cairo 1.0

Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum

Cairo 1.0 contract implementing an example trade competition

Stark Friendly Privacy Primitives in Cairo