Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.IVC.NARK

Documentation

Constructors

NARKProof
Fields narkCommits :: Vector k (c f) narkWitness :: Vector k [f]

Instances details

Generic (NARKProof k c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK Associated Types type Rep (NARKProof k c f) :: Type -> Type # Methods from :: NARKProof k c f -> Rep (NARKProof k c f) x # to :: Rep (NARKProof k c f) x -> NARKProof k c f #
(Show f, Show (c f)) => Show (NARKProof k c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK Methods showsPrec :: Int -> NARKProof k c f -> ShowS # show :: NARKProof k c f -> String # showList :: [NARKProof k c f] -> ShowS #
(NFData f, NFData (c f)) => NFData (NARKProof k c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK Methods rnf :: NARKProof k c f -> () #
type Rep (NARKProof k c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK type Rep (NARKProof k c f) = D1 ('MetaData "NARKProof" "ZkFold.Base.Protocol.IVC.NARK" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "NARKProof" 'PrefixI 'True) (S1 ('MetaSel ('Just "narkCommits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector k (c f))) :*: S1 ('MetaSel ('Just "narkWitness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector k [f]))))

narkProof :: Ring f => FiatShamir k i p c [f] o f -> i f -> p f -> NARKProof k c f Source #

Constructors

Instances details

Generic (NARKInstanceProof k i c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK Associated Types type Rep (NARKInstanceProof k i c f) :: Type -> Type # Methods from :: NARKInstanceProof k i c f -> Rep (NARKInstanceProof k i c f) x # to :: Rep (NARKInstanceProof k i c f) x -> NARKInstanceProof k i c f #
(Show f, Show (i f), Show (c f)) => Show (NARKInstanceProof k i c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK Methods showsPrec :: Int -> NARKInstanceProof k i c f -> ShowS # show :: NARKInstanceProof k i c f -> String # showList :: [NARKInstanceProof k i c f] -> ShowS #
(NFData f, NFData (i f), NFData (c f)) => NFData (NARKInstanceProof k i c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK Methods rnf :: NARKInstanceProof k i c f -> () #
type Rep (NARKInstanceProof k i c f) Source #
Instance details Defined in ZkFold.Base.Protocol.IVC.NARK type Rep (NARKInstanceProof k i c f) = D1 ('MetaData "NARKInstanceProof" "ZkFold.Base.Protocol.IVC.NARK" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "NARKInstanceProof" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (i f)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NARKProof k c f))))