GitHub Action to run Echidna, the Ethereum smart contract fuzzer
☆63Feb 29, 2024Updated 2 years ago
Alternatives and similar repositories for echidna-action
Users that are interested in echidna-action are comparing it to the libraries listed below
Sorting:
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆11Jan 25, 2022Updated 4 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Feb 10, 2022Updated 4 years ago
- ☆29Jul 22, 2022Updated 3 years ago
- Foundry test utils.☆29Jul 26, 2022Updated 3 years ago
- ☆45Jul 19, 2023Updated 2 years ago
- ☆37May 3, 2022Updated 3 years ago
- ☆18Feb 25, 2023Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆28Jul 27, 2023Updated 2 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 2 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- An example of an ERC721 token with efficient on-mint generation from 7 traits (taken from BAYC; see details below).☆51Jan 11, 2022Updated 4 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Dec 23, 2022Updated 3 years ago
- ☆40Aug 23, 2022Updated 3 years ago
- ☆143Jan 16, 2026Updated last month
- Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching☆86Oct 13, 2022Updated 3 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Dec 5, 2021Updated 4 years ago
- ☄️ Zero-config Hardhat plugin to generate documentation for all your Solidity contracts.☆135Aug 16, 2023Updated 2 years ago
- ☆82Dec 2, 2022Updated 3 years ago
- Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721…☆60Jun 12, 2022Updated 3 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- ☆12Sep 25, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- ☆14Feb 16, 2021Updated 5 years ago
- 🤖 Smart contracts built on top of Morpho Protocol to enable one-click leverage and strategies☆21Jun 17, 2023Updated 2 years ago
- A dollar auction implementation in Solidity.☆25May 17, 2022Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆52Jan 27, 2023Updated 3 years ago
- ☆105Jul 5, 2024Updated last year
- ⚡ Modern, opinionated, and gas optimized base for smart contract development.☆214Jan 1, 2023Updated 3 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 3 years ago
- Docker-dapptools: A drop-in docker replacement for dapptools.☆39May 13, 2022Updated 3 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- ELO calculation as a solidity library (algorithm of 400 / chess ELO)☆34Nov 27, 2022Updated 3 years ago
- A wrapper ERC20 token that linearly vests an underlying ERC20 token to its holders.☆243Feb 21, 2022Updated 4 years ago
- ☆14Sep 24, 2022Updated 3 years ago
- ☆14Aug 29, 2024Updated last year