Crypto.Lol.Tests.Standard

High-level test groups and parameters, which can be used to verify a Tensor implementation.

Documentation

data a ** b infixr 9

defaultTestMain :: _ => Proxy t -> IO ()

type family Zq (a :: k) :: * where ...

Equations

Zq (a ** b) = (Zq a, Zq b)

Zq q = ZqBasic q Int64

zqTs :: Test

Default parameters for ZqBasic tests

defaultTests :: _ => Proxy t -> [Test]

Default m/r test parameters, for an arbitrary Tensor.

type ZQ1 = Zq 18869761

type ZQ2 = Zq (19393921 ** 18869761)

type ZQ3 = Zq (19918081 ** (19393921 ** 18869761))

type SmoothQ1 = 2148249601

type SmoothQ2 = 2148854401

type SmoothQ3 = 2150668801

type SmoothZQ1 = Zq 2148249601

type SmoothZQ2 = Zq (2148854401 ** 2148249601)

type SmoothZQ3 = Zq (2148854401 ** (2148249601 ** 2150668801))