easycrypt

There are 9 repositories under easycrypt topic.

formosa-crypto/libjade
Crypto library
Language:C53 15 1219
dfirsov/easycrypt-zk-code
EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
Language:eC2 3 00
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:eC2 5 01
Hacker-Code-J/EasyCrypt-CraftCodeLab
Mastering the Art of EasyCrypt Programming
Language:eC1 2 0
ruipedro16/xmss-jasmin
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS)
Language:eC1 2 00
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