informalsystems / auditsLinks
Security Audits by Informal Systems
☆19Updated last month
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ☆22Updated 2 months ago
- A test repository for Forge coverage☆35Updated 2 years ago
- ☆34Updated 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
- ☆41Updated 5 years ago
- Decentralized Summation System☆46Updated 3 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- A smart contract development toolchain for Go☆34Updated 2 months ago
- ☆37Updated 3 years ago
- ☆46Updated 4 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated 10 months ago
- ☆19Updated 3 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- ETHPrague☆31Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆27Updated 2 years ago
- An Awesome List of Celestia Resources☆43Updated last week
- ☆33Updated 3 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆22Updated last month
- ☆15Updated last year
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆69Updated 2 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆36Updated this week
- ☆27Updated 2 years ago
- A repository documenting security incident reports at Curve Finance.☆37Updated 2 months ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year