diff --git a/spec/Overview.html b/spec/Overview.html index 8f8fd42..927cc46 100644 --- a/spec/Overview.html +++ b/spec/Overview.html @@ -10832,6 +10832,30 @@
Import Key
of [[RFC8037]], then [= exception/throw =] a {{DataError}}.

+
  • +

    + Let |jwkPublic| be the {{JsonWebKey/x}} field of |jwk| interpreted + according to Section 2 of [[RFC8037]]. +

    +
  • +
  • +

    + If the [= length in bits =] of |jwkPublic| is not 256, + then [= exception/throw =] a {{DataError}}. +

    +
  • +
  • +

    + Let |jwkPrivate| be the {{JsonWebKey/d}} field of |jwk| interpreted + according to Section 2 of [[RFC8037]]. +

    +
  • +
  • +

    + If the [= length in bits =] of |jwkPrivate| is not 256, + then [= exception/throw =] a {{DataError}}. +

    +
  • Let |key| be a new {{CryptoKey}} object that represents the @@ -10857,6 +10881,18 @@

    Import Key
    of [[RFC8037]], then [= exception/throw =] a {{DataError}}.

  • +
  • +

    + Let |jwkPublic| be the {{JsonWebKey/x}} field of |jwk| interpreted + according to Section 2 of [[RFC8037]]. +

    +
  • +
  • +

    + If the [= length in bits =] of |jwkPublic| is not 256, + then [= exception/throw =] a {{DataError}}. +

    +
  • Let |key| be a new {{CryptoKey}} object that represents the @@ -11684,6 +11720,30 @@

    Import Key
    of [[RFC8037]], then [= exception/throw =] a {{DataError}}.

  • +
  • +

    + Let |jwkPublic| be the {{JsonWebKey/x}} field of |jwk| interpreted + according to Section 2 of [[RFC8037]]. +

    +
  • +
  • +

    + If the [= length in bits =] of |jwkPublic| is not 256, + then [= exception/throw =] a {{DataError}}. +

    +
  • +
  • +

    + Let |jwkPrivate| be the {{JsonWebKey/d}} field of |jwk| interpreted + according to Section 2 of [[RFC8037]]. +

    +
  • +
  • +

    + If the [= length in bits =] of |jwkPrivate| is not 256, + then [= exception/throw =] a {{DataError}}. +

    +
  • Let |key| be a new {{CryptoKey}} object that represents the @@ -11709,6 +11769,18 @@

    Import Key
    of [[RFC8037]], then [= exception/throw =] a {{DataError}}.

  • +
  • +

    + Let |jwkPublic| be the {{JsonWebKey/x}} field of |jwk| interpreted + according to Section 2 of [[RFC8037]]. +

    +
  • +
  • +

    + If the [= length in bits =] + of |jwkPublic| is not 256, then [= exception/throw =] a {{DataError}}. +

    +
  • Let |key| be a new {{CryptoKey}} object that represents the