ZkFold.Symbolic.Data.Class

Documentation

class (Symbolic (Context x), Traversable (Layout x), Representable (Layout x), Representable (Payload x)) => SymbolicData x where

A class for Symbolic data types.

Minimal complete definition

Nothing

Associated Types

type Context x :: (Type -> Type) -> Type

type Context x = GContext (Rep x)

type Support x :: Type

type Support x = GSupport (Rep x)

type Layout x :: Type -> Type

type Layout x = GLayout (Rep x)

type Payload x :: Type -> Type

type Payload x = GPayload (Rep x)

Methods

arithmetize :: x -> Support x -> Context x (Layout x)

Returns the circuit that makes up x.

default arithmetize :: (Generic x, GSymbolicData (Rep x), Context x ~ GContext (Rep x), Support x ~ GSupport (Rep x), Layout x ~ GLayout (Rep x)) => x -> Support x -> Context x (Layout x)

payload :: x -> Support x -> Payload x (WitnessField (Context x))

default payload :: (Generic x, GSymbolicData (Rep x), Context x ~ GContext (Rep x), Support x ~ GSupport (Rep x), Payload x ~ GPayload (Rep x)) => x -> Support x -> Payload x (WitnessField (Context x))

restore :: Context x ~ c => (Support x -> (c (Layout x), Payload x (WitnessField c))) -> x

Restores x from the circuit's outputs.

default restore :: (Context x ~ c, Generic x, GSymbolicData (Rep x), Context x ~ GContext (Rep x), Support x ~ GSupport (Rep x), Layout x ~ GLayout (Rep x), Payload x ~ GPayload (Rep x)) => (Support x -> (c (Layout x), Payload x (WitnessField c))) -> x

Instances

(Symbolic ctx, SymbolicOutput bool, SymbolicOutput field, bool ~ BooleanOf curve, field ~ BaseField curve, Context bool ~ ctx, Context field ~ ctx) => SymbolicData (Point curve)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type Context (Point curve) :: (Type -> Type) -> Type

type Support (Point curve)

type Layout (Point curve) :: Type -> Type

type Payload (Point curve) :: Type -> Type

Methods

arithmetize :: Point curve -> Support (Point curve) -> Context (Point curve) (Layout (Point curve))

payload :: Point curve -> Support (Point curve) -> Payload (Point curve) (WitnessField (Context (Point curve)))

restore :: Context (Point curve) ~ c => (Support (Point curve) -> (c (Layout (Point curve)), Payload (Point curve) (WitnessField c))) -> Point curve

