dfirsov / jasmin-zk Goto Github PK
View Code? Open in Web Editor NEWWe 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.