Safe Haskell	None
Language	Haskell2010

Circuit.Bulletproofs

Description

Translate arithmetic circuits into a Hadamard product equation and linear constraints.

Synopsis

setupProof :: MonadRandom m => AltArithCircuit Fr -> m (SetupProof Fr PA)
data SetupProof f p = SetupProof {
- assignment :: Assignment f
- pedersens :: Pedersens f p
- circuit :: ArithCircuit f
- witness :: ArithWitness f p
- n :: Int
- m :: Int
}
data AltArithCircuit f
data LinearConstraint f = LinearConstraint {
- lcWeightsLeft :: Map Int f
- lcWeightsRight :: Map Int f
- lcWeightsOut :: Map Int f
- lcWeightsIn :: Map Int f
- lcConstant :: f
}
data GateConstraint i f = GateConstraint {
- gcLinearConstraintLeft :: LinearConstraint f
- gcLinearConstraintRight :: LinearConstraint f
- gcMulConstraint :: MulConstraint i
}
rewire :: Int -> Wire -> AltWire
rewireCircuit :: ArithCircuit f -> AltArithCircuit f
circuitToConstraints :: Num f => AltArithCircuit f -> [GateConstraint AltWire f]
transformInputs :: forall f. Num f => AltArithCircuit f -> AltArithCircuit f
evalCircuit :: Num f => AltArithCircuit f -> Assignment f -> Assignment f
computeBulletproofsAssignment :: AltArithCircuit Fr -> [Fr] -> Int -> Assignment Fr

Documentation

setupProof :: MonadRandom m => AltArithCircuit Fr -> m (SetupProof Fr PA) Source #

data SetupProof f p Source #

Constructors

SetupProof
Fields assignment :: Assignment f pedersens :: Pedersens f p circuit :: ArithCircuit f witness :: ArithWitness f p n :: Int m :: Int

Instances

(Show f, Show p) => Show (SetupProof f p) Source #
Instance details Defined in Circuit.Bulletproofs Methods showsPrec :: Int -> SetupProof f p -> ShowS # show :: SetupProof f p -> String # showList :: [SetupProof f p] -> ShowS #
Generic (SetupProof f p) Source #
Instance details Defined in Circuit.Bulletproofs Associated Types type Rep (SetupProof f p) :: Type -> Type # Methods from :: SetupProof f p -> Rep (SetupProof f p) x # to :: Rep (SetupProof f p) x -> SetupProof f p #
(NFData f, NFData p) => NFData (SetupProof f p) Source #
Instance details Defined in Circuit.Bulletproofs Methods rnf :: SetupProof f p -> () #
type Rep (SetupProof f p) Source #
Instance details Defined in Circuit.Bulletproofs type Rep (SetupProof f p)

data AltArithCircuit f Source #

Instances

