Skip to content

2026 05 06 remove unused crypto code #128

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
robinheghan merged 3 commits into from
May 7, 2026
Merged

2026 05 06 remove unused crypto code #128

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
f77b434
Removed unused ecdh code
joeybright May 7, 2026
9026c1c
Remove unused parameters
joeybright May 7, 2026
6511c5a
Removed unused helper function
joeybright May 7, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
146 changes: 3 additions & 143 deletions src/Crypto.gren
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ module Crypto exposing
, generateRsaOaepKeyPair, generateRsaPssKeyPair, generateRsaSsaPkcs1V1_5KeyPair
, AesCtrKey, AesCbcKey, AesGcmKey, AesKeyParams, AesLength(..)
, generateAesCtrKey, generateAesCbcKey, generateAesGcmKey
, EcdsaKey, EcdhKey, EcKeyParams, EcNamedCurve(..)
, EcdsaKey, EcKeyParams, EcNamedCurve(..)
, generateEcdsaKeyPair
, HmacKey, HmacKeyParams, HmacKeyGenerationError(..)
, generateHmacKey
Expand Down Expand Up @@ -249,7 +249,7 @@ Generate keys to use with AES (Advanced Encryption Standard) algorithm.

Generate keys to use with EC (Elliptic Curve) algorithm.

@docs EcdsaKey, EcdhKey, EcKeyParams, EcNamedCurve
@docs EcdsaKey, EcKeyParams, EcNamedCurve

@docs generateEcdsaKeyPair

Expand Down Expand Up @@ -721,13 +721,6 @@ type EcdsaKey
= EcdsaKey


{-| Represents a key generated and for use with the ECDH algorithm used to
derive keys and bits.
-}
type EcdhKey
= EcdhKey


