NilFoundation / crypto3-zk

Related projects ⓘ

Alternatives and complementary repositories for crypto3-zk

• arkworks-rs / spartan
  Spartan on Arkworks
  ☆38Updated 4 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• zksecurity / stark-book
  STARK book
  ☆21Updated 2 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• arkworks-rs / nimue
  Fiat-Shamir for the masses.
  ☆43Updated 2 weeks ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated 2 months ago
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated last year
• NilFoundation / crypto3
  Modern Cryptography Suite in C++17
  ☆80Updated last month
• kwantam / eccons
  elliptic curve construction tool
  ☆17Updated last year
• sigma0-dev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆28Updated 2 months ago
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated 10 months ago
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated 7 months ago
• cfrg / draft-irtf-cfrg-bls-signature
  ☆32Updated 2 years ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆30Updated last month
• halo2-ce / halo2
  ☆28Updated last year
• dusk-network / plonkup
  Proof system with plonkup back-end proving arguments
  ☆14Updated 2 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated 3 months ago
• matter-labs-archive / snarkyGPU
  Research repository for distributed GPU based zkSNARKs prover
  ☆23Updated 6 years ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆21Updated last year
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆21Updated 2 years ago
• DCMMC / ZKFixedPointChip
  ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2
  ☆20Updated last year
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆20Updated this week
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆54Updated this week
• snarkify / arkmsm
  ☆45Updated last year
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆16Updated last year
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 3 months ago
• w3f / fflonk
  ☆27Updated 6 months ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆12Updated last year