easycrypt

There are 10 repositories under easycrypt topic.

formosa-crypto/libjade
Crypto library
Language:C66 13 1218
dfirsov/jasmin-zk
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.
Language:eC5 5 02
dfirsov/easycrypt-zk-code
EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
Language:eC2 3 00
ruipedro16/xmss-jasmin
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS) & proof of correctness in EasyCrypt
Language:eC2 2 00
Hacker-Code-J/EasyCrypt-CraftCodeLab
Mastering the Art of EasyCrypt Programming
Language:eC1 1 00
jjanku/fsec
Language:eC10
dfirsov/comparison-based-non-malleabiltiy-unsat
EasyCrypt proof of unsatisfiability of comparison-based definition of non-malleability for commitments
Language:eC0 2 00
dfirsov/easycrypt-multiple-time-blt-signature
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
Language:eC0 2 00
dfirsov/easycrypt-one-time-blt-signature
Verified Security of BLT Signature Scheme
Language:eC0 2 00
kjy00302/easycrab
An EasyCrypt decrypter written in Rust
Language:Rust1 0