(Symbolic ctx, KnownRegisters ctx KeyLength 'Auto) => SymbolicData (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

type Context (PrivateKey ctx) :: (Type -> Type) -> Type

type Support (PrivateKey ctx)

type Layout (PrivateKey ctx) :: Type -> Type

type Payload (PrivateKey ctx) :: Type -> Type

Methods

arithmetize :: PrivateKey ctx -> Support (PrivateKey ctx) -> Context (PrivateKey ctx) (Layout (PrivateKey ctx))

payload :: PrivateKey ctx -> Support (PrivateKey ctx) -> Payload (PrivateKey ctx) (WitnessField (Context (PrivateKey ctx)))

restore :: Context (PrivateKey ctx) ~ c => (Support (PrivateKey ctx) -> (c (Layout (PrivateKey ctx)), Payload (PrivateKey ctx) (WitnessField c))) -> PrivateKey ctx

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

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

type Context (PublicKey ctx) :: (Type -> Type) -> Type

type Support (PublicKey ctx)

type Layout (PublicKey ctx) :: Type -> Type

type Payload (PublicKey ctx) :: Type -> Type

Methods

arithmetize :: PublicKey ctx -> Support (PublicKey ctx) -> Context (PublicKey ctx) (Layout (PublicKey ctx))

payload :: PublicKey ctx -> Support (PublicKey ctx) -> Payload (PublicKey ctx) (WitnessField (Context (PublicKey ctx)))

restore :: Context (PublicKey ctx) ~ c => (Support (PublicKey ctx) -> (c (Layout (PublicKey ctx)), Payload (PublicKey ctx) (WitnessField c))) -> PublicKey ctx

Symbolic c => SymbolicData (Bool c)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (Bool c) :: (Type -> Type) -> Type

type Support (Bool c)

type Layout (Bool c) :: Type -> Type

type Payload (Bool c) :: Type -> Type

Methods

arithmetize :: Bool c -> Support (Bool c) -> Context (Bool c) (Layout (Bool c))

payload :: Bool c -> Support (Bool c) -> Payload (Bool c) (WitnessField (Context (Bool c)))

restore :: Context (Bool c) ~ c0 => (Support (Bool c) -> (c0 (Layout (Bool c)), Payload (Bool c) (WitnessField c0))) -> Bool c

Symbolic c => SymbolicData (FieldElement c)

Defined in ZkFold.Symbolic.Data.FieldElement

Associated Types

type Context (FieldElement c) :: (Type -> Type) -> Type

type Support (FieldElement c)

type Layout (FieldElement c) :: Type -> Type

type Payload (FieldElement c) :: Type -> Type

Methods

arithmetize :: FieldElement c -> Support (FieldElement c) -> Context (FieldElement c) (Layout (FieldElement c))

payload :: FieldElement c -> Support (FieldElement c) -> Payload (FieldElement c) (WitnessField (Context (FieldElement c)))

restore :: Context (FieldElement c) ~ c0 => (Support (FieldElement c) -> (c0 (Layout (FieldElement c)), Payload (FieldElement c) (WitnessField c0))) -> FieldElement c

(Symbolic c, KnownRegisters c 11 'Auto) => SymbolicData (UTCTime c)

Defined in ZkFold.Symbolic.Data.UTCTime

Associated Types

type Context (UTCTime c) :: (Type -> Type) -> Type

type Support (UTCTime c)

type Layout (UTCTime c) :: Type -> Type

type Payload (UTCTime c) :: Type -> Type

Methods

arithmetize :: UTCTime c -> Support (UTCTime c) -> Context (UTCTime c) (Layout (UTCTime c))

payload :: UTCTime c -> Support (UTCTime c) -> Payload (UTCTime c) (WitnessField (Context (UTCTime c)))

restore :: Context (UTCTime c) ~ c0 => (Support (UTCTime c) -> (c0 (Layout (UTCTime c)), Payload (UTCTime c) (WitnessField c0))) -> UTCTime c

(Symbolic c, Representable f, Traversable f) => SymbolicData (c f)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (c f) :: (Type -> Type) -> Type

type Support (c f)

type Layout (c f) :: Type -> Type

type Payload (c f) :: Type -> Type

Methods

arithmetize :: c f -> Support (c f) -> Context (c f) (Layout (c f))

payload :: c f -> Support (c f) -> Payload (c f) (WitnessField (Context (c f)))

restore :: Context (c f) ~ c0 => (Support (c f) -> (c0 (Layout (c f)), Payload (c f) (WitnessField c0))) -> c f

Symbolic c => SymbolicData (Proxy c)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (Proxy c) :: (Type -> Type) -> Type

type Support (Proxy c)

type Layout (Proxy c) :: Type -> Type

type Payload (Proxy c) :: Type -> Type

Methods

arithmetize :: Proxy c -> Support (Proxy c) -> Context (Proxy c) (Layout (Proxy c))

payload :: Proxy c -> Support (Proxy c) -> Payload (Proxy c) (WitnessField (Context (Proxy c)))

restore :: Context (Proxy c) ~ c0 => (Support (Proxy c) -> (c0 (Layout (Proxy c)), Payload (Proxy c) (WitnessField c0))) -> Proxy c

(SymbolicData x, Package (Context x), KnownNat n) => SymbolicData (Vector n x)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (Vector n x) :: (Type -> Type) -> Type

type Support (Vector n x)

type Layout (Vector n x) :: Type -> Type

type Payload (Vector n x) :: Type -> Type

Methods

arithmetize :: Vector n x -> Support (Vector n x) -> Context (Vector n x) (Layout (Vector n x))

payload :: Vector n x -> Support (Vector n x) -> Payload (Vector n x) (WitnessField (Context (Vector n x)))

restore :: Context (Vector n x) ~ c => (Support (Vector n x) -> (c (Layout (Vector n x)), Payload (Vector n x) (WitnessField c))) -> Vector n x

(SymbolicData f, SymbolicData (i f), Context f ~ Context (i f), Support f ~ Support (i f)) => SymbolicData (RecursiveI i f)

Defined in ZkFold.Base.Protocol.IVC.RecursiveFunction

Associated Types

type Context (RecursiveI i f) :: (Type -> Type) -> Type

type Support (RecursiveI i f)

type Layout (RecursiveI i f) :: Type -> Type

type Payload (RecursiveI i f) :: Type -> Type

Methods

arithmetize :: RecursiveI i f -> Support (RecursiveI i f) -> Context (RecursiveI i f) (Layout (RecursiveI i f))

payload :: RecursiveI i f -> Support (RecursiveI i f) -> Payload (RecursiveI i f) (WitnessField (Context (RecursiveI i f)))

restore :: Context (RecursiveI i f) ~ c => (Support (RecursiveI i f) -> (c (Layout (RecursiveI i f)), Payload (RecursiveI i f) (WitnessField c))) -> RecursiveI i f

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

Defined in ZkFold.Symbolic.Data.ByteString

Associated Types

type Context (ByteString n c) :: (Type -> Type) -> Type

type Support (ByteString n c)

type Layout (ByteString n c) :: Type -> Type

type Payload (ByteString n c) :: Type -> Type

Methods

arithmetize :: ByteString n c -> Support (ByteString n c) -> Context (ByteString n c) (Layout (ByteString n c))

payload :: ByteString n c -> Support (ByteString n c) -> Payload (ByteString n c) (WitnessField (Context (ByteString n c)))

restore :: Context (ByteString n c) ~ c0 => (Support (ByteString n c) -> (c0 (Layout (ByteString n c)), Payload (ByteString n c) (WitnessField c0))) -> ByteString n c

Symbolic c => SymbolicData (FFA p c)

Defined in ZkFold.Symbolic.Data.FFA

Associated Types

type Context (FFA p c) :: (Type -> Type) -> Type

type Support (FFA p c)

type Layout (FFA p c) :: Type -> Type

type Payload (FFA p c) :: Type -> Type

Methods

arithmetize :: FFA p c -> Support (FFA p c) -> Context (FFA p c) (Layout (FFA p c))

payload :: FFA p c -> Support (FFA p c) -> Payload (FFA p c) (WitnessField (Context (FFA p c)))

restore :: Context (FFA p c) ~ c0 => (Support (FFA p c) -> (c0 (Layout (FFA p c)), Payload (FFA p c) (WitnessField c0))) -> FFA p c

(SymbolicOutput h, SymbolicOutput a) => SymbolicData (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

Associated Types

type Context (Hash h a) :: (Type -> Type) -> Type

type Support (Hash h a)

type Layout (Hash h a) :: Type -> Type

type Payload (Hash h a) :: Type -> Type

Methods

arithmetize :: Hash h a -> Support (Hash h a) -> Context (Hash h a) (Layout (Hash h a))

payload :: Hash h a -> Support (Hash h a) -> Payload (Hash h a) (WitnessField (Context (Hash h a)))

restore :: Context (Hash h a) ~ c => (Support (Hash h a) -> (c (Layout (Hash h a)), Payload (Hash h a) (WitnessField c))) -> Hash h a

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

Defined in ZkFold.Symbolic.Data.List

Associated Types

type Context (List c x) :: (Type -> Type) -> Type

type Support (List c x)

type Layout (List c x) :: Type -> Type

type Payload (List c x) :: Type -> Type

Methods

arithmetize :: List c x -> Support (List c x) -> Context (List c x) (Layout (List c x))

payload :: List c x -> Support (List c x) -> Payload (List c x) (WitnessField (Context (List c x)))

restore :: Context (List c x) ~ c0 => (Support (List c x) -> (c0 (Layout (List c x)), Payload (List c x) (WitnessField c0))) -> List c x

(SymbolicOutput x, Context x ~ c) => SymbolicData (Maybe c x)

Defined in ZkFold.Symbolic.Data.Maybe

Associated Types

type Context (Maybe c x) :: (Type -> Type) -> Type

type Support (Maybe c x)

type Layout (Maybe c x) :: Type -> Type

type Payload (Maybe c x) :: Type -> Type

Methods

arithmetize :: Maybe c x -> Support (Maybe c x) -> Context (Maybe c x) (Layout (Maybe c x))

payload :: Maybe c x -> Support (Maybe c x) -> Payload (Maybe c x) (WitnessField (Context (Maybe c x)))

restore :: Context (Maybe c x) ~ c0 => (Support (Maybe c x) -> (c0 (Layout (Maybe c x)), Payload (Maybe c x) (WitnessField c0))) -> Maybe c x

(Symbolic c, Representable f) => SymbolicData (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

Associated Types

type Context (Payloaded f c) :: (Type -> Type) -> Type

type Support (Payloaded f c)

type Layout (Payloaded f c) :: Type -> Type

type Payload (Payloaded f c) :: Type -> Type

Methods

arithmetize :: Payloaded f c -> Support (Payloaded f c) -> Context (Payloaded f c) (Layout (Payloaded f c))

payload :: Payloaded f c -> Support (Payloaded f c) -> Payload (Payloaded f c) (WitnessField (Context (Payloaded f c)))

restore :: Context (Payloaded f c) ~ c0 => (Support (Payloaded f c) -> (c0 (Layout (Payloaded f c)), Payload (Payloaded f c) (WitnessField c0))) -> Payloaded f c

(SymbolicData x, SymbolicData y, HApplicative (Context x), Context x ~ Context y, Support x ~ Support y) => SymbolicData (x, y)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (x, y) :: (Type -> Type) -> Type

type Support (x, y)

type Layout (x, y) :: Type -> Type

type Payload (x, y) :: Type -> Type

Methods

arithmetize :: (x, y) -> Support (x, y) -> Context (x, y) (Layout (x, y))

payload :: (x, y) -> Support (x, y) -> Payload (x, y) (WitnessField (Context (x, y)))

restore :: Context (x, y) ~ c => (Support (x, y) -> (c (Layout (x, y)), Payload (x, y) (WitnessField c))) -> (x, y)

SymbolicData f => SymbolicData (x -> f)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (x -> f) :: (Type -> Type) -> Type

type Support (x -> f)

type Layout (x -> f) :: Type -> Type

type Payload (x -> f) :: Type -> Type

Methods

arithmetize :: (x -> f) -> Support (x -> f) -> Context (x -> f) (Layout (x -> f))

payload :: (x -> f) -> Support (x -> f) -> Payload (x -> f) (WitnessField (Context (x -> f)))

restore :: Context (x -> f) ~ c => (Support (x -> f) -> (c (Layout (x -> f)), Payload (x -> f) (WitnessField c))) -> x -> f

(KnownRegisters c n r, Symbolic c) => SymbolicData (UInt n r c)

Defined in ZkFold.Symbolic.Data.UInt

Associated Types

type Context (UInt n r c) :: (Type -> Type) -> Type

type Support (UInt n r c)

type Layout (UInt n r c) :: Type -> Type

type Payload (UInt n r c) :: Type -> Type

Methods

arithmetize :: UInt n r c -> Support (UInt n r c) -> Context (UInt n r c) (Layout (UInt n r c))

payload :: UInt n r c -> Support (UInt n r c) -> Payload (UInt n r c) (WitnessField (Context (UInt n r c)))

restore :: Context (UInt n r c) ~ c0 => (Support (UInt n r c) -> (c0 (Layout (UInt n r c)), Payload (UInt n r c) (WitnessField c0))) -> UInt n r c

(SymbolicData x, SymbolicData y, SymbolicData z, HApplicative (Context x), Context x ~ Context y, Context y ~ Context z, Support x ~ Support y, Support y ~ Support z) => SymbolicData (x, y, z)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (x, y, z) :: (Type -> Type) -> Type

type Support (x, y, z)

type Layout (x, y, z) :: Type -> Type

type Payload (x, y, z) :: Type -> Type

Methods

arithmetize :: (x, y, z) -> Support (x, y, z) -> Context (x, y, z) (Layout (x, y, z))

payload :: (x, y, z) -> Support (x, y, z) -> Payload (x, y, z) (WitnessField (Context (x, y, z)))

restore :: Context (x, y, z) ~ c => (Support (x, y, z) -> (c (Layout (x, y, z)), Payload (x, y, z) (WitnessField c))) -> (x, y, z)

(KnownNat (k - 1), KnownNat k, SymbolicData f, SymbolicData (i f), SymbolicData (c f), Context f ~ Context (c f), Context f ~ Context (i f), Support f ~ Support (c f), Support f ~ Support (i f)) => SymbolicData (AccumulatorInstance k i c f)

Defined in ZkFold.Base.Protocol.IVC.Accumulator

Associated Types

type Context (AccumulatorInstance k i c f) :: (Type -> Type) -> Type

type Support (AccumulatorInstance k i c f)

type Layout (AccumulatorInstance k i c f) :: Type -> Type

type Payload (AccumulatorInstance k i c f) :: Type -> Type

Methods

arithmetize :: AccumulatorInstance k i c f -> Support (AccumulatorInstance k i c f) -> Context (AccumulatorInstance k i c f) (Layout (AccumulatorInstance k i c f))

payload :: AccumulatorInstance k i c f -> Support (AccumulatorInstance k i c f) -> Payload (AccumulatorInstance k i c f) (WitnessField (Context (AccumulatorInstance k i c f)))

restore :: Context (AccumulatorInstance k i c f) ~ c0 => (Support (AccumulatorInstance k i c f) -> (c0 (Layout (AccumulatorInstance k i c f)), Payload (AccumulatorInstance k i c f) (WitnessField c0))) -> AccumulatorInstance k i c f

(SymbolicData w, SymbolicData x, SymbolicData y, SymbolicData z, HApplicative (Context x), Context w ~ Context x, Context x ~ Context y, Context y ~ Context z, Support w ~ Support x, Support x ~ Support y, Support y ~ Support z) => SymbolicData (w, x, y, z)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (w, x, y, z) :: (Type -> Type) -> Type

type Support (w, x, y, z)

type Layout (w, x, y, z) :: Type -> Type

type Payload (w, x, y, z) :: Type -> Type

Methods

arithmetize :: (w, x, y, z) -> Support (w, x, y, z) -> Context (w, x, y, z) (Layout (w, x, y, z))

payload :: (w, x, y, z) -> Support (w, x, y, z) -> Payload (w, x, y, z) (WitnessField (Context (w, x, y, z)))

restore :: Context (w, x, y, z) ~ c => (Support (w, x, y, z) -> (c (Layout (w, x, y, z)), Payload (w, x, y, z) (WitnessField c))) -> (w, x, y, z)

(SymbolicData v, SymbolicData w, SymbolicData x, SymbolicData y, SymbolicData z, HApplicative (Context x), Context v ~ Context w, Context w ~ Context x, Context x ~ Context y, Context y ~ Context z, Support v ~ Support w, Support w ~ Support x, Support x ~ Support y, Support y ~ Support z) => SymbolicData (v, w, x, y, z)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (v, w, x, y, z) :: (Type -> Type) -> Type

type Support (v, w, x, y, z)

type Layout (v, w, x, y, z) :: Type -> Type

type Payload (v, w, x, y, z) :: Type -> Type

Methods

arithmetize :: (v, w, x, y, z) -> Support (v, w, x, y, z) -> Context (v, w, x, y, z) (Layout (v, w, x, y, z))

payload :: (v, w, x, y, z) -> Support (v, w, x, y, z) -> Payload (v, w, x, y, z) (WitnessField (Context (v, w, x, y, z)))

restore :: Context (v, w, x, y, z) ~ c => (Support (v, w, x, y, z) -> (c (Layout (v, w, x, y, z)), Payload (v, w, x, y, z) (WitnessField c))) -> (v, w, x, y, z)

type SymbolicOutput x = (SymbolicData x, Support x ~ Proxy (Context x))

class (Symbolic (GContext u), Traversable (GLayout u), Representable (GLayout u), Representable (GPayload u)) => GSymbolicData u where

Associated Types

type GContext u :: (Type -> Type) -> Type

type GSupport u :: Type

type GLayout u :: Type -> Type

type GPayload u :: Type -> Type

Methods

garithmetize :: u x -> GSupport u -> GContext u (GLayout u)

gpayload :: u x -> GSupport u -> GPayload u (WitnessField (GContext u))

grestore :: GContext u ~ c => (GSupport u -> (c (GLayout u), GPayload u (WitnessField c))) -> u x

Instances

SymbolicData x => GSymbolicData (Rec0 x :: k -> Type)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type GContext (Rec0 x) :: (Type -> Type) -> Type

type GSupport (Rec0 x)

type GLayout (Rec0 x) :: Type -> Type

type GPayload (Rec0 x) :: Type -> Type

Methods

garithmetize :: forall (x0 :: k0). Rec0 x x0 -> GSupport (Rec0 x) -> GContext (Rec0 x) (GLayout (Rec0 x))

gpayload :: forall (x0 :: k0). Rec0 x x0 -> GSupport (Rec0 x) -> GPayload (Rec0 x) (WitnessField (GContext (Rec0 x)))

grestore :: forall c (x0 :: k0). GContext (Rec0 x) ~ c => (GSupport (Rec0 x) -> (c (GLayout (Rec0 x)), GPayload (Rec0 x) (WitnessField c))) -> Rec0 x x0

(GSymbolicData u, GSymbolicData v, HApplicative (GContext u), GContext u ~ GContext v, GSupport u ~ GSupport v) => GSymbolicData (u :*: v :: k -> Type)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type GContext (u :*: v) :: (Type -> Type) -> Type

type GSupport (u :*: v)

type GLayout (u :*: v) :: Type -> Type

type GPayload (u :*: v) :: Type -> Type

Methods

garithmetize :: forall (x :: k0). (u :*: v) x -> GSupport (u :*: v) -> GContext (u :*: v) (GLayout (u :*: v))

gpayload :: forall (x :: k0). (u :*: v) x -> GSupport (u :*: v) -> GPayload (u :*: v) (WitnessField (GContext (u :*: v)))

grestore :: forall c (x :: k0). GContext (u :*: v) ~ c => (GSupport (u :*: v) -> (c (GLayout (u :*: v)), GPayload (u :*: v) (WitnessField c))) -> (u :*: v) x

GSymbolicData f => GSymbolicData (M1 i c f :: k -> Type)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type GContext (M1 i c f) :: (Type -> Type) -> Type

type GSupport (M1 i c f)

type GLayout (M1 i c f) :: Type -> Type

type GPayload (M1 i c f) :: Type -> Type

Methods

garithmetize :: forall (x :: k0). M1 i c f x -> GSupport (M1 i c f) -> GContext (M1 i c f) (GLayout (M1 i c f))

gpayload :: forall (x :: k0). M1 i c f x -> GSupport (M1 i c f) -> GPayload (M1 i c f) (WitnessField (GContext (M1 i c f)))

grestore :: forall c0 (x :: k0). GContext (M1 i c f) ~ c0 => (GSupport (M1 i c f) -> (c0 (GLayout (M1 i c f)), GPayload (M1 i c f) (WitnessField c0))) -> M1 i c f x