Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.API.MLS.CipherSuite

Contents

MLS ciphersuites
MLS signature schemes
Key pairs
Utilities

Synopsis

newtype CipherSuite = CipherSuite {
- cipherSuiteNumber :: Word16
}
defCipherSuite :: CipherSuiteTag
data CipherSuiteTag
cipherSuiteTag :: CipherSuite -> Maybe CipherSuiteTag
tagCipherSuite :: CipherSuiteTag -> CipherSuite
newtype SignatureScheme = SignatureScheme {
- unSignatureScheme :: Word16
}
class IsSignatureScheme (ss :: SignatureSchemeTag)
data SignatureSchemeTag
type family SignatureSchemeCurve (ss :: SignatureSchemeTag)
signatureSchemeName :: SignatureSchemeTag -> Text
csSignatureScheme :: CipherSuiteTag -> SignatureSchemeTag
type KeyPair (ss :: SignatureSchemeTag) = (PrivateKey ss, PublicKey ss)
csHash :: CipherSuiteTag -> ByteString -> RawMLS a -> ByteString
csVerifySignatureWithLabel :: CipherSuiteTag -> ByteString -> ByteString -> RawMLS a -> ByteString -> Bool
csVerifySignature :: CipherSuiteTag -> ByteString -> RawMLS a -> ByteString -> Bool
signWithLabel :: forall ss a m. (IsSignatureScheme ss, MonadRandom m) => ByteString -> KeyPair ss -> RawMLS a -> m ByteString

MLS ciphersuites

newtype CipherSuite Source #

Constructors

CipherSuite
Fields cipherSuiteNumber :: Word16

Instances

Instances details

Arbitrary CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods arbitrary :: Gen CipherSuite Source # shrink :: CipherSuite -> [CipherSuite] Source #
FromJSON CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parseJSON :: Value -> Parser CipherSuite Source # parseJSONList :: Value -> Parser [CipherSuite] Source #
ToJSON CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods toJSON :: CipherSuite -> Value Source # toEncoding :: CipherSuite -> Encoding Source # toJSONList :: [CipherSuite] -> Value Source # toEncodingList :: [CipherSuite] -> Encoding Source #
Show CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods showsPrec :: Int -> CipherSuite -> ShowS # show :: CipherSuite -> String # showList :: [CipherSuite] -> ShowS #
FromByteString CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parser :: Parser CipherSuite Source #
Eq CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods (==) :: CipherSuite -> CipherSuite -> Bool # (/=) :: CipherSuite -> CipherSuite -> Bool #
FromHttpApiData CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parseUrlPiece :: Text -> Either Text CipherSuite Source # parseHeader :: ByteString -> Either Text CipherSuite Source # parseQueryParam :: Text -> Either Text CipherSuite Source #
ToHttpApiData CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods toUrlPiece :: CipherSuite -> Text Source # toEncodedUrlPiece :: CipherSuite -> Builder Source # toHeader :: CipherSuite -> ByteString Source # toQueryParam :: CipherSuite -> Text Source # toEncodedQueryParam :: CipherSuite -> Builder Source #
ToParamSchema CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods toParamSchema :: Proxy CipherSuite -> Schema Source #
ToSchema CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods declareNamedSchema :: Proxy CipherSuite -> Declare (Definitions Schema) NamedSchema Source #
ToSchema CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods schema :: ValueSchema NamedSwaggerDoc CipherSuite Source #
ParseMLS CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parseMLS :: Get CipherSuite Source #
SerialiseMLS CipherSuite Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods serialiseMLS :: CipherSuite -> Put Source #
HasField "cipherSuite" KeyPackage CipherSuite Source #
Instance details Defined in Wire.API.MLS.KeyPackage Methods getField :: KeyPackage -> CipherSuite #

defCipherSuite :: CipherSuiteTag Source #

data CipherSuiteTag Source #

Constructors

