[New Optimized] This is an optimized C-language library of the qDSA digital signature scheme instantiated with Curve25519.

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.

A rust library implementing side-channel resistant Edwards 521 curve.

Presentations about ECDSA algorithm - held as projects during courses at PoliMi