Alternatives and similar repositories for protocol-solidity

Users that are interested in protocol-solidity are comparing it to the libraries listed below

• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆60Updated 2 years ago
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆89Updated 3 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• aragonzkresearch / noir-trie-proofs
  ☆69Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• ChihChengLiang / poseidon-tornado
  ☆89Updated 3 years ago
• weijiekoh / zknftmint
  ☆48Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 3 years ago
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆103Updated 3 years ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆76Updated 9 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated last year
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆40Updated last week
• aspectco / cairo-lib
  Library for common cairo functions
  ☆37Updated 3 years ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆74Updated last year
• vplasencia / zkGames
  zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.
  ☆68Updated 3 years ago
• colinnielsen / ecrecover-noir
  A Noir circuit that mimics Solidity's ecrecover
  ☆59Updated last month
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• ethereum / kzg-ceremony-sequencer
  ☆86Updated last year
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆86Updated 3 years ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆77Updated last year
• ChainSafe / Zipline-lightclient
  Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation
  ☆30Updated 2 years ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 3 years ago
• sekai-studio / starknet-libs
  A set of librairies in Cairo for use on StarkNet
  ☆41Updated 3 years ago