ZkFold.Base.Protocol.Plonkup.PlonkConstraint

Documentation

data PlonkConstraint i a

Constructors

PlonkConstraint

Fields

• qm :: a
• ql :: a
• qr :: a
• qo :: a
• qc :: a
• x1 :: Var a i
• x2 :: Var a i
• x3 :: Var a i

Instances

(Ord a, Arbitrary a, Binary a, Ord (Rep i)) => Arbitrary (PlonkConstraint i a)

Defined in ZkFold.Base.Protocol.Plonkup.PlonkConstraint

Methods

arbitrary :: Gen (PlonkConstraint i a)

shrink :: PlonkConstraint i a -> [PlonkConstraint i a]

(Show a, Show (Rep i)) => Show (PlonkConstraint i a)

Defined in ZkFold.Base.Protocol.Plonkup.PlonkConstraint

Methods

showsPrec :: Int -> PlonkConstraint i a -> ShowS

show :: PlonkConstraint i a -> String

showList :: [PlonkConstraint i a] -> ShowS

(Eq a, Eq (Rep i)) => Eq (PlonkConstraint i a)

Defined in ZkFold.Base.Protocol.Plonkup.PlonkConstraint

Methods

(==) :: PlonkConstraint i a -> PlonkConstraint i a -> Bool

(/=) :: PlonkConstraint i a -> PlonkConstraint i a -> Bool

toPlonkConstraint :: forall a i. (Ord a, FiniteField a, Ord (Rep i)) => Poly a (Var a i) Natural -> PlonkConstraint i a

fromPlonkConstraint :: (Ord a, Field a, Ord (Rep i)) => PlonkConstraint i a -> Poly a (Var a i) Natural