electric-capital / crypto-audits
A mapping for open source cryptocurrency, blockchain, and decentralized audit reports and bug bounties
☆22Updated last year
Related projects: ⓘ
- 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
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- Graveyard of past Web3 exploits☆21Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- ☆92Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆46Updated 6 months ago
- ☆37Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- ☆22Updated last year
- Community-authored Ante Test repository☆34Updated 4 months ago
- Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork☆69Updated 2 years ago
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated last year
- Repository containing past audit reports☆53Updated 9 months ago
- A repository documenting security incident reports at Curve Finance.☆34Updated 3 months ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆53Updated 3 weeks ago
- Experimental tool to ease the review of smart contracts upgrades☆74Updated 5 months ago
- ☆47Updated last year
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆23Updated 3 weeks ago
- A mostly mostly reasonable approach to inline Yul styling.☆29Updated 5 months ago
- ☆34Updated last year
- ☆97Updated last year
- ☆31Updated 3 weeks ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆29Updated 6 months ago
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year
- A meta-extension bundling marketplace plugins for secure Ethereum smart contract development.☆21Updated 5 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆49Updated 3 weeks ago
- A quick and easy way to test gas optimizations.☆27Updated 2 years ago
- ☆35Updated 2 months ago