{-| Parameters required to generates an AES key.

- `namedCurve` is the curve used to generate the key. It must be one of the
Expand Down Expand Up @@ -763,17 +756,6 @@ generateEcdsaKeyPair _context { namedCurve, extractable } =
[ "sign", "verify" ]


{-| Generate a new key using the ECDH algorithm.
-}
generateEcdhKeyPair : SecureContext -> EcKeyParams -> Task x (KeyPair EcdhKey EcKeyParams)
generateEcdhKeyPair _context { namedCurve, extractable } =
Gren.Kernel.Crypto.generateEcKey
"ECDH"
(ecNamedCurveToString namedCurve)
(extractableToBool extractable)
[ "deriveKey", "deriveBits" ]



-- HMAC KEYS

Expand Down Expand Up @@ -1000,36 +982,6 @@ exportEcdsaPrivateKeyAsJwk (PrivateKey key)=
exportKeyAsJwk key


{-|-}
exportEcdhPublicKeyAsRaw : PublicKey EcdhKey EcKeyParams -> Task {} Bytes
exportEcdhPublicKeyAsRaw (PublicKey key) =
exportPublicKeyAsRaw key


{-|-}
exportEcdhPublicKeyAsSpki : PublicKey EcdhKey EcKeyParams -> Task {} Bytes
exportEcdhPublicKeyAsSpki (PublicKey key) =
exportPublicKeyAsSpki key


{-|-}
exportEcdhPublicKeyAsJwk : PublicKey EcdhKey EcKeyParams -> Task {} Json.Encode.Value
exportEcdhPublicKeyAsJwk (PublicKey key) =
exportPublicKeyAsJwk key


{-|-}
exportEcdhPrivateKeyAsPkcs8 : PrivateKey EcdhKey EcKeyParams -> Task ExportKeyError Bytes
exportEcdhPrivateKeyAsPkcs8 (PrivateKey key) =
exportKeyAsPkcs8 key


{-|-}
exportEcdhPrivateKeyAsJwk : PrivateKey EcdhKey EcKeyParams -> Task ExportKeyError Json.Encode.Value
exportEcdhPrivateKeyAsJwk (PrivateKey key) =
exportKeyAsJwk key


{-|-}
exportHmacKeyAsRaw : Key HmacKey HmacKeyParams -> Task ExportKeyError Bytes
exportHmacKeyAsRaw =
Expand Down Expand Up @@ -1402,45 +1354,6 @@ importEcdsaPublicKeyFromJwk _context namedCurve jwk =
[ "verify" ]


{-|-}
importEcdhPublicKeyFromRaw : SecureContext -> EcNamedCurve -> Bytes -> Task ImportEcKeyError (PublicKey EcdhKey EcKeyParams)
importEcdhPublicKeyFromRaw _context namedCurve bytes =
Gren.Kernel.Crypto.importEcKey
"public"
"raw"
bytes
"ECDH"
(ecNamedCurveToString namedCurve)
True
[]


{-|-}
importEcdhPublicKeyFromSpki : SecureContext -> EcNamedCurve -> Bytes -> Task ImportEcKeyError (PublicKey EcdhKey EcKeyParams)
importEcdhPublicKeyFromSpki _context namedCurve bytes =
Gren.Kernel.Crypto.importEcKey
"public"
"spki"
bytes
"ECDH"
(ecNamedCurveToString namedCurve)
True
[]


{-|-}
importEcdhPublicKeyFromJwk : SecureContext -> EcNamedCurve -> Json.Encode.Value -> Task ImportEcKeyError (PublicKey EcdhKey EcKeyParams)
importEcdhPublicKeyFromJwk _context namedCurve jwk =
Gren.Kernel.Crypto.importEcKey
"public"
"jwk"
(Gren.Kernel.Json.unwrap jwk)
"ECDH"
(ecNamedCurveToString namedCurve)
True
[]


{-|-}
importEcdsaPrivateKeyFromPkcs8 : SecureContext -> Extractable -> EcNamedCurve -> Bytes -> Task ImportEcKeyError (PrivateKey EcdsaKey EcKeyParams)
importEcdsaPrivateKeyFromPkcs8 _context extractable namedCurve bytes =
Expand Down Expand Up @@ -1480,45 +1393,6 @@ importEcdsaPrivateKeyFromJwk _context extractable namedCurve jwk =
[ "sign" ]


{-|-}
importEcdhPrivateKeyFromPkcs8 : SecureContext -> Extractable -> EcNamedCurve -> Bytes -> Task ImportEcKeyError (PrivateKey EcdhKey EcKeyParams)
importEcdhPrivateKeyFromPkcs8 _context extractable namedCurve bytes =
Gren.Kernel.Crypto.importEcKey
"private"
"pkcs8"
bytes
"ECDH"
(ecNamedCurveToString namedCurve)
(extractableToBool extractable)
[ "deriveKey", "deriveBits" ]


{-|-}
importEcdhPrivateKeyFromSpki : SecureContext -> Extractable -> EcNamedCurve -> Bytes -> Task ImportEcKeyError (PrivateKey EcdhKey EcKeyParams)
importEcdhPrivateKeyFromSpki _context extractable namedCurve bytes =
Gren.Kernel.Crypto.importEcKey
"private"
"spki"
bytes
"ECDH"
(ecNamedCurveToString namedCurve)
(extractableToBool extractable)
[ "deriveKey", "deriveBits" ]


{-|-}
importEcdhPrivateKeyFromJwk : SecureContext -> Extractable -> EcNamedCurve -> Json.Encode.Value -> Task ImportEcKeyError (PrivateKey EcdhKey EcKeyParams)
importEcdhPrivateKeyFromJwk _context extractable namedCurve jwk =
Gren.Kernel.Crypto.importEcKey
"private"
"jwk"
(Gren.Kernel.Json.unwrap jwk)
"ECDH"
(ecNamedCurveToString namedCurve)
(extractableToBool extractable)
[ "deriveKey", "deriveBits" ]


{-| Errors that can happen when importing a key using an HMAC algorithm. There are three
known reasons an errors can happen when importing HMAC keys:

Expand Down Expand Up @@ -1992,7 +1866,7 @@ is just some `Bytes`). The `Signature` can be used with the cooresponding verifi
to verify that the passed `Bytes` were signed with the passed key.
-}
signWithRsaPss : RsaPssParams -> PrivateKey RsaPssKey RsaKeyParams -> Bytes -> Task RsaPssSigningError Signature
signWithRsaPss { salt } (PrivateKey (Key { key, data = { modulusLength, hash, extractable }})) bytes =
signWithRsaPss { salt } (PrivateKey (Key { key, data = { hash }})) bytes =
let
clampedSaltBytes =
clamp 0 2147483647 salt
Expand Down Expand Up @@ -2209,17 +2083,3 @@ digestAlgorithmToString digestAlgorithm =

Sha512 ->
"SHA-512"


{-|-}
digestAlgorithmToBytes : DigestAlgorithm -> Int
digestAlgorithmToBytes digestAlgorithm =
when digestAlgorithm is
Sha256 ->
32

Sha384 ->
48

Sha512 ->
64
Loading