Certora / tutorials-code
Certora tutorials
☆19Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for tutorials-code
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Solidity static analyzer☆81Updated 11 months ago
- ☆65Updated last year
- ☆48Updated last month
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆47Updated 10 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆42Updated 2 months ago
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆55Updated last year
- ☆44Updated last year
- Starport is a kernel for building lending protocols☆24Updated 5 months ago
- ☆30Updated 8 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- A Solidity library for transient storage management ✨☆53Updated 4 months ago
- ☆26Updated 5 months ago
- ☆25Updated 8 months ago
- Money markets plugged into the power of Uniswap V3☆25Updated 2 months ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Updated last year
- Repository containing past audit reports☆53Updated 11 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆58Updated 9 months ago
- Open source implementation of am-AMM auctions☆40Updated last week
- ☆59Updated last month
- ☆39Updated last week
- ☆19Updated this week
- A contract for selling NFTs in an exponential price decay auction☆39Updated last year
- 🩸 A minimal Solidity library for MEV taxes☆55Updated 2 months ago
- ☆50Updated last year