Certora / Documentation
☆17Updated this week
Alternatives and similar repositories for Documentation:
Users that are interested in Documentation are comparing it to the libraries listed below
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- ☆51Updated last year
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- ☆14Updated last week
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated this week
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Submodules Kill Solidity☆38Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 11 months ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- ☆63Updated 2 years ago
- ☆15Updated last year
- A minimal based rollup implementation that is easy to understand and extend☆29Updated this week
- ☆41Updated 2 years ago
- Repository containing past audit reports☆53Updated last year
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆44Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆43Updated last year
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- ☆65Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Updated 2 years ago
- ☆36Updated 3 years ago