kobigurk / phase2-bn254

Related projects ⓘ

Alternatives and complementary repositories for phase2-bn254

• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆67Updated 8 months ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆78Updated 2 years ago
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated 9 months ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆91Updated last year
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆82Updated 3 months ago
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆106Updated last year
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 11 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 9 months ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 3 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 3 months ago
• axiom-crypto / axiom-eth
  ☆94Updated 3 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• starkware-libs / veedo
  ☆77Updated 4 years ago
• EspressoSystems / cap
  Configurable Asset Privacy
  ☆33Updated 10 months ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆69Updated last year
• privacy-scaling-explorations / snark-verifier
  ☆147Updated 8 months ago
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆77Updated last week
• privacy-scaling-explorations / halo2wrong
  ☆117Updated 2 months ago
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆61Updated last year
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆96Updated 2 months ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 2 months ago
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• plume-sig / zk-nullifier-sig
  Implementation of PLUME: nullifier friendly signature scheme on ECDSA
  ☆134Updated last week
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 2 years ago
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆50Updated 2 months ago
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆102Updated last year
• yi-sun / zk-attestor
  ☆131Updated 2 years ago