MLS_128_DHKEMX25519_AES128GCM_SHA256_Ed25519
MLS_128_DHKEMP256_AES128GCM_SHA256_P256
MLS_256_DHKEMP384_AES256GCM_SHA384_P384
MLS_256_DHKEMP521_AES256GCM_SHA512_P521
MLS_128_X25519Kyber768Draft00_AES128GCM_SHA256_Ed25519

Instances

Instances details

Arbitrary CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods arbitrary :: Gen CipherSuiteTag Source # shrink :: CipherSuiteTag -> [CipherSuiteTag] Source #
Bounded CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods minBound :: CipherSuiteTag # maxBound :: CipherSuiteTag #
Enum CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods succ :: CipherSuiteTag -> CipherSuiteTag # pred :: CipherSuiteTag -> CipherSuiteTag # toEnum :: Int -> CipherSuiteTag # fromEnum :: CipherSuiteTag -> Int # enumFrom :: CipherSuiteTag -> [CipherSuiteTag] # enumFromThen :: CipherSuiteTag -> CipherSuiteTag -> [CipherSuiteTag] # enumFromTo :: CipherSuiteTag -> CipherSuiteTag -> [CipherSuiteTag] # enumFromThenTo :: CipherSuiteTag -> CipherSuiteTag -> CipherSuiteTag -> [CipherSuiteTag] #
Generic CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Associated Types type Rep CipherSuiteTag :: Type -> Type # Methods from :: CipherSuiteTag -> Rep CipherSuiteTag x # to :: Rep CipherSuiteTag x -> CipherSuiteTag #
Show CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods showsPrec :: Int -> CipherSuiteTag -> ShowS # show :: CipherSuiteTag -> String # showList :: [CipherSuiteTag] -> ShowS #
Cql CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods ctype :: Tagged CipherSuiteTag ColumnType Source # toCql :: CipherSuiteTag -> Value Source # fromCql :: Value -> Either String CipherSuiteTag Source #
Eq CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods (==) :: CipherSuiteTag -> CipherSuiteTag -> Bool # (/=) :: CipherSuiteTag -> CipherSuiteTag -> Bool #
Ord CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods compare :: CipherSuiteTag -> CipherSuiteTag -> Ordering # (<) :: CipherSuiteTag -> CipherSuiteTag -> Bool # (<=) :: CipherSuiteTag -> CipherSuiteTag -> Bool # (>) :: CipherSuiteTag -> CipherSuiteTag -> Bool # (>=) :: CipherSuiteTag -> CipherSuiteTag -> Bool # max :: CipherSuiteTag -> CipherSuiteTag -> CipherSuiteTag # min :: CipherSuiteTag -> CipherSuiteTag -> CipherSuiteTag #
ToSchema CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods declareNamedSchema :: Proxy CipherSuiteTag -> Declare (Definitions Schema) NamedSchema Source #
ToSchema CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods schema :: ValueSchema NamedSwaggerDoc CipherSuiteTag Source #
type Rep CipherSuiteTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite type Rep CipherSuiteTag = D1 ('MetaData "CipherSuiteTag" "Wire.API.MLS.CipherSuite" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) ((C1 ('MetaCons "MLS_128_DHKEMX25519_AES128GCM_SHA256_Ed25519" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MLS_128_DHKEMP256_AES128GCM_SHA256_P256" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MLS_256_DHKEMP384_AES256GCM_SHA384_P384" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MLS_256_DHKEMP521_AES256GCM_SHA512_P521" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MLS_128_X25519Kyber768Draft00_AES128GCM_SHA256_Ed25519" 'PrefixI 'False) (U1 :: Type -> Type))))

cipherSuiteTag :: CipherSuite -> Maybe CipherSuiteTag Source #

See https://messaginglayersecurity.rocks/mls-protocol/draft-ietf-mls-protocol.html#table-5.

tagCipherSuite :: CipherSuiteTag -> CipherSuite Source #

Inverse of cipherSuiteTag

MLS signature schemes

newtype SignatureScheme Source #

A TLS signature scheme.

