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.
☆15Dec 19, 2025Updated 2 months ago
Alternatives and similar repositories for SmartAuditFlow
Users that are interested in SmartAuditFlow are comparing it to the libraries listed below
Sorting:
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆29Feb 17, 2026Updated last week
- ☆12Nov 11, 2022Updated 3 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 2 weeks ago
- ☆20Jan 29, 2026Updated last month
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- The instance generator of the Vision and Rescue block ciphers.☆17Mar 4, 2022Updated 3 years ago
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 4 years ago
- Vanity address generator for Ethereum☆18Mar 15, 2024Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- ☆18Nov 4, 2020Updated 5 years ago
- ☆20Jul 10, 2025Updated 7 months ago
- Using the imKey on your PC or Mac☆15Jul 14, 2025Updated 7 months ago
- DEPRECATED☆21Nov 4, 2021Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- ☆43Oct 26, 2024Updated last year
- An `arkworks` library for low-degree testing☆23Sep 10, 2024Updated last year
- 《永恒开端》此游戏关乎在高维时空中进行时间旅行，避免时空悖论毁灭整个「永恒时空基金会」，保护历史不受时间刺客的破坏。你是永恒之人。☆18Mar 27, 2021Updated 4 years ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- ☆22Sep 1, 2023Updated 2 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Jun 24, 2019Updated 6 years ago
- This is the implementation for the Detection and Protection methods described in the paper: "Graph-Based Covert Transaction Detection and…☆31Oct 23, 2024Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 7 months ago
- ☆11Nov 10, 2023Updated 2 years ago
- ETHPrague☆31Sep 29, 2023Updated 2 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- A public chain built for the decentralized exchange☆30Dec 7, 2020Updated 5 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- Ethereum local test chain with block reorg on-demand☆34Feb 13, 2026Updated 2 weeks ago
- 😈 Demonstration how to manipulate VRF randomness of Chainlink☆29Jan 22, 2021Updated 5 years ago
- 🔥 flamegraphs for solidity☆35Sep 11, 2024Updated last year
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Nov 20, 2021Updated 4 years ago
- An Exploit on the AAVE v2 Contract Vulnerability☆29Mar 11, 2021Updated 4 years ago
- ☆27Jul 26, 2020Updated 5 years ago