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