informalsystems / auditsLinks
Security Audits by Informal Systems
☆17Updated 3 weeks ago
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
- Creating a standard for whitehats☆29Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- A query suite for common bug patterns in Cosmos SDK-based applications☆25Updated last year
- ☆19Updated this week
- Celestia derivation pipeline and proof crate built with kona☆14Updated 2 weeks ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- ☆14Updated 2 months ago
- ☆34Updated last year
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- ☆19Updated 2 years ago
- EVM Toolkit language support for Visual Studio Code☆18Updated 2 years ago
- ☆15Updated last year
- shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia☆15Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 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
- ETHPrague☆31Updated last year
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- ☆33Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 11 months ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 3 months ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated last week
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 7 months ago
- ☆28Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago