Crypto.RLWE.Challenges.Params

Parser for a list of challenge parameters.

Documentation

data ChallengeParams

Information to generate a challenge.

Constructors

C

String associated with this challenge.

Fields

• challID :: ChallengeID

  Challenge ID

• m :: Int32

  Cyclotomic index of the challenge

• q :: Int64

  Modulus of the challenge

• svar :: Double

  Scaled variance used to generate the error term.

• numSamples :: Int32

  Number of RLWE samples per instance.

• numInstances :: InstanceID

  Number of RLWE instances per challenge.

• eps :: Double

  \(\epsilon\) used to comput the error bound.

• annotation :: String

D

String associated with this challenge.

Fields

• challID :: ChallengeID

  Challenge ID

• m :: Int32

  Cyclotomic index of the challenge

• q :: Int64

  Modulus of the challenge

• svar :: Double

  Scaled variance used to generate the error term.

• numSamples :: Int32

  Number of RLWE samples per instance.

• numInstances :: InstanceID

  Number of RLWE instances per challenge.

• eps :: Double

  \(\epsilon\) used to comput the error bound.

• annotation :: String

R

String associated with this challenge.

Fields

• challID :: ChallengeID

  Challenge ID

• m :: Int32

  Cyclotomic index of the challenge

• q :: Int64

  Modulus of the challenge

• p :: Int64

  Rounding modulus

• numSamples :: Int32

  Number of RLWE samples per instance.

• numInstances :: InstanceID

  Number of RLWE instances per challenge.

• annotation :: String

Instances

Show ChallengeParams

Methods

showsPrec :: Int -> ChallengeParams -> ShowS

show :: ChallengeParams -> String

showList :: [ChallengeParams] -> ShowS

epsDef :: Double

Default probability \(\epsilon\) to use, for computing the RLWE error bound.

parseChallParams :: String -> InstanceID -> [ChallengeParams]