4 skills found
niekbouman / CtbignumLibrary for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)
Klinola / GPUMPMultiple-Precision Arithmetic and Barrett Reduction on GPU
dfirsov / Jasmin ZkWe 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.
diwenshi61 / Barrett ReductionA python script that generates VHDL files describing steps for a modular reduction in hardware