我们通过Jasmin工具链在汇编程序中实现了Schnorr证明系统，并证明了其安全性（知识证明和零知识证明...，
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. (2023-10-06, eC, 0KB, 下载0次)