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

ZkFold.Base.Protocol.Protostar.NARK

Documentation

data NARKProof m c k Source #

Constructors

NARKProof 

Fields

Instances

Instances details
Generic (NARKProof m c k) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

Associated Types

type Rep (NARKProof m c k) :: Type -> Type #

Methods

from :: NARKProof m c k -> Rep (NARKProof m c k) x #

to :: Rep (NARKProof m c k) x -> NARKProof m c k #

(Show c, Show m) => Show (NARKProof m c k) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

Methods

showsPrec :: Int -> NARKProof m c k -> ShowS #

show :: NARKProof m c k -> String #

showList :: [NARKProof m c k] -> ShowS #

(NFData c, NFData m) => NFData (NARKProof m c k) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

Methods

rnf :: NARKProof m c k -> () #

type Rep (NARKProof m c k) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

type Rep (NARKProof m c k) = D1 ('MetaData "NARKProof" "ZkFold.Base.Protocol.Protostar.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)) :*: S1 ('MetaSel ('Just "narkWitness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector k m))))

narkProof :: forall f i p m c d k a. (SpecialSoundProtocol f i p m c d k a, Ring f, HomomorphicCommit m c, RandomOracle (i f) f, RandomOracle c f, KnownNat k) => FiatShamir (CommitOpen a) -> i f -> p f -> NARKProof m c k Source #

data NARKInstanceProof f i m c k Source #

Constructors

NARKInstanceProof (i f) (NARKProof m c k) 

Instances

Instances details
Generic (NARKInstanceProof f i m c k2) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

Associated Types

type Rep (NARKInstanceProof f i m c k2) :: Type -> Type #

Methods

from :: NARKInstanceProof f i m c k2 -> Rep (NARKInstanceProof f i m c k2) x #

to :: Rep (NARKInstanceProof f i m c k2) x -> NARKInstanceProof f i m c k2 #

(Show c, Show m, Show (i f)) => Show (NARKInstanceProof f i m c k2) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

Methods

showsPrec :: Int -> NARKInstanceProof f i m c k2 -> ShowS #

show :: NARKInstanceProof f i m c k2 -> String #

showList :: [NARKInstanceProof f i m c k2] -> ShowS #

(NFData c, NFData m, NFData (i f)) => NFData (NARKInstanceProof f i m c k2) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

Methods

rnf :: NARKInstanceProof f i m c k2 -> () #

type Rep (NARKInstanceProof f i m c k2) Source # 
Instance details

Defined in ZkFold.Base.Protocol.Protostar.NARK

type Rep (NARKInstanceProof f i m c k2) = D1 ('MetaData "NARKInstanceProof" "ZkFold.Base.Protocol.Protostar.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 m c k2))))

narkInstanceProof :: forall f i p m c d k a. (SpecialSoundProtocol f i p m c d k a, Ring f, HomomorphicCommit m c, RandomOracle (i f) f, RandomOracle c f, KnownNat k) => FiatShamir (CommitOpen a) -> i f -> p f -> NARKInstanceProof f i m c k Source #