See https://www.iana.org/assignments/tls-parameters/tls-parameters.xhtml#tls-signaturescheme.

Constructors

SignatureScheme
Fields unSignatureScheme :: Word16

Instances

Instances details

Arbitrary SignatureScheme Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods arbitrary :: Gen SignatureScheme Source # shrink :: SignatureScheme -> [SignatureScheme] Source #
Show SignatureScheme Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods showsPrec :: Int -> SignatureScheme -> ShowS # show :: SignatureScheme -> String # showList :: [SignatureScheme] -> ShowS #
Eq SignatureScheme Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods (==) :: SignatureScheme -> SignatureScheme -> Bool # (/=) :: SignatureScheme -> SignatureScheme -> Bool #
ParseMLS SignatureScheme Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parseMLS :: Get SignatureScheme Source #

class IsSignatureScheme (ss :: SignatureSchemeTag) Source #

Minimal complete definition

sign

Instances

Instances details

IsSignatureScheme 'Ecdsa_secp256r1_sha256 Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods sign :: MonadRandom m => KeyPair 'Ecdsa_secp256r1_sha256 -> ByteString -> m ByteString
IsSignatureScheme 'Ecdsa_secp384r1_sha384 Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods sign :: MonadRandom m => KeyPair 'Ecdsa_secp384r1_sha384 -> ByteString -> m ByteString
IsSignatureScheme 'Ecdsa_secp521r1_sha512 Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods sign :: MonadRandom m => KeyPair 'Ecdsa_secp521r1_sha512 -> ByteString -> m ByteString
IsSignatureScheme 'Ed25519 Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods sign :: MonadRandom m => KeyPair 'Ed25519 -> ByteString -> m ByteString

data SignatureSchemeTag Source #

Constructors

Ed25519
Ecdsa_secp256r1_sha256
Ecdsa_secp384r1_sha384
Ecdsa_secp521r1_sha512

Instances

Instances details

