nirvantyagi / versa

Related projects ⓘ

Alternatives and complementary repositories for versa

• GarryFCR / Rsa_Zkp
  An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark
  ☆11Updated 8 months ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 4 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆52Updated 5 months ago
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆149Updated 10 months ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆57Updated 3 years ago
• lazer-crypto / lazer
  ☆17Updated last month
• generalized-channels / gc
  A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.
  ☆12Updated 2 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆84Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆110Updated 8 months ago
• initc3 / HoneyBadgerMPC
  Robust MPC-based confidentiality layer for blockchains
  ☆133Updated 3 years ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆125Updated last year
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• oleiba / RSA-accumulator
  Cryptographic accumulator based on the strong RSA assumption, Python & Solidity
  ☆74Updated 5 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆28Updated last month
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆63Updated last year
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• jdwhite48 / groth-sahai-rs
  A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
  ☆12Updated 3 months ago
• slowli / elastic-elgamal
  ElGamal encryption and related zero-knowledge proofs
  ☆16Updated this week
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆79Updated 4 years ago
• thyuen / dualring
  ☆8Updated 2 years ago
• xevisalle / zpie
  ZPiE: Zero-knowledge Proofs in Embedded systems
  ☆23Updated last year
• alinush / libpolycrypto
  (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…
  ☆31Updated 9 months ago
• StarLI-Trapdoor / libsnark_sample
  Example to create merkle path proof using libsnark
  ☆45Updated 4 years ago
• arcalinea / bellman-examples
  examples for bellman zk-snarks library
  ☆75Updated 6 years ago
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆81Updated 9 months ago
• akosba / xjsnark
  A high-level framework for developing efficient zk-SNARK circuits
  ☆184Updated last year
• ZenGo-X / zk-paillier
  A collection of Paillier cryptosystem zero knowledge proofs
  ☆114Updated last year
• zkpstandard / zkreference
  The official repository hosting the ZKProof Community Reference & Proposals documents.
  ☆102Updated 2 years ago