Crypto.SecretSharing.Internal

Documentation

polyInterp :: Fractional a => [(a, a)] -> a -> a

Evaluate a Lagrange interpolation polynomial passing through the specified set of points.

slidingFocus :: [a] -> [([a], a, [a])]

data ByteShare

A share of an encoded byte.

Constructors

ByteShare

Fields

• shareId :: !Int

  the index of this share

• reconstructionThreshold :: !Int

  number of shares required for reconstruction

• shareValue :: !Int

  the value of p(shareId) where p(x) is the generated (secret) polynomial

Instances

Eq ByteShare

Defined in Crypto.SecretSharing.Internal

Methods

(==) :: ByteShare -> ByteShare -> Bool

(/=) :: ByteShare -> ByteShare -> Bool

Show ByteShare

Defined in Crypto.SecretSharing.Internal

Methods

showsPrec :: Int -> ByteShare -> ShowS

show :: ByteShare -> String

showList :: [ByteShare] -> ShowS

Generic ByteShare

Defined in Crypto.SecretSharing.Internal

Associated Types

type Rep ByteShare :: Type -> Type

Methods

from :: ByteShare -> Rep ByteShare x

to :: Rep ByteShare x -> ByteShare

Binary ByteShare

Defined in Crypto.SecretSharing.Internal

Methods

put :: ByteShare -> Put

get :: Get ByteShare

putList :: [ByteShare] -> Put

type Rep ByteShare

Defined in Crypto.SecretSharing.Internal

type Rep ByteShare = D1 (MetaData "ByteShare" "Crypto.SecretSharing.Internal" "secret-sharing-1.0.1.2-BHUG0PSSg9MGAbGsSVWs8Q" False) (C1 (MetaCons "ByteShare" PrefixI True) (S1 (MetaSel (Just "shareId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: (S1 (MetaSel (Just "reconstructionThreshold") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "shareValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int))))

data Share

A share of the encoded secret.

Constructors

Share

Fields

• theShare :: ![ByteShare]

Instances

Eq Share

Defined in Crypto.SecretSharing.Internal

Methods

(==) :: Share -> Share -> Bool

(/=) :: Share -> Share -> Bool

Show Share

Defined in Crypto.SecretSharing.Internal

Methods

showsPrec :: Int -> Share -> ShowS

show :: Share -> String

showList :: [Share] -> ShowS

Generic Share

Defined in Crypto.SecretSharing.Internal

Associated Types

type Rep Share :: Type -> Type

Methods

from :: Share -> Rep Share x

to :: Rep Share x -> Share

Binary Share

Defined in Crypto.SecretSharing.Internal

Methods

put :: Share -> Put

get :: Get Share

putList :: [Share] -> Put

type Rep Share

Defined in Crypto.SecretSharing.Internal

type Rep Share = D1 (MetaData "Share" "Crypto.SecretSharing.Internal" "secret-sharing-1.0.1.2-BHUG0PSSg9MGAbGsSVWs8Q" False) (C1 (MetaCons "Share" PrefixI True) (S1 (MetaSel (Just "theShare") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [ByteShare])))

encode

Arguments

:: Int

m

-> Int

n

-> ByteString

the secret that we want to share

-> IO [Share]

Encodes a ByteString as a list of n shares, m of which are required for reconstruction. Lives in the IO to access a random source.

decode

Arguments

:: [Share]

list of at least m shares

-> ByteString

reconstructed secret

Reconstructs a (secret) bytestring from a list of (at least m) shares. Throws AssertionFailed if the number of shares is too small.

encodeByte :: Int -> Int -> Polyn -> FField -> Vector ByteShare

decodeByte :: [ByteShare] -> FField

groupInto :: Int -> [a] -> [[a]]

Groups a list into blocks of certain size. Running time: O(n)

newtype FField

A finite prime field. All computations are performed in this field.

Constructors

FField

Fields

• number :: PrimeField 1021

Instances

Eq FField

Defined in Crypto.SecretSharing.Internal

Methods

(==) :: FField -> FField -> Bool

(/=) :: FField -> FField -> Bool

Fractional FField

Defined in Crypto.SecretSharing.Internal

Methods

(/) :: FField -> FField -> FField

recip :: FField -> FField

fromRational :: Rational -> FField

Num FField

Defined in Crypto.SecretSharing.Internal

Methods

(+) :: FField -> FField -> FField

(-) :: FField -> FField -> FField

(*) :: FField -> FField -> FField

negate :: FField -> FField

abs :: FField -> FField

signum :: FField -> FField

fromInteger :: Integer -> FField

Ord FField

Defined in Crypto.SecretSharing.Internal

Methods

compare :: FField -> FField -> Ordering

(<) :: FField -> FField -> Bool

(<=) :: FField -> FField -> Bool

(>) :: FField -> FField -> Bool

(>=) :: FField -> FField -> Bool

max :: FField -> FField -> FField

min :: FField -> FField -> FField

Read FField

Defined in Crypto.SecretSharing.Internal

Methods

readsPrec :: Int -> ReadS FField

readList :: ReadS [FField]

readPrec :: ReadPrec FField

readListPrec :: ReadPrec [FField]

Show FField

Defined in Crypto.SecretSharing.Internal

Methods

showsPrec :: Int -> FField -> ShowS

show :: FField -> String

showList :: [FField] -> ShowS

Generic FField

Defined in Crypto.SecretSharing.Internal

Associated Types

type Rep FField :: Type -> Type

Methods

from :: FField -> Rep FField x

to :: Rep FField x -> FField

FiniteField FField

Defined in Crypto.SecretSharing.Internal

Methods

order :: FField -> Integer

char :: FField -> Integer

pthRoot :: FField -> FField

allValues :: [FField]

type Rep FField

Defined in Crypto.SecretSharing.Internal

type Rep FField = D1 (MetaData "FField" "Crypto.SecretSharing.Internal" "secret-sharing-1.0.1.2-BHUG0PSSg9MGAbGsSVWs8Q" True) (C1 (MetaCons "FField" PrefixI True) (S1 (MetaSel (Just "number") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (PrimeField 1021))))

prime :: Int

The size of the finite field

type Polyn = [FField]

A polynomial over the finite field given as a list of coefficients.

evalPolynomial :: Polyn -> FField -> FField

Evaluates the polynomial at a given point.