ZkFold.Base.Protocol.Plonkup.Relation

Documentation

data PlonkupRelation p i n l a

Constructors

PlonkupRelation

Fields

• qM :: PolyVec a n
• qL :: PolyVec a n
• qR :: PolyVec a n
• qO :: PolyVec a n
• qC :: PolyVec a n
• qK :: PolyVec a n
• t :: PolyVec a n
• sigma :: Permutation (3 * n)
• witness :: p a -> i a -> (PolyVec a n, PolyVec a n, PolyVec a n)
• pubInput :: p a -> i a -> l a

Instances

(KnownNat n, KnownNat (PlonkupPermutationSize n), Representable p, Representable i, Representable l, Foldable l, Ord (Rep i), Arithmetic a, Arbitrary (ArithmeticCircuit a p i l)) => Arbitrary (PlonkupRelation p i n l a)

Defined in ZkFold.Base.Protocol.Plonkup.Relation

Methods

arbitrary :: Gen (PlonkupRelation p i n l a)

shrink :: PlonkupRelation p i n l a -> [PlonkupRelation p i n l a]

Show a => Show (PlonkupRelation p i n l a)

Defined in ZkFold.Base.Protocol.Plonkup.Relation

Methods

showsPrec :: Int -> PlonkupRelation p i n l a -> ShowS

show :: PlonkupRelation p i n l a -> String

showList :: [PlonkupRelation p i n l a] -> ShowS

toPlonkupRelation :: forall i p n l a. (KnownNat n, Arithmetic a, Ord (Rep i), Representable p, Representable i, Representable l, Foldable l) => ArithmeticCircuit a p i l -> Maybe (PlonkupRelation p i n l a)