morpho-org / morpho-certora-tutorialsLinks
☆10Updated 2 years ago
Alternatives and similar repositories for morpho-certora-tutorials
Users that are interested in morpho-certora-tutorials are comparing it to the libraries listed below
Sorting:
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago
- Fuzzing solmate with medusa☆10Updated last year
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- ☆10Updated 3 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated 10 months ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- ☆10Updated 2 years ago
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- ERC4626 Router for Yearn V3 vaults.☆10Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- ☆10Updated last year
- ☆8Updated 2 years ago
- Strategies for BentoBox☆11Updated 2 years ago
- ☆16Updated 9 months ago
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- gas comparisons between vyper and solady☆20Updated 8 months ago
- General space for Solidity smart contract code and notes☆10Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆12Updated 2 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- ☆10Updated 2 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 2 months ago
- Tstore huff template☆17Updated last year
- ☆29Updated 2 years ago
- EIP-1167 Minimal Proxy Contract written in Huff☆25Updated 2 years ago