NethermindEth / PublicAuditReports
Public reports of audits performed by Nethermind Security
☆38Updated this week
Related projects ⓘ
Alternatives and complementary repositories for PublicAuditReports
- ☆35Updated last year
- CTF challenges made by MiloTruck☆65Updated 2 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 10 months ago
- APG (Auditor Profile Generator)☆35Updated 11 months ago
- Console.log utility for debugging huff contracts☆65Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆111Updated 7 months ago
- A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.☆53Updated 2 months ago
- Smart Contract Property-Based Testing Framework☆73Updated 2 weeks ago
- Diagrams for Solidity contracts☆43Updated 8 months ago
- ☆54Updated last year
- List of Halmos resources.☆48Updated last month
- Readiness Assessment for CARE Endeavour☆45Updated 9 months ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆26Updated 7 months ago
- The Red Guild's devcontainer focused in web3 and security.☆35Updated last month
- Security Reviews and Audit Checklists☆94Updated 6 months ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆56Updated 3 months ago
- A smart contract security search utility☆67Updated this week
- ☆54Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- ☆52Updated 11 months ago
- ☆103Updated 2 years ago
- PoC of KyberSwap double liquidity add exploit☆40Updated last year
- Personal portfolio of audits that I have participated in.☆53Updated last month
- easy POC template generation from the command line☆76Updated 2 months ago
- A collection of ctf challenges based on Rareskills educational content☆34Updated 2 months ago
- ☆88Updated 5 months ago
- Solidity Audit Report Generator☆84Updated last year
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆50Updated last year
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆60Updated 2 months ago
- ☆57Updated last year