Copyright	(c) Eric Crockett 2011-2017 Chris Peikert 2011-2017
License	GPL-3
Maintainer	ecrockett0@gmail.com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Crypto.Lol.Applications.Examples

Description

Tensor-polymorphic example cryptographic applications.

Synopsis

khprfMain :: forall t. (forall m r. (Fact m, Show r) => Show (t m r), _) => Proxy t -> IO ()
bgvMain :: forall t. (forall m r. (Fact m, Eq r) => Eq (t m r), _) => Proxy t -> IO ()

Documentation

khprfMain :: forall t. (forall m r. (Fact m, Show r) => Show (t m r), _) => Proxy t -> IO () Source #

Simple example of how to use the Crypto.Lol.Applications.KeyHomomorphicPRF application.

bgvMain :: forall t. (forall m r. (Fact m, Eq r) => Eq (t m r), _) => Proxy t -> IO () Source #

Simple example of how to use the Crypto.Lol.Applications.SymmBGV application.