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
  ☆104Updated 2 weeks ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆118Updated last week
• ReamLabs / ream
  ream: an Ethereum Beam client written in Rust
  ☆53Updated this week
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆55Updated last week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆83Updated last year
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆68Updated 11 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆55Updated 2 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆96Updated 3 months ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆32Updated 6 months ago
• get-smooth / crypto-lib
  A Cryptographic Library for Smooth Blockchain uses
  ☆69Updated 2 months ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆50Updated this week
• RareSkills / noir-puzzles
  ☆53Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆78Updated this week
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆47Updated 6 months ago
• symbioticfi / core
  Symbiotic Core smart contracts
  ☆43Updated this week
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆85Updated 2 months ago
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆96Updated 2 years ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆47Updated last week
• lightclient / sys-asm
  Ethereum system contract implementations (asm)
  ☆35Updated 2 months ago
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆53Updated last month
• 0xPolygonHermez / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated 8 months ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆104Updated 2 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated last year
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆95Updated this week
• 0xPolygonHermez / zisk
  ☆51Updated this week
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆73Updated 11 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆50Updated last week