Crypto.Lol.Applications.KeyHomomorphicPRF

data FullBinTree

evalTree

randomTree

balancedTree

leftSpineTree

rightSpineTree

data PRFFamily gad rq rp

makeFamily

randomFamily

grayCode

data PRFState rq rp

prfState

latticePRF

latticePRFM

ringPRF

ringPRFM