JimmyLin-afk / SmartAuditFlowLinks
SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with dynamic workflow orchestration to detect vulnerabilities through adaptive planning, iterative refinement, and integration with static analyzers.
☆14Updated last month
Alternatives and similar repositories for SmartAuditFlow
Users that are interested in SmartAuditFlow are comparing it to the libraries listed below
Sorting:
- ☆11Updated 3 years ago
- ☆17Updated last year
- Quickly learn and understand the EIP-7702☆21Updated this week
- ☆12Updated 2 years ago
- CTF Writeups☆36Updated 2 years ago
- Applied ZKP Workshop for building zkDApp on Ethereum☆32Updated 2 years ago
- Numen Cyber Smart Contract CTF☆47Updated 2 years ago
- ☆18Updated 10 months ago
- ☆19Updated last year
- MEV Olympics☆44Updated last year
- Cuda implementation of EVM bytecode executor☆116Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated 2 years ago
- My talks on zk: Groth16, Plonk, and STARK☆11Updated last year
- Parallel EVM inspired by BlockSTM☆36Updated 2 weeks ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆23Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- Some tips for new learners of ZKP☆28Updated 5 years ago
- ☆20Updated last year
- ☆11Updated last year
- Research Collection about Parallel, Concurrent, and High-Performance Blockchain/Blockchain VMs☆38Updated last year
- Foundry EVM Standalone☆23Updated 2 years ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- forge development env for SUAVE key management☆20Updated last year
- ☆18Updated last year
- ☆18Updated 3 months ago
- Based Ethereum framework for writing tests in Rust☆12Updated 2 years ago
- BLS typescript wrapper to interact with the contract☆15Updated 3 years ago
- ☆42Updated 2 years ago
- solve scripts for all 3 of @0xhana's paradigm ctf challs!☆19Updated 2 years ago
- A curated list of awesome ton security resources☆38Updated 3 months ago