practical quantum-secure key encapsulation from generic lattices
☆31Oct 28, 2025Updated last year
Alternatives and similar repositories for frodo
Users that are interested in frodo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Falcon signature and its ZKP extensions☆23Jul 5, 2022Updated 4 years ago
- A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.☆13Dec 13, 2021Updated 4 years ago
- IO engine for Nim.☆10Jul 8, 2024Updated 2 years ago
- ☆11May 6, 2026Updated 5 months ago
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Deep Learning w/ Nim using Arraymancer☆12Mar 1, 2022Updated 4 years ago
- Binary Editor☆24Jul 17, 2025Updated last year
- implentation of Ligerito☆20Apr 16, 2026Updated 6 months ago
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago
- A Rust library for finite-field arithmetic, elliptic-curve operations, isogeny scaffolding, and higher-level elliptic-curve protocols.☆29Jun 19, 2026Updated 4 months ago
- FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservati…☆167Sep 15, 2026Updated last month
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- A CAT-Q-style ternary quantization trainer for Qwen3, with MLX export for Apple silicon.☆10Sep 8, 2026Updated last month
- A Nim desktop shadertoy fragment shader player☆12Sep 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A tool for generating procedural wallpapers with ImageMagick☆14Oct 4, 2026Updated 3 weeks ago
- MSR LatticeCrypto library http://research.microsoft.com/en-us/projects/latticecrypto/☆14May 25, 2016Updated 10 years ago
- Adaptive Neuro-Symbolic Network Agent☆14Oct 11, 2018Updated 8 years ago
- Kryten is a CLI tool to ask questions and get sourced answers from any .pdf, .doc, .docx, and many more documents.☆15Jan 23, 2024Updated 2 years ago
- A python implementation of the signature scheme Falcon☆201Jan 13, 2026Updated 9 months ago
- qTESLA Library, an optimized implementation of the post-quantum lattice-based digital signature scheme qTESLA.☆27Aug 31, 2022Updated 4 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- a lib for bls signature in golang☆11Nov 29, 2020Updated 5 years ago
- Source files for ZKDL Lectures☆58Updated this week
- 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.
- ☆30Apr 6, 2022Updated 4 years ago
- NIST P elliptic curves (re-exported from crypto/internal/nistec)☆52Oct 31, 2025Updated last year
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆11Jan 27, 2022Updated 4 years ago
- ☆11Mar 30, 2022Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- This repository is for the development of a fault simulator simulating different kinds of attacks on ARM M33 processors☆13Oct 2, 2026Updated last month
- Very simple window manager written in nim☆19Jun 7, 2019Updated 7 years ago
- AIS 31 Test Suite from BSI, Version 1.0☆12Jul 4, 2020Updated 6 years ago
- DY* with extrinsic proofs☆16Oct 22, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆19Jan 24, 2021Updated 5 years ago
- ☆16Jan 8, 2018Updated 8 years ago
- High Assurance Cryptography☆18Updated this week
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- High level wrapper over OpenCL☆21Feb 11, 2019Updated 7 years ago
- fullVerif tool for verification of masked hardware implementations☆11Aug 20, 2024Updated 2 years ago
- MAYO C implementation☆34Sep 9, 2026Updated last month