Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.NonInteractiveProof

Documentation

Methods

Instances details

Binary a => ToTranscript ByteString a Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof Methods toTranscript :: a -> ByteString Source #

Methods

Instances details

Binary a => FromTranscript ByteString a Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof Methods newTranscript :: ByteString -> ByteString Source # fromTranscript :: ByteString -> a Source #

challenge :: forall t a. FromTranscript t a => t -> (a, t) Source #

Associated Types

Methods

Instances details

(KnownNat d, KnownNat (PlonkPermutationSize d), KnownNat (PlonkMaxPolyDegree d), ToTranscript t F, ToTranscript t G1, FromTranscript t F) => NonInteractiveProof (Plonk d t) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Plonk Associated Types type Transcript (Plonk d t) Source # type Setup (Plonk d t) Source # type Witness (Plonk d t) Source # type Input (Plonk d t) Source # type Proof (Plonk d t) Source # Methods setup :: Plonk d t -> Setup (Plonk d t) Source # prove :: Setup (Plonk d t) -> Witness (Plonk d t) -> (Input (Plonk d t), Proof (Plonk d t)) Source # verify :: Setup (Plonk d t) -> Input (Plonk d t) -> Proof (Plonk d t) -> Bool Source #
(f ~ ScalarField c1, f ~ ScalarField c2, Pairing c1 c2 t, Binary f, KnownNat d, KZG c1 c2 t f d ~ kzg, Num f, Ord f, Ring f, Finite f, Field f, AdditiveGroup (BaseField c1), Binary (BaseField c1)) => NonInteractiveProof (KZG c1 c2 t f d) Source #
Instance details Defined in ZkFold.Base.Protocol.Commitment.KZG Associated Types type Transcript (KZG c1 c2 t f d) Source # type Setup (KZG c1 c2 t f d) Source # type Witness (KZG c1 c2 t f d) Source # type Input (KZG c1 c2 t f d) Source # type Proof (KZG c1 c2 t f d) Source # Methods setup :: KZG c1 c2 t f d -> Setup (KZG c1 c2 t f d) Source # prove :: Setup (KZG c1 c2 t f d) -> Witness (KZG c1 c2 t f d) -> (Input (KZG c1 c2 t f d), Proof (KZG c1 c2 t f d)) Source # verify :: Setup (KZG c1 c2 t f d) -> Input (KZG c1 c2 t f d) -> Proof (KZG c1 c2 t f d) -> Bool Source #

Constructors

ProveAPISuccess ByteString
ProveAPIErrorSetup
ProveAPIErrorWitness

Instances details

Generic ProveAPIResult Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof Associated Types type Rep ProveAPIResult :: Type -> Type # Methods from :: ProveAPIResult -> Rep ProveAPIResult x # to :: Rep ProveAPIResult x -> ProveAPIResult #
Show ProveAPIResult Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof Methods showsPrec :: Int -> ProveAPIResult -> ShowS # show :: ProveAPIResult -> String # showList :: [ProveAPIResult] -> ShowS #
NFData ProveAPIResult Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof Methods rnf :: ProveAPIResult -> () #
Eq ProveAPIResult Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof Methods (==) :: ProveAPIResult -> ProveAPIResult -> Bool # (/=) :: ProveAPIResult -> ProveAPIResult -> Bool #
type Rep ProveAPIResult Source #
Instance details Defined in ZkFold.Base.Protocol.NonInteractiveProof type Rep ProveAPIResult = D1 ('MetaData "ProveAPIResult" "ZkFold.Base.Protocol.NonInteractiveProof" "zkfold-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ProveAPISuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: (C1 ('MetaCons "ProveAPIErrorSetup" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProveAPIErrorWitness" 'PrefixI 'False) (U1 :: Type -> Type)))