Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.JWT

Synopsis

data Certificate ctx = Certificate {
- pubKid :: VarByteString 320 ctx
- pubKey :: PublicKey 2048 ctx
}
data SigningKey ctx = SigningKey {
- prvKid :: VarByteString 320 ctx
- prvKey :: PrivateKey 2048 ctx
}
data TokenHeader ctx = TokenHeader {
- hdAlg :: VarByteString 72 ctx
- hdKid :: VarByteString 320 ctx
- hdTyp :: VarByteString 32 ctx
}
data TokenPayload ctx = TokenPayload {
- plIss :: VarByteString 256 ctx
- plAzp :: VarByteString 1024 ctx
- plAud :: VarByteString 1024 ctx
- plSub :: VarByteString 256 ctx
- plHd :: VarByteString 256 ctx
- plEmail :: VarByteString 512 ctx
- plEmailVerified :: VarByteString 40 ctx
- plAtHash :: VarByteString 256 ctx
- plName :: VarByteString 512 ctx
- plPicture :: VarByteString 1024 ctx
- plGivenName :: VarByteString 256 ctx
- plFamilyName :: VarByteString 256 ctx
- plIat :: VarByteString 80 ctx
- plExp :: VarByteString 80 ctx
}
type Signature keyLen ctx = ByteString keyLen ctx
data ClientSecret ctx = ClientSecret {
- csHeader :: TokenHeader ctx
- csPayload :: TokenPayload ctx
- csSignature :: Signature 2048 ctx
}
class IsSymbolicJSON a where
- type MaxLength a :: Natural
- toJsonBits :: a -> VarByteString (MaxLength a) (Context a)
type SecretBits ctx = (NFData (ctx (Vector 8)), NFData (ctx (Vector 648)), NFData (ctx (Vector 864)), NFData (ctx (Vector 9456)), NFData (ctx (Vector 10328)), NFData (ctx Par1))
secretBits :: forall ctx. Symbolic ctx => SecretBits ctx => ClientSecret ctx -> VarByteString 10328 ctx
toAsciiBits :: forall a ctx. IsSymbolicJSON a => Context a ~ ctx => KnownNat (MaxLength a) => Symbolic ctx => NFData (ctx (Vector 8)) => NFData (ctx (Vector (ASCII (Next6 (MaxLength a))))) => a -> VarByteString (ASCII (Next6 (MaxLength a))) ctx
signPayload :: (SecretBits ctx, RSA 2048 10328 ctx) => SigningKey ctx -> TokenPayload ctx -> ClientSecret ctx
verifySignature :: (SecretBits ctx, RSA 2048 10328 ctx) => Certificate ctx -> ClientSecret ctx -> (Bool ctx, ByteString 256 ctx)

Documentation

data Certificate ctx Source #

RSA Public key with Key ID

Constructors

Certificate
Fields pubKid :: VarByteString 320 ctx pubKey :: PublicKey 2048 ctx

Instances

Instances details

