AI Smart Contract Security Analysis and PoC Generation Framework
☆31Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for aether
Users that are interested in aether are comparing it to the libraries listed below
Sorting:
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Feb 20, 2023Updated 3 years ago
- Demo multi-chain custodial Stablecoin system, operated by Silverback☆13Apr 29, 2025Updated 10 months ago
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- How to create a valid polyglot HTML/JS/WebAssembly module -☆12Oct 15, 2020Updated 5 years ago
- A curated list of 150+ papers and resources on Agentic Security. Based on the survey covering the transition from passive LLMs to autonom…☆28Dec 6, 2025Updated 3 months ago
- ☆15May 6, 2021Updated 4 years ago
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆10Oct 29, 2019Updated 6 years ago
- ☆14Aug 28, 2023Updated 2 years ago
- ☆13Dec 15, 2025Updated 2 months ago
- JavaScript virtual machine for WebAssembly and Taint Tracking security tool☆15Dec 15, 2017Updated 8 years ago
- ☆12Mar 10, 2020Updated 5 years ago
- Web 3.0 Security resources☆16Oct 12, 2023Updated 2 years ago
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- watching 4 whole days of live stream, some memorable talks: notes & youtube positions☆12Nov 19, 2017Updated 8 years ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Aug 11, 2017Updated 8 years ago
- Grammar-based Fuzzer that uses WebIDL as a grammar.☆15Updated this week
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Dec 12, 2023Updated 2 years ago
- Automates the verification of Solidity tests written using BTT technique☆19Feb 24, 2026Updated last week
- ☆15Aug 27, 2022Updated 3 years ago
- WASM debugger written in Rust☆18Mar 6, 2021Updated 5 years ago
- Smart contract exploit proof of concept exploit standard interface☆16Aug 9, 2023Updated 2 years ago
- Formal verification of the zkWasm project☆17Aug 13, 2024Updated last year
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆23Apr 17, 2018Updated 7 years ago
- Web3.0 Audit Resources and Competition Materials☆19Feb 20, 2026Updated 2 weeks ago
- A curated list of blockchain security incidents including exchange hacks, DeFi compromises, blockchain attacks, and others.☆25May 11, 2021Updated 4 years ago
- ☆37Jul 4, 2025Updated 8 months ago
- ☆21Apr 17, 2023Updated 2 years ago
- "Reversing WebAssembly Module 101" Workshop (NorthSec 2019, hack.lu 2019)☆22Oct 15, 2020Updated 5 years ago
- Vyper Deep Dive Notes and Scripts☆25Aug 4, 2023Updated 2 years ago
- XPLA Chain core implementation☆27Feb 27, 2026Updated last week
- Binary Ninja plugin for visualizing coverage over time☆25Jan 15, 2022Updated 4 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Sep 15, 2021Updated 4 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 4 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆100Jul 2, 2024Updated last year
- Linkable ring signature library☆25Sep 6, 2023Updated 2 years ago
- a VRF implementation following this ietf draft: https://tools.ietf.org/html/draft-goldbe-vrf-00☆21Jul 16, 2018Updated 7 years ago