movebit / Sampled-Audit-Reports
MoveBit Sampled Audit Reports
☆33Updated 3 months ago
Alternatives and similar repositories for Sampled-Audit-Reports:
Users that are interested in Sampled-Audit-Reports are comparing it to the libraries listed below
- PoC of KyberSwap double liquidity add exploit☆41Updated last year
- ☆35Updated last year
- Challenges and Solutions of Blaz CTF 2023☆41Updated last year
- Solidity Audit Report Generator☆84Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆110Updated 9 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆46Updated 2 months ago
- A curated list of awesome ton security resources☆28Updated last month
- ☆25Updated 2 months ago
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- ☆58Updated last year
- A collection of gas optimizations for the EVM.☆90Updated 2 years ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆58Updated 6 months ago
- ☆49Updated 8 months ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆63Updated 6 months ago
- To learn fork testing & on-chain broadcast☆27Updated last year
- CTF challenges made by MiloTruck☆67Updated 5 months ago
- Generate invariants for Foundry projects with LLM☆92Updated 5 months ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆19Updated last year
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated last year
- A curated list of awesome Solana security resources☆53Updated last year
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated last month
- Certora tutorials☆22Updated 10 months ago
- Proof of Concept of (now fixed) vulnerability in Notional smart contracts☆41Updated 2 years ago
- ☆48Updated last year
- Simulate cross-chain protocols txs, easily.☆144Updated last week
- ☆58Updated 2 months ago
- CLI based transaction simulator supporting any EVM chain, written in Rust.☆56Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 5 months ago
- ☆55Updated last year
- A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…☆45Updated last year