Alternatives and similar repositories for audits

Users that are interested in audits are comparing it to the libraries listed below

• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• AdvaithD / protocol-pg
  evm playground - optimizations, patterns and bytecode decoding
  ☆15Updated 2 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated 2 years ago
• ernestognw / solidity-mermaid
  A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.
  ☆26Updated 2 years ago
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• fredlacs / c2c-nft-bridge
  ☆35Updated 3 years ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆19Updated last week
• ethpandaops / assertoor-test
  ☆16Updated 3 weeks ago
• brockelmore / contract_grabber
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30Updated 3 years ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆24Updated last year
• quilt / etk-foundry-template
  etk-Foundry project template
  ☆21Updated 2 years ago
• refcell / geth-x
  Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.
  ☆22Updated 2 years ago
• wilsoncusack / forge-squeeth
  ☆28Updated 3 years ago
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• makerdao / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• udayj / starknet_prediction_market
  Private Prediction Market for Starknet
  ☆20Updated 3 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• devtooligan / huffhuffpass
  ☆28Updated 2 years ago
• Saw-mon-and-Natalie / vscode-evm-toolkit
  EVM Toolkit language support for Visual Studio Code
  ☆18Updated 2 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• ScopeLift / stealth-address-erc-contracts
  📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry
  ☆33Updated 10 months ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated 11 months ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated 2 years ago
• Dhruv-2003 / stealth-7702
  An experiment with stealth-addresses & EIP7702 on Odyssey testnet
  ☆14Updated 5 months ago
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated 10 months ago
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆31Updated this week