Crypto library
-
Updated
Dec 9, 2025 - C
#
easycrypt
Here are 11 public repositories matching this topic...
We implement the Schnorr proof system in assembler via the Jasmin toolchain, and prove the security (proof-of-knowledge and zero-knowledge) and the absence of leakage through timing side-channels of that implementation in EasyCrypt.
cryptography modular-arithmetic barrett-reduction rejection-sampling formal-verification jasmin zero-knowledge montgomery-ladder schnorr-protocol easycrypt
-
Updated
Oct 6, 2023 - eC
-
Updated
Apr 16, 2026 - eC
EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
-
Updated
Jun 1, 2023 - eC
🔏 VRIL-KEM is a post-quantum Key Encapsulation Mechanism (KEM) built on Module Learning With Errors (M-LWE). It provides a drop-in replacement for classical key exchange in any TLS, SSH, or application-layer protocol — protecting encrypted communications against both classical and quantum adversaries.
nist encryption c99 clang gnu encryption-algorithms post-quantum-cryptography encryption-decryption post-quantum pqcrypto pqc post-quantum-security post-quantum-encryption post-quantum-kem easycrypt nist-pqc pqc-migration
-
Updated
Jun 28, 2026
Verified Security of BLT Signature Scheme
-
Updated
Aug 10, 2022 - eC
EasyCrypt proof of unsatisfiability of comparison-based definition of non-malleability for commitments
-
Updated
Aug 9, 2022 - eC
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
-
Updated
Aug 10, 2022 - eC
Improve this page
Add a description, image, and links to the easycrypt topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the easycrypt topic, visit your repo's landing page and select "manage topics."