Crypto.Fi

This is a thin wrapper around Integer to ease transition toward FPrime WARNING! Re Timing-Attacks: This backend is not fully timing attack resistant.

Documentation

type FPrime = Integer

a simple wrapper to ease transition

eq :: FPrime -> FPrime -> Bool

most trivial (==) wrapper

add :: FPrime -> FPrime -> FPrime

(+) in the field

addr :: FPrime -> FPrime -> FPrime -> FPrime

(+) in the field

sub :: FPrime -> FPrime -> FPrime

(-) in the field

subr :: FPrime -> FPrime -> FPrime -> FPrime

(-) in the field

neg :: FPrime -> FPrime -> FPrime

negation in the field

shift :: FPrime -> Int -> FPrime

bitshift wrapper

mul :: FPrime -> FPrime -> FPrime

field multiplication, a * b

mulr :: FPrime -> FPrime -> FPrime -> FPrime

field multiplication, a * b mod p

redc :: FPrime -> FPrime -> FPrime

modular reduction, a simple wrapper around mod

square :: FPrime -> FPrime -> FPrime

simple squaring in the field

pow :: FPrime -> FPrime -> Integer -> FPrime

the power function in the field, for 1>= k < p

inv :: FPrime -> FPrime -> FPrime

field inversion

fromInteger :: Int -> FPrime -> Integer

conversion wrapper with a limit

toInteger :: FPrime -> Integer

a most simple conversion wrapper

condBit :: FPrime -> Int -> FPrime

like testBit, but give either 0 or 1