Alternatives and similar repositories for circom-correctly-constrained:

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

• zkemail / noir-jwt
  Noir library to verify JWT tokens, and prove claims.
  ☆16Updated last week
• jtguibas / halo2-merkle-tree
  ☆17Updated last year
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• yuliakot / multiplication_in_big_field
  ☆9Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• chancehudson / circom-stark
  ☆12Updated last month
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆30Updated 5 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆13Updated this week
• lyronctk / zijkstra
  Proving shortest paths with recursive SNARKs
  ☆12Updated last year
• Janmajayamall / bfv
  ☆26Updated 10 months ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆16Updated 9 months ago
• DoHoonKim8 / stark-verifier
  ☆48Updated 10 months ago
• dmpierre / ark-superspartan
  An arkworks implementation of the superspartan PIOP
  ☆13Updated 4 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆48Updated last year
• Dhole / polyexen
  Polynomial Expression Engine
  ☆34Updated 11 months ago
• ed255 / polyexen-demo
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆30Updated 11 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• 0xturboblitz / totem
  Behold the almighty 🗿totem🗿
  ☆17Updated 3 months ago
• geometryxyz / halo2-cq
  ☆14Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• sragss / gpu-sumcheck
  ☆11Updated 4 months ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated last year
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆21Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆29Updated this week
• dan-aztec / aztec-lwe-auction
  ☆10Updated last year
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆24Updated 2 months ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆46Updated last year