Data.F2

A timing attack resistant F(2^e) backend, all operations on little-endian data in unboxed bit vectors

Documentation

type F2 = Vector Bit

add :: F2 -> F2 -> F2

binary addition of a and b

shift :: F2 -> Int -> F2

a simple bitshift where n shifts right, a negative n shifts left

mul :: F2 -> F2 -> F2

binary multiplication of a and b

reduceBy :: F2 -> F2 -> F2

polynomial reduction of a via r

pow :: F2 -> F2 -> F2

the power function, b ^ k, using Montgomery ladder and some low-k hardcoding against overheads

fromInteger :: Integer -> F2

conversion helper function

toInteger :: F2 -> Integer

conversion helper function

length :: F2 -> Int

the length of an F(2^e)

even :: F2 -> Bool

is the number even? The last bit decides...

odd :: F2 -> Bool

is the number odd? The last bit decides...

div :: F2 -> F2 -> F2 -> F2

computing k/f mod m by binary inversion of f in m

bininv :: F2 -> F2 -> F2