PrimeField

data P

unP

data Q

unQ

data G

unG

data SPF

spfP

spfQ

spfG

mkSPF

mkSPF'

type SPFM

runSPFT

runSPFM

gexpSafeSPF

gexpSafeSPFM

expSafeSPF

expSafeSPFM

randomInZq

randomInZqM

randomInZp

randomInZpM

modp

modpM

(|*|)

(|+|)