Alternatives and similar repositories for spiral-rs

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

• lattice-dogs / labrador
  ☆36Updated 2 months ago
• mmaker / tinybear
  ☆24Updated 2 months ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆32Updated 6 months ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆51Updated 3 months ago
• Pratyush / algebra-intro
  ☆42Updated 3 years ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆37Updated last year
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆82Updated last year
• fairmath / openfhe-rs
  OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
  ☆50Updated 2 months ago
• KULeuven-COSIC / vFHE
  ☆10Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆59Updated last year
• sunblaze-ucb / Orion
  ☆25Updated 2 years ago
• zhenfeizhang / squirrel
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Updated last year
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆26Updated last year
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 3 years ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆41Updated 4 months ago
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆23Updated last year
• Crypto-TII / fhegen
  ☆16Updated last month
• guruvamsi-policharla / silent-threshold-encryption
  A silent threshold encryption scheme, which does not require any interaction during the setup phase.
  ☆34Updated this week
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆28Updated 3 years ago
• GottfriedHerold / Chipmunk
  ☆11Updated 8 months ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated last year
• zama-ai / concrete-ntt
  ☆18Updated 5 months ago
• hyperproofs / hyperproofs-go
  ☆22Updated 4 months ago
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆24Updated 3 years ago
• kevaundray / plookup
  ☆40Updated 2 years ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆16Updated this week
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated 9 months ago
• td-kwj-zp2023 / webgpu-msm-bls12-377
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆13Updated 5 months ago
• brave-experiments / DiStefano
  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
  ☆28Updated 3 weeks ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆38Updated 2 months ago