Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.Input

Synopsis

class (SymbolicData d, Support d ~ Proxy (Context d), Representable (Layout d), Binary (Rep (Layout d)), Ord (Rep (Layout d)), NFData (Rep (Layout d))) => SymbolicInput d where
- isValid :: d -> Bool (Context d)

Documentation

class (SymbolicData d, Support d ~ Proxy (Context d), Representable (Layout d), Binary (Rep (Layout d)), Ord (Rep (Layout d)), NFData (Rep (Layout d))) => SymbolicInput d where Source #

A class for Symbolic input.

Methods

isValid :: d -> Bool (Context d) Source #

Instances

Instances details

(Symbolic ctx, KnownNat (NumberOfRegisters (BaseField ctx) KeyLength 'Auto)) => SymbolicInput (PrivateKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Algorithms.RSA Methods isValid :: PrivateKey ctx -> Bool (Context (PrivateKey ctx)) Source #
(Symbolic ctx, KnownNat (NumberOfRegisters (BaseField ctx) KeyLength 'Auto), KnownNat (NumberOfRegisters (BaseField ctx) 32 'Auto)) => SymbolicInput (PublicKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Algorithms.RSA Methods isValid :: PublicKey ctx -> Bool (Context (PublicKey ctx)) Source #
Symbolic c => SymbolicInput (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: Bool c -> Bool (Context (Bool c)) Source #
Symbolic c => SymbolicInput (FieldElement c) Source #
Instance details Defined in ZkFold.Symbolic.Data.FieldElement Methods isValid :: FieldElement c -> Bool (Context (FieldElement c)) Source #
(Symbolic c, Binary (Rep f), Ord (Rep f), NFData (Rep f), Representable f) => SymbolicInput (c f) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: c f -> Bool (Context (c f)) Source #
Symbolic c => SymbolicInput (Proxy c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: Proxy c -> Bool (Context (Proxy c)) Source #
(Symbolic (Context x), KnownNat n, SymbolicInput x) => SymbolicInput (Vector n x) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: Vector n x -> Bool (Context (Vector n x)) Source #
(Symbolic c, KnownNat n) => SymbolicInput (ByteString n c) Source #
Instance details Defined in ZkFold.Symbolic.Data.ByteString Methods isValid :: ByteString n c -> Bool (Context (ByteString n c)) Source #
Symbolic c => SymbolicInput (FFA p c) Source #	TODO: fix when rewrite is done
Instance details Defined in ZkFold.Symbolic.Data.FFA Methods isValid :: FFA p c -> Bool (Context (FFA p c)) Source #
(Symbolic (Context x), Context x ~ Context y, SymbolicInput x, SymbolicInput y) => SymbolicInput (x, y) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: (x, y) -> Bool (Context (x, y)) Source #
(Symbolic c, KnownNat n, KnownRegisterSize r, KnownNat (NumberOfRegisters (BaseField c) n r)) => SymbolicInput (UInt n r c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UInt Methods isValid :: UInt n r c -> Bool (Context (UInt n r c)) Source #
(Symbolic (Context x), Context x ~ Context y, Context y ~ Context z, SymbolicInput x, SymbolicInput y, SymbolicInput z) => SymbolicInput (x, y, z) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: (x, y, z) -> Bool (Context (x, y, z)) Source #