GitHub topics: easycrypt
jjanku/fsec
Language: eC - Size: 149 KB - Last synced at: about 17 hours ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0
formosa-crypto/libjade
Crypto library
Language: C - Size: 5.03 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 58 - Forks: 18
Hacker-Code-J/EasyCrypt-CraftCodeLab
Mastering the Art of EasyCrypt Programming
Language: eC - Size: 18.8 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
kjy00302/easycrab
An EasyCrypt decrypter written in Rust
Language: Rust - Size: 7.81 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
ruipedro16/xmss-jasmin
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS)
Language: eC - Size: 1.8 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
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: eC - Size: 1.01 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
dfirsov/easycrypt-one-time-blt-signature
Verified Security of BLT Signature Scheme
Language: eC - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
dfirsov/easycrypt-multiple-time-blt-signature
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
Language: eC - Size: 35.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
dfirsov/comparison-based-non-malleabiltiy-unsat
EasyCrypt proof of unsatisfiability of comparison-based definition of non-malleability for commitments
Language: eC - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
dfirsov/easycrypt-zk-code
EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
Language: eC - Size: 759 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0