informalsystems / audits
Security Audits by Informal Systems
☆15Updated 2 months ago
Alternatives and similar repositories for audits:
Users that are interested in audits are comparing it to the libraries listed below
- A research-only integration of Sovereign with Celestia☆20Updated last year
- A query suite for common bug patterns in Cosmos SDK-based applications☆24Updated last year
- ☆19Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia☆15Updated last year
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated 8 months ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆26Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆30Updated 2 years ago
- ☆35Updated 3 years ago
- Eth2 CLI debugging tool☆37Updated 2 weeks ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 6 months ago
- Creating a standard for whitehats☆29Updated 2 years ago
- etk-Foundry project template☆21Updated 2 years ago
- ☆14Updated 2 years ago
- ☆28Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- Tool to generate EIP-712 compatible Solidity☆14Updated 2 years ago
- ☆34Updated last year
- Safe multi-sig rewritten in Huff☆13Updated last year
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- C++ SSZ library☆28Updated 8 months ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated 3 months ago
- EVM Toolkit language support for Visual Studio Code☆18Updated 2 years ago
- ETHPrague☆31Updated last year