arnaucube / go-bellman-verifier

Related projects ⓘ

Alternatives and complementary repositories for go-bellman-verifier

• AztecProtocol / plonk-with-lookups
  ☆18Updated 4 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆30Updated 5 years ago
• roynalnaruto / range_proof
  PoC implementation of polynomial commitment scheme based Range Proofs
  ☆12Updated last year
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated 6 months ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated last year
• celo-org / plumo-prover
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Updated 2 years ago
• ZeroKnowledgefm / STARKs
  A spot to start collecting info about STARKs for our study group
  ☆11Updated 2 years ago
• nikkolasg / snarkpack
  snarkpack for arkwork
  ☆21Updated last year
• matter-labs / ff
  Traits and utilities for working with finite fields
  ☆17Updated 2 months ago
• privacy-scaling-explorations / rln
  ☆18Updated last year
• khovratovich / Kate
  ☆25Updated 2 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated last year
• crate-crypto / proto-danksharding-crypto
  ☆12Updated last year
• thehubbleproject / contracts
  Smart contracts for OPRHub protocol ✌🏻
  ☆12Updated 4 years ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• arielgabizon / plonk-addendum
  ☆11Updated 3 years ago
• rust-blockchain / verkle
  ☆14Updated 3 years ago
• 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 3 years ago
• kilic / cyclone-msm-expreriment
  ☆10Updated 9 months ago
• ethresearch / Shuffle_SSLE
  ☆14Updated 4 years ago
• vocdoni / halo2-franchise-proof
  ☆10Updated 2 years ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆12Updated 5 months ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• ed255 / polyexen-demo
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Updated 8 months ago
• trepca / multi-party-ecdsa
  Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
  ☆10Updated 5 years ago