Alternatives and similar repositories for delay-encryption-in-halo2

Users that are interested in delay-encryption-in-halo2 are comparing it to the libraries listed below

• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• DelphinusLab / zkWasm-host-circuits
  ☆25Updated this week
• EDGDrummond / EF-grant
  ☆23Updated last year
• succinctlabs / hypercube-verifier
  ☆38Updated last month
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated 10 months ago
• privacy-scaling-explorations / poseidon
  ☆42Updated 11 months ago
• vacp2p / zk-explorations
  ☆31Updated last year
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆31Updated last month
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• succinctlabs / plonky3
  ☆23Updated 6 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆16Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆63Updated last year
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated last month
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated 9 months ago
• 0xPolygon / zkasmcom
  This repo compiles .zkasm to a json ready for the zkExecutor
  ☆31Updated 8 months ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• privacy-scaling-explorations / zkevm-docs
  AppliedZKP's zkEVM Documentation
  ☆25Updated 11 months ago
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆36Updated last year
• eth-act / zkevm-benchmark-workload
  zkEVM benchmarking toolbox
  ☆26Updated this week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• DelphinusLab / zkWasm-prover
  ☆20Updated 3 months ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 9 months ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 2 weeks ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated 2 years ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated 2 months ago