Quantum-Blockchains / dilithium
Pure Rust implementation of of the post-quantum CRYSTALS-Dilithium algorithm
☆19Updated last month
Alternatives and similar repositories for dilithium:
Users that are interested in dilithium are comparing it to the libraries listed below
- FHE in the Risc0 zkVM☆25Updated last year
- RLN on KZG☆20Updated last year
- Client side zero-knowledge proving.☆48Updated this week
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆15Updated last week
- Fiat-Shamir for the masses.☆63Updated last week
- The entry point for Rust projects to be run on Valida☆10Updated last month
- Projects from the Succinct ZK Residency☆16Updated 5 months ago
- ☆27Updated last month
- An API compatible port of the Stone prover.☆19Updated 5 months ago
- zkSNARKs as a service using secure multi-party computation.☆29Updated last year
- ☆31Updated last year
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- ☆31Updated last year
- This repository contains my first battle in the ZK war. My enemy: Groth16.☆12Updated last year
- ☆18Updated last week
- Arkworks made simple for us: the non cryptographer software plumbers☆22Updated 2 years ago
- iris-mpc repository☆27Updated this week
- A port of TinySMPC into Rust.☆22Updated last year
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆20Updated 9 months ago
- ☆26Updated last year
- ☆20Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆39Updated this week
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- A ZK-VM for the Brainfuck language, based on Stwo☆29Updated 2 weeks ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- ☆33Updated last year
- Spartan on Arkworks☆41Updated 4 months ago
- Herodotus Data Processor using SP1 as backend☆16Updated 5 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated last week
- client side proving☆28Updated last month