Alternatives and similar repositories for protocol-security

Users that are interested in protocol-security are comparing it to the libraries listed below

• MariusVanDerWijden / tx-fuzz
  ☆116Updated 3 months ago
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆65Updated last week
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆138Updated last month
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆47Updated 5 months ago
• rdubois-crypto / FreshCryptoLib
  Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
  ☆142Updated 11 months ago
• security-alliance / safe-harbor
  ☆76Updated last week
• MultiMessageAggregation / multibridge
  Send Cross-Chain Messages through Multiple Bridges
  ☆83Updated last year
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆81Updated 3 months ago
• tvanepps / EthereumDiscordGuidebook
  A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.
  ☆122Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆65Updated last month
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆118Updated last week
• OpenZeppelin / openzeppelin-community-contracts
  Solidity library of smart contracts from the OpenZeppelin Community
  ☆63Updated this week
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆99Updated 2 years ago
• RareSkills / noir-puzzles
  ☆58Updated last year
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆164Updated last week
• ethpandaops / optimism-package
  A kurtosis package for deploying an optimistic rollup
  ☆85Updated this week
• paradigmxyz / mesc
  MESC is a specification for how crypto tools configure their RPC endpoints
  ☆177Updated 10 months ago
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆82Updated last week
• fjl / geas
  The Good Ethereum Assembler
  ☆117Updated last month
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆40Updated last week
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• lidofinance / diffyscan
  Diff your Github against Etherscan.
  ☆139Updated 2 weeks ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated 2 years ago
• ethereum / public-disclosures
  ☆131Updated 6 months ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆62Updated 2 weeks ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆80Updated 2 months ago
• gnosis / hashi
  An EVM hash oracle aggregator
  ☆150Updated 2 months ago