JWCrypto

事実とその根拠となるチェック

以下の内容はドキュメントからの転記ではありません。2026年10月20日に、チェック content/libraries/verify/jwcrypto/run.sh がコンテナイメージ python:3.14.8-slim-trixie 内で JWCrypto 1.6.1 を cryptography 50.0.2 で実行しました。このページの内容はその出力と一致していなければならず、各事実には該当する出力行を示しています。

• JWS アルゴリズム

  HS256HS384HS512RS256RS384RS512PS256PS384PS512ES256ES384ES512ES256KEdDSAEd25519Ed448ML-DSA-44ML-DSA-65ML-DSA-87

  256/384/512 ビットの HS、RS、PS、ES、ES256K、EdDSA、Ed25519、Ed448、ML-DSA-44/65/87（AKP 鍵）で署名と検証ができました。いずれもデフォルトの許可リストに含まれています。

  チェックによる記録

  fact jws-algorithms = HS256, HS384, HS512, RS256, RS384, RS512, PS256, PS384, PS512, ES256, ES384, ES512, ES256K, EdDSA, Ed25519, Ed448, ML-DSA-44, ML-DSA-65, ML-DSA-87
  evidence jws-algorithms: ML-DSA-44: JWK kty AKP
  evidence jws-algorithms: ML-DSA-65: JWK kty AKP
  evidence jws-algorithms: ML-DSA-87: JWK kty AKP
  evidence jws-algorithms: default allowed list: HS256, HS384, HS512, RS256, RS384, RS512, ES256, ES384, ES512, PS256, PS384, PS512, EdDSA, ES256K, Ed25519, Ed448, ML-DSA-44, ML-DSA-65, ML-DSA-87

• ES256 署名のエンコーディング

  raw

  ES256 署名は 64 バイトの生の r‖s です。

  チェックによる記録

  fact jws-ecdsa-encoding = raw

• JWS 内の DER 署名

  rejected

  DER でエンコードされた ES256 署名は、InvalidJWSSignature: Verification failed for all signatures で失敗します。

  チェックによる記録

  fact jws-der-signature = rejected
  evidence jws-der-signature: InvalidJWSSignature: Verification failed for all signatures["Failed: [InvalidJWSSignature('Verification failed')]"]

• アルゴリズムの許可リスト

  from-key

  algs を指定しない場合はデフォルトのリストが適用され、鍵の種類で決まります。ES256 トークンは EC 鍵で検証でき、同じ鍵に対する RS256 トークンは失敗しました。

  チェックによる記録

  fact jwt-algorithm-allowlist = from-key
  evidence jwt-algorithm-allowlist: no algs argument: verified; RS256 token with the EC key: InvalidJWSSignature: Verification failed for all signatures["Failed: [InvalidJWSSignature('Verification failed')]"]

• 署名なしトークン（alg none）

  opt-in

  署名のないトークンは、デフォルトでは Algorithm not allowed で失敗し、algs=["none"] を指定した場合にだけ検証を通ります。

  チェックによる記録

  fact jwt-alg-none = opt-in
  evidence jwt-alg-none: with the EC key: InvalidJWSSignature: Verification failed for all signatures["Failed: [InvalidJWSOperation('Algorithm not allowed')]"]
  evidence jwt-alg-none: algs ['none'] with an empty oct key: verified

• HMAC シークレットとして使われる公開鍵

  rejected

  EC 公開鍵の JWK で検証した HS256 トークンは失敗しました。検証を通ったのは、PEM テキストを含む oct JWK を意図的に作成した場合だけです。

  チェックによる記録

  fact jwt-hmac-public-key = rejected
  evidence jwt-hmac-public-key: HS256 token checked with the EC public JWK: InvalidJWSSignature: Verification failed for all signatures["Failed: [InvalidJWSSignature('Verification failed')]"]
  evidence jwt-hmac-public-key: only an explicit oct JWK made from the PEM text verifies it: True

• alg と曲線の照合

  enforced

  P-384 の鍵で ES256 の署名を行うと、Curve requested is "P-256", but key curve is "P-384" が発生します。

  チェックによる記録

  fact jwt-ecdsa-curve-check = enforced
  evidence jwt-ecdsa-curve-check: InvalidJWKValue: Curve requested is "P-256", but key curve is "P-384"

• デフォルトのクロックスキュー

  60s

  有効期限のチェックでは、デフォルトで 60 秒の時刻のずれが許容されます。57 秒前に期限切れになったトークンは検証を通り、63 秒前に期限切れになったトークンは通りませんでした。

  チェックによる記録

  fact jwt-clock-skew = 60s

• 有効期限クレームの要否

  no

  exp のないトークンも検証を通りました。必須にするには check_claims に exp を列挙してください。

  チェックによる記録

  fact jwt-exp-required = no
  evidence jwt-exp-required: verified

使い方

import json
import time

from jwcrypto import jwk, jwt

key = jwk.JWK.generate(kty="EC", crv="P-256", kid="2026-10")
public = jwk.JWK.from_json(key.export_public())

token = jwt.JWT(header={"alg": "ES256", "kid": "2026-10"}, claims={"sub": "user-42", "iss": "https://auth.example.com", "exp": int(time.time()) + 600})
token.make_signed_token(key)

# algs narrows the default list; check_claims makes iss and exp mandatory.
checked = jwt.JWT(
    jwt=token.serialize(),
    key=public,
    algs=["ES256"],
    check_claims={"iss": "https://auth.example.com", "exp": None},
)
print("sub:", json.loads(checked.claims)["sub"])