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
  ☆111Updated 3 weeks ago
• RareSkills / noir-puzzles
  ☆54Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆136Updated 2 weeks ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆58Updated this week
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆42Updated 2 months ago
• ReamLabs / ream
  ream: an Ethereum Beam client written in Rust
  ☆72Updated this week
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆99Updated 2 years ago
• 0xPolygonHermez / zisk
  ☆79Updated this week
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated 8 months ago
• ethpandaops / optimism-package
  A kurtosis package for deploying an optimistic rollup
  ☆78Updated this week
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆36Updated last week
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆97Updated 6 months ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆100Updated 4 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆105Updated last week
• 0xPolygonHermez / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆89Updated 11 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆51Updated last month
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆75Updated 6 months ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆68Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆97Updated 8 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years 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…
  ☆60Updated last week
• ethpandaops / dencun-devnets
  Infrastructure code used to setup EIP4844 dev/testnets.
  ☆40Updated last year
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆81Updated 3 weeks ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 5 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆62Updated last week
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆141Updated this week
• symbioticfi / core
  Symbiotic Core smart contracts
  ☆50Updated 3 weeks ago