Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)

Tiny Kotlin DSL for modular arithmetik

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.

BBP Type Formulas for Calculating the nth-digit of Pi Concurrently.