crytic / attacknet
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
☆68Updated 7 months ago
Alternatives and similar repositories for attacknet:
Users that are interested in attacknet are comparing it to the libraries listed below
- ☆45Updated last year
- ☆86Updated 7 months ago
- ☆69Updated last year
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆77Updated 10 months ago
- CTF Writeups☆37Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- ☆103Updated 2 weeks ago
- DeFiVulnLabsCosmWasm☆49Updated last year
- A smart contract security search utility☆72Updated last month
- A Solidity code search tool with built-in static analysis detection☆75Updated 7 months ago
- Database of public audits made by ABDK Consulting☆62Updated 3 weeks ago
- Public infra related to hosting Paradigm CTF☆108Updated 10 months ago
- ☆21Updated 2 years ago
- ☆90Updated 8 months ago
- Automated verification of uniqueness property for ZKP circuits☆72Updated 11 months ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 3 years ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆30Updated 11 months ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆50Updated 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 last week
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆34Updated 6 months ago
- ☆47Updated 11 months ago
- Validation code for the EOF specification☆50Updated last week
- A Solidity interpreter☆67Updated 2 weeks ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆67Updated 4 months ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆22Updated last year
- ☆13Updated last year