ZkFold.Symbolic.Data.Input

Documentation

class (SymbolicOutput d, Binary (Rep (Layout d)), Ord (Rep (Layout d)), NFData (Rep (Layout d)), Binary (Rep (Payload 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 ctx, KnownRegisters ctx KeyLength 'Auto) => SymbolicInput (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

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

(Symbolic ctx, KnownRegisters ctx 32 'Auto, KnownRegisters ctx KeyLength 'Auto) => SymbolicInput (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

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

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

(Symbolic c, Binary (Rep f), Ord (Rep f), NFData (Rep f), Representable f, Traversable 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))

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

Defined in ZkFold.Symbolic.Data.Input

Methods

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

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

Defined in ZkFold.Symbolic.Data.ByteString

Methods

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

Symbolic c => SymbolicInput (FFA p c)

TODO: fix when rewrite is done

Defined in ZkFold.Symbolic.Data.FFA

Methods

isValid :: FFA p c -> Bool (Context (FFA p 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, Representable f, Binary (Rep f)) => SymbolicInput (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

Methods

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

(Symbolic (Context x), 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))

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

(Symbolic (Context x), 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))