OT

Documentation

setup :: (MonadRandom m, MonadFail m) => Curve -> m (Integer, Point, Point)

Setup: Only once, independently of the number of OT messages *m*.

choose :: (MonadRandom m, MonadFail m) => Curve -> Integer -> Point -> m (Integer, Point, Integer)

Choose: In parallel for all OT messages.

deriveSenderKeys :: Curve -> Integer -> Integer -> Point -> Point -> [Integer]

Sender's key derivation from his private key and receiver's response In parallel for all OT messages

deriveReceiverKey :: Curve -> Integer -> Point -> Integer

Receiver's key derivation from his private key and sender's public key In parallel for all OT messages

mDeriveSenderKeys :: Curve -> Integer -> Integer -> [Point] -> Point -> [[Integer]]

Fold together m calls of deriveSenderKeys

mDeriveReceiverKeys :: Curve -> [Integer] -> Point -> [Integer]

Fold together m calls of deriveReceiverKeys

mChoose :: (Eq t, Num t, MonadRandom m, MonadFail m) => Curve -> Integer -> Point -> t -> [(Integer, Point, Integer)] -> m [(Integer, Point, Integer)]

Call choose m times to create a list of three lists | Return lists of private keys, responses and choice bit