iden3 / go-circom-prover-verifier

Related projects ⓘ

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

• arnaucube / kzg-commitments-study
  Kate-Zaverucha-Goldberg Polynomial Commitments
  ☆28Updated 2 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆21Updated 4 months ago
• vocdoni / go-snark
  zkSNARK Groth16 prover & verifier
  ☆36Updated last year
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• musalbas / solidity-BN256G2
  Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.
  ☆53Updated last year
• iden3 / go-rapidsnark
  go-rapidsnark
  ☆20Updated last month
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆77Updated 2 years ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆37Updated 2 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆26Updated last year
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• vocdoni / storage-proofs-eth-go
  Golang library and utility for extracting erc20 token balances from EVM storage proofs
  ☆32Updated 6 months ago
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated 9 months ago
• gakonst / solidity-bls
  BLS threshold signature verification in Solidity
  ☆18Updated 6 years ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆90Updated 11 months ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• barryWhiteHat / plonk_tutorial
  ☆78Updated 3 years ago
• GuthL / roll_up_circom_tutorial
  This repository contains a tutorial on how to build roll_up with Circom
  ☆84Updated 5 years ago
• crate-crypto / go-ipa
  A Go implementation of cryptographic primitives for Verkle Trees
  ☆32Updated 3 months ago
• iden3 / rapidsnark-old
  fast zksnark prover
  ☆120Updated 11 months ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 10 months ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆32Updated 2 years ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• celer-network / brevis-circuits
  ☆17Updated last year
• zkp-application / circom-rsa-verify
  Zero Knowledge Proof for RSA
  ☆51Updated last year
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆54Updated 2 weeks ago
• Zokrates / pycrypto
  Crypto application code for the zkSNARKs toolbox ZoKrates
  ☆52Updated 7 months ago
• hashcloak / stoffelMPC
  ☆40Updated 10 months ago
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆69Updated last year
• kevaundray / plookup
  ☆37Updated 2 years ago