barrett-reduction

There are 3 repositories under barrett-reduction topic.

  • niekbouman/ctbignum

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

    Language:C++113142911

  • penemue/modular-arithmetik

    Tiny Kotlin DSL for modular arithmetik

    Language:Kotlin3200

  • dfirsov/jasmin-zk

    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.

    Language:eC2501