runtimeverification / secureum-kontrol
☆10Updated 9 months ago
Alternatives and similar repositories for secureum-kontrol:
Users that are interested in secureum-kontrol are comparing it to the libraries listed below
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆27Updated 7 months ago
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆30Updated 11 months ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Updated last year
- ☆15Updated last year
- Publicly available audits and bug reports☆12Updated 2 weeks ago
- Fuzzing campaign for https://github.com/drips-network/contracts☆10Updated last year
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated last month
- Contains every issue l have ever found, while doing public auditing.☆30Updated 2 years ago
- Web3.0 Audit Resources and Competition Materials☆17Updated this week
- Checklist for security audit of tron projects by @positivesecurity☆22Updated 5 months ago
- ☆18Updated last week
- A collection of my security audits☆54Updated last week
- The repository reflects the collection of unusual findings from my smart contract audits.☆14Updated 9 months ago
- ☆21Updated last year
- Novel and informative web3 security talks☆18Updated 2 years ago
- Fuzzing solmate with medusa☆10Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- ☆48Updated last year
- Diagrams for Solidity contracts☆45Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 6 months ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆28Updated 11 months ago
- ☆47Updated last year
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated this week
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Boilerplate test creation and Foundry initialisation for solidity smart contract audits☆20Updated 2 years ago
- Index of Rareskill Blog posts using playwright☆21Updated last year
- ☆29Updated 2 years ago
- ☆10Updated 2 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 3 weeks ago