Bulletproofs.InnerProductProof.Internal

Documentation

data InnerProductProof f

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 :: f

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

• r :: f

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

Instances

Eq f => Eq (InnerProductProof f)

Defined in Bulletproofs.InnerProductProof.Internal

Methods

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

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

Show f => Show (InnerProductProof f)

Defined in Bulletproofs.InnerProductProof.Internal

Methods

showsPrec :: Int -> InnerProductProof f -> ShowS

show :: InnerProductProof f -> String

showList :: [InnerProductProof f] -> ShowS

Generic (InnerProductProof f)

Defined in Bulletproofs.InnerProductProof.Internal

Associated Types

type Rep (InnerProductProof f) :: Type -> Type

Methods

from :: InnerProductProof f -> Rep (InnerProductProof f) x

to :: Rep (InnerProductProof f) x -> InnerProductProof f

NFData f => NFData (InnerProductProof f)

Defined in Bulletproofs.InnerProductProof.Internal

Methods

rnf :: InnerProductProof f -> ()

type Rep (InnerProductProof f)

Defined in Bulletproofs.InnerProductProof.Internal

type Rep (InnerProductProof f) = D1 (MetaData "InnerProductProof" "Bulletproofs.InnerProductProof.Internal" "bulletproofs-0.2.1-Hu8Vmu6rNVl2CFONAuJmMZ" False) (C1 (MetaCons "InnerProductProof" PrefixI True) ((S1 (MetaSel (Just "lCommits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Point]) :*: S1 (MetaSel (Just "rCommits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Point])) :*: (S1 (MetaSel (Just "l") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :*: S1 (MetaSel (Just "r") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f))))

data InnerProductWitness f

Constructors

InnerProductWitness

Fields

• ls :: [f]

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

• rs :: [f]

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

Instances

Eq f => Eq (InnerProductWitness f)

Defined in Bulletproofs.InnerProductProof.Internal

Methods

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

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

Show f => Show (InnerProductWitness f)

Defined in Bulletproofs.InnerProductProof.Internal

Methods

showsPrec :: Int -> InnerProductWitness f -> ShowS

show :: InnerProductWitness f -> String

showList :: [InnerProductWitness f] -> 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