NethermindEth / PublicAuditReportsLinks
Public reports of audits performed by Nethermind Security
☆55Updated this week
Alternatives and similar repositories for PublicAuditReports
Users that are interested in PublicAuditReports are comparing it to the libraries listed below
Sorting:
- A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.☆75Updated 7 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 11 months ago
- ☆60Updated 2 years ago
- ☆87Updated last year
- ☆35Updated 2 years ago
- This repository contains my Rareskills Solidity Bootcamp work.☆133Updated last year
- ☆72Updated 3 months ago
- A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…☆48Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Updated 2 years ago
- ☆61Updated 2 years ago
- ☆61Updated 2 years ago
- Smart Contract Property-Based Testing Framework☆134Updated 7 months ago
- ☆164Updated 2 years ago
- List of Halmos resources.☆57Updated 9 months ago
- ☆102Updated 3 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆113Updated this week
- A forkable template repo for easily writing and testing toy contracts☆153Updated last year
- Solidity Audit Report Generator☆84Updated 2 years ago
- Resources for Cairo 1.0 development.☆170Updated 9 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆90Updated 6 months ago
- Wargames Toolkit☆70Updated 9 months ago
- A simple template to perform whitehacks safely☆181Updated 2 years ago
- Diagrams for Solidity contracts☆47Updated last year
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆75Updated last year
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆57Updated 9 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated last year
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆136Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated 2 years ago
- A collection of my personal security audits☆68Updated 3 months ago
- A DSL for generating optimal EVM bytecode☆191Updated last year