iden3 / go-circom-prover-verifier

Related projects ⓘ

Alternatives and complementary repositories for go-circom-prover-verifier

• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆21Updated 5 months ago
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• vocdoni / go-snark
  zkSNARK Groth16 prover & verifier
  ☆36Updated last year
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• arnaucube / kzg-commitments-study
  Kate-Zaverucha-Goldberg Polynomial Commitments
  ☆28Updated 3 years ago
• crate-crypto / go-ipa
  A Go implementation of cryptographic primitives for Verkle Trees
  ☆32Updated 4 months ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆90Updated 11 months ago
• GuthL / roll_up_circom_tutorial
  This repository contains a tutorial on how to build roll_up with Circom
  ☆84Updated 5 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆26Updated last year
• iden3 / rapidsnark-old
  fast zksnark prover
  ☆119Updated last year
• iden3 / go-rapidsnark
  go-rapidsnark
  ☆20Updated 2 months ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆78Updated 2 years ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• vocdoni / storage-proofs-eth-go
  Golang library and utility for extracting erc20 token balances from EVM storage proofs
  ☆32Updated 7 months ago
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 6 years ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• musalbas / solidity-BN256G2
  Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.
  ☆53Updated 2 weeks ago
• barryWhiteHat / plonk_tutorial
  ☆78Updated 4 years ago
• arnaucube / poseidon-rs
  Poseidon hash function
  ☆73Updated last year
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated 10 months ago
• Zokrates / pycrypto
  Crypto application code for the zkSNARKs toolbox ZoKrates
  ☆52Updated 8 months ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆36Updated 5 years ago
• kendricktan / simple-zk-rollups
  Simple zk roll-ups
  ☆37Updated last year
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆113Updated 3 years ago
• hashcloak / stoffelMPC
  ☆41Updated 11 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• Pratyush / algebra-intro
  ☆42Updated 3 years ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 2 months ago