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
  ☆117Updated 5 months ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆49Updated 7 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 month
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆101Updated 2 years ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆138Updated last month
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆64Updated this week
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated this week
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• rdubois-crypto / FreshCryptoLib
  Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
  ☆145Updated last year
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• ethpandaops / optimism-package
  A kurtosis package for deploying an optimistic rollup
  ☆90Updated this week
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated last year
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆85Updated last month
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆177Updated this week
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• paradigmxyz / mesc
  MESC is a specification for how crypto tools configure their RPC endpoints
  ☆176Updated last year
• ethpandaops / xatu
  Ethereum network monitoring with collection clients and a centralized server for data pipelining.
  ☆90Updated this week
• tvanepps / EthereumDiscordGuidebook
  A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.
  ☆123Updated last year
• RareSkills / noir-puzzles
  ☆60Updated 2 years ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 5 months ago
• security-alliance / safe-harbor
  ☆77Updated last week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• OpenZeppelin / openzeppelin-community-contracts
  Solidity library of smart contracts from the OpenZeppelin Community
  ☆70Updated this week
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆70Updated 3 months ago
• ReamLabs / ream
  ream: an Ethereum Lean client written in Rust
  ☆111Updated this week
• ethereum / kzg-ceremony-specs
  Specs for Ethereum's KZG Powers of Tau Ceremony
  ☆111Updated 2 years ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆99Updated 11 months ago
• joohhnnn / Understanding-Optimism-Codebase
  This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.
  ☆80Updated last month
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆84Updated 9 months ago