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

ZkFold.Base.Protocol.IVC.NARK

Documentation

data NARKProof k c f Source #

Constructors

NARKProof 

Fields

Instances

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 #

data NARKInstanceProof k i c f Source #

Constructors

NARKInstanceProof (i f) (NARKProof k c f) 

Instances

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))))

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