Crypto library
-
Updated
Oct 9, 2024 - C
#
easycrypt
Here are 9 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
EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
-
Updated
Jun 1, 2023 - eC
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."