Alternatives and similar repositories for CSE6cubed:

Users that are interested in CSE6cubed are comparing it to the libraries listed below

• SNUCP / celpc
  Rust Code for CELPC
  ☆15Updated 7 months ago
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆17Updated last year
• Orbiter-Finance / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆12Updated 9 months ago
• bkomuves / hash-circuits
  Hashing circuits implemented in circom
  ☆14Updated this week
• icemelon / halo2-tutorial
  ☆9Updated 2 years ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆57Updated 2 weeks ago
• enricobottazzi / designated-verifier-proof
  Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …
  ☆39Updated last year
• gbotrel / zprize-mobile-harness
  ☆19Updated 2 years ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆58Updated last year
• zhenfeizhang / larkworks
  a lattice lib for building snarks
  ☆20Updated 8 months ago
• gy001 / hypercube
  ☆38Updated last year
• NethermindEth / verify-everything
  Aims to create various ZK verifiers on Starknet for network growth
  ☆18Updated 2 months ago
• flock-org / flock-artifact
  A framework for deploying on-demand distributed-trust.
  ☆13Updated 7 months ago
• pluto / circom-correctly-constrained
  a reference on testing and constraining circom
  ☆17Updated 3 months ago
• privacy-scaling-explorations / nova-ml
  ☆24Updated last year
• yuliakot / multiplication_in_big_field
  ☆9Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆45Updated this week
• Janmajayamall / bfv
  ☆26Updated 11 months ago
• Janmajayamall / tfhe-research
  ☆11Updated last year
• dmpierre / sha1-circom
  Generate a zero-knowledge proof for a SHA1 pre-image.
  ☆12Updated 10 months ago
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆86Updated last year
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆34Updated 2 months ago
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆25Updated 3 months ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆49Updated last week
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated last year
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• noir-lang / noir-bignum
  bignum
  ☆16Updated this week
• lyronctk / treasure-house
  Private treasuries enabled by ECDH and ZKPs
  ☆15Updated last year
• TrishaDatta / circom-circuits
  ☆23Updated 2 years ago
• IrreducibleOSS / binius
  A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
  ☆78Updated this week