Rsa public private key demo

Main.hs

#!/usr/bin/env nix-shell
#! nix-shell -i runghc -p "ghc.withPackages (pkgs: [ pkgs.bytestring pkgs.jose-jwt ])"
#! nix-shell -I nixpkgs=https://github.com/nixos/nixpkgs-channels/archive/nixos-20.03.tar.gz

{-# LANGUAGE OverloadedStrings #-}

module Main(main) where

import Control.Exception(assert)
import Jose.Jwa (Alg(Encrypted), JweAlg(RSA_OAEP), Enc(A256GCM))
import Jose.Jwe(rsaEncode, rsaDecode)
import Jose.Jwk (Jwk(..), generateRsaKeyPair, KeyUse(Enc))
import Jose.Jwt (Jwt(..), KeyId(..))

main = do
  let
    payload = "foo"
  (RsaPublicJwk pubK _ _ _, RsaPrivateJwk privK _ _ _) <-
    generateRsaKeyPair 256 (KeyId "fookey") Enc (Just (Encrypted RSA_OAEP))
  Right (Jwt jwtpl) <- rsaEncode RSA_OAEP A256GCM pubK payload
  Right (_, payload') <- rsaDecode privK jwtpl
  assert (payload' == payload) (pure ())