ZkFold.Base.Protocol.NonInteractiveProof.Prover

Documentation

newtype ProofBytes

Constructors

ProofBytes

Fields

• fromWitnessBytes :: ByteString

Instances

FromJSON ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

parseJSON :: Value -> Parser ProofBytes

parseJSONList :: Value -> Parser [ProofBytes]

ToJSON ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

toJSON :: ProofBytes -> Value

toEncoding :: ProofBytes -> Encoding

toJSONList :: [ProofBytes] -> Value

toEncodingList :: [ProofBytes] -> Encoding

Generic ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Associated Types

type Rep ProofBytes :: Type -> Type

Methods

from :: ProofBytes -> Rep ProofBytes x

to :: Rep ProofBytes x -> ProofBytes

Show ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

showsPrec :: Int -> ProofBytes -> ShowS

show :: ProofBytes -> String

showList :: [ProofBytes] -> ShowS

NFData ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

rnf :: ProofBytes -> ()

Eq ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

(==) :: ProofBytes -> ProofBytes -> Bool

(/=) :: ProofBytes -> ProofBytes -> Bool

ToSchema ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

declareNamedSchema :: Proxy ProofBytes -> Declare (Definitions Schema) NamedSchema

type Rep ProofBytes

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

type Rep ProofBytes = D1 ('MetaData "ProofBytes" "ZkFold.Base.Protocol.NonInteractiveProof.Prover" "symbolic-base-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ProofBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromWitnessBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data ProveAPIResult

Constructors

ProveAPISuccess ProofBytes

ProveAPIErrorSetup

ProveAPIErrorWitness

Instances

FromJSON ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

parseJSON :: Value -> Parser ProveAPIResult

parseJSONList :: Value -> Parser [ProveAPIResult]

ToJSON ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

toJSON :: ProveAPIResult -> Value

toEncoding :: ProveAPIResult -> Encoding

toJSONList :: [ProveAPIResult] -> Value

toEncodingList :: [ProveAPIResult] -> Encoding

Generic ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Associated Types

type Rep ProveAPIResult :: Type -> Type

Methods

from :: ProveAPIResult -> Rep ProveAPIResult x

to :: Rep ProveAPIResult x -> ProveAPIResult

Show ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

showsPrec :: Int -> ProveAPIResult -> ShowS

show :: ProveAPIResult -> String

showList :: [ProveAPIResult] -> ShowS

NFData ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

rnf :: ProveAPIResult -> ()

Eq ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

(==) :: ProveAPIResult -> ProveAPIResult -> Bool

(/=) :: ProveAPIResult -> ProveAPIResult -> Bool

ToSchema ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

Methods

declareNamedSchema :: Proxy ProveAPIResult -> Declare (Definitions Schema) NamedSchema

type Rep ProveAPIResult

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Prover

type Rep ProveAPIResult = D1 ('MetaData "ProveAPIResult" "ZkFold.Base.Protocol.NonInteractiveProof.Prover" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ProveAPISuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProofBytes)) :+: (C1 ('MetaCons "ProveAPIErrorSetup" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProveAPIErrorWitness" 'PrefixI 'False) (U1 :: Type -> Type)))

proveAPI :: forall a core. (NonInteractiveProof a core, Binary (SetupProve a), Binary (Witness a), Binary (Input a), Binary (Proof a)) => ByteString -> ByteString -> ProveAPIResult

testVector :: forall a core. NonInteractiveProof a core => Arbitrary a => Arbitrary (Witness a) => Binary (SetupProve a) => Binary (Input a) => Binary (Proof a) => Int -> IO [(ByteString, ByteString, ByteString)]