informalsystems / audits

Related projects ⓘ

Alternatives and complementary repositories for audits

• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• fredlacs / c2c-nft-bridge
  ☆34Updated 2 years ago
• OffchainLabs / methodical-ssz
  Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types
  ☆19Updated 2 months ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 2 years ago
• mattdf / EIP3074Protection
  Know if a call is from an EOA no matter what
  ☆34Updated 3 years ago
• wolflo / proxies.huff
  Minimal Ethereum delegatecall proxies
  ☆22Updated last year
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆20Updated 11 months ago
• 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
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆20Updated 4 months ago
• Saw-mon-and-Natalie / clones-with-immutable-args
  ☆14Updated last year
• quilt / etk-foundry-template
  etk-Foundry project template
  ☆20Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• Saw-mon-and-Natalie / vscode-evm-toolkit
  EVM Toolkit language support for Visual Studio Code
  ☆17Updated 2 years ago
• SamWilsn / eip712
  Tool to generate EIP-712 compatible Solidity
  ☆14Updated 2 years ago
• ethereum-optimism / reference-optimistic-geth
  ☆17Updated 2 years ago
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated 7 months ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated last year
• schnetzlerjoe / interchain-query-spec
  ☆15Updated 2 years ago
• ernestognw / solidity-mermaid
  A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.
  ☆26Updated last year
• protolambda / zcli
  Eth2 CLI debugging tool
  ☆37Updated 8 months ago
• CyberHoward / cosmwasm-re-entrancy-example
  An example re-entrancy attack on a flashloan vault.
  ☆16Updated last year
• scrtlabs / SecretStablePools
  A Curve-like AMM for Secret Network
  ☆16Updated 3 years ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆27Updated last year
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated last year
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated 11 months ago
• michaelneuder / crypto-primitives
  ☆17Updated last year
• ethereum-optimism / merch
  official optimism merch instructions
  ☆34Updated 3 years ago