Safe Haskell	None
Language	Haskell2010

Bulletproofs.ArithmeticCircuit.Internal

Synopsis

data ArithCircuitProofError
- = TooManyGates Integer
- | NNotPowerOf2 Integer
data ArithCircuitProof f = ArithCircuitProof {
- tBlinding :: f
- mu :: f
- t :: f
- aiCommit :: Point
- aoCommit :: Point
- sCommit :: Point
- tCommits :: [Point]
- productProof :: InnerProductProof f
}
data ArithCircuit f = ArithCircuit {
- weights :: GateWeights f
- commitmentWeights :: [[f]]
- cs :: [f]
}
data GateWeights f = GateWeights {
- wL :: [[f]]
- wR :: [[f]]
- wO :: [[f]]
}
data ArithWitness f = ArithWitness {
- assignment :: Assignment f
- commitments :: [Point]
- commitBlinders :: [f]
}
data Assignment f = Assignment {
- aL :: [f]
- aR :: [f]
- aO :: [f]
}
padCircuit :: Num f => ArithCircuit f -> ArithCircuit f
padAssignment :: Num f => Assignment f -> Assignment f
delta :: (Eq f, Field f) => Integer -> f -> [f] -> [f] -> f
commitBitVector :: AsInteger f => f -> [f] -> [f] -> Point
shamirGxGxG :: (Show f, Num f) => Point -> Point -> Point -> f
shamirGs :: (Show f, Num f) => [Point] -> f
shamirZ :: (Show f, Num f) => f -> f
evaluatePolynomial :: Num f => Integer -> [[f]] -> f -> [f]
multiplyPoly :: Num n => [[n]] -> [[n]] -> [n]
vectorMatrixProduct :: Num f => [f] -> [[f]] -> [f]
vectorMatrixProductT :: Num f => [f] -> [[f]] -> [f]
matrixVectorProduct :: Num f => [[f]] -> [f] -> [f]
powerMatrix :: Num f => [[f]] -> Integer -> [[f]]
matrixProduct :: Num a => [[a]] -> [[a]] -> [[a]]
insertAt :: Int -> a -> [a] -> [a]
genIdenMatrix :: Num f => Integer -> [[f]]
genZeroMatrix :: Num f => Integer -> Integer -> [[f]]
generateWv :: (Num f, MonadRandom m) => Integer -> Integer -> m [[f]]
generateGateWeights :: (MonadRandom m, Num f, MonadFail m) => Integer -> Integer -> m (GateWeights f)
generateRandomAssignment :: forall f m. (Num f, AsInteger f, MonadRandom m) => Integer -> m (Assignment f)
computeInputValues :: (Field f, Eq f) => GateWeights f -> [[f]] -> Assignment f -> [f] -> [f]
gaussianReduce :: (Field f, Eq f) => [[f]] -> [[f]]
substituteMatrix :: (Field f, Eq f) => [[f]] -> [f]
solveLinearSystem :: (Field f, Eq f) => [[f]] -> [f]

Documentation

data ArithCircuitProofError Source #

Constructors

TooManyGates Integer	The number of gates is too high
NNotPowerOf2 Integer	The number of gates is not a power of 2

Instances

Eq ArithCircuitProofError Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods (==) :: ArithCircuitProofError -> ArithCircuitProofError -> Bool # (/=) :: ArithCircuitProofError -> ArithCircuitProofError -> Bool #
Show ArithCircuitProofError Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods showsPrec :: Int -> ArithCircuitProofError -> ShowS # show :: ArithCircuitProofError -> String # showList :: [ArithCircuitProofError] -> ShowS #

data ArithCircuitProof f Source #

Constructors

ArithCircuitProof

Fields

tBlinding :: f
Blinding factor of the T1 and T2 commitments, combined into the form required to make the committed version of the x-polynomial add up
mu :: f
Blinding factor required for the Verifier to verify commitments A, S
t :: f
Dot product of vectors l and r that prove knowledge of the value in range t = t(x) = l(x) · r(x)
aiCommit :: Point
Commitment to vectors aL and aR
aoCommit :: Point
Commitment to vectors aO
sCommit :: Point
Commitment to new vectors sL, sR, created at random by the Prover
tCommits :: [Point]
Commitments to t1, t3, t4, t5, t6
productProof :: InnerProductProof f

