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
- ☆34Updated 3 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated 7 months ago
- A query suite for common bug patterns in Cosmos SDK-based applications☆24Updated last year
- Creating a standard for whitehats☆28Updated 2 years ago
- ☆11Updated last year
- Aave Seatbelt for governance proposals☆17Updated last year
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 5 months ago
- Skip's protocol-owned MEV builder implementation☆54Updated 2 months ago
- An example re-entrancy attack on a flashloan vault.☆16Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Morpho token contracts.☆14Updated 2 months ago
- ☆30Updated last year
- ☆18Updated last year
- shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia☆15Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆73Updated last year
- ☆39Updated 4 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆26Updated 2 years ago
- ☆28Updated last year
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆22Updated last year
- Everything you need to create your first account abstraction contract in one place☆29Updated 4 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- zen minimal foundry template☆28Updated 2 months ago
- An implementation of the Rift Protocol in Solidity☆15Updated 2 years ago
- ☆46Updated 3 years ago
- Webb Protocol Implementation in CosmWasm.☆24Updated 2 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago