module Crypto.Cipher.DH
( Params
, PublicNumber
, PrivateNumber
, SharedKey
, generatePublic
, getShared
) where
import Number.ModArithmetic (exponantiation_rtl_binary)
import Number.Prime
import Crypto.Random
type Params = (Integer,Integer)
newtype PublicNumber = PublicNumber Integer
deriving (Show,Read,Eq,Enum,Real,Num,Ord)
newtype PrivateNumber = PrivateNumber Integer
deriving (Show,Read,Eq,Enum,Real,Num,Ord)
newtype SharedKey = SharedKey Integer
deriving (Show,Read,Eq,Enum,Real,Num,Ord)
generateParams :: CryptoRandomGen g => g -> Params
generateParams = undefined
generatePrivate :: CryptoRandomGen g => g -> PrivateNumber
generatePrivate rng = undefined
generatePublic :: Params -> PrivateNumber -> PublicNumber
generatePublic (p,g) (PrivateNumber x) = PublicNumber $ exponantiation_rtl_binary g x p
getShared :: Params -> PrivateNumber -> PublicNumber -> SharedKey
getShared (p,_) (PrivateNumber x) (PublicNumber y) = SharedKey $ exponantiation_rtl_binary y x p