Bulletproofs.Utils

Documentation

powerVector :: Fq -> Integer -> [Fq]

Return a vector containing the first n powers of a

dotp :: Num a => [a] -> [a] -> a

Inner product between two vector polynomials

hadamardp :: Num a => [a] -> [a] -> [a]

Hadamard product or entry wise multiplication of two vectors

addP :: Point -> Point -> Point

Add two points of the same curve

subP :: Point -> Point -> Point

Substract two points of the same curve

mulP :: Fq -> Point -> Point

Multiply a scalar and a point in an elliptic curve

commit :: Fq -> Fq -> Point

Create a Pedersen commitment to a value given a value and a blinding factor

isLogBase2 :: Integer -> Bool

logBase2 :: Integer -> Integer

logBase2M :: Integer -> Maybe Integer

shamirY :: Point -> Point -> Fq

shamirZ :: Point -> Point -> Fq -> Fq

shamirX :: Point -> Point -> Point -> Point -> Fq -> Fq -> Fq

shamirX' :: Point -> Point -> Point -> Fq

shamirU :: Fq -> Fq -> Fq -> Fq