MQuaresma / pswooshView external linksLinks
Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
☆27Jun 7, 2024Updated last year
Alternatives and similar repositories for pswoosh
Users that are interested in pswoosh are comparing it to the libraries listed below
Sorting:
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated last week
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- ☆11Nov 11, 2022Updated 3 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Dec 13, 2023Updated 2 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- Latex classes for IACR publications.☆15Updated this week
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- ☆16Feb 6, 2026Updated last week
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆71Updated this week
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- snarkpack for arkwork☆21Jun 11, 2023Updated 2 years ago
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- ☆17Aug 26, 2025Updated 5 months ago
- An implementation of the DudeCT constant-time function tester☆25Sep 18, 2023Updated 2 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆15Dec 29, 2022Updated 3 years ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 5 months ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Rust crypto library for zero-knowledge proofs☆19Jan 14, 2026Updated last month
- ☆23Sep 12, 2025Updated 5 months ago
- This is only the beginning.☆19Feb 4, 2026Updated last week
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- Minimal JS implementation of older cryptography algorithms: RSA, DSA, DH.☆22Dec 9, 2025Updated 2 months ago
- Formal verification of the zkWasm project☆16Aug 13, 2024Updated last year
- ZK Benchmarking Suite☆23Mar 15, 2024Updated last year
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆36Oct 10, 2024Updated last year
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 10 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Jun 26, 2024Updated last year