Show f => Show (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs Methods showsPrec :: Int -> AltArithCircuit f -> ShowS # show :: AltArithCircuit f -> String # showList :: [AltArithCircuit f] -> ShowS #
Generic (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs Associated Types type Rep (AltArithCircuit f) :: Type -> Type # Methods from :: AltArithCircuit f -> Rep (AltArithCircuit f) x # to :: Rep (AltArithCircuit f) x -> AltArithCircuit f #
ToJSON f => ToJSON (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs Methods toJSON :: AltArithCircuit f -> Value # toEncoding :: AltArithCircuit f -> Encoding # toJSONList :: [AltArithCircuit f] -> Value # toEncodingList :: [AltArithCircuit f] -> Encoding #
FromJSON f => FromJSON (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs Methods parseJSON :: Value -> Parser (AltArithCircuit f) # parseJSONList :: Value -> Parser [AltArithCircuit f] #
NFData f => NFData (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs Methods rnf :: AltArithCircuit f -> () #
(Pretty f, Show f) => Pretty (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs Methods pretty :: AltArithCircuit f -> Doc # prettyList :: [AltArithCircuit f] -> Doc #
type Rep (AltArithCircuit f) Source #
Instance details Defined in Circuit.Bulletproofs type Rep (AltArithCircuit f)

data LinearConstraint f Source #

Constructors

LinearConstraint
Fields lcWeightsLeft :: Map Int f wL lcWeightsRight :: Map Int f wR lcWeightsOut :: Map Int f wO lcWeightsIn :: Map Int f wV lcConstant :: f c

Instances

Show f => Show (LinearConstraint f) Source #
Instance details Defined in Circuit.Bulletproofs Methods showsPrec :: Int -> LinearConstraint f -> ShowS # show :: LinearConstraint f -> String # showList :: [LinearConstraint f] -> ShowS #
Generic (LinearConstraint f) Source #
Instance details Defined in Circuit.Bulletproofs Associated Types type Rep (LinearConstraint f) :: Type -> Type # Methods from :: LinearConstraint f -> Rep (LinearConstraint f) x # to :: Rep (LinearConstraint f) x -> LinearConstraint f #
ToJSON f => ToJSON (LinearConstraint f) Source #
Instance details Defined in Circuit.Bulletproofs Methods toJSON :: LinearConstraint f -> Value # toEncoding :: LinearConstraint f -> Encoding # toJSONList :: [LinearConstraint f] -> Value # toEncodingList :: [LinearConstraint f] -> Encoding #
FromJSON f => FromJSON (LinearConstraint f) Source #
Instance details Defined in Circuit.Bulletproofs Methods parseJSON :: Value -> Parser (LinearConstraint f) # parseJSONList :: Value -> Parser [LinearConstraint f] #
Pretty f => Pretty (LinearConstraint f) Source #
Instance details Defined in Circuit.Bulletproofs Methods pretty :: LinearConstraint f -> Doc # prettyList :: [LinearConstraint f] -> Doc #
type Rep (LinearConstraint f) Source #
Instance details Defined in Circuit.Bulletproofs type Rep (LinearConstraint f) = D1 (MetaData "LinearConstraint" "Circuit.Bulletproofs" "arithmetic-circuits-0.2.0-6zOfGRHnhI9W2wAnMDkNU" False) (C1 (MetaCons "LinearConstraint" PrefixI True) ((S1 (MetaSel (Just "lcWeightsLeft") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Int f)) :: S1 (MetaSel (Just "lcWeightsRight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Int f))) :: (S1 (MetaSel (Just "lcWeightsOut") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Int f)) :: (S1 (MetaSel (Just "lcWeightsIn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Int f)) :: S1 (MetaSel (Just "lcConstant") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f)))))

data GateConstraint i f Source #

Constructors

GateConstraint
Fields gcLinearConstraintLeft :: LinearConstraint f gcLinearConstraintRight :: LinearConstraint f gcMulConstraint :: MulConstraint i

Instances

(Show f, Show i) => Show (GateConstraint i f) Source #
Instance details Defined in Circuit.Bulletproofs Methods showsPrec :: Int -> GateConstraint i f -> ShowS # show :: GateConstraint i f -> String # showList :: [GateConstraint i f] -> ShowS #
Generic (GateConstraint i f) Source #
Instance details Defined in Circuit.Bulletproofs Associated Types type Rep (GateConstraint i f) :: Type -> Type # Methods from :: GateConstraint i f -> Rep (GateConstraint i f) x # to :: Rep (GateConstraint i f) x -> GateConstraint i f #
(ToJSON i, ToJSON f) => ToJSON (GateConstraint i f) Source #
Instance details Defined in Circuit.Bulletproofs Methods toJSON :: GateConstraint i f -> Value # toEncoding :: GateConstraint i f -> Encoding # toJSONList :: [GateConstraint i f] -> Value # toEncodingList :: [GateConstraint i f] -> Encoding #
(FromJSON f, FromJSON i) => FromJSON (GateConstraint i f) Source #
Instance details Defined in Circuit.Bulletproofs Methods parseJSON :: Value -> Parser (GateConstraint i f) # parseJSONList :: Value -> Parser [GateConstraint i f] #
(Pretty i, Pretty f) => Pretty (GateConstraint i f) Source #
Instance details Defined in Circuit.Bulletproofs Methods pretty :: GateConstraint i f -> Doc # prettyList :: [GateConstraint i f] -> Doc #
type Rep (GateConstraint i f) Source #
Instance details Defined in Circuit.Bulletproofs type Rep (GateConstraint i f)

rewire :: Int -> Wire -> AltWire Source #

rewireCircuit :: ArithCircuit f -> AltArithCircuit f Source #

Use different wire type as required for the constraints generated in this module.

circuitToConstraints :: Num f => AltArithCircuit f -> [GateConstraint AltWire f] Source #

transformInputs :: forall f. Num f => AltArithCircuit f -> AltArithCircuit f Source #

Replace all input wires v_i with a mul-gate (v_i * 1). This means that when we translate it to linear constraints, the weights matrix for V will always be of rank m, where m is the number of input wires, as is required by the Bulletproof protocol.

evalCircuit Source #

Arguments

:: Num f
=> AltArithCircuit f	circuit to evaluate
-> Assignment f	initial context (containing input variables)
-> Assignment f	input and output variables

computeBulletproofsAssignment :: AltArithCircuit Fr -> [Fr] -> Int -> Assignment Fr Source #