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
  ☆113Updated last month
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆58Updated last week
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆38Updated this week
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• 0xPolygonHermez / zisk
  ☆82Updated this week
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆61Updated 2 weeks ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆43Updated 3 months ago
• RareSkills / noir-puzzles
  ☆54Updated last year
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆98Updated 2 years ago
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆60Updated last month
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆138Updated this week
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆50Updated 9 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• OpenZeppelin / openzeppelin-community-contracts
  Solidity library of smart contracts from the OpenZeppelin Community
  ☆55Updated this week
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆63Updated this week
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated 9 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 6 months ago
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆152Updated this week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆83Updated last year
• NethermindEth / rollup-geth
  Fork of go-ethereum tailored for L2 Rollups
  ☆27Updated last month
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 7 months ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆32Updated 9 months ago
• security-alliance / safe-harbor
  ☆74Updated 4 months ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆69Updated last year
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆75Updated 7 months ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆56Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆103Updated 5 months ago