Shamir

Module for information-theoretic threshold secret sharing.

Threshold secret sharing assumes secure channels for communication.

Documentation

randomSplit :: RandomGen g => FiniteField -> [FiniteField] -> Integer -> Integer -> g -> ([[Integer]], g)

Split each secret given in s into m random Shamir shares.

The (maximum) degree for the Shamir polynomials is t, 0 <= t < m. Return matrix of shares, one row per party.

_recombinationVector :: FiniteField -> [Integer] -> Integer -> [Integer]

Compute and store a recombination vector.

A recombination vector depends on the field, the x-coordinates xs of the shares and the x-coordinate x_r of the recombination point.

recombine :: FiniteField -> [IdSharesPair] -> [FiniteField]

Recombine shares given by points into secrets.

Recombination is done for x-coordinates x_rs.

type IdSharesPair = (Integer, [Integer])

Couples a ID pi to the share list si.