NethermindEth / PublicAuditReports
Public reports of audits performed by Nethermind Security
☆42Updated last week
Alternatives and similar repositories for PublicAuditReports:
Users that are interested in PublicAuditReports are comparing it to the libraries listed below
- APG (Auditor Profile Generator)☆35Updated last year
- CTF challenges made by MiloTruck☆67Updated 6 months ago
- List of Halmos resources.☆53Updated 2 weeks ago
- A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.☆55Updated 6 months ago
- Readiness Assessment for CARE Endeavour☆49Updated last year
- ☆47Updated 2 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆67Updated 8 months ago
- ☆35Updated last year
- ☆102Updated 2 years ago
- ☆45Updated last year
- Console.log utility for debugging huff contracts☆66Updated last year
- easy POC template generation from the command line☆76Updated 6 months ago
- Diagrams for Solidity contracts☆45Updated 11 months ago
- ☆84Updated last year
- Exercises for the Yield 2022 Mentorship progam☆61Updated 2 years ago
- Smart Contract Property-Based Testing Framework☆99Updated 3 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆103Updated 2 months ago
- A collection of ctf challenges based on Rareskills educational content☆36Updated 2 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆74Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated last month
- ☆55Updated last year
- Security Reviews and Audit Checklists☆106Updated 2 months ago
- Optimised Uniswap V2 contracts written in Huff language☆111Updated 10 months ago
- A list of public fuzzing campaigns☆88Updated 3 months ago
- ☆66Updated 2 years ago
- ☆91Updated 9 months ago
- ☆61Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆120Updated 5 months ago
- ☆130Updated 8 months ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆28Updated 11 months ago