Schnorr protocol in Jasmin

ePrint Report: Schnorr protocol in Jasmin

Denis Firsov, Tiago Oliveira, Dominique Unruh

We implement the Schnorr proof system in assembler via the Jasmin toolchain, and prove the security (proof-of-knowledge property) and the absence of leakage through timing side-channels of that implementation in EasyCrypt.


In order to do so, we show how leakage-freeness of Jasmin programs can be proven for probabilistic programs (that are not constant-time). We implement and verify algorithms for fast constant-time modular multiplication and exponentiation (using Barrett reduction …

assembler eprint report implementation knowledge order protocol prove report security system