Generic (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Rep (Certificate ctx) :: Type -> Type # Methods from :: Certificate ctx -> Rep (Certificate ctx) x # to :: Rep (Certificate ctx) x -> Certificate ctx #
(Show (PublicKey 2048 ctx), Show (VarByteString 320 ctx)) => Show (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods showsPrec :: Int -> Certificate ctx -> ShowS # show :: Certificate ctx -> String # showList :: [Certificate ctx] -> ShowS #
(NFData (PublicKey 2048 ctx), NFData (VarByteString 320 ctx)) => NFData (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods rnf :: Certificate ctx -> () #
(Eq (PublicKey 2048 ctx), Eq (VarByteString 320 ctx)) => Eq (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods (==) :: Certificate ctx -> Certificate ctx -> Bool # (/=) :: Certificate ctx -> Certificate ctx -> Bool #
(SymbolicData (PublicKey 2048 ctx), Symbolic ctx) => SymbolicData (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Context (Certificate ctx) :: (Type -> Type) -> Type Source # type Support (Certificate ctx) Source # type Layout (Certificate ctx) :: Type -> Type Source # type Payload (Certificate ctx) :: Type -> Type Source # Methods arithmetize :: Certificate ctx -> Support (Certificate ctx) -> Context (Certificate ctx) (Layout (Certificate ctx)) Source # payload :: Certificate ctx -> Support (Certificate ctx) -> Payload (Certificate ctx) (WitnessField (Context (Certificate ctx))) Source # restore :: Context (Certificate ctx) ~ c => (Support (Certificate ctx) -> (c (Layout (Certificate ctx)), Payload (Certificate ctx) (WitnessField c))) -> Certificate ctx Source #
(SymbolicInput (PublicKey 2048 ctx), Symbolic ctx) => SymbolicInput (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods isValid :: Certificate ctx -> Bool (Context (Certificate ctx)) Source #
type Rep (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Rep (Certificate ctx) = D1 ('MetaData "Certificate" "ZkFold.Symbolic.Data.JWT" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Certificate" 'PrefixI 'True) (S1 ('MetaSel ('Just "pubKid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 320 ctx)) :*: S1 ('MetaSel ('Just "pubKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PublicKey 2048 ctx))))
type Context (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Context (Certificate ctx) = GContext (Rep (Certificate ctx))
type Layout (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Layout (Certificate ctx) = GLayout (Rep (Certificate ctx))
type Payload (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Payload (Certificate ctx) = GPayload (Rep (Certificate ctx))
type Support (Certificate ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Support (Certificate ctx) = GSupport (Rep (Certificate ctx))

data SigningKey ctx Source #

RSA Private key with Key ID

Constructors

SigningKey
Fields prvKid :: VarByteString 320 ctx prvKey :: PrivateKey 2048 ctx

Instances

Instances details

Generic (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Rep (SigningKey ctx) :: Type -> Type # Methods from :: SigningKey ctx -> Rep (SigningKey ctx) x # to :: Rep (SigningKey ctx) x -> SigningKey ctx #
(Show (PrivateKey 2048 ctx), Show (VarByteString 320 ctx)) => Show (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods showsPrec :: Int -> SigningKey ctx -> ShowS # show :: SigningKey ctx -> String # showList :: [SigningKey ctx] -> ShowS #
(NFData (PrivateKey 2048 ctx), NFData (VarByteString 320 ctx)) => NFData (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods rnf :: SigningKey ctx -> () #
(Eq (PrivateKey 2048 ctx), Eq (VarByteString 320 ctx)) => Eq (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods (==) :: SigningKey ctx -> SigningKey ctx -> Bool # (/=) :: SigningKey ctx -> SigningKey ctx -> Bool #
(SymbolicData (PrivateKey 2048 ctx), Symbolic ctx) => SymbolicData (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Context (SigningKey ctx) :: (Type -> Type) -> Type Source # type Support (SigningKey ctx) Source # type Layout (SigningKey ctx) :: Type -> Type Source # type Payload (SigningKey ctx) :: Type -> Type Source # Methods arithmetize :: SigningKey ctx -> Support (SigningKey ctx) -> Context (SigningKey ctx) (Layout (SigningKey ctx)) Source # payload :: SigningKey ctx -> Support (SigningKey ctx) -> Payload (SigningKey ctx) (WitnessField (Context (SigningKey ctx))) Source # restore :: Context (SigningKey ctx) ~ c => (Support (SigningKey ctx) -> (c (Layout (SigningKey ctx)), Payload (SigningKey ctx) (WitnessField c))) -> SigningKey ctx Source #
(SymbolicInput (PrivateKey 2048 ctx), Symbolic ctx) => SymbolicInput (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods isValid :: SigningKey ctx -> Bool (Context (SigningKey ctx)) Source #
type Rep (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Rep (SigningKey ctx) = D1 ('MetaData "SigningKey" "ZkFold.Symbolic.Data.JWT" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SigningKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "prvKid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 320 ctx)) :*: S1 ('MetaSel ('Just "prvKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrivateKey 2048 ctx))))
type Context (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Context (SigningKey ctx) = GContext (Rep (SigningKey ctx))
type Layout (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Layout (SigningKey ctx) = GLayout (Rep (SigningKey ctx))
type Payload (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Payload (SigningKey ctx) = GPayload (Rep (SigningKey ctx))
type Support (SigningKey ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Support (SigningKey ctx) = GSupport (Rep (SigningKey ctx))

data TokenHeader ctx Source #

Json Web Token header with information about encryption algorithm and signature

Constructors

TokenHeader
Fields hdAlg :: VarByteString 72 ctx Signature or encryption algorithm hdKid :: VarByteString 320 ctx Key ID hdTyp :: VarByteString 32 ctx Type of token

Instances

Instances details

Symbolic ctx => FromJSON (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods parseJSON :: Value -> Parser (TokenHeader ctx) # parseJSONList :: Value -> Parser [TokenHeader ctx] #
Generic (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Rep (TokenHeader ctx) :: Type -> Type # Methods from :: TokenHeader ctx -> Rep (TokenHeader ctx) x # to :: Rep (TokenHeader ctx) x -> TokenHeader ctx #
(Show (ctx (Vector 72)), Show (ctx (Vector 320)), Show (ctx (Vector 32)), Show (ctx Par1)) => Show (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods showsPrec :: Int -> TokenHeader ctx -> ShowS # show :: TokenHeader ctx -> String # showList :: [TokenHeader ctx] -> ShowS #
(NFData (ctx (Vector 72)), NFData (ctx (Vector 320)), NFData (ctx (Vector 32)), NFData (ctx Par1)) => NFData (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods rnf :: TokenHeader ctx -> () #
(Eq (ctx (Vector 72)), Eq (ctx (Vector 320)), Eq (ctx (Vector 32)), Eq (ctx Par1)) => Eq (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods (==) :: TokenHeader ctx -> TokenHeader ctx -> Bool # (/=) :: TokenHeader ctx -> TokenHeader ctx -> Bool #
Symbolic ctx => SymbolicData (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Context (TokenHeader ctx) :: (Type -> Type) -> Type Source # type Support (TokenHeader ctx) Source # type Layout (TokenHeader ctx) :: Type -> Type Source # type Payload (TokenHeader ctx) :: Type -> Type Source # Methods arithmetize :: TokenHeader ctx -> Support (TokenHeader ctx) -> Context (TokenHeader ctx) (Layout (TokenHeader ctx)) Source # payload :: TokenHeader ctx -> Support (TokenHeader ctx) -> Payload (TokenHeader ctx) (WitnessField (Context (TokenHeader ctx))) Source # restore :: Context (TokenHeader ctx) ~ c => (Support (TokenHeader ctx) -> (c (Layout (TokenHeader ctx)), Payload (TokenHeader ctx) (WitnessField c))) -> TokenHeader ctx Source #
Symbolic ctx => SymbolicInput (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods isValid :: TokenHeader ctx -> Bool (Context (TokenHeader ctx)) Source #
(Symbolic ctx, Context (TokenHeader ctx) ~ ctx, NFData (VarByteString (MaxLength (TokenHeader ctx)) ctx)) => IsSymbolicJSON (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type MaxLength (TokenHeader ctx) :: Natural Source # Methods toJsonBits :: TokenHeader ctx -> VarByteString (MaxLength (TokenHeader ctx)) (Context (TokenHeader ctx)) Source #
type Rep (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Rep (TokenHeader ctx) = D1 ('MetaData "TokenHeader" "ZkFold.Symbolic.Data.JWT" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TokenHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdAlg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 72 ctx)) :: (S1 ('MetaSel ('Just "hdKid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 320 ctx)) :: S1 ('MetaSel ('Just "hdTyp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 32 ctx)))))
type Context (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Context (TokenHeader ctx) = GContext (Rep (TokenHeader ctx))
type Layout (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Layout (TokenHeader ctx) = GLayout (Rep (TokenHeader ctx))
type Payload (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Payload (TokenHeader ctx) = GPayload (Rep (TokenHeader ctx))
type Support (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Support (TokenHeader ctx) = GSupport (Rep (TokenHeader ctx))
type MaxLength (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type MaxLength (TokenHeader ctx) = 648

data TokenPayload ctx Source #

Json Web Token payload with information about the issuer, bearer and TTL

Constructors

TokenPayload

Fields

plIss :: VarByteString 256 ctx
Issuer (who created and signed the token)
plAzp :: VarByteString 1024 ctx
Authorized party (the party to which the token was issued)
plAud :: VarByteString 1024 ctx
Audience (who or what the token is intended for)
plSub :: VarByteString 256 ctx
Subject (whom the token refers to)
plHd :: VarByteString 256 ctx
Hosted domain
plEmail :: VarByteString 512 ctx
User email limited to 64 characters
plEmailVerified :: VarByteString 40 ctx
"true" or "false", max 5 bytes
plAtHash :: VarByteString 256 ctx
Access token hash value
plName :: VarByteString 512 ctx
Full name limited to 64 characters
plPicture :: VarByteString 1024 ctx
URL to the profile picture limited to 128 characters
plGivenName :: VarByteString 256 ctx
Given name limited to 32 characters
plFamilyName :: VarByteString 256 ctx
Family name limited to 32 characters
plIat :: VarByteString 80 ctx
Issued at (seconds since Unix epoch), a decimal number
plExp :: VarByteString 80 ctx
Expiration time (seconds since Unix epoch), a decimal number

Instances

Instances details

Symbolic ctx => Arbitrary (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods arbitrary :: Gen (TokenPayload ctx) # shrink :: TokenPayload ctx -> [TokenPayload ctx] #
Symbolic ctx => FromJSON (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods parseJSON :: Value -> Parser (TokenPayload ctx) # parseJSONList :: Value -> Parser [TokenPayload ctx] #
Generic (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Rep (TokenPayload ctx) :: Type -> Type # Methods from :: TokenPayload ctx -> Rep (TokenPayload ctx) x # to :: Rep (TokenPayload ctx) x -> TokenPayload ctx #
(Show (ctx (Vector 40)), Show (ctx (Vector 80)), Show (ctx (Vector 256)), Show (ctx (Vector 512)), Show (ctx (Vector 1024)), Show (ctx Par1)) => Show (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods showsPrec :: Int -> TokenPayload ctx -> ShowS # show :: TokenPayload ctx -> String # showList :: [TokenPayload ctx] -> ShowS #
(Eq (ctx (Vector 40)), Eq (ctx (Vector 80)), Eq (ctx (Vector 256)), Eq (ctx (Vector 512)), Eq (ctx (Vector 1024)), Eq (ctx Par1)) => Eq (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods (==) :: TokenPayload ctx -> TokenPayload ctx -> Bool # (/=) :: TokenPayload ctx -> TokenPayload ctx -> Bool #
Symbolic ctx => SymbolicData (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Context (TokenPayload ctx) :: (Type -> Type) -> Type Source # type Support (TokenPayload ctx) Source # type Layout (TokenPayload ctx) :: Type -> Type Source # type Payload (TokenPayload ctx) :: Type -> Type Source # Methods arithmetize :: TokenPayload ctx -> Support (TokenPayload ctx) -> Context (TokenPayload ctx) (Layout (TokenPayload ctx)) Source # payload :: TokenPayload ctx -> Support (TokenPayload ctx) -> Payload (TokenPayload ctx) (WitnessField (Context (TokenPayload ctx))) Source # restore :: Context (TokenPayload ctx) ~ c => (Support (TokenPayload ctx) -> (c (Layout (TokenPayload ctx)), Payload (TokenPayload ctx) (WitnessField c))) -> TokenPayload ctx Source #
Symbolic ctx => SymbolicInput (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods isValid :: TokenPayload ctx -> Bool (Context (TokenPayload ctx)) Source #
(Symbolic ctx, Context (TokenPayload ctx) ~ ctx) => IsSymbolicJSON (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type MaxLength (TokenPayload ctx) :: Natural Source # Methods toJsonBits :: TokenPayload ctx -> VarByteString (MaxLength (TokenPayload ctx)) (Context (TokenPayload ctx)) Source #
type Rep (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Rep (TokenPayload ctx) = D1 ('MetaData "TokenPayload" "ZkFold.Symbolic.Data.JWT" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TokenPayload" 'PrefixI 'True) (((S1 ('MetaSel ('Just "plIss") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 256 ctx)) :: (S1 ('MetaSel ('Just "plAzp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 1024 ctx)) :: S1 ('MetaSel ('Just "plAud") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 1024 ctx)))) :: ((S1 ('MetaSel ('Just "plSub") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 256 ctx)) :: S1 ('MetaSel ('Just "plHd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 256 ctx))) :: (S1 ('MetaSel ('Just "plEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 512 ctx)) :: S1 ('MetaSel ('Just "plEmailVerified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 40 ctx))))) :: ((S1 ('MetaSel ('Just "plAtHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 256 ctx)) :: (S1 ('MetaSel ('Just "plName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 512 ctx)) :: S1 ('MetaSel ('Just "plPicture") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 1024 ctx)))) :: ((S1 ('MetaSel ('Just "plGivenName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 256 ctx)) :: S1 ('MetaSel ('Just "plFamilyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 256 ctx))) :: (S1 ('MetaSel ('Just "plIat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 80 ctx)) :*: S1 ('MetaSel ('Just "plExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VarByteString 80 ctx)))))))
type Context (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Context (TokenPayload ctx) = GContext (Rep (TokenPayload ctx))
type Layout (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Layout (TokenPayload ctx) = GLayout (Rep (TokenPayload ctx))
type Payload (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Payload (TokenPayload ctx) = GPayload (Rep (TokenPayload ctx))
type Support (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Support (TokenPayload ctx) = GSupport (Rep (TokenPayload ctx))
type MaxLength (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type MaxLength (TokenPayload ctx) = 7088

type Signature keyLen ctx = ByteString keyLen ctx Source #

data ClientSecret ctx Source #

Constructors

ClientSecret
Fields csHeader :: TokenHeader ctx csPayload :: TokenPayload ctx csSignature :: Signature 2048 ctx

Instances

Instances details

Generic (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Rep (ClientSecret ctx) :: Type -> Type # Methods from :: ClientSecret ctx -> Rep (ClientSecret ctx) x # to :: Rep (ClientSecret ctx) x -> ClientSecret ctx #
(NFData (TokenHeader ctx), NFData (TokenPayload ctx), NFData (Signature 2048 ctx)) => NFData (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods rnf :: ClientSecret ctx -> () #
Symbolic ctx => SymbolicData (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type Context (ClientSecret ctx) :: (Type -> Type) -> Type Source # type Support (ClientSecret ctx) Source # type Layout (ClientSecret ctx) :: Type -> Type Source # type Payload (ClientSecret ctx) :: Type -> Type Source # Methods arithmetize :: ClientSecret ctx -> Support (ClientSecret ctx) -> Context (ClientSecret ctx) (Layout (ClientSecret ctx)) Source # payload :: ClientSecret ctx -> Support (ClientSecret ctx) -> Payload (ClientSecret ctx) (WitnessField (Context (ClientSecret ctx))) Source # restore :: Context (ClientSecret ctx) ~ c => (Support (ClientSecret ctx) -> (c (Layout (ClientSecret ctx)), Payload (ClientSecret ctx) (WitnessField c))) -> ClientSecret ctx Source #
Symbolic ctx => SymbolicInput (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Methods isValid :: ClientSecret ctx -> Bool (Context (ClientSecret ctx)) Source #
type Rep (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Rep (ClientSecret ctx) = D1 ('MetaData "ClientSecret" "ZkFold.Symbolic.Data.JWT" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ClientSecret" 'PrefixI 'True) (S1 ('MetaSel ('Just "csHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TokenHeader ctx)) :: (S1 ('MetaSel ('Just "csPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TokenPayload ctx)) :: S1 ('MetaSel ('Just "csSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 2048 ctx)))))
type Context (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Context (ClientSecret ctx) = GContext (Rep (ClientSecret ctx))
type Layout (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Layout (ClientSecret ctx) = GLayout (Rep (ClientSecret ctx))
type Payload (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Payload (ClientSecret ctx) = GPayload (Rep (ClientSecret ctx))
type Support (ClientSecret ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT type Support (ClientSecret ctx) = GSupport (Rep (ClientSecret ctx))

class IsSymbolicJSON a where Source #

Associated Types

type MaxLength a :: Natural Source #

Methods

toJsonBits :: a -> VarByteString (MaxLength a) (Context a) Source #

Instances

Instances details

(Symbolic ctx, Context (TokenHeader ctx) ~ ctx, NFData (VarByteString (MaxLength (TokenHeader ctx)) ctx)) => IsSymbolicJSON (TokenHeader ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type MaxLength (TokenHeader ctx) :: Natural Source # Methods toJsonBits :: TokenHeader ctx -> VarByteString (MaxLength (TokenHeader ctx)) (Context (TokenHeader ctx)) Source #
(Symbolic ctx, Context (TokenPayload ctx) ~ ctx) => IsSymbolicJSON (TokenPayload ctx) Source #
Instance details Defined in ZkFold.Symbolic.Data.JWT Associated Types type MaxLength (TokenPayload ctx) :: Natural Source # Methods toJsonBits :: TokenPayload ctx -> VarByteString (MaxLength (TokenPayload ctx)) (Context (TokenPayload ctx)) Source #

type SecretBits ctx = (NFData (ctx (Vector 8)), NFData (ctx (Vector 648)), NFData (ctx (Vector 864)), NFData (ctx (Vector 9456)), NFData (ctx (Vector 10328)), NFData (ctx Par1)) Source #

secretBits :: forall ctx. Symbolic ctx => SecretBits ctx => ClientSecret ctx -> VarByteString 10328 ctx Source #

Client secret as a ByteString: ASCII(base64UrlEncode(header) + "." + base64UrlEncode(payload))

toAsciiBits :: forall a ctx. IsSymbolicJSON a => Context a ~ ctx => KnownNat (MaxLength a) => Symbolic ctx => NFData (ctx (Vector 8)) => NFData (ctx (Vector (ASCII (Next6 (MaxLength a))))) => a -> VarByteString (ASCII (Next6 (MaxLength a))) ctx Source #

signPayload :: (SecretBits ctx, RSA 2048 10328 ctx) => SigningKey ctx -> TokenPayload ctx -> ClientSecret ctx Source #

Sign token payload and form a ClientSecret

verifySignature :: (SecretBits ctx, RSA 2048 10328 ctx) => Certificate ctx -> ClientSecret ctx -> (Bool ctx, ByteString 256 ctx) Source #

Verify that the given JWT was correctly signed with a matching key (i.e. Key IDs match and the signature is correct).