Crypto.Common

ECC Base algorithms & point formats for NIST Curves as specified in NISTReCur.pdf[http:/csrc.nist.govgroupsSTtoolkitdocumentsdss/NISTReCur.pdf] Re Timing-Attacks: We depend on (==) being resistant for Integer.

Documentation

wordMax :: Integral a => a

return the maximum value storable in a Word

wordSize :: Int

return the bitSize of a Word

sizeinWords :: Int -> Int

determine the needed storage for a bitlength in Words

zero :: Int -> Vector Word

a vector of zeros of requested length

one :: Int -> Vector Word

a vector of zeros of requested length, but least significant word 1

two :: Int -> Vector Word

a vector of zeros of requested length, but least significant word 2

three :: Int -> Vector Word

a vector of zeros of requested length, but least significant word 3

log2len :: (Integral a, Bits a) => a -> Int

returning the binary length of an Integer

testcond :: Word -> Int -> Word

we want word w at position i to result in a word to multiply by, eliminating branching