Crypto.Lol.Applications.Benchmarks

Tensor-polymorphic benchmarks for cryptographic applications. Note that benchmarks for HomomPRF are included in the example.

Documentation

defaultBGVBenches :: (forall m r. (Fact m, NFData r) => NFData (t m r), _) => Proxy t -> Proxy gad -> Proxy gen -> rnd [Benchmark]

defaultKHPRFBenches :: (forall m r. (Fact m, NFData r) => NFData (t m r), _) => Proxy t -> Proxy gad -> rnd [Benchmark]

decBenches :: forall t m m' zp zq rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq) -> Proxy t -> rnd Benchmark

keySwitchBenches :: forall t m m' zp zq gad rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq) -> Proxy gad -> Proxy t -> rnd Benchmark

rescaleBenches :: forall t m m' zp zq zq' rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq, zq') -> Proxy t -> rnd Benchmark

bgvBenches :: forall t m m' zp zq gen rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq) -> Proxy gen -> Proxy t -> rnd Benchmark

tunnelBenches :: forall t r r' s s' zp zq gad rnd. (MonadRandom rnd, _) => Proxy '(r, r', s, s', zp, zq) -> Proxy gad -> Proxy t -> rnd Benchmark

khprfBenches :: forall ts rnd gad. (MonadRandom rnd, Random (Rq ts), Rescale (Rq ts) (Rp ts), Decompose gad (Rq ts), Reflects N Int, Gadget gad (Rq ts), NFData (Rp ts), Show (ArgType ts)) => Proxy ts -> Proxy gad -> rnd [Benchmark]