Mastering Ethereum: 2nd Edition, by Andreas M. Antonopoulos, Gavin Wood, Carlo Parisi, Alessandro Mazza, Niccolò Pozzolini

Aave V3 Protocol

Zcash ZK client written in Cairo.

A symbolic testing tool for EVM smart contracts

This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…

🚀 Try the Learn EVM Explorer we just launched!!!

Reproduce ZKP vulnerabilities

Open source ASIC Bitcoin miner hardware

Decentralized Alternative Templates for Universal Mining

Lightning Network Daemon ⚡️

Bitcoin Core integration/staging tree

Token Vesting contract for the Soroban/Stellar platform

A typescript implementation of the Cairo VM

Desktop Bitcoin Wallet focused on security and privacy. Free and open source.

Code coverage tool for cairo

Kakarot exploration R&D project to prove Stylus using Cairo

The Starknet Agent front-end

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

Bitcoin ZK client written in Cairo.

Slinks Marketplace.

Bitcoin Script VM in Cairo

Madara is a powerful hybrid Starknet client written in Rust.

StarkWare's next gen prover

Dojo game - Tetris like

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…

Contracts for governance of Starknet protocols