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 g Source #

Constructors

PlonkupInput 

Fields

Instances

Instances details
Arbitrary (l (ScalarFieldOf g)) => Arbitrary (PlonkupInput l g) Source # 
Instance details

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) Source # 
Instance details

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 Source #