informalsystems / audits

Related projects ⓘ

Alternatives and complementary repositories for audits

• SamWilsn / eip712
  Tool to generate EIP-712 compatible Solidity
  ☆14Updated 2 years ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆27Updated last year
• cerc-io / tx-spammer
  Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)
  ☆17Updated 4 months ago
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated last year
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 2 years ago
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• 0xpolarzero / gas-metering-comparison
  Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.
  ☆16Updated 8 months ago
• devtooligan / huffhuffpass
  ☆28Updated 2 years ago
• mattdf / EIP3074Protection
  Know if a call is from an EOA no matter what
  ☆34Updated 3 years ago
• JumpCrypto / Safu
  Creating a standard for whitehats
  ☆28Updated last year
• Saw-mon-and-Natalie / vscode-evm-toolkit
  EVM Toolkit language support for Visual Studio Code
  ☆17Updated 2 years ago
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆35Updated 5 years ago
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆20Updated 11 months ago
• ernestognw / solidity-mermaid
  A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.
  ☆26Updated last year
• clabby / sparse-arr-lib
  A library to assist with handling sparse arrays in storage.
  ☆26Updated last year
• PraneshASP / yul2huff
  A simple tool to convert Yul arithmetic expressions to Huff
  ☆14Updated last year
• nomoixyz / universal-router-vuln-poc
  ☆12Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• rsproule / n-per-epoch
  Simple contract modifier to add the ability to rate limit humans on any smart contract function call.
  ☆17Updated last year
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• Consensys / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated 2 weeks ago
• The-Arbiter / Hash-Storage-Example
  A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.
  ☆13Updated 2 years ago
• OffchainLabs / sszpp
  C++ SSZ library
  ☆26Updated 4 months ago
• hrkrshnn / solmate-math-fuzz
  ☆34Updated 2 years ago
• distributedstatemachine / eigenlayer-rs
  ☆19Updated 7 months ago