matteocam / citerus

Related projects ⓘ

Alternatives and complementary repositories for citerus

• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆26Updated 3 weeks ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• AarhusCrypto / Mozzarella
  Vector OLE and zero-knowledge for Z2k. https://ia.cr/2022/819
  ☆16Updated last year
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 4 years ago
• menonsamir / ypir
  ☆16Updated 3 months ago
• SNUCP / celpc
  Rust Code for CELPC
  ☆11Updated 5 months ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated last year
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆80Updated 9 months ago
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆23Updated last year
• KULeuven-COSIC / Marvellous
  The instance generator of the Vision and Rescue block ciphers.
  ☆16Updated 2 years ago
• kwantam / eccons
  elliptic curve construction tool
  ☆17Updated last year
• crypto-ninjaturtles / montgomery4x
  Fast 4 way vectorized ladder for the complete set of Montgomery curves
  ☆10Updated 5 years ago
• edwjchen / Silph
  ☆11Updated last year
• toonsegers / verifiable_mpc
  A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…
  ☆25Updated 8 months ago
• pianopir / Piano-PIR
  Piano: Extremely Simple, Single-server Private Information Retrieval with Sublinear Server Computation
  ☆33Updated last month
• cryptobiu / MATRIX
  MPC Simulation Framework
  ☆24Updated last year
• lattice-dogs / labrador
  ☆23Updated 2 months ago
• eniac / incpir
  Incremental Offline/Online PIR
  ☆14Updated 7 months ago
• zhenfeizhang / larkworks
  a lattice lib for building snarks
  ☆20Updated 5 months ago
• wborgeaud / python-bulletproofs
  Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…
  ☆25Updated last year
• emp-toolkit / emp-ag2pc
  Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation
  ☆23Updated last year
• hadasz / plonkish_basefold
  ☆27Updated 2 weeks ago
• anemoi-hash / anemoi-hash
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆13Updated last year
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆42Updated this week
• AntCPLab / malicious_3pc_binary
  The repo of "Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference"
  ☆17Updated last year
• FranklinZty / KiloNova-poc
  A proof-of-concept implementation of KiloNova
  ☆9Updated 3 weeks ago
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits
  ☆17Updated 3 years ago
• therealyingtong / ultraplonk-workshop
  ☆10Updated 2 years ago
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆21Updated 2 years ago