VectorPedersen

Documentation

dot :: Curve -> [Integer] -> [Point] -> Point

Dot product between a vector of scalars and a vector of ECC.Points

mkGs :: Curve -> [Point]

Generate vector of generators in a deterministic way from the curve generator g by applying H(encode(g) || i) where H is a secure hash function

scalarGenerateN :: MonadRandom m => Curve -> Word8 -> m [Integer]

Generate a commit value which is a vector of N elements

ecCommit :: MonadRandom m => [Integer] -> ECCommitParams -> m ECPedersen

Commitment function. The value we commit to is now a vector

ecOpen :: ECCommitParams -> ECCommitment -> ECReveal -> Bool

Open commitment to check its validity

ecVerifyAddCommitments :: ECCommitParams -> ECPedersen -> ECPedersen -> ECPedersen

Verify the addition of two EC Vector Pedersen Commitments by constructing the new Pedersen commitment on the uncommitted values.

vecSum :: Curve -> [Integer] -> [Integer] -> [Integer]

Sum of vectors in a curve

ecAddVector :: ECCommitParams -> ECCommitment -> [Integer] -> ECCommitment

Add a vector to the committed value such that C'= C + wG

ecVerifyAddVector :: ECCommitParams -> ECPedersen -> [Integer] -> ECPedersen

data ECReveal

ecRevealVal is a vector of scalars

Constructors

ECReveal

Fields

• ecRevealVal :: [Integer]
• ecRevealScalar :: Integer

data ECPedersen

Constructors

ECPedersen

Fields

• ecCommitment :: ECCommitment
• ecReveal :: ECReveal

data ECCommitParams

Constructors

ECCommitParams

Fields

• ecCurve :: Curve
• ecH :: Point

data ECCommitment

Constructors

ECCommitment

Fields

• unECCommitment :: Point

Instances

Eq ECCommitment

Methods

(==) :: ECCommitment -> ECCommitment -> Bool

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