Alternatives and similar repositories for quantum-lattice

Users that are interested in quantum-lattice are comparing it to the libraries listed below

• VadimLyubash / LatticeTutorial
  ☆12Updated 3 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆39Updated this week
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated last month
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆39Updated last month
• friends-of-quaternions / deuring
  ☆14Updated last year
• LearningToSQI / SQISign-SageMath
  ☆43Updated 2 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆71Updated 2 years ago
• tfhe / spqlios-arithmetic
  spqlios arithmetic library for FHE and post-quantum crypto
  ☆24Updated 2 months ago
• fairmath / openfhe-rs
  OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
  ☆53Updated 7 months ago
• cryptobern / thetacrypt
  Design and implementation of a threshold-cryptography library
  ☆18Updated 8 months ago
• jellevos / oraqle
  A depth-aware secure computation compiler
  ☆17Updated 4 months ago
• rust-crypto-labs / lll-rs
  Implementation of Lenstra-Lenstra-Lovász lattice basis reduction algorithm in Rust
  ☆12Updated 3 years ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• zkFHE / zkOpenFHE
  A ZKP-augmented fork of the OpenFHE library
  ☆19Updated last year
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆29Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆71Updated 2 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆27Updated last year
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated 3 weeks ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆108Updated this week
• fmlab-iis / cryptoline
  ☆53Updated 2 weeks ago
• formosa-crypto / libjade
  Crypto library
  ☆66Updated this week
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆50Updated 2 years ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 4 months ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆26Updated last year
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆14Updated last year
• octaviopk9 / lattice-based-cryptography
  Reference repository on Lattice-based Cryptography
  ☆26Updated 11 months ago
• malb / oxford-lattice-school-lessons
  ☆20Updated 6 years ago
• lducas / BDD-note
  ☆12Updated 4 years ago
• Veridise / llzk-lib
  Library for parsing, generating, and analyzing LLZK code.
  ☆21Updated last week