Instances

Eq f => Eq (ArithCircuitProof f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods (==) :: ArithCircuitProof f -> ArithCircuitProof f -> Bool # (/=) :: ArithCircuitProof f -> ArithCircuitProof f -> Bool #
Show f => Show (ArithCircuitProof f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods showsPrec :: Int -> ArithCircuitProof f -> ShowS # show :: ArithCircuitProof f -> String # showList :: [ArithCircuitProof f] -> ShowS #
Generic (ArithCircuitProof f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Associated Types type Rep (ArithCircuitProof f) :: Type -> Type # Methods from :: ArithCircuitProof f -> Rep (ArithCircuitProof f) x # to :: Rep (ArithCircuitProof f) x -> ArithCircuitProof f #
NFData f => NFData (ArithCircuitProof f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods rnf :: ArithCircuitProof f -> () #
type Rep (ArithCircuitProof f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal type Rep (ArithCircuitProof f) = D1 (MetaData "ArithCircuitProof" "Bulletproofs.ArithmeticCircuit.Internal" "bulletproofs-0.2.1-Hu8Vmu6rNVl2CFONAuJmMZ" False) (C1 (MetaCons "ArithCircuitProof" PrefixI True) (((S1 (MetaSel (Just "tBlinding") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :: S1 (MetaSel (Just "mu") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f)) :: (S1 (MetaSel (Just "t") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :: S1 (MetaSel (Just "aiCommit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Point))) :: ((S1 (MetaSel (Just "aoCommit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Point) :: S1 (MetaSel (Just "sCommit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Point)) :: (S1 (MetaSel (Just "tCommits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Point]) :*: S1 (MetaSel (Just "productProof") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InnerProductProof f))))))

data ArithCircuit f Source #

Constructors

ArithCircuit
Fields weights :: GateWeights f Weights for vectors of left and right inputs and for vector of outputs commitmentWeights :: [[f]] Weigths for a commitments V of rank m cs :: [f] Vector of constants of size Q

Instances

Eq f => Eq (ArithCircuit f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods (==) :: ArithCircuit f -> ArithCircuit f -> Bool # (/=) :: ArithCircuit f -> ArithCircuit f -> Bool #
Show f => Show (ArithCircuit f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods showsPrec :: Int -> ArithCircuit f -> ShowS # show :: ArithCircuit f -> String # showList :: [ArithCircuit f] -> ShowS #
Generic (ArithCircuit f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Associated Types type Rep (ArithCircuit f) :: Type -> Type # Methods from :: ArithCircuit f -> Rep (ArithCircuit f) x # to :: Rep (ArithCircuit f) x -> ArithCircuit f #
NFData f => NFData (ArithCircuit f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods rnf :: ArithCircuit f -> () #
type Rep (ArithCircuit f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal type Rep (ArithCircuit f) = D1 (MetaData "ArithCircuit" "Bulletproofs.ArithmeticCircuit.Internal" "bulletproofs-0.2.1-Hu8Vmu6rNVl2CFONAuJmMZ" False) (C1 (MetaCons "ArithCircuit" PrefixI True) (S1 (MetaSel (Just "weights") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (GateWeights f)) :: (S1 (MetaSel (Just "commitmentWeights") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[f]]) :: S1 (MetaSel (Just "cs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [f]))))

data GateWeights f Source #

Constructors

GateWeights
Fields wL :: [[f]] WL ∈ F^(Q x n) wR :: [[f]] WR ∈ F^(Q x n) wO :: [[f]] WO ∈ F^(Q x n)

Instances

Eq f => Eq (GateWeights f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods (==) :: GateWeights f -> GateWeights f -> Bool # (/=) :: GateWeights f -> GateWeights f -> Bool #
Show f => Show (GateWeights f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods showsPrec :: Int -> GateWeights f -> ShowS # show :: GateWeights f -> String # showList :: [GateWeights f] -> ShowS #
Generic (GateWeights f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Associated Types type Rep (GateWeights f) :: Type -> Type # Methods from :: GateWeights f -> Rep (GateWeights f) x # to :: Rep (GateWeights f) x -> GateWeights f #
NFData f => NFData (GateWeights f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods rnf :: GateWeights f -> () #
type Rep (GateWeights f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal type Rep (GateWeights f) = D1 (MetaData "GateWeights" "Bulletproofs.ArithmeticCircuit.Internal" "bulletproofs-0.2.1-Hu8Vmu6rNVl2CFONAuJmMZ" False) (C1 (MetaCons "GateWeights" PrefixI True) (S1 (MetaSel (Just "wL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[f]]) :: (S1 (MetaSel (Just "wR") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[f]]) :: S1 (MetaSel (Just "wO") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[f]]))))

data ArithWitness f Source #

Constructors

ArithWitness
Fields assignment :: Assignment f Vectors of left and right inputs and vector of outputs commitments :: [Point] Vector of commited input values ∈ F^m commitBlinders :: [f] Vector of blinding factors for input values ∈ F^m

Instances

Eq f => Eq (ArithWitness f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods (==) :: ArithWitness f -> ArithWitness f -> Bool # (/=) :: ArithWitness f -> ArithWitness f -> Bool #
Show f => Show (ArithWitness f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods showsPrec :: Int -> ArithWitness f -> ShowS # show :: ArithWitness f -> String # showList :: [ArithWitness f] -> ShowS #
Generic (ArithWitness f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Associated Types type Rep (ArithWitness f) :: Type -> Type # Methods from :: ArithWitness f -> Rep (ArithWitness f) x # to :: Rep (ArithWitness f) x -> ArithWitness f #
NFData f => NFData (ArithWitness f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods rnf :: ArithWitness f -> () #
type Rep (ArithWitness f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal type Rep (ArithWitness f) = D1 (MetaData "ArithWitness" "Bulletproofs.ArithmeticCircuit.Internal" "bulletproofs-0.2.1-Hu8Vmu6rNVl2CFONAuJmMZ" False) (C1 (MetaCons "ArithWitness" PrefixI True) (S1 (MetaSel (Just "assignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Assignment f)) :: (S1 (MetaSel (Just "commitments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Point]) :: S1 (MetaSel (Just "commitBlinders") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [f]))))

data Assignment f Source #

Constructors

Assignment
Fields aL :: [f] aL ∈ F^n. Vector of left inputs of each multiplication gate aR :: [f] aR ∈ F^n. Vector of right inputs of each multiplication gate aO :: [f] aO ∈ F^n. Vector of outputs of each multiplication gate

Instances

Eq f => Eq (Assignment f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods (==) :: Assignment f -> Assignment f -> Bool # (/=) :: Assignment f -> Assignment f -> Bool #
Show f => Show (Assignment f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods showsPrec :: Int -> Assignment f -> ShowS # show :: Assignment f -> String # showList :: [Assignment f] -> ShowS #
Generic (Assignment f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Associated Types type Rep (Assignment f) :: Type -> Type # Methods from :: Assignment f -> Rep (Assignment f) x # to :: Rep (Assignment f) x -> Assignment f #
NFData f => NFData (Assignment f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal Methods rnf :: Assignment f -> () #
type Rep (Assignment f) Source #
Instance details Defined in Bulletproofs.ArithmeticCircuit.Internal type Rep (Assignment f) = D1 (MetaData "Assignment" "Bulletproofs.ArithmeticCircuit.Internal" "bulletproofs-0.2.1-Hu8Vmu6rNVl2CFONAuJmMZ" False) (C1 (MetaCons "Assignment" PrefixI True) (S1 (MetaSel (Just "aL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [f]) :: (S1 (MetaSel (Just "aR") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [f]) :: S1 (MetaSel (Just "aO") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [f]))))