informalsystems / audits
Security Audits by Informal Systems
☆16Updated last week
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
- Solidity source debugger built around EthereumJS☆23Updated 3 months ago
- ☆28Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- a rust SDK for the gelato relay, using ethers-rs☆30Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆31Updated this week
- Creating a standard for whitehats☆29Updated 2 years ago
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- Testing Ethereum reorgs in a private geth network☆30Updated 2 years ago
- ☆21Updated last year
- C++ SSZ library☆28Updated 9 months ago
- etk-Foundry project template☆21Updated 2 years ago
- ☆46Updated 3 years ago
- ☆35Updated 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 9 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 10 months ago
- An implementation of the Rift Protocol in Solidity☆15Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Eth2 CLI debugging tool☆37Updated 2 months ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆26Updated 2 years ago
- ☆19Updated 2 years ago
- ☆10Updated 2 years ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆33Updated 9 months ago
- ☆39Updated 4 years ago
- ☆14Updated 6 months ago