Alternatives and similar repositories for zkcreds-rs:

Users that are interested in zkcreds-rs are comparing it to the libraries listed below

• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆122Updated 11 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆68Updated 8 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• caulk-crypto / caulk
  ☆112Updated last year
• lattice-dogs / labrador
  ☆28Updated this week
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆42Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆44Updated 3 weeks ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 11 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆37Updated last year
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆85Updated 2 years ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆57Updated 3 years ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆159Updated this week
• privacy-scaling-explorations / greco
  ☆73Updated last month
• TrishaDatta / circom-circuits
  ☆23Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated 11 months ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆100Updated 2 months ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 2 years ago
• brave-experiments / DiStefano
  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
  ☆27Updated last month
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆38Updated 4 years ago
• tsunrise / sumcheck_multilinear
  A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf
  ☆9Updated 4 years ago
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆24Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆78Updated 10 months ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆292Updated 6 months ago
• guruvamsi-policharla / silent-threshold-encryption
  A silent threshold encryption scheme, which does not require any interaction during the setup phase.
  ☆32Updated 2 months ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated 2 years ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆49Updated last month
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• sourav1547 / adkg
  ☆24Updated 2 years ago
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆197Updated 2 weeks ago