FAEST reference implementation
☆23Sep 21, 2026Updated this week
Alternatives and similar repositories for faest-ref
Users that are interested in faest-ref are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆22Jun 22, 2026Updated 3 months ago
- ☆15Sep 1, 2025Updated last year
- ☆26Feb 20, 2025Updated last year
- Hybrid typenum/const generic arrays☆23Sep 8, 2026Updated 2 weeks ago
- ☆16Mar 11, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆15Sep 28, 2025Updated 11 months ago
- Privacy-Enhancing Technologies via Applied Cryptography Engineering☆34Feb 28, 2025Updated last year
- ☆12May 7, 2021Updated 5 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Aug 14, 2024Updated 2 years ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- Elliptic curve mathematics including Tate and Weil pairings for BLS signatures and zk-SNARK algorithms.☆21Feb 24, 2025Updated last year
- Optimized implementation of ring-TESLA☆11Aug 4, 2016Updated 10 years ago
- ZPiE: Zero-knowledge Proofs in Embedded systems☆33Mar 18, 2026Updated 6 months ago
- MAYO C implementation☆33Sep 9, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Noir support for Zed☆11Mar 23, 2026Updated 6 months ago
- ☆33Updated this week
- ☆11Sep 10, 2024Updated 2 years ago
- Shapley value calculation in Java☆13Dec 14, 2021Updated 4 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- [SIGMOD'25] We show the data chunk compaction problem in vectorized execution, and propose practical compaction solutions.☆14Oct 10, 2025Updated 11 months ago
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- Rust implemention of Ascon☆22Jun 22, 2026Updated 3 months ago
- Universal zero knowledge game engine based on PLONK☆13Feb 7, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆52May 12, 2023Updated 3 years ago
- My master's thesis, on the algebra of topological quantum computing☆20Feb 13, 2014Updated 12 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Implementation of the Covercrypt attributes based encryption algorithm☆25Sep 11, 2026Updated last week
- ☆14Dec 26, 2024Updated last year
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 4 years ago
- Easily send GitHub webhook notifications to IRC☆14Mar 17, 2019Updated 7 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆38Jun 25, 2021Updated 5 years ago
- Performance analysis benchmark suite for the Java Vector API☆21Dec 29, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The world's first (and hopefully last) pure-bash implementation of the LLL algorithm☆19Aug 21, 2023Updated 3 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 14, 2023Updated 3 years ago
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 3 years ago
- Cryptographic Solvency Proofs (schemes, standards, links, edu material)☆14Dec 2, 2022Updated 3 years ago