Alternatives and similar repositories for TrustBoost

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

• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 6 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆93Updated 2 years ago
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆49Updated 3 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆91Updated 4 years ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆36Updated 2 years ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆58Updated 4 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆54Updated last year
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated 2 years ago
• Pratyush / algebra-intro
  ☆42Updated 4 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆54Updated 2 years ago
• iden3 / go-circom-prover-verifier
  Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
  ☆42Updated last year
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated last year
• PhilippSchindler / EthDKG
  Ethereum-based Distributed Key Generation Protocol
  ☆57Updated 3 years ago
• celo-org / celo-bls-snark-rs
  Implements SNARK-friendly BLS signatures
  ☆87Updated last year
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆41Updated 5 years ago
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 4 years ago
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆21Updated 4 years ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 6 years ago
• khovratovich / Kate
  ☆27Updated 3 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• 3for / learning-ZKP-from-zero-to-one
  Some tips for new learners of ZKP
  ☆28Updated 4 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated 2 years ago
• musalbas / solidity-BN256G2
  Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.
  ☆57Updated last year
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 5 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆91Updated 2 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 2 years ago
• barryWhiteHat / plonk_tutorial
  ☆81Updated 5 years ago
• hyperproofs / hyperproofs-go
  ☆22Updated last year
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆53Updated last year