informalsystems / audits
Security Audits by Informal Systems
☆16Updated 3 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
- ☆19Updated 2 years ago
- ☆35Updated 3 years ago
- ETHPrague☆31Updated last year
- EVM Toolkit language support for Visual Studio Code☆18Updated 2 years ago
- A query suite for common bug patterns in Cosmos SDK-based applications☆24Updated last year
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 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
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- Creating a standard for whitehats☆29Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆30Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- ☆46Updated 3 years ago
- A Curve-like AMM for Secret Network☆16Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- Morpho token contracts.☆14Updated 3 months ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- Token for accruing protocol revenues☆16Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆19Updated 7 months ago
- ☆14Updated 2 years ago
- Testing Ethereum reorgs in a private geth network☆30Updated 2 years ago
- ☆19Updated last year