informalsystems / auditsLinks
Security Audits by Informal Systems
☆19Updated 2 weeks ago
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ☆34Updated 3 years ago
- Creating a standard for whitehats☆29Updated 2 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
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- ☆22Updated 3 months ago
- ☆46Updated 4 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆36Updated last week
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆20Updated last year
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- A smart contract development toolchain for Go☆34Updated 3 months ago
- To be deprecated in favor of https://github.com/flashbots/builder☆46Updated 2 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated 11 months ago
- A test repository for Forge coverage☆35Updated 2 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- ☆19Updated 3 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- ☆33Updated 2 years ago
- A repository documenting security incident reports at Curve Finance.☆37Updated 2 months ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- A flashloan module for Gnosis Safe.☆45Updated 4 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆69Updated 3 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Updated 2 years ago
- Everything you need to create your first account abstraction contract in one place☆29Updated 5 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- Technical book about Erigon technology☆56Updated 3 years ago
- Testing Ethereum reorgs in a private geth network☆30Updated 2 years ago