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

Users that are interested in go-circom-prover-verifier are comparing it to the libraries listed below

• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 6 years ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆92Updated last year
• arnaucube / kzg-commitments-study
  Kate-Zaverucha-Goldberg Polynomial Commitments
  ☆29Updated 3 years ago
• iden3 / rapidsnark-old
  fast zksnark prover
  ☆120Updated last year
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 6 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated last year
• barryWhiteHat / plonk_tutorial
  ☆82Updated 4 years ago
• musalbas / solidity-BN256G2
  Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.
  ☆57Updated 10 months ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated 2 years ago
• rollupnc / RollupNC
  non-custodial exchange build with rollup
  ☆104Updated 2 years ago
• vocdoni / go-snark
  zkSNARK Groth16 prover & verifier
  ☆37Updated 5 months ago
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆72Updated 2 years ago
• GuthL / roll_up_circom_tutorial
  This repository contains a tutorial on how to build roll_up with Circom
  ☆84Updated 6 years ago
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆42Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆103Updated 3 years ago
• iden3 / go-iden3-core
  Go core implementation of the iden3 system
  ☆95Updated 4 months ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆36Updated 2 years ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆41Updated last year
• crate-crypto / go-eth-kzg
  ☆32Updated 2 weeks ago
• fluidex / plonkit
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆160Updated 2 years ago
• crate-crypto / go-ipa
  A Go implementation of cryptographic primitives for Verkle Trees
  ☆35Updated last year
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆119Updated 2 years ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆81Updated 3 years ago
• glamperd / snark-example
  ZK-SNARK snarkjs and circom exercises
  ☆56Updated 6 years ago
• kobigurk / phase2-bn254
  ☆72Updated last year
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• iden3 / go-iden3-crypto
  Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib
  ☆141Updated 7 months ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆43Updated 11 months ago