This is the most programmer-friendly zero knowledge proof tutorial available.

Formally verify smart contracts using the Certora Verification Language and Certora Prover.

The Uniswap V2 Book is a comprehensive and in-depth explanation of the codebase. We don’t just screenshot the code and walk you through line by line. Hopefully you can already read code! We motivate why it was written that way in the first place, what the possible alternatives are, and the motivation behind the decisions.

Compound Finance is the most forked DeFi lending protocol. By learning the Compound Finance codebase and tokenomics in depth, you will be able to understand dozens of other lending protocols and be able to navigate their codebases more efficiently.

Uniswap V3 innovated the concept of concentrated liquidity. Concentrated liquidity allows traders to get better trade executions and enables liquidity providers to earn higher fees relative to a traditional xy = k AMM. As such, Uniswap V3 turned concentrated liquidity into a very popular DeFi primitive.

The most comprehensive guide to smart contract upgradeability.

This Solana course is designed for engineers with a beginner or intermediate background in Ethereum or EVM development to get up to speed quickly with Solana program development.

A concise, developer-friendly tutorial series that helps Solidity and other experienced programmers quickly learn Cairo and build smart contracts on Starknet, no prior ZK knowledge required.

A high quality, in depth Solidity course for experienced developers, free, comprehensive, and trusted by smart contract security experts.

This course helps engineers with an Ethereum background quickly grasp smart contract development on the Internet Computer Protocol (ICP). Our goal is to streamline your journey towards learning how to program ICP smart contracts and utilize ICP’s Chain Fusion Technology