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
  ☆107Updated last month
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆29Updated this week
• ZK-University / ZKU
  Zero-Knowledge University
  ☆32Updated 7 months ago
• ReamLabs / ream
  ream: an Ethereum Beam client written in Rust
  ☆58Updated this week
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆130Updated this week
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated last year
• lightclient / sys-asm
  Ethereum system contract implementations (asm)
  ☆41Updated last month
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆57Updated this week
• ipsilon / eof
  Validation code for the EOF specification
  ☆53Updated this week
• RareSkills / noir-puzzles
  ☆54Updated last year
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆53Updated this week
• 0xPolygonHermez / zisk
  ☆73Updated this week
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• 0xPolygonHermez / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆89Updated 9 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆58Updated last month
• smartcontracts / etherea
  The limits of my language are the limits of my world.
  ☆32Updated 4 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆56Updated 3 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 2 months ago
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆48Updated 7 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆68Updated last year
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆50Updated 2 weeks ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆58Updated 11 months ago
• chronicleprotocol / scribe
  Extremely performant EVM oracle utilizing aggregated Schnorr signatures
  ☆55Updated 2 months ago
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆136Updated this week
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆97Updated 2 years ago
• Certora / Quorum
  ☆14Updated last week