Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-3 |
Maintainer | ecrockett0@email.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
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] Source #
defaultKHPRFBenches :: (forall m r. (Fact m, NFData r) => NFData (t m r), _) => Proxy t -> Proxy gad -> rnd [Benchmark] Source #
decBenches :: forall t m m' zp zq rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq) -> Proxy t -> rnd Benchmark Source #
keySwitchBenches :: forall t m m' zp zq gad rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq) -> Proxy gad -> Proxy t -> rnd Benchmark Source #
rescaleBenches :: forall t m m' zp zq zq' rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq, zq') -> Proxy t -> rnd Benchmark Source #
bgvBenches :: forall t m m' zp zq gen rnd. (MonadRandom rnd, _) => Proxy '(m, m', zp, zq) -> Proxy gen -> Proxy t -> rnd Benchmark Source #
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 Source #