morpho-labs / morpho-certora-tutorials
☆11Updated 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
- A solution to hats.finance's first CTF challenge☆10Updated 2 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- Fuzzing solmate with medusa☆10Updated last year
- ☆10Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- ☆8Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- ☆17Updated 7 months ago
- ☆10Updated last year
- ☆10Updated 9 months ago
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆11Updated 8 months ago
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆11Updated last year
- Utils to publish transaction create via Foundry on Gnosis Safe☆13Updated last year
- Strategies for BentoBox☆11Updated 2 years ago
- ERC4626 Router for Yearn V3 vaults.☆10Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 11 months ago
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- ☆51Updated last year
- ☆11Updated last year
- Huffidity, but let's you jump back to Solidity runtime execution from Huff runtime execution.☆32Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated last month
- Tstore huff template☆17Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago