Alternatives and similar repositories for circom-correctly-constrained

Users that are interested in circom-correctly-constrained are comparing it to the libraries listed below

• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆25Updated 9 months ago
• chancehudson / circom-stark
  ☆14Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆56Updated 9 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• privacy-ethereum / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Updated last year
• crate-crypto / rust-eth-kzg
  ☆31Updated 3 months ago
• Janmajayamall / ObliviousMessageRetrieval-Old
  ☆17Updated 2 years ago
• pluto / edge
  client side proving
  ☆39Updated 10 months ago
• succinctlabs / hypercube-verifier
  ☆46Updated last month
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆21Updated 2 years ago
• NP-Eng / gkr_tutorial
  ☆12Updated 2 years ago
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated last year
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Updated 2 years ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆59Updated 2 years ago
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated 2 years ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated 2 years ago
• shuklaayush / halo2-lib-eddsa
  halo2-lib-eddsa
  ☆11Updated 2 years ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆40Updated 11 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆80Updated last year
• succinctlabs / sp1-tee
  ☆26Updated 4 months ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆23Updated 2 years ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆35Updated this week
• ed255 / polyexen-demo
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Updated last year
• zk-kit / zk-kit.noir
  A monorepo of reusable Noir circuits.
  ☆47Updated 2 weeks ago
• lambdaclass / noir_backend_using_gnark
  A Noir's backend implementation using Gnark
  ☆35Updated last year
• zkemail / noir-jwt
  Noir library to verify JWT tokens, and prove claims.
  ☆32Updated 2 months ago
• privacy-ethereum / zkspecs
  ☆24Updated 11 months ago
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated last year