ZkFold.Base.Protocol.Plonkup.Input

Documentation

newtype PlonkupInput l g

Constructors

PlonkupInput

Fields

• unPlonkupInput :: l (ScalarFieldOf g)

Instances

Arbitrary (l (ScalarFieldOf g)) => Arbitrary (PlonkupInput l g)

Defined in ZkFold.Base.Protocol.Plonkup.Input

Methods

arbitrary :: Gen (PlonkupInput l g)

shrink :: PlonkupInput l g -> [PlonkupInput l g]

(Show1 l, Show (ScalarFieldOf g)) => Show (PlonkupInput l g)

Defined in ZkFold.Base.Protocol.Plonkup.Input

Methods

showsPrec :: Int -> PlonkupInput l g -> ShowS

show :: PlonkupInput l g -> String

showList :: [PlonkupInput l g] -> ShowS

plonkupVerifierInput :: (Functor l, Field (ScalarFieldOf g)) => l (ScalarFieldOf g) -> PlonkupInput l g