ZkFold.Symbolic.Data.Input

Documentation

class SymbolicOutput d => SymbolicInput d where

A class for Symbolic input.

Minimal complete definition

Nothing

Methods

isValid :: d -> Bool (Context d)

default isValid :: (Generic d, GSymbolicInput (Rep d), GContext (Rep d) ~ Context d) => d -> Bool (Context d)

Instances

Symbolic c => SymbolicInput (Bool c)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: Bool c -> Bool (Context (Bool c))

Symbolic c => SymbolicInput (FieldElement c)

Defined in ZkFold.Symbolic.Data.FieldElement

Methods

isValid :: FieldElement c -> Bool (Context (FieldElement c))

(SymbolicInput (PublicKey 2048 ctx), Symbolic ctx) => SymbolicInput (Certificate ctx)

Defined in ZkFold.Symbolic.Data.JWT

Methods

isValid :: Certificate ctx -> Bool (Context (Certificate ctx))

Symbolic ctx => SymbolicInput (ClientSecret ctx)

Defined in ZkFold.Symbolic.Data.JWT

Methods

isValid :: ClientSecret ctx -> Bool (Context (ClientSecret ctx))

(SymbolicInput (PrivateKey 2048 ctx), Symbolic ctx) => SymbolicInput (SigningKey ctx)

Defined in ZkFold.Symbolic.Data.JWT

Methods

isValid :: SigningKey ctx -> Bool (Context (SigningKey ctx))

Symbolic ctx => SymbolicInput (TokenHeader ctx)

Defined in ZkFold.Symbolic.Data.JWT

Methods

isValid :: TokenHeader ctx -> Bool (Context (TokenHeader ctx))

Symbolic ctx => SymbolicInput (TokenPayload ctx)

Defined in ZkFold.Symbolic.Data.JWT

Methods

isValid :: TokenPayload ctx -> Bool (Context (TokenPayload ctx))

(Symbolic c, LayoutFunctor f) => SymbolicInput (c f)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: c f -> Bool (Context (c f))

Symbolic c => SymbolicInput (Proxy c)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: Proxy c -> Bool (Context (Proxy c))

(KnownNat n, SymbolicInput x) => SymbolicInput (Vector n x)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: Vector n x -> Bool (Context (Vector n x))

(SymbolicInput f, SymbolicInput (i f), Context f ~ Context (i f)) => SymbolicInput (RecursiveI i f)

Defined in ZkFold.Base.Protocol.IVC.RecursiveFunction

Methods

isValid :: RecursiveI i f -> Bool (Context (RecursiveI i f))

(Symbolic ctx, KnownNat keyLen, KnownRegisters ctx keyLen 'Auto) => SymbolicInput (PrivateKey keyLen ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

isValid :: PrivateKey keyLen ctx -> Bool (Context (PrivateKey keyLen ctx))

(Symbolic ctx, KnownNat keyLen, KnownRegisters ctx PubExponentSize 'Auto, KnownRegisters ctx keyLen 'Auto) => SymbolicInput (PublicKey keyLen ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

isValid :: PublicKey keyLen ctx -> Bool (Context (PublicKey keyLen ctx))

(Symbolic c, KnownNat n) => SymbolicInput (ByteString n c)

Defined in ZkFold.Symbolic.Data.ByteString

Methods

isValid :: ByteString n c -> Bool (Context (ByteString n c))

(SymbolicInput h, SymbolicInput a) => SymbolicInput (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

Methods

isValid :: Hash h a -> Bool (Context (Hash h a))

(SymbolicInput x, c ~ Context x) => SymbolicInput (List c x)

TODO: Maybe some isValid check for Lists?..

Defined in ZkFold.Symbolic.Data.List

Methods

isValid :: List c x -> Bool (Context (List c x))

(Symbolic c, PayloadFunctor f) => SymbolicInput (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

Methods

isValid :: Payloaded f c -> Bool (Context (Payloaded f c))

(KnownNat n, Symbolic ctx) => SymbolicInput (VarByteString n ctx)

Defined in ZkFold.Symbolic.Data.VarByteString

Methods

isValid :: VarByteString n ctx -> Bool (Context (VarByteString n ctx))

(Context x ~ Context y, SymbolicInput x, SymbolicInput y) => SymbolicInput (x, y)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: (x, y) -> Bool (Context (x, y))

(Context field ~ ctx, Symbolic ctx, TwistedEdwardsCurve curve field, SymbolicEq field) => SymbolicInput (TwistedEdwards curve (AffinePoint field))

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Methods

isValid :: TwistedEdwards curve (AffinePoint field) -> Bool (Context (TwistedEdwards curve (AffinePoint field)))

(WeierstrassCurve curve field, SymbolicEq field) => SymbolicInput (Weierstrass curve (Point field))

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Methods

isValid :: Weierstrass curve (Point field) -> Bool (Context (Weierstrass curve (Point field)))

(Symbolic c, KnownFFA p r c) => SymbolicInput (FFA p r c)

Defined in ZkFold.Symbolic.Data.FFA

Methods

isValid :: FFA p r c -> Bool (Context (FFA p r c))

(Symbolic c, KnownNat n, KnownRegisterSize r, KnownRegisters c n r) => SymbolicInput (UInt n r c)

Defined in ZkFold.Symbolic.Data.UInt

Methods

isValid :: UInt n r c -> Bool (Context (UInt n r c))

(Context x ~ Context y, Context y ~ Context z, SymbolicInput x, SymbolicInput y, SymbolicInput z) => SymbolicInput (x, y, z)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: (x, y, z) -> Bool (Context (x, y, z))