Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-2 |
Maintainer | ecrockett0@email.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Parser for a list of challenge parameters.
- data ChallengeParams
- = C {
- challID :: ChallengeID
- m :: Int32
- q :: Int64
- svar :: Double
- numSamples :: Int32
- numInstances :: InstanceID
- eps :: Double
- annotation :: String
- | D {
- challID :: ChallengeID
- m :: Int32
- q :: Int64
- svar :: Double
- numSamples :: Int32
- numInstances :: InstanceID
- eps :: Double
- annotation :: String
- | R {
- challID :: ChallengeID
- m :: Int32
- q :: Int64
- p :: Int64
- numSamples :: Int32
- numInstances :: InstanceID
- annotation :: String
- = C {
- epsDef :: Double
- parseChallParams :: String -> InstanceID -> [ChallengeParams]
Documentation
data ChallengeParams Source #
Information to generate a challenge.
C | String associated with this challenge. |
| |
D | String associated with this challenge. |
| |
R | String associated with this challenge. |
|
Default probability \(\epsilon\) to use, for computing the RLWE error bound.
parseChallParams :: String -> InstanceID -> [ChallengeParams] Source #