ZkFold.Base.Protocol.Plonkup.Witness

Documentation

data PlonkupWitnessInput p i c

Constructors

PlonkupWitnessInput

Fields

• payloadInput :: p (ScalarField c)
• witnessInput :: i (ScalarField c)

Instances

(Arbitrary1 p, Arbitrary1 i, Arbitrary (ScalarField c)) => Arbitrary (PlonkupWitnessInput p i c)

Defined in ZkFold.Base.Protocol.Plonkup.Witness

Methods

arbitrary :: Gen (PlonkupWitnessInput p i c)

shrink :: PlonkupWitnessInput p i c -> [PlonkupWitnessInput p i c]

(Show1 p, Show1 i, Show (ScalarField c)) => Show (PlonkupWitnessInput p i c)

Defined in ZkFold.Base.Protocol.Plonkup.Witness

Methods

showsPrec :: Int -> PlonkupWitnessInput p i c -> ShowS

show :: PlonkupWitnessInput p i c -> String

showList :: [PlonkupWitnessInput p i c] -> ShowS