worldcoin / iris-mpc

Related projects ⓘ

Alternatives and complementary repositories for iris-mpc

• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆49Updated 5 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• personaelabs / merkle-tree
  ☆31Updated 8 months ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for the OP Stack built on Alloy
  ☆41Updated this week
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated last year
• keep-starknet-strange / poseidon-rs
  Poseidon Rust library
  ☆37Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• flashbots / contender
  run highly configurable benchmarks for eth execution nodes over JSON-RPC
  ☆39Updated this week
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆55Updated this week
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆24Updated this week
• worldcoin / semaphore-mtb
  semaphore-mtb repository
  ☆30Updated 3 weeks ago
• dcbuild3r / ptau-deserializer
  .ptau deserializer for gnark groth16 bn254 trusted setup
  ☆25Updated 5 months ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆22Updated 6 months ago
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆32Updated 6 months ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆29Updated this week
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆24Updated 2 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• HerodotusDev / L2-indexer
  Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
  ☆35Updated last month
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆63Updated this week
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆47Updated last year
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆14Updated 2 weeks ago
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆25Updated 2 weeks ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 11 months ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆30Updated 3 months ago
• angeris / spla-repo
  A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
  ☆20Updated 4 months ago
• jonas089 / L2-sequencer
  L2 Distributed Transaction Sequencer
  ☆24Updated 2 weeks ago