Educational repo for fuzzing smart-contracts with Echidna
☆17Mar 6, 2024Updated 2 years ago
Alternatives and similar repositories for echidna-farm
Users that are interested in echidna-farm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Mar 29, 2024Updated last year
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Feb 28, 2024Updated 2 years ago
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Oct 7, 2024Updated last year
- A homebrew tap☆16Feb 23, 2026Updated 3 weeks ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- Persistent binary merkle tree☆26Feb 17, 2026Updated last month
- A two-day event focused on high-performance, bleeding edge crypto infrastructure. By open source engineers, for open source engineers.☆38Aug 13, 2025Updated 7 months ago
- An open-souce CLI which can be used to clone, compile and upload shadow contracts to the decentralized Shadow Contract Registry.☆17Mar 10, 2025Updated last year
- Circom merkle tree primitives☆26Jul 16, 2023Updated 2 years ago
- A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.☆62Jan 20, 2026Updated 2 months ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- Cheaper (up to 35k gas) Create3 deployments for small sized contracts (<= ~3.6KB).☆30Jan 28, 2025Updated last year
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- ☆16Apr 24, 2024Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆83Oct 6, 2023Updated 2 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Mar 8, 2023Updated 3 years ago
- ☆17Sep 3, 2024Updated last year
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 3 years ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Nov 26, 2024Updated last year
- ☆17Apr 25, 2023Updated 2 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Gas-optimized sorting networks in Solidity.☆17May 24, 2024Updated last year
- sane NFT fractionalization with no fees or middlemen☆14Feb 10, 2024Updated 2 years ago
- ☆11May 4, 2024Updated last year
- some libs☆21Jan 19, 2026Updated 2 months ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Feb 27, 2026Updated 3 weeks ago
- Weiroll planner for ethers-rs☆16Apr 19, 2023Updated 2 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- Vyper Deep Dive Notes and Scripts☆25Aug 4, 2023Updated 2 years ago
- This is a asbtract syntax tree for huff written in rust to facilitate conversion of solidity to huff☆13Mar 2, 2024Updated 2 years ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Templating for meta vaults☆23Dec 13, 2021Updated 4 years ago
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- ☆51Sep 11, 2023Updated 2 years ago
- Library for checked-in, targeted gas snapshots with forge☆97Oct 2, 2024Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Feb 20, 2025Updated last year
- ☆13Jun 30, 2023Updated 2 years ago