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 6 months ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆49Updated 8 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 2 months ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆138Updated 2 months ago
• tvanepps / EthereumDiscordGuidebook
  A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.
  ☆124Updated last year
• security-alliance / safe-harbor
  ☆77Updated 3 weeks ago
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆61Updated 6 months ago
• fjl / geas
  The Good Ethereum Assembler
  ☆137Updated this week
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆71Updated 4 months ago
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated 3 weeks ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆64Updated last week
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆188Updated this week
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 3 years ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆99Updated last year
• paradigmxyz / mesc
  MESC is a specification for how crypto tools configure their RPC endpoints
  ☆175Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 2 years ago
• rdubois-crypto / FreshCryptoLib
  Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
  ☆145Updated last year
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• fireblocks-labs / awesome-eip-7702
  A curated list of content related to EIP-7702 account abstraction
  ☆85Updated last month
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated 2 years ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• RareSkills / noir-puzzles
  ☆60Updated 2 years ago
• ethpandaops / optimism-package
  A kurtosis package for deploying an optimistic rollup
  ☆91Updated 3 weeks ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated last year
• sigp / blockprint
  DEPRECATED block fingerprinting
  ☆95Updated 2 months ago
• MultiMessageAggregation / multibridge
  Send Cross-Chain Messages through Multiple Bridges
  ☆88Updated last year
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆101Updated 2 years ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆105Updated 4 months ago
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆85Updated 2 weeks ago
• chronicleprotocol / scribe
  Extremely performant EVM oracle utilizing aggregated Schnorr signatures
  ☆57Updated last month