ZkFold.Base.Protocol.Plonkup.PlonkupConstraint

Documentation

data PlonkupConstraint i a

Constructors

ConsPlonk (PlonkConstraint i a)

ConsLookup (LookupConstraint i a)

ConsExtra

getPlonkConstraint :: (Ord a, FiniteField a, KnownNat i) => PlonkupConstraint i a -> PlonkConstraint i a

isLookupConstraint :: FiniteField a => PlonkupConstraint i a -> a

getA :: forall a i. (Ord a, FiniteField a, KnownNat i) => PlonkupConstraint i a -> Var a (Vector i)

getB :: forall a i. (Ord a, FiniteField a, KnownNat i) => PlonkupConstraint i a -> Var a (Vector i)

getC :: forall a i. (Ord a, FiniteField a, KnownNat i) => PlonkupConstraint i a -> Var a (Vector i)