symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.Plonkup.Input

Documentation

newtype PlonkupInput l c Source #

Constructors

PlonkupInput 

Fields

Instances

Instances details
Arbitrary (l (ScalarField c)) => Arbitrary (PlonkupInput l c) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Plonkup.Input

Methods

arbitrary :: Gen (PlonkupInput l c) #

shrink :: PlonkupInput l c -> [PlonkupInput l c] #

(Show1 l, Show (ScalarField c)) => Show (PlonkupInput l c) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Plonkup.Input

Methods

showsPrec :: Int -> PlonkupInput l c -> ShowS #

show :: PlonkupInput l c -> String #

showList :: [PlonkupInput l c] -> ShowS #

plonkupVerifierInput :: (Functor l, Field (ScalarField c)) => l (ScalarField c) -> PlonkupInput l c Source #