informalsystems / auditsLinks
Security Audits by Informal Systems
☆19Updated this week
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- A test repository for Forge coverage☆35Updated 2 years ago
- ☆46Updated 3 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- ☆34Updated 3 years ago
- Decentralized Summation System☆46Updated 3 years ago
- Skip's protocol-owned MEV builder implementation☆55Updated 8 months ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- Smart contracts for the Telepathy protocol☆77Updated last year
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- ☆41Updated 5 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆27Updated 2 years ago
- Creating a standard for whitehats☆29Updated 2 years ago
- A smart contract development toolchain for Go☆34Updated this week
- ☆19Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- ☆37Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- A repository documenting security incident reports at Curve Finance.☆37Updated 2 months ago
- ☆18Updated 2 years ago
- An Awesome List of Celestia Resources☆43Updated 2 weeks ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated last year
- An implementation of the Rift Protocol in Solidity☆15Updated 2 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆69Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Rust work for nomad actors☆57Updated 2 years ago
- EVM Toolkit language support for Visual Studio Code☆18Updated 2 years ago
- ☆28Updated 2 years ago