runtimeverification / foundry-upgradeable-contracts-examples
Example tests for exploring upgradeable contracts with Foundry
☆13Updated 2 years ago
Alternatives and similar repositories for foundry-upgradeable-contracts-examples:
Users that are interested in foundry-upgradeable-contracts-examples are comparing it to the libraries listed below
- A Proxy contract incorporating a Reentrancy Guard☆28Updated last year
- Solidity static analyzer☆83Updated last year
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year
- EVM contract size analyzer☆17Updated last year
- ☆41Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- ☆81Updated 2 years ago
- Experimental hybrid/cross-chain ERC4626 vaults☆50Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆58Updated 2 years ago
- ☆58Updated last year
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated last year
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- ☆24Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- Foundry + Yul template☆94Updated last year
- ☆65Updated 2 years ago
- ☆42Updated last year
- Mine addresses for UniswapV4 Hooks☆39Updated last year
- Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork☆69Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- ☆98Updated last year
- ☆107Updated 11 months ago
- ☆50Updated 2 years ago
- ☆28Updated 8 months ago
- This is a RareSkills.io project to allowlist an unlimited number of addresses far more efficiently than ECDSA or Merkle Trees.☆57Updated 2 years ago
- ☆43Updated last year
- ☆88Updated last year