diff --git a/index.html b/index.html index 8e1a5f7..5995dbc 100644 --- a/index.html +++ b/index.html @@ -574,6 +574,30 @@
+ 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 @@ -599,6 +623,18 @@
+ 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 @@ -1437,6 +1473,30 @@
+ 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 448, 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 448, then [= exception/throw =] a {{DataError}}. +
+Let |key| be a new {{CryptoKey}} object that represents the @@ -1462,6 +1522,18 @@
+ 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 448, then [= exception/throw =] a {{DataError}}. +
+Let |key| be a new {{CryptoKey}} object that represents the @@ -2321,6 +2393,30 @@
+ 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 @@ -2346,6 +2442,18 @@
+ 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 @@ -3251,6 +3359,30 @@
+ 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 448, 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 448, then [= exception/throw =] a {{DataError}}. +
+Let |key| be a new {{CryptoKey}} object that represents the @@ -3276,6 +3408,18 @@
+ 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 448, then [= exception/throw =] a {{DataError}}. +
+Let |key| be a new {{CryptoKey}} object that represents the