ZkFold.Symbolic.Data.Class

Documentation

type IsVariable v = (Binary v, NFData v, Ord v)

type LayoutFunctor f = (Binary1 f, NFData1 f, PayloadFunctor f, Traversable f)

type PayloadFunctor f = (Representable f, IsVariable (Rep f))

class (Symbolic (Context x), LayoutFunctor (Layout x), PayloadFunctor (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

SymbolicOutput field => SymbolicData (AffinePoint field)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type Context (AffinePoint field) :: (Type -> Type) -> Type

type Support (AffinePoint field)

type Layout (AffinePoint field) :: Type -> Type

type Payload (AffinePoint field) :: Type -> Type

Methods

arithmetize :: AffinePoint field -> Support (AffinePoint field) -> Context (AffinePoint field) (Layout (AffinePoint field))

payload :: AffinePoint field -> Support (AffinePoint field) -> Payload (AffinePoint field) (WitnessField (Context (AffinePoint field)))

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

(SymbolicOutput (BooleanOf field), SymbolicOutput field, Context field ~ Context (BooleanOf field)) => SymbolicData (CompressedPoint field)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type Context (CompressedPoint field) :: (Type -> Type) -> Type

type Support (CompressedPoint field)

type Layout (CompressedPoint field) :: Type -> Type

type Payload (CompressedPoint field) :: Type -> Type

Methods

arithmetize :: CompressedPoint field -> Support (CompressedPoint field) -> Context (CompressedPoint field) (Layout (CompressedPoint field))

payload :: CompressedPoint field -> Support (CompressedPoint field) -> Payload (CompressedPoint field) (WitnessField (Context (CompressedPoint field)))

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

(SymbolicOutput (BooleanOf field), SymbolicOutput field, Context field ~ Context (BooleanOf field)) => SymbolicData (Point field)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

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

type Support (Point field)

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

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

Methods

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

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

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

Symbolic c => SymbolicData (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

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

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

Defined in ZkFold.Symbolic.Data.JWT

Associated Types

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

type Support (Certificate ctx)

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

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

Methods

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

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

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

Symbolic ctx => SymbolicData (ClientSecret ctx)

Defined in ZkFold.Symbolic.Data.JWT

Associated Types

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

type Support (ClientSecret ctx)

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

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

Methods

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

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

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

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

Defined in ZkFold.Symbolic.Data.JWT

Associated Types

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

type Support (SigningKey ctx)

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

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

Methods

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

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

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

Symbolic ctx => SymbolicData (TokenHeader ctx)

Defined in ZkFold.Symbolic.Data.JWT

Associated Types

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

type Support (TokenHeader ctx)

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

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

Methods

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

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

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

Symbolic ctx => SymbolicData (TokenPayload ctx)

Defined in ZkFold.Symbolic.Data.JWT

Associated Types

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

type Support (TokenPayload ctx)

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

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

Methods

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

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

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

Symbolic c => SymbolicData (Ordering c)

Defined in ZkFold.Symbolic.Data.Ord

Associated Types

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

type Support (Ordering c)

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

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

Methods

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

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

restore :: Context (Ordering c) ~ c0 => (Support (Ordering c) -> (c0 (Layout (Ordering c)), Payload (Ordering c) (WitnessField c0))) -> Ordering 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, LayoutFunctor 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, 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

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

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

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

type Support (PrivateKey keyLen ctx)

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

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

Methods

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

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

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

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

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

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

type Support (PublicKey keyLen ctx)

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

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

Methods

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

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

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

(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

(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, PayloadFunctor 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

(Symbolic c, SymbolicData x) => SymbolicData (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

Associated Types

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

type Support (Switch c x)

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

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

Methods

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

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

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

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

Defined in ZkFold.Symbolic.Data.VarByteString

Associated Types

type Context (VarByteString n ctx) :: (Type -> Type) -> Type

type Support (VarByteString n ctx)

type Layout (VarByteString n ctx) :: Type -> Type

type Payload (VarByteString n ctx) :: Type -> Type

Methods

arithmetize :: VarByteString n ctx -> Support (VarByteString n ctx) -> Context (VarByteString n ctx) (Layout (VarByteString n ctx))

payload :: VarByteString n ctx -> Support (VarByteString n ctx) -> Payload (VarByteString n ctx) (WitnessField (Context (VarByteString n ctx)))

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

(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

SymbolicOutput field => SymbolicData (TwistedEdwards curve (AffinePoint field))

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type Context (TwistedEdwards curve (AffinePoint field)) :: (Type -> Type) -> Type

type Support (TwistedEdwards curve (AffinePoint field))

type Layout (TwistedEdwards curve (AffinePoint field)) :: Type -> Type

type Payload (TwistedEdwards curve (AffinePoint field)) :: Type -> Type

Methods

arithmetize :: TwistedEdwards curve (AffinePoint field) -> Support (TwistedEdwards curve (AffinePoint field)) -> Context (TwistedEdwards curve (AffinePoint field)) (Layout (TwistedEdwards curve (AffinePoint field)))

payload :: TwistedEdwards curve (AffinePoint field) -> Support (TwistedEdwards curve (AffinePoint field)) -> Payload (TwistedEdwards curve (AffinePoint field)) (WitnessField (Context (TwistedEdwards curve (AffinePoint field))))

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

SymbolicEq field => SymbolicData (Weierstrass curve (Point field))

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

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

type Support (Weierstrass curve (Point field))

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

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

Methods

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

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

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

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

Defined in ZkFold.Symbolic.Data.FFA

Associated Types

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

type Support (FFA p r c)

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

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

Methods

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

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

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

(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