yifanzhang-pro / quantum-latticeLinks
Official Project Page for "Exact Coset Sampling for Quantum Lattice Algorithms" (https://arxiv.org/abs/2509.12341)
☆18Updated last week
Alternatives and similar repositories for quantum-lattice
Users that are interested in quantum-lattice are comparing it to the libraries listed below
Sorting:
- A formal verification of Linear PCP SNARKs.☆57Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆40Updated 2 months ago
- Design and implementation of a threshold-cryptography library☆18Updated 9 months ago
- Implementation of Lenstra-Lenstra-Lovász lattice basis reduction algorithm in Rust☆12Updated 3 years ago
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆72Updated 2 years ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆53Updated 8 months ago
- Solves systems of polynomial equations.☆29Updated last month
- spqlios arithmetic library for FHE and post-quantum crypto☆24Updated 2 weeks ago
- SageMath library for constructing elliptic curves☆71Updated 2 years ago
- ☆12Updated 4 months ago
- A ZKP-augmented fork of the OpenFHE library☆20Updated last year
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated 2 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 3 years ago
- Formally Verified Arguments of Knowledge in Lean☆121Updated last week
- Experiments with Universal Composability in EasyCrypt☆40Updated last week
- Reference repository on Lattice-based Cryptography☆26Updated last year
- Examples for EasyCrypt Lectures☆26Updated 2 months ago
- Describe elliptic curves☆35Updated 4 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆29Updated last year
- Super Amazing Universal Composability, Yeah!☆32Updated 3 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- ☆66Updated last year
- The modular protocol framework based on Universal Composability☆18Updated 5 years ago
- ☆30Updated 3 years ago
- Lean circuit DSL☆104Updated last week
- Formalized Cryptography Proofs in Lean 4☆47Updated this week
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Updated last year
- ☆44Updated 2 years ago
- Elliptic curve search experiments☆35Updated 2 years ago