Bulletproofs.InnerProductProof.Internal

Documentation

data InnerProductProof

Constructors

InnerProductProof

Fields

• lCommits :: [Point]

  Vector of commitments of the elements in the original vector l whose size is the logarithm of base 2 of the size of vector l

• rCommits :: [Point]

  Vector of commitments of the elements in the original vector r whose size is the logarithm of base 2 of the size of vector r

• l :: Fq

  Remaining element of vector l at the end of the recursive algorithm that generates the inner-product proof

• r :: Fq

  Remaining element of vector r at the end of the recursive algorithm that generates the inner-product proof

Instances

Eq InnerProductProof

Defined in Bulletproofs.InnerProductProof.Internal

Methods

(==) :: InnerProductProof -> InnerProductProof -> Bool

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

Show InnerProductProof

Defined in Bulletproofs.InnerProductProof.Internal

Methods

showsPrec :: Int -> InnerProductProof -> ShowS

show :: InnerProductProof -> String

showList :: [InnerProductProof] -> ShowS

data InnerProductWitness

Constructors

InnerProductWitness

Fields

• ls :: [Fq]

  Vector of values l that the prover uses to compute lCommits in the recursive inner product algorithm

• rs :: [Fq]

  Vector of values r that the prover uses to compute rCommits in the recursive inner product algorithm

Instances

Eq InnerProductWitness

Defined in Bulletproofs.InnerProductProof.Internal

Methods

(==) :: InnerProductWitness -> InnerProductWitness -> Bool

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

Show InnerProductWitness

Defined in Bulletproofs.InnerProductProof.Internal

Methods

showsPrec :: Int -> InnerProductWitness -> ShowS

show :: InnerProductWitness -> String

showList :: [InnerProductWitness] -> ShowS

data InnerProductBase

Constructors

InnerProductBase

Fields

• bGs :: [Point]

  Independent generator Gs ∈ G^n

• bHs :: [Point]

  Independent generator Hs ∈ G^n

• bH :: Point

  Internally fixed group element H ∈ G for which there is no known discrete-log relation among Gs, Hs, bG

Instances

Eq InnerProductBase

Defined in Bulletproofs.InnerProductProof.Internal

Methods

(==) :: InnerProductBase -> InnerProductBase -> Bool

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

Show InnerProductBase

Defined in Bulletproofs.InnerProductProof.Internal

Methods

showsPrec :: Int -> InnerProductBase -> ShowS

show :: InnerProductBase -> String

showList :: [InnerProductBase] -> ShowS