informalsystems / auditsLinks
Security Audits by Informal Systems
☆17Updated this week
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- A query suite for common bug patterns in Cosmos SDK-based applications☆25Updated last year
- ☆19Updated 3 weeks ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆15Updated 3 years ago
- Creating a standard for whitehats☆29Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- An implementation of the Rift Protocol in Solidity☆15Updated 2 years ago
- A Curve-like AMM for Secret Network☆16Updated 3 years ago
- Tool to generate EIP-712 compatible Solidity☆14Updated 3 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- ☆14Updated 3 months ago
- Codec library for protobuf3 in Solidity☆16Updated last year
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- Morpho token contracts.☆14Updated 6 months ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- EVM Toolkit language support for Visual Studio Code☆18Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- ☆28Updated 2 years ago
- ☆19Updated 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
- ☆28Updated 3 years ago
- An example re-entrancy attack on a flashloan vault.☆16Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated 3 weeks ago
- shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia☆15Updated 2 years ago
- Syntax files for Yul☆18Updated 4 years ago
- A repository to store everything related to Mean's oracles☆18Updated 2 months ago
- Skip's protocol-owned MEV builder implementation☆54Updated 6 months ago
- ☆41Updated 5 years ago