Arbitrary SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods arbitrary :: Gen SignatureSchemeTag Source # shrink :: SignatureSchemeTag -> [SignatureSchemeTag] Source #
FromJSON SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parseJSON :: Value -> Parser SignatureSchemeTag Source # parseJSONList :: Value -> Parser [SignatureSchemeTag] Source #
FromJSONKey SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods fromJSONKey :: FromJSONKeyFunction SignatureSchemeTag Source # fromJSONKeyList :: FromJSONKeyFunction [SignatureSchemeTag] Source #
ToJSON SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods toJSON :: SignatureSchemeTag -> Value Source # toEncoding :: SignatureSchemeTag -> Encoding Source # toJSONList :: [SignatureSchemeTag] -> Value Source # toEncodingList :: [SignatureSchemeTag] -> Encoding Source #
ToJSONKey SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods toJSONKey :: ToJSONKeyFunction SignatureSchemeTag Source # toJSONKeyList :: ToJSONKeyFunction [SignatureSchemeTag] Source #
Bounded SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods minBound :: SignatureSchemeTag # maxBound :: SignatureSchemeTag #
Enum SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods succ :: SignatureSchemeTag -> SignatureSchemeTag # pred :: SignatureSchemeTag -> SignatureSchemeTag # toEnum :: Int -> SignatureSchemeTag # fromEnum :: SignatureSchemeTag -> Int # enumFrom :: SignatureSchemeTag -> [SignatureSchemeTag] # enumFromThen :: SignatureSchemeTag -> SignatureSchemeTag -> [SignatureSchemeTag] # enumFromTo :: SignatureSchemeTag -> SignatureSchemeTag -> [SignatureSchemeTag] # enumFromThenTo :: SignatureSchemeTag -> SignatureSchemeTag -> SignatureSchemeTag -> [SignatureSchemeTag] #
Generic SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Associated Types type Rep SignatureSchemeTag :: Type -> Type # Methods from :: SignatureSchemeTag -> Rep SignatureSchemeTag x # to :: Rep SignatureSchemeTag x -> SignatureSchemeTag #
Show SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods showsPrec :: Int -> SignatureSchemeTag -> ShowS # show :: SignatureSchemeTag -> String # showList :: [SignatureSchemeTag] -> ShowS #
Cql SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods ctype :: Tagged SignatureSchemeTag ColumnType Source # toCql :: SignatureSchemeTag -> Value Source # fromCql :: Value -> Either String SignatureSchemeTag Source #
Eq SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods (==) :: SignatureSchemeTag -> SignatureSchemeTag -> Bool # (/=) :: SignatureSchemeTag -> SignatureSchemeTag -> Bool #
Ord SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods compare :: SignatureSchemeTag -> SignatureSchemeTag -> Ordering # (<) :: SignatureSchemeTag -> SignatureSchemeTag -> Bool # (<=) :: SignatureSchemeTag -> SignatureSchemeTag -> Bool # (>) :: SignatureSchemeTag -> SignatureSchemeTag -> Bool # (>=) :: SignatureSchemeTag -> SignatureSchemeTag -> Bool # max :: SignatureSchemeTag -> SignatureSchemeTag -> SignatureSchemeTag # min :: SignatureSchemeTag -> SignatureSchemeTag -> SignatureSchemeTag #
FromHttpApiData SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods parseUrlPiece :: Text -> Either Text SignatureSchemeTag Source # parseHeader :: ByteString -> Either Text SignatureSchemeTag Source # parseQueryParam :: Text -> Either Text SignatureSchemeTag Source #
ToParamSchema SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods toParamSchema :: Proxy SignatureSchemeTag -> Schema Source #
ToSchema SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite Methods declareNamedSchema :: Proxy SignatureSchemeTag -> Declare (Definitions Schema) NamedSchema Source #
type Rep SignatureSchemeTag Source #
Instance details Defined in Wire.API.MLS.CipherSuite type Rep SignatureSchemeTag = D1 ('MetaData "SignatureSchemeTag" "Wire.API.MLS.CipherSuite" "wire-api-0.1.0-3915FetN8WgFcCGrbk6Vve" 'False) ((C1 ('MetaCons "Ed25519" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ecdsa_secp256r1_sha256" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Ecdsa_secp384r1_sha384" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ecdsa_secp521r1_sha512" 'PrefixI 'False) (U1 :: Type -> Type)))

type family SignatureSchemeCurve (ss :: SignatureSchemeTag) Source #

Instances

Instances details

type SignatureSchemeCurve 'Ecdsa_secp256r1_sha256 Source #
Instance details Defined in Wire.API.MLS.CipherSuite type SignatureSchemeCurve 'Ecdsa_secp256r1_sha256 = Curve_P256R1
type SignatureSchemeCurve 'Ecdsa_secp384r1_sha384 Source #
Instance details Defined in Wire.API.MLS.CipherSuite type SignatureSchemeCurve 'Ecdsa_secp384r1_sha384 = Curve_P384R1
type SignatureSchemeCurve 'Ecdsa_secp521r1_sha512 Source #
Instance details Defined in Wire.API.MLS.CipherSuite type SignatureSchemeCurve 'Ecdsa_secp521r1_sha512 = Curve_P521R1

signatureSchemeName :: SignatureSchemeTag -> Text Source #

csSignatureScheme :: CipherSuiteTag -> SignatureSchemeTag Source #

Key pairs

type KeyPair (ss :: SignatureSchemeTag) = (PrivateKey ss, PublicKey ss) Source #

Utilities

csHash :: CipherSuiteTag -> ByteString -> RawMLS a -> ByteString Source #

csVerifySignatureWithLabel :: CipherSuiteTag -> ByteString -> ByteString -> RawMLS a -> ByteString -> Bool Source #

csVerifySignature :: CipherSuiteTag -> ByteString -> RawMLS a -> ByteString -> Bool Source #

signWithLabel :: forall ss a m. (IsSignatureScheme ss, MonadRandom m) => ByteString -> KeyPair ss -> RawMLS a -> m ByteString Source #