@amritk/nish-x86_64-linux 0.18.0 → 0.20.0

package/std/net/tls.ts

@@ -39,21 +39,38 @@
  * the share is refused. `server_name` is read and exposed as `serverName`.
  * ALPN picks the first of the configuration's protocols the client offers.
  * `quic_transport_parameters` is read and written only when the configuration
- * says the carrier is QUIC. PSKs, 0-RTT, NewSessionTicket and client
- * authentication are not here: a PSK or early-data offer is ignored, so the
- * client falls back to a full handshake.
+ * says the carrier is QUIC. 0-RTT and client authentication are not here:
+ * an early-data offer is ignored.
+ *
+ * **Resumption.** A server the carrier calls `enableTickets` on, over TCP
+ * only, resumes with a session ticket in `psk_dhe_ke` mode (RFC 8446 §2.2,
+ * §4.2.11) and issues one after each handshake. The ticket keys and the
+ * strike register are the program's, lent to each call and never kept: a
+ * ClientHello that offers a ticket stops at `TLS_STATE_WAIT_TICKET`, and
+ * `resume` reads the identities in the client's order, verifies the binder of
+ * the one it selects, records its id, and answers a resumed flight — or a full
+ * handshake when no identity can be used (`docs/security/tls.md`,
+ * "Resumption"). Once connected, `issue` writes one NewSessionTicket at the
+ * Application level. Sealing draws the ticket's nonce and `issue` the
+ * `ticket_age_add` from the random device; nothing else here does. Over QUIC
+ * the hand-off is never called, so a PSK offer gets a full handshake.
  *
  * **Refusals are alerts.** `receive` and `sign` answer 0 or a TLS alert
  * description (`TLS_ALERT_*` in `nish/net/tls/codec`); after one the server
  * is in `TLS_STATE_FAILED` and answers the same alert to every call. Nothing
  * the peer sends can make it panic.
  *
- * **Secrets.** The ECDHE secret, and the copy of the ephemeral key it is
- * computed with, are `Secret`s (`nish:secret`) wiped on every path. What the
- * server keeps in its fields — the caller's ephemeral key bytes, since a
- * `Secret` may not be a field, and the handshake, traffic and exporter secrets
- * its carrier reads — is wiped by its carrier, and by `restart` before the
- * next connection uses the arrays (CLAUDE.md §Security; TLS-1 in
+ * **Secrets.** Every secret the server holds is a `Secret` (`nish:secret`):
+ * the ECDHE secret and the words it is computed in, wiped on every path; the
+ * ephemeral key, copied into the `ephemeral` field by `restart` with the
+ * caller's array zeroed; and the handshake, traffic, exporter and resumption
+ * secrets, and a resumed handshake's PSK, early secret and binder key, fields
+ * of the two `TlsSecretPool`s, read only inside `expose`.
+ * `wipe` zeroes them all, and `restart` calls it before the next connection;
+ * the carriers call it when a connection ends, and `wipeSecret` and
+ * `wipeEphemeral` as each secret's work is done. `fail` wipes the resumption
+ * master secret and the PSK's secrets, and `issue` the resumption master
+ * secret once the ticket is sealed (CLAUDE.md §Security; TLS-1 in
  * `docs/security/tls.md`).
  *
  * **Memory.** A `TlsServer` keeps its state in buffers it allocates once —
@@ -67,8 +84,9 @@
  * 8446, RFC 7301, RFC 6066 and RFC 9001, not ported from another
  * implementation.
  */
-import { Secret, expose, secret, wipe } from "nish:secret"
-import { HkdfScratch, hkdfExtractSha256, hkdfExtractSha384 } from "nish/crypto/hkdf"
+import { Secret, expose, exposeWith, secret, wipe } from "nish:secret"
+import { HkdfScratch } from "nish/crypto/hkdf"
+import { hmacSha256, hmacSha384 } from "nish/crypto/hmac"
 import { SHA256_SIZE } from "nish/crypto/sha256"
 import { SHA384_SIZE } from "nish/crypto/sha512"
 import { P256SignScratch, P256_SIGNATURE_SIZE, p256SignSha256, p256SignSha256Into } from "nish/crypto/p256"
@@ -100,16 +118,36 @@ import {
   tlsWriteCertificateVerifyContent,
   tlsWriteEncryptedExtensions,
   tlsWriteFinished,
+  tlsSelectPskIdentity,
   tlsWriteHelloRetryRequest,
+  tlsWriteNewSessionTicket,
   tlsWriteServerHello,
+  tlsWriteServerHelloPsk,
 } from "nish/net/tls/codec"
 import {
+  TLS_AES_256_GCM_SHA384,
   TlsTranscript,
+  tlsBinderKeyInto,
+  tlsBinderVerify,
   tlsDeriveSecretInto,
   tlsFinishedVerifyDataInto,
+  tlsHandshakeSaltInto,
   tlsMasterSecretInto,
+  tlsPskEarlySecretInto,
+  tlsResumptionPskInto,
   tlsSuiteHashLength,
 } from "nish/net/tls/schedule"
+import {
+  TLS_TICKET_LIFETIME_SECONDS,
+  TLS_TICKET_PSK_MAX,
+  TLS_TICKET_SERVER_NAME_MAX,
+  TlsTicketKeyInfo,
+  TlsTicketState,
+  TlsTicketStrikes,
+  tlsTicketOpen,
+  tlsTicketSeal,
+  tlsTicketSize,
+} from "nish/net/tls/ticket"
 
 // ---- Levels ------------------------------------------------------------------
 
@@ -117,7 +155,7 @@ import {
 export const TLS_LEVEL_INITIAL: i32 = 0
 /** Under the handshake traffic secrets: EncryptedExtensions through both Finished messages. */
 export const TLS_LEVEL_HANDSHAKE: i32 = 1
-/** Under the application traffic secrets. T1 writes nothing here; the level exists for its secrets. */
+/** Under the application traffic secrets: the one NewSessionTicket `issue` writes. */
 export const TLS_LEVEL_APPLICATION: i32 = 2
 
 // ---- States --------------------------------------------------------------------
@@ -132,6 +170,8 @@ export const TLS_STATE_WAIT_FINISHED: i32 = 2
 export const TLS_STATE_CONNECTED: i32 = 3
 /** An alert was answered; `alert` holds it, and every later call answers it again. */
 export const TLS_STATE_FAILED: i32 = 4
+/** A ClientHello offered a ticket to a server with tickets on; `resume` is due, with the keys and the strike register. */
+export const TLS_STATE_WAIT_TICKET: i32 = 5
 
 /**
  * The longest handshake message accepted, in bytes. A ClientHello carrying a
@@ -373,41 +413,64 @@ export class TlsP256Signer {
 const tlsIsZeroSecret = (shared: u8[]): boolean => timingSafeEqual(shared, new Array<u8>(X25519_SIZE))
 
 /**
- * `Derive-Secret(early, "derived", "")` with no PSK, the salt the handshake
+ * `Derive-Secret(early, "derived", "")` with no PSK, the salt a full handshake's
  * secret is extracted under: a constant of the hash alone (RFC 8448 §3 prints
  * the SHA-256 one; the SHA-384 one was computed with Python's hmac and
  * hashlib). It is written out rather than derived because the functions below
  * run on the ECDHE secret inside `expose`, and Expand-Label may panic with a
- * computed message, which such a function may not reach.
+ * computed message, which such a function may not reach. A resumed
+ * handshake's salt is derived from the PSK's early secret by `resume`, before
+ * the exchange, and reaches it the same way: as words.
  */
 const TLS_DERIVED_SALT_SHA256: string = "6f2615a108c702c5678f54fc9dbab69716c076189c48250cebeac3576c3611ba"
 const TLS_DERIVED_SALT_SHA384: string =
   "1591dac5cbbf0330a4a84de9c753330e92d01f0a88214b4464972fd668049e93e52f2b16fad922fdc0584478428f282b"
 
-/** The bytes of a lowercase hex constant of this module, in a fresh array. */
-const tlsHexBytes = (text: string): u8[] => {
-  const out: u8[] = new Array<u8>(toI32(text.length) >> 1)
-  tlsHexInto(text, out, TLS_FROM)
-  return out
-}
+/**
+ * The SHA-256 handshake secret: HKDF-Extract of the ECDHE secret under `salt`
+ * (run inside `exposeWith`). The salt is always HashLen bytes, so this is the
+ * HMAC itself: `hkdfExtractSha256` would pass it through `hkdfSalt`, which the
+ * checker reads as a write through the argument `exposeWith` hands it.
+ */
+const tlsHandshakeFromEcdhe256 = (ecdhe: u8[], salt: u8[]): u8[] => hmacSha256(salt, ecdhe)
 
-/** The SHA-256 handshake secret: HKDF-Extract of the ECDHE secret under the derived salt (run inside `expose`). */
-const tlsHandshakeFromEcdhe256 = (ecdhe: u8[]): u8[] =>
-  hkdfExtractSha256(tlsHexBytes(TLS_DERIVED_SALT_SHA256), ecdhe)
+/** The SHA-384 handshake secret: HKDF-Extract of the ECDHE secret under `salt`, as the SHA-256 one is. */
+const tlsHandshakeFromEcdhe384 = (ecdhe: u8[], salt: u8[]): u8[] => hmacSha384(salt, ecdhe)
 
-/** The SHA-384 handshake secret: HKDF-Extract of the ECDHE secret under the derived salt (run inside `expose`). */
-const tlsHandshakeFromEcdhe384 = (ecdhe: u8[]): u8[] =>
-  hkdfExtractSha384(tlsHexBytes(TLS_DERIVED_SALT_SHA384), ecdhe)
+/** Wipes the bytes a `Secret` holds, for `exposeWith` to run on one secret of a holder outside its `wipe()`; answers `answer`. */
+const tlsZeroHeld = (held: u8[], answer: i32): i32 => {
+  wipe(held)
+  return answer
+}
 
-/** The secret of `level` from one side's pair, or `null` for any other level or one not derived yet (still empty). */
-const tlsSecretAt = (level: i32, handshake: u8[], application: u8[]): u8[] | null => {
-  const chosen: u8[] = level === TLS_LEVEL_APPLICATION ? application : handshake
-  if ((level !== TLS_LEVEL_HANDSHAKE && level !== TLS_LEVEL_APPLICATION) || toI32(chosen.length) === 0) {
-    return null
+/** Overwrites the bytes a `Secret` holds with `from`'s, for `exposeWith` to run on the destination; answers 0. */
+export const tlsHeldCopyIn = (held: u8[], from: u8[]): i32 => {
+  for (let k: i32 = 0; k < toI32(held.length) && k < toI32(from.length); k++) {
+    held[k] = from[k]
   }
-  return chosen
+  return 0
 }
 
+/**
+ * A plain copy of a held secret, for a derivation that runs on its bytes
+ * inside a `using arena()` block: the copy dies with the block, and its
+ * caller `secureZero`s it before the block ends.
+ */
+export const tlsHeldClone = (held: u8[]): u8[] => {
+  const copy: u8[] = new Array<u8>(held.length)
+  for (let k: i32 = 0; k < toI32(copy.length) && k < toI32(held.length); k++) {
+    copy[k] = held[k]
+  }
+  return copy
+}
+
+/**
+ * Copies the bytes one `Secret` holds over another's, for `exposeWith` to
+ * run on the source with the destination as its argument: no plain copy is
+ * made on the way. Answers 0.
+ */
+export const tlsHeldCopyOver = (from: u8[], to: Secret<u8[]>): i32 => exposeWith(to, from, tlsHeldCopyIn)
+
 // ---- The exchange, in a scope of its own --------------------------------------
 
 /**
@@ -427,9 +490,9 @@ const tlsSecretAt = (level: i32, handshake: u8[], application: u8[]): u8[] | nul
  * `tests/link/net_tls_memory` would notice.
  *
  * The words hold secrets — the private key and the handshake secret — in
- * fields, where `secureZero` cannot reach, so each is zeroed by an ordinary
- * store as soon as it has been read, which stands because the words stay
- * reachable from their `TlsServer` (TLS-1 in `docs/security/tls.md`).
+ * fields, where `secureZero` cannot reach, so `exchangeKeys` wipes the whole
+ * record with `wipe`, a volatile store, once it has unpacked the answers, on
+ * the failure path too (TLS-1 in `docs/security/tls.md`).
  */
 class TlsExchangeWords {
   key0: u64 = 0
@@ -450,6 +513,17 @@ class TlsExchangeWords {
   secret3: u64 = 0
   secret4: u64 = 0
   secret5: u64 = 0
+  /**
+   * The salt the handshake secret is extracted under, `hashLength` bytes of
+   * it: the `TLS_DERIVED_SALT_*` constant on a full handshake, the salt
+   * derived from the PSK early secret on a resumed one.
+   */
+  salt0: u64 = 0
+  salt1: u64 = 0
+  salt2: u64 = 0
+  salt3: u64 = 0
+  salt4: u64 = 0
+  salt5: u64 = 0
   /** 32 or 48: which handshake secret to extract. */
   hashLength: i32 = 0
 }
@@ -474,10 +548,21 @@ const tlsWordInto = (b: u8[], at: i32, v: u64): void => {
   }
 }
 
+/** Unpacks the handshake secret from the exchange's words into the bytes a `Secret` holds, for `exposeWith`. */
+const tlsHandshakeFromWords = (held: u8[], w: TlsExchangeWords): i32 => {
+  tlsWordInto(held, 0, w.secret0)
+  tlsWordInto(held, 8, w.secret1)
+  tlsWordInto(held, 16, w.secret2)
+  tlsWordInto(held, 24, w.secret3)
+  tlsWordInto(held, 32, w.secret4)
+  tlsWordInto(held, 40, w.secret5)
+  return 0
+}
+
 /**
  * The exchange of RFC 8446 §7.4.2 on `w`: the server's public key and the
  * handshake secret from the ephemeral key and the client's share, both
- * written back as words, the key's words zeroed once read. Answers 0,
+ * written back as words; the caller wipes the words. Answers 0,
  * `illegal_parameter` for a share whose shared secret is all zeros (§7.4.2,
  * RFC 7748 §6.1), or `internal_error` when the exchange answers nothing. The
  * copy of the key and the ECDHE secret are `Secret`s wiped on every path, and
@@ -487,15 +572,18 @@ const tlsWordInto = (b: u8[], at: i32, v: u64): void => {
  * returns.
  */
 const tlsExchange = (w: TlsExchangeWords): i32 => {
+  const salt: u8[] = new Array<u8>(w.hashLength === SHA384_SIZE ? SHA384_SIZE : SHA256_SIZE)
+  tlsWordInto(salt, 0, w.salt0)
+  tlsWordInto(salt, 8, w.salt1)
+  tlsWordInto(salt, 16, w.salt2)
+  tlsWordInto(salt, 24, w.salt3)
+  tlsWordInto(salt, 32, w.salt4)
+  tlsWordInto(salt, 40, w.salt5)
   const raw: u8[] = new Array<u8>(X25519_SIZE)
   tlsWordInto(raw, 0, w.key0)
   tlsWordInto(raw, 8, w.key1)
   tlsWordInto(raw, 16, w.key2)
   tlsWordInto(raw, 24, w.key3)
-  w.key0 = toU64(0)
-  w.key1 = toU64(0)
-  w.key2 = toU64(0)
-  w.key3 = toU64(0)
   const share: u8[] = new Array<u8>(X25519_SIZE)
   tlsWordInto(share, 0, w.share0)
   tlsWordInto(share, 8, w.share1)
@@ -505,33 +593,40 @@ const tlsExchange = (w: TlsExchangeWords): i32 => {
   const serverPublic: u8[] | null = x25519Base(key)
   const shared: Secret<u8[]> | null = x25519(key, share)
   wipe(key)
+  let alert: i32 = 0
   if (shared === null) {
-    return TLS_ALERT_INTERNAL_ERROR
-  }
-  // RFC 7748 §6.1 leaves the all-zero check to the protocol, and RFC 8446
-  // §7.4.2 makes it: a low-order client share gives the zero secret, which
-  // anybody can compute. The secret is secret, so the compare reads it all.
-  if (serverPublic === null || expose(shared, tlsIsZeroSecret)) {
+    alert = TLS_ALERT_INTERNAL_ERROR
+  } else {
+    // RFC 7748 §6.1 leaves the all-zero check to the protocol, and RFC 8446
+    // §7.4.2 makes it: a low-order client share gives the zero secret, which
+    // anybody can compute. The secret is secret, so the compare reads it all.
+    if (serverPublic === null) {
+      alert = TLS_ALERT_INTERNAL_ERROR
+    } else if (expose(shared, tlsIsZeroSecret)) {
+      alert = TLS_ALERT_ILLEGAL_PARAMETER
+    } else {
+      const handshake: u8[] =
+        w.hashLength === SHA384_SIZE
+          ? exposeWith(shared, salt, tlsHandshakeFromEcdhe384)
+          : exposeWith(shared, salt, tlsHandshakeFromEcdhe256)
+      w.public0 = tlsWordAt(serverPublic, 0)
+      w.public1 = tlsWordAt(serverPublic, 8)
+      w.public2 = tlsWordAt(serverPublic, 16)
+      w.public3 = tlsWordAt(serverPublic, 24)
+      w.secret0 = tlsWordAt(handshake, 0)
+      w.secret1 = tlsWordAt(handshake, 8)
+      w.secret2 = tlsWordAt(handshake, 16)
+      w.secret3 = tlsWordAt(handshake, 24)
+      w.secret4 = tlsWordAt(handshake, 32)
+      w.secret5 = tlsWordAt(handshake, 40)
+      secureZero(handshake)
+    }
     wipe(shared)
-    return serverPublic === null ? TLS_ALERT_INTERNAL_ERROR : TLS_ALERT_ILLEGAL_PARAMETER
-  }
-  const handshake: u8[] =
-    w.hashLength === SHA384_SIZE
-      ? expose(shared, tlsHandshakeFromEcdhe384)
-      : expose(shared, tlsHandshakeFromEcdhe256)
-  wipe(shared)
-  w.public0 = tlsWordAt(serverPublic, 0)
-  w.public1 = tlsWordAt(serverPublic, 8)
-  w.public2 = tlsWordAt(serverPublic, 16)
-  w.public3 = tlsWordAt(serverPublic, 24)
-  w.secret0 = tlsWordAt(handshake, 0)
-  w.secret1 = tlsWordAt(handshake, 8)
-  w.secret2 = tlsWordAt(handshake, 16)
-  w.secret3 = tlsWordAt(handshake, 24)
-  w.secret4 = tlsWordAt(handshake, 32)
-  w.secret5 = tlsWordAt(handshake, 40)
-  secureZero(handshake)
-  return 0
+  }
+  // One wipe every path reaches, before the one return: a wipe on each path
+  // is one `opt -O2` may merge (docs/security/tls.md, "What stays in memory").
+  secureZero(salt)
+  return alert
 }
 
 // ---- Buffers -------------------------------------------------------------------
@@ -542,20 +637,126 @@ const TLS_INPUT_START: i32 = 2048
 const TLS_INITIAL_OUTPUT_SIZE: i32 = 256
 /** The longest DER ECDSA P-256 signature, what the flight is first sized for: two 33-byte integers and their headers. */
 const TLS_ECDSA_SIGNATURE_MAX: i32 = 72
-/** Which secret each of a server's secret arrays holds, by index into `secrets256` and `secrets384`. */
-const TLS_SECRET_HANDSHAKE: i32 = 0
-const TLS_SECRET_CLIENT_HANDSHAKE: i32 = 1
-const TLS_SECRET_SERVER_HANDSHAKE: i32 = 2
-const TLS_SECRET_CLIENT_APPLICATION: i32 = 3
-const TLS_SECRET_SERVER_APPLICATION: i32 = 4
-const TLS_SECRET_EXPORTER: i32 = 5
-const TLS_SECRET_CLIENT_FINISHED: i32 = 6
+/**
+ * Which secret of a `TlsSecretPool` an index names: what `TlsServer.known`,
+ * `wipeSecret` and the pool's `zero` take, and the bit of `TlsServer.held`
+ * that says the secret is derived (`1 << index`).
+ */
+export const TLS_SECRET_HANDSHAKE: i32 = 0
+export const TLS_SECRET_CLIENT_HANDSHAKE: i32 = 1
+export const TLS_SECRET_SERVER_HANDSHAKE: i32 = 2
+export const TLS_SECRET_CLIENT_APPLICATION: i32 = 3
+export const TLS_SECRET_SERVER_APPLICATION: i32 = 4
+export const TLS_SECRET_EXPORTER: i32 = 5
+export const TLS_SECRET_CLIENT_FINISHED: i32 = 6
 /** The CertificateVerify input sits beside them: 98 bytes and the transcript hash. */
-const TLS_SECRET_TO_BE_SIGNED: i32 = 7
-const TLS_SECRET_COUNT: i32 = 8
+export const TLS_SECRET_TO_BE_SIGNED: i32 = 7
+export const TLS_SECRET_RESUMPTION: i32 = 8
+/** The PSK a ticket opened to, held from the binder's check to the early secret's extract. */
+export const TLS_SECRET_PSK: i32 = 9
+/** The PSK early secret (RFC 8446 §7.1), held until the handshake secret's salt is derived from it. */
+export const TLS_SECRET_EARLY: i32 = 10
+/** The binder key (§4.2.11.2), held until the binder is compared. */
+export const TLS_SECRET_BINDER_KEY: i32 = 11
 /** What CertificateVerify signs besides the hash (RFC 8446 §4.4.3): 64 spaces, the 33-byte context and a zero. */
 const TLS_CERTIFICATE_VERIFY_PREFIX: i32 = 98
 
+/**
+ * The secrets of one connection under one hash, as `TlsServer` holds them
+ * in `secrets256` and `secrets384`: an array of exactly `hashLength` bytes
+ * for each, allocated once and reused by every connection. The ten the key
+ * schedule derives are `Secret`s (`nish:secret`), read only inside `expose`
+ * and wiped by `wipe`, so the checker proves no copy of them leaves the
+ * pool and that `wipe` reaches every one. The expected client Finished and
+ * the CertificateVerify input are what the wire carries, and stay plain;
+ * `wipe` zeroes them too (TLS-1).
+ */
+export class TlsSecretPool {
+  readonly handshake: Secret<u8[]>
+  readonly clientHandshake: Secret<u8[]>
+  readonly serverHandshake: Secret<u8[]>
+  readonly clientApplication: Secret<u8[]>
+  readonly serverApplication: Secret<u8[]>
+  /** `exporter_master_secret` (RFC 8446 §7.5), for a caller's own exporters. */
+  readonly exporter: Secret<u8[]>
+  /**
+   * `resumption_master_secret` (RFC 8446 §7.1), derived by `sign` and the
+   * connection's once the client's Finished is accepted: what a
+   * NewSessionTicket's PSK would be derived from.
+   */
+  readonly resumption: Secret<u8[]>
+  /** The PSK the selected ticket opened to, on a resumed handshake only. */
+  readonly psk: Secret<u8[]>
+  /** The PSK early secret, on a resumed handshake only. */
+  readonly early: Secret<u8[]>
+  /** The binder key, from the selected ticket's early secret. */
+  readonly binderKey: Secret<u8[]>
+  /** The client Finished's `verify_data`, known once the server's Finished is written. */
+  clientFinished: u8[]
+  /** The CertificateVerify input, 98 bytes longer than the rest. */
+  toBeSigned: u8[]
+
+  constructor(hashLength: i32) {
+    this.handshake = secret(new Array<u8>(hashLength))
+    this.clientHandshake = secret(new Array<u8>(hashLength))
+    this.serverHandshake = secret(new Array<u8>(hashLength))
+    this.clientApplication = secret(new Array<u8>(hashLength))
+    this.serverApplication = secret(new Array<u8>(hashLength))
+    this.exporter = secret(new Array<u8>(hashLength))
+    this.resumption = secret(new Array<u8>(hashLength))
+    this.psk = secret(new Array<u8>(hashLength))
+    this.early = secret(new Array<u8>(hashLength))
+    this.binderKey = secret(new Array<u8>(hashLength))
+    this.clientFinished = new Array<u8>(hashLength)
+    this.toBeSigned = new Array<u8>(hashLength + TLS_CERTIFICATE_VERIFY_PREFIX)
+  }
+
+  /** Wipes the one secret `index` names (`TLS_SECRET_*`), leaving the rest; any other index wipes nothing. */
+  zero(index: i32): void {
+    if (index === TLS_SECRET_HANDSHAKE) {
+      exposeWith(this.handshake, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_CLIENT_HANDSHAKE) {
+      exposeWith(this.clientHandshake, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_SERVER_HANDSHAKE) {
+      exposeWith(this.serverHandshake, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_CLIENT_APPLICATION) {
+      exposeWith(this.clientApplication, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_SERVER_APPLICATION) {
+      exposeWith(this.serverApplication, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_EXPORTER) {
+      exposeWith(this.exporter, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_RESUMPTION) {
+      exposeWith(this.resumption, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_PSK) {
+      exposeWith(this.psk, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_EARLY) {
+      exposeWith(this.early, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_BINDER_KEY) {
+      exposeWith(this.binderKey, TLS_FROM, tlsZeroHeld)
+    } else if (index === TLS_SECRET_CLIENT_FINISHED) {
+      secureZero(this.clientFinished)
+    } else if (index === TLS_SECRET_TO_BE_SIGNED) {
+      secureZero(this.toBeSigned)
+    }
+  }
+
+  /** Wipes every secret in the pool. */
+  wipe(): void {
+    wipe(this.handshake)
+    wipe(this.clientHandshake)
+    wipe(this.serverHandshake)
+    wipe(this.clientApplication)
+    wipe(this.serverApplication)
+    wipe(this.exporter)
+    wipe(this.resumption)
+    wipe(this.psk)
+    wipe(this.early)
+    wipe(this.binderKey)
+    secureZero(this.clientFinished)
+    secureZero(this.toBeSigned)
+  }
+}
+
 /**
  * The most the server's Handshake-level flight under `config` takes with an
  * ECDSA P-256 signature: EncryptedExtensions with every extension it may
@@ -582,6 +783,73 @@ const tlsFlightCapacity = (config: TlsServerConfig): i32 => {
   return extensions + certificate + 8 + TLS_ECDSA_SIGNATURE_MAX + 4 + SHA384_SIZE
 }
 
+// ---- Resumption ------------------------------------------------------------------
+
+/** What `tlsServerStrikeProbe` finds for an id: a free entry it could be recorded in. */
+const TLS_SERVER_STRIKE_FREE: i32 = 0
+/** The id is held: recorded and live (row 6 of the record's table). */
+const TLS_SERVER_STRIKE_HELD: i32 = 1
+/** No entry is free (row 7). */
+const TLS_SERVER_STRIKE_FULL: i32 = 2
+
+/**
+ * What `strikes.take(id, …, now)` would find, without recording anything:
+ * the same scan as `TlsTicketStrikes.take`, bounded by `longest` the same
+ * way. `resume` asks before the binder is checked, so that an identity
+ * already recorded is passed over rather than costing a binder, and records
+ * with `take` only once the binder verifies, so that a binder that fails
+ * records nothing (row 9).
+ */
+const tlsServerStrikeProbe = (strikes: TlsTicketStrikes, id: u8[], now: i64): i32 => {
+  const capacity: i32 = strikes.capacity
+  const home: i32 = strikes.home(id)
+  let free: i32 = -1
+  for (let n: i32 = 0; n < capacity; n++) {
+    const slot: i32 = (home + n) % capacity
+    if (strikes.used[slot] === 0) {
+      if (free < 0) {
+        free = slot
+      }
+      break
+    }
+    if (strikes.expires[slot] < now) {
+      if (free < 0) {
+        free = slot
+      }
+    } else if (n <= strikes.longest && strikes.holds(slot, id)) {
+      return TLS_SERVER_STRIKE_HELD
+    }
+    if (free >= 0 && n >= strikes.longest) {
+      break
+    }
+  }
+  return free < 0 ? TLS_SERVER_STRIKE_FULL : TLS_SERVER_STRIKE_FREE
+}
+
+/** `answerHello`'s index when no ticket was chosen: a full handshake. */
+const TLS_NO_IDENTITY: i32 = -1
+
+/**
+ * What a NewSessionTicket adds around its ticket: the handshake header (4),
+ * `ticket_lifetime` (4), `ticket_age_add` (4), the nonce's length and its one
+ * byte (2), the ticket's length (2) and an empty extensions list (2).
+ */
+const TLS_SERVER_TICKET_OVERHEAD: i32 = 18
+
+/** The bytes the largest ticket takes: a SHA-384 PSK and a 255-byte server name. */
+const tlsServerTicketCapacity = (state: TlsTicketState): i32 => {
+  state.suite = TLS_AES_256_GCM_SHA384
+  state.pskLength = TLS_TICKET_PSK_MAX
+  state.serverNameLength = TLS_TICKET_SERVER_NAME_MAX
+  state.lifetime = TLS_TICKET_LIFETIME_SECONDS
+  const size: i32 = tlsTicketSize(state)
+  state.suite = 0
+  state.pskLength = 0
+  state.serverNameLength = 0
+  state.lifetime = 0
+  return size
+}
+
 /**
  * One TLS 1.3 server handshake. Make one per connection, or one per slot and
  * `restart` it for each connection the slot takes; feed it what the client
@@ -591,13 +859,15 @@ const tlsFlightCapacity = (config: TlsServerConfig): i32 => {
  *
  * The fields are readable: `state` and `alert`, the negotiated `suite`,
  * `serverName`, `alpn` and the client's `clientTransportParameters`, and the
- * traffic secrets. `readSecret` and `writeSecret` answer the last by level.
+ * `held` bits of the secrets derived so far. The secrets themselves are
+ * `Secret` fields of `secrets()`, read through `expose`; `readKnown` and
+ * `writeKnown` say whether the traffic secrets of a level are known yet.
  *
  * **What it allocates.** Everything it keeps is allocated by the constructor
  * and reused by `restart`: the input and output buffers, the transcript's
- * hashers, the HKDF scratch, and an array of exactly HashLen bytes for every
- * secret under each hash, which the secret fields point at as each is
- * derived and away from again when the next connection starts. `receive` and
+ * hashers, the HKDF scratch, the ephemeral key's 32 bytes, and HashLen bytes for every secret
+ * under each hash, which each derivation writes over in place and `wipe`
+ * zeroes before the next connection starts. `receive` and
  * `sign` do their work inside `using a = arena()` blocks, so the compiler has
  * proved that what they allocate on the way dies before they return. Four
  * things grow or are made outside those blocks: the input buffer, doubled up
@@ -611,7 +881,8 @@ const tlsFlightCapacity = (config: TlsServerConfig): i32 => {
 export class TlsServer {
   config: TlsServerConfig
   serverRandom: u8[]
-  ephemeralPrivate: u8[]
+  /** The connection's x25519 private key, copied in by `restart` and wiped by the record layer once the ServerHello is written. */
+  readonly ephemeral: Secret<u8[]>
   /** The client's `host_name`, or empty. */
   serverName: string = ""
   /** The ALPN protocol chosen, one of the configuration's, or empty. */
@@ -629,22 +900,11 @@ export class TlsServer {
   outputInitial: u8[]
   /** What the server has written at the Handshake level and not handed on: `outputHandshake[0 .. outputHandshakeLength)`. */
   outputHandshake: u8[]
-  handshakeSecret: u8[]
-  clientHandshakeSecret: u8[]
-  serverHandshakeSecret: u8[]
-  clientApplicationSecret: u8[]
-  serverApplicationSecret: u8[]
-  /** `exporter_master_secret` (RFC 8446 §7.5), for a caller's own exporters. */
-  exporterSecret: u8[]
-  /** The CertificateVerify input while `state` is `TLS_STATE_WAIT_SIGNATURE`. */
-  toBeSigned: u8[]
-  /** The client Finished's `verify_data`, known once the server's Finished is written. */
-  expectedClientFinished: u8[]
-  /** The empty array every secret field points at until its secret is derived. */
+  /** An empty array: what `clientTransportParameters` holds until a client's are read. */
   none: u8[]
-  /** The arrays the secret fields point into: `TLS_SECRET_COUNT` of each hash's lengths. */
-  secrets256: u8[][]
-  secrets384: u8[][]
+  /** The secrets under each hash (`TlsSecretPool`); `secrets()` answers the negotiated hash's. */
+  secrets256: TlsSecretPool
+  secrets384: TlsSecretPool
   /** The ClientHello last read, as windows into `input`. */
   hello: TlsClientHelloView
   /** Where every HKDF and HMAC of the schedule runs. */
@@ -655,6 +915,33 @@ export class TlsServer {
   serverPublic: u8[]
   /** A transcript hash on its way into the schedule: HashLen bytes of it. */
   hashes: u8[]
+  /**
+   * The salt the handshake secret is extracted under, HashLen bytes of it:
+   * the `TLS_DERIVED_SALT_*` constant on a full handshake, derived from the
+   * PSK early secret on a resumed one. `exchangeKeys` reads it into the
+   * exchange's words and zeroes it.
+   */
+  salt: u8[]
+  /** The transcript hash through the ClientHello's binders prefix, which a binder covers (§4.2.11.2). */
+  binderHash: u8[]
+  /** What the ticket `resume` is reading opened to; its PSK is zeroed once read. */
+  opened: TlsTicketState
+  /** What `issue` seals; its PSK is zeroed once sealed. */
+  issuing: TlsTicketState
+  /** The sealed ticket, sized once for the largest. */
+  ticketScratch: u8[]
+  /** What the server has written at the Application level and not handed on: one NewSessionTicket. */
+  outputApplication: u8[]
+  /** The ticket nonce: one ticket a connection, so one byte, the same each time, keeps each PSK distinct (§4.6.1). */
+  ticketNonce: u8[]
+  /** The ticket's `ticket_age_add`, drawn fresh for each ticket (§4.6.1). */
+  ageAddBytes: u8[]
+  /**
+   * Which of the negotiated pool's secrets the handshake has derived: bit
+   * `1 << TLS_SECRET_*` for each. A secret wiped by `wipeSecret` keeps its
+   * bit, since its place is still the one it was derived into.
+   */
+  held: i32 = 0
   state: i32 = 0
   /** The alert the server failed with, or 0. */
   alert: i32 = 0
@@ -664,10 +951,23 @@ export class TlsServer {
   inputLength: i32 = 0
   outputInitialLength: i32 = 0
   outputHandshakeLength: i32 = 0
+  outputApplicationLength: i32 = 0
   /** Whether a HelloRetryRequest was sent, so a second miss is fatal. */
   retried: boolean = false
   /** Whether `config` passed `tlsConfigFits`, decided once by the constructor. */
   configFits: boolean = false
+  /** Whether the carrier turned resumption on with `enableTickets`; kept across `restart`. */
+  tickets: boolean = false
+  /**
+   * Whether this connection may be issued a ticket: tickets are on, the
+   * client listed `psk_dhe_ke`, the only mode this server resumes in, and its
+   * server name, if any, fits a ticket.
+   */
+  ticketWanted: boolean = false
+  /** Whether `issue` has run for this connection. */
+  issued: boolean = false
+  /** Whether this connection resumed a ticket (row 1 of the record's table). */
+  resumed: boolean = false
 
   /**
    * A server for one connection under `config`, with the 32-byte server
@@ -678,7 +978,7 @@ export class TlsServer {
   constructor(config: TlsServerConfig, serverRandom: u8[], ephemeralPrivate: u8[]) {
     this.config = config
     this.serverRandom = serverRandom
-    this.ephemeralPrivate = ephemeralPrivate
+    this.ephemeral = secret(new Array<u8>(X25519_SIZE))
     this.none = []
     this.clientTransportParameters = this.none
     this.clientParameters = []
@@ -687,41 +987,41 @@ export class TlsServer {
     this.input = new Array<u8>(TLS_INPUT_START)
     this.outputInitial = new Array<u8>(TLS_INITIAL_OUTPUT_SIZE)
     this.outputHandshake = new Array<u8>(this.configFits ? tlsFlightCapacity(config) : TLS_FROM)
-    this.secrets256 = []
-    this.secrets384 = []
-    for (let k: i32 = 0; k < TLS_SECRET_COUNT; k++) {
-      const extra: i32 = k === TLS_SECRET_TO_BE_SIGNED ? TLS_CERTIFICATE_VERIFY_PREFIX : 0
-      this.secrets256.push(new Array<u8>(SHA256_SIZE + extra))
-      this.secrets384.push(new Array<u8>(SHA384_SIZE + extra))
-    }
+    this.secrets256 = new TlsSecretPool(SHA256_SIZE)
+    this.secrets384 = new TlsSecretPool(SHA384_SIZE)
     this.hello = new TlsClientHelloView()
     this.kdf = new HkdfScratch()
     this.exchange = new TlsExchangeWords()
     this.serverPublic = new Array<u8>(X25519_SIZE)
     this.hashes = new Array<u8>(SHA384_SIZE)
-    this.handshakeSecret = this.none
-    this.clientHandshakeSecret = this.none
-    this.serverHandshakeSecret = this.none
-    this.clientApplicationSecret = this.none
-    this.serverApplicationSecret = this.none
-    this.exporterSecret = this.none
-    this.toBeSigned = this.none
-    this.expectedClientFinished = this.none
+    this.salt = new Array<u8>(SHA384_SIZE)
+    this.binderHash = new Array<u8>(SHA384_SIZE)
+    this.opened = new TlsTicketState()
+    this.issuing = new TlsTicketState()
+    this.ticketScratch = new Array<u8>(tlsServerTicketCapacity(this.issuing))
+    this.outputApplication = new Array<u8>(toI32(this.ticketScratch.length) + TLS_SERVER_TICKET_OVERHEAD)
+    this.ticketNonce = new Array<u8>(1)
+    this.ageAddBytes = new Array<u8>(4)
     this.restart(serverRandom, ephemeralPrivate)
   }
 
   /**
    * Starts the next connection in this server's buffers, with its own
    * 32-byte random and x25519 private key, as a fresh `TlsServer` would:
-   * every secret the last connection left in them is wiped with `secureZero`
-   * and every secret field points at nothing again. The two arrays are kept,
-   * not copied, as the constructor keeps them. A random or key of another
+   * every secret the last connection left is wiped (`wipe`) and none is
+   * held. The random is kept, as the constructor keeps it; the key is copied
+   * into `ephemeral` and the caller's array zeroed with `secureZero`, so the
+   * only copy left is the one the server wipes. A random or key of another
    * length, or a configuration `tlsConfigFits` refused, leaves the server
    * failed with `internal_error`.
    */
   restart(serverRandom: u8[], ephemeralPrivate: u8[]): void {
+    const keyLength: i32 = toI32(ephemeralPrivate.length)
+    this.wipe()
+    this.held = 0
+    exposeWith(this.ephemeral, ephemeralPrivate, tlsHeldCopyIn)
+    secureZero(ephemeralPrivate)
     this.serverRandom = serverRandom
-    this.ephemeralPrivate = ephemeralPrivate
     this.state = TLS_STATE_WAIT_CLIENT_HELLO
     this.alert = 0
     this.suite = 0
@@ -733,39 +1033,92 @@ export class TlsServer {
     this.inputLength = 0
     this.outputInitialLength = 0
     this.outputHandshakeLength = 0
-    for (let k: i32 = 0; k < toI32(this.secrets256.length) && k < toI32(this.secrets384.length); k++) {
-      secureZero(this.secrets256[k])
-      secureZero(this.secrets384[k])
-    }
-    this.handshakeSecret = this.none
-    this.clientHandshakeSecret = this.none
-    this.serverHandshakeSecret = this.none
-    this.clientApplicationSecret = this.none
-    this.serverApplicationSecret = this.none
-    this.exporterSecret = this.none
-    this.toBeSigned = this.none
-    this.expectedClientFinished = this.none
-    if (
-      toI32(serverRandom.length) !== TLS_RANDOM_SIZE ||
-      toI32(ephemeralPrivate.length) !== X25519_SIZE ||
-      !this.configFits
-    ) {
+    this.outputApplicationLength = 0
+    this.ticketWanted = false
+    this.issued = false
+    this.resumed = false
+    secureZero(this.salt)
+    secureZero(this.opened.psk)
+    secureZero(this.issuing.psk)
+    if (toI32(serverRandom.length) !== TLS_RANDOM_SIZE || keyLength !== X25519_SIZE || !this.configFits) {
       this.state = TLS_STATE_FAILED
       this.alert = TLS_ALERT_INTERNAL_ERROR
     }
   }
 
-  /** Fails the handshake with `alert` and answers it. */
+  /**
+   * Fails the handshake with `alert` and answers it, wiping the resumption
+   * master secret `sign` derived ahead and what a ticket being read left: its
+   * PSK, early secret and binder key, and the salt.
+   */
   fail(alert: i32): i32 {
+    this.wipeResumption()
+    const pool: TlsSecretPool = this.secrets()
+    pool.zero(TLS_SECRET_PSK)
+    pool.zero(TLS_SECRET_EARLY)
+    pool.zero(TLS_SECRET_BINDER_KEY)
+    secureZero(this.salt)
+    secureZero(this.opened.psk)
     this.state = TLS_STATE_FAILED
     this.alert = alert
     return alert
   }
 
-  /** The array secret `index` lives in under the negotiated hash: exactly HashLen bytes (the CertificateVerify input, 98 more). */
-  secretArray(index: i32): u8[] {
-    const pool: u8[][] = this.hashLength === SHA384_SIZE ? this.secrets384 : this.secrets256
-    return index >= 0 && index < toI32(pool.length) ? pool[index] : this.none
+  /**
+   * Wipes the resumption master secret, which `sign` derives ahead of the
+   * client's Finished. `issue` calls it once the ticket is sealed, and the
+   * carrier when a connection ends, closed or failed, without one (TLS-1).
+   */
+  wipeResumption(): void {
+    this.secrets().zero(TLS_SECRET_RESUMPTION)
+  }
+
+  /** The pool of the negotiated hash: SHA-384's for a SHA-384 suite, SHA-256's otherwise. */
+  secrets(): TlsSecretPool {
+    return this.hashLength === SHA384_SIZE ? this.secrets384 : this.secrets256
+  }
+
+  /** Whether the handshake has derived secret `index` (`TLS_SECRET_*`) for this connection. */
+  known(index: i32): boolean {
+    return index >= 0 && index < 31 && (this.held & (1 << index)) !== 0
+  }
+
+  /**
+   * Whether the secret the server *reads* `level` under — the client's
+   * traffic secret, `clientHandshake` or `clientApplication` of `secrets()` —
+   * is known yet. The Initial level has none: it is cleartext in TLS, and
+   * QUIC derives its own from the connection id.
+   */
+  readKnown(level: i32): boolean {
+    if (level === TLS_LEVEL_HANDSHAKE) {
+      return this.known(TLS_SECRET_CLIENT_HANDSHAKE)
+    }
+    return level === TLS_LEVEL_APPLICATION && this.known(TLS_SECRET_CLIENT_APPLICATION)
+  }
+
+  /** Whether the secret the server *writes* `level` under — `serverHandshake` or `serverApplication` — is known yet. */
+  writeKnown(level: i32): boolean {
+    if (level === TLS_LEVEL_HANDSHAKE) {
+      return this.known(TLS_SECRET_SERVER_HANDSHAKE)
+    }
+    return level === TLS_LEVEL_APPLICATION && this.known(TLS_SECRET_SERVER_APPLICATION)
+  }
+
+  /** Zeroes secret `index` of `secrets()` once a carrier has taken what it needs from it; it stays known. */
+  wipeSecret(index: i32): void {
+    this.secrets().zero(index)
+  }
+
+  /** Zeroes the ephemeral key, which the record layer does once the ServerHello is written: not while a hello that offers a ticket waits for `resume`, whose exchange still needs it. */
+  wipeEphemeral(): void {
+    exposeWith(this.ephemeral, TLS_FROM, tlsZeroHeld)
+  }
+
+  /** Wipes every secret the server holds: the ephemeral key and both pools. `restart` calls it, and the carriers when a connection ends. */
+  wipe(): void {
+    wipe(this.ephemeral)
+    this.secrets256.wipe()
+    this.secrets384.wipe()
   }
 
   /** The level the client's next bytes must arrive at, or -1 when the state expects none. */
@@ -1014,9 +1367,15 @@ export class TlsServer {
     if (this.retried && suite !== this.suite) {
       return TLS_ALERT_ILLEGAL_PARAMETER
     }
+    // A ticket offered in `psk_dhe_ke` that this server reads: the
+    // identities are read by `resume`, and a hello that resumes needs no
+    // signature (row 14 of "Resumption" in `docs/security/tls.md`).
+    const offersTicket: boolean = this.tickets && hello.hasPreSharedKey && hello.pskDheKe
     // §9.2: a certificate-authenticated handshake needs all three, and
-    // `supported_groups` and `key_share` come as a pair.
-    if (!hello.hasSignatureAlgorithms || !hello.hasSupportedGroups || !hello.hasKeyShare) {
+    // `supported_groups` and `key_share` come as a pair. A hello offering a
+    // ticket has `signature_algorithms` checked by `answerHello`, once it is
+    // known not to resume.
+    if ((!offersTicket && !hello.hasSignatureAlgorithms) || !hello.hasSupportedGroups || !hello.hasKeyShare) {
       return TLS_ALERT_MISSING_EXTENSION
     }
     if (this.config.quic && !hello.hasQuicTransportParameters) {
@@ -1025,7 +1384,10 @@ export class TlsServer {
     if (!tlsWindowHasU16(data, hello.groupsAt, hello.groupsLength, TLS_GROUP_X25519)) {
       return TLS_ALERT_HANDSHAKE_FAILURE
     }
-    if (!tlsWindowHasU16(data, hello.schemesAt, hello.schemesLength, this.config.signatureScheme)) {
+    if (
+      !offersTicket &&
+      !tlsWindowHasU16(data, hello.schemesAt, hello.schemesLength, this.config.signatureScheme)
+    ) {
       return TLS_ALERT_HANDSHAKE_FAILURE
     }
     if (!this.retried) {
@@ -1033,7 +1395,16 @@ export class TlsServer {
       this.hashLength = tlsSuiteHashLength(suite)
       this.transcript.reset(this.hashLength)
     }
-    this.transcript.update(data, TLS_FROM, 4 + length)
+    if (offersTicket) {
+      // The binders cover the transcript up to the binders list (§4.2.11.2),
+      // so its hash is taken on the way through.
+      const prefix: i32 = hello.pskBindersPrefixAt
+      this.transcript.update(data, TLS_FROM, prefix)
+      this.transcript.hashInto(this.binderHash, TLS_FROM)
+      this.transcript.update(data, prefix, 4 + length - prefix)
+    } else {
+      this.transcript.update(data, TLS_FROM, 4 + length)
+    }
     if (!hello.hasX25519Share) {
       // §4.1.4: one HelloRetryRequest; a second ClientHello without the share
       // the first one asked for is `illegal_parameter`.
@@ -1077,6 +1448,24 @@ export class TlsServer {
       return alpnAlert
     }
     this.takeServerName(hello)
+    this.ticketWanted =
+      this.tickets &&
+      hello.hasPskModes &&
+      hello.pskDheKe &&
+      (!hello.hasServerName || hello.serverNameLength <= TLS_TICKET_SERVER_NAME_MAX)
+    const name: u8[] = this.issuing.serverName
+    const nameLength: i32 = this.ticketWanted && hello.hasServerName ? hello.serverNameLength : 0
+    for (
+      let k: i32 = 0;
+      k < nameLength &&
+      k < toI32(name.length) &&
+      hello.serverNameAt + k >= 0 &&
+      hello.serverNameAt + k < toI32(data.length);
+      k++
+    ) {
+      name[k] = data[hello.serverNameAt + k]
+    }
+    this.issuing.serverNameLength = nameLength
     if (this.config.quic) {
       // Refilled in place, so a slot's handshakes keep nothing for it (QUIC-3).
       const parameters: u8[] = this.clientParameters
@@ -1092,60 +1481,343 @@ export class TlsServer {
       }
       this.clientTransportParameters = parameters
     }
+    if (offersTicket) {
+      // The carrier lends the ticket keys and the strike register to `resume`.
+      this.state = TLS_STATE_WAIT_TICKET
+      return 0
+    }
+    return this.answerHello(TLS_NO_IDENTITY)
+  }
+
+  /**
+   * Answers the ClientHello once it is known whether it resumes: the
+   * ServerHello naming identity `index` and the resumed flight, or, when it
+   * does not resume, the checks a certificate needs and the full flight.
+   * Answers 0 or the alert.
+   */
+  answerHello(index: i32): i32 {
+    const hello: TlsClientHelloView = this.hello
+    if (!this.resumed) {
+      if (!hello.hasSignatureAlgorithms) {
+        return TLS_ALERT_MISSING_EXTENSION
+      }
+      if (!tlsWindowHasU16(this.input, hello.schemesAt, hello.schemesLength, this.config.signatureScheme)) {
+        return TLS_ALERT_HANDSHAKE_FAILURE
+      }
+      tlsHexInto(
+        this.hashLength === SHA384_SIZE ? TLS_DERIVED_SALT_SHA384 : TLS_DERIVED_SALT_SHA256,
+        this.salt,
+        TLS_FROM
+      )
+    }
     const exchangeAlert: i32 = this.exchangeKeys()
     if (exchangeAlert !== 0) {
       return exchangeAlert
     }
-    this.writeServerFlight()
+    if (this.resumed) {
+      this.writeResumedFlight(index)
+    } else {
+      this.writeServerFlight()
+    }
     return 0
   }
 
+  /**
+   * Turns resumption on: from the next ClientHello, a hello offering a
+   * ticket in `psk_dhe_ke` waits in `TLS_STATE_WAIT_TICKET` for `resume`,
+   * and a connection whose client lists `psk_dhe_ke` may be issued a ticket
+   * by `issue`. Kept across `restart`. A QUIC server never resumes, so on one
+   * this does nothing.
+   */
+  enableTickets(): void {
+    this.tickets = !this.config.quic
+  }
+
+  /**
+   * Whether the ticket in `opened` may resume this hello: its suite's hash is
+   * the negotiated one, its PSK is that long, and it names the server name
+   * this hello names, or none when the hello names none (rows 4 and 5).
+   */
+  ticketFits(): boolean {
+    const hello: TlsClientHelloView = this.hello
+    const opened: TlsTicketState = this.opened
+    const h: i32 = this.hashLength
+    if (tlsSuiteHashLength(opened.suite) !== h || opened.pskLength !== h) {
+      return false
+    }
+    if (!hello.hasServerName) {
+      return opened.serverNameLength === 0
+    }
+    return (
+      opened.serverNameLength === hello.serverNameLength &&
+      timingSafeEqualAt(hello.data, hello.serverNameAt, opened.serverName, TLS_FROM, hello.serverNameLength)
+    )
+  }
+
+  /**
+   * The first identity whose ticket opens under `current` or `previous`,
+   * fits (`ticketFits`) and is not yet recorded in `strikes`, left selected
+   * in `hello` with its ticket in `opened`; or -1, with every PSK an
+   * identity opened to zeroed. A full register ends the search and is
+   * counted with `take`, so that a full register fails closed into a full
+   * handshake (row 7).
+   */
+  selectTicket(
+    current: Secret<u8[]>,
+    currentInfo: TlsTicketKeyInfo,
+    previous: Secret<u8[]>,
+    previousInfo: TlsTicketKeyInfo,
+    strikes: TlsTicketStrikes,
+    now: i64
+  ): i32 {
+    const hello: TlsClientHelloView = this.hello
+    const opened: TlsTicketState = this.opened
+    const data: u8[] = this.input
+    let chosen: i32 = -1
+    using _scope = arena()
+    for (let k: i32 = 0; k < hello.pskIdentityCount; k++) {
+      if (!tlsSelectPskIdentity(hello, k)) {
+        break
+      }
+      const ticket: u8[] = new Array<u8>(hello.pskIdentityLength)
+      for (
+        let n: i32 = 0;
+        n < toI32(ticket.length) &&
+        hello.pskIdentityAt + n >= 0 &&
+        hello.pskIdentityAt + n < toI32(data.length);
+        n++
+      ) {
+        ticket[n] = data[hello.pskIdentityAt + n]
+      }
+      const opens: boolean =
+        tlsTicketOpen(current, currentInfo, ticket, now, opened) ||
+        tlsTicketOpen(previous, previousInfo, ticket, now, opened)
+      if (opens && this.ticketFits()) {
+        const probe: i32 = tlsServerStrikeProbe(strikes, opened.id, now)
+        if (probe === TLS_SERVER_STRIKE_FREE) {
+          chosen = k
+          break
+        }
+        if (probe === TLS_SERVER_STRIKE_FULL) {
+          strikes.take(opened.id, opened.expiresAt(), now)
+          secureZero(opened.psk)
+          break
+        }
+      }
+      secureZero(opened.psk)
+    }
+    if (chosen >= 0) {
+      tlsSelectPskIdentity(hello, chosen)
+    }
+    return chosen
+  }
+
+  /**
+   * The selected ticket's PSK, early secret and binder key, and whether the
+   * hello's binder for it verifies (§4.2.11.2). The PSK and binder key are
+   * zeroed before it returns; the early secret stays for `saltFromEarly`.
+   */
+  bindTicket(): boolean {
+    const hello: TlsClientHelloView = this.hello
+    const pool: TlsSecretPool = this.secrets()
+    const h: i32 = this.hashLength
+    exposeWith(pool.psk, this.opened.psk, tlsHeldCopyIn)
+    secureZero(this.opened.psk)
+    using _scope = arena()
+    const psk: u8[] = expose(pool.psk, tlsHeldClone)
+    const early: u8[] = new Array<u8>(h)
+    tlsPskEarlySecretInto(this.kdf, h, psk, early)
+    secureZero(psk)
+    exposeWith(pool.early, early, tlsHeldCopyIn)
+    const binderKey: u8[] = new Array<u8>(h)
+    tlsBinderKeyInto(this.kdf, h, early, binderKey)
+    secureZero(early)
+    exposeWith(pool.binderKey, binderKey, tlsHeldCopyIn)
+    const verified: boolean = tlsBinderVerify(
+      this.kdf,
+      h,
+      binderKey,
+      this.binderHash,
+      TLS_FROM,
+      this.input,
+      hello.pskBinderAt,
+      hello.pskBinderLength
+    )
+    secureZero(binderKey)
+    pool.zero(TLS_SECRET_PSK)
+    pool.zero(TLS_SECRET_BINDER_KEY)
+    return verified
+  }
+
+  /** The salt a resumed handshake secret is extracted under, `Derive-Secret(early, "derived", "")`, into `salt`. */
+  saltFromEarly(): void {
+    const pool: TlsSecretPool = this.secrets()
+    using _scope = arena()
+    const early: u8[] = expose(pool.early, tlsHeldClone)
+    tlsHandshakeSaltInto(this.kdf, this.hashLength, early, this.salt)
+    secureZero(early)
+  }
+
+  /**
+   * In `TLS_STATE_WAIT_TICKET`: reads the hello's tickets under the keys the
+   * carrier lends, `current` and `previous` with what each `info` says of
+   * them (a program with one key passes it as both), records the one it
+   * resumes in `strikes`, and answers the hello, resumed or in full, as the
+   * table of "Resumption" in `docs/security/tls.md` says. A selected ticket
+   * whose binder fails is `decrypt_error`, with nothing recorded (row 9).
+   * Answers 0, or the alert the server fails with.
+   */
+  resume(
+    current: Secret<u8[]>,
+    currentInfo: TlsTicketKeyInfo,
+    previous: Secret<u8[]>,
+    previousInfo: TlsTicketKeyInfo,
+    strikes: TlsTicketStrikes,
+    now: i64
+  ): i32 {
+    if (this.state === TLS_STATE_FAILED) {
+      return this.alert
+    }
+    if (this.state !== TLS_STATE_WAIT_TICKET) {
+      return this.fail(TLS_ALERT_INTERNAL_ERROR)
+    }
+    const index: i32 = this.selectTicket(current, currentInfo, previous, previousInfo, strikes, now)
+    let bound: boolean = true
+    let resumed: boolean = false
+    if (index >= 0) {
+      bound = this.bindTicket()
+      resumed = bound && strikes.take(this.opened.id, this.opened.expiresAt(), now)
+    }
+    if (resumed) {
+      this.saltFromEarly()
+      this.issuing.chainStart = this.opened.chainStart
+    }
+    secureZero(this.opened.psk)
+    this.secrets().zero(TLS_SECRET_EARLY)
+    if (!bound) {
+      return this.fail(TLS_ALERT_DECRYPT_ERROR)
+    }
+    this.resumed = resumed
+    const alert: i32 = this.answerHello(resumed ? index : TLS_NO_IDENTITY)
+    return alert !== 0 ? this.fail(alert) : 0
+  }
+
+  /**
+   * A resumed flight: the ServerHello selecting identity `index`, the
+   * handshake traffic secrets, EncryptedExtensions and the server's
+   * Finished, after which the server waits for the client's.
+   */
+  writeResumedFlight(index: i32): void {
+    const hello: TlsClientHelloView = this.hello
+    const none: u8[] = []
+    this.reserveOutput(
+      TLS_LEVEL_INITIAL,
+      tlsWriteServerHelloPsk(
+        none,
+        this.outputInitialLength,
+        this.serverRandom,
+        hello.data,
+        hello.sessionIdAt,
+        hello.sessionIdLength,
+        this.suite,
+        this.serverPublic,
+        index
+      )
+    )
+    const extensionsEnd: i32 = tlsWriteEncryptedExtensions(
+      none,
+      this.outputHandshakeLength,
+      this.config.extraExtensions,
+      this.alpn,
+      hello.hasServerName,
+      this.config.quic ? this.config.quicTransportParameters : null
+    )
+    this.reserveOutput(TLS_LEVEL_HANDSHAKE, extensionsEnd + 4 + this.hashLength)
+    // The secrets' pool is the slot's, chosen before the blocks open.
+    const pool: TlsSecretPool = this.secrets()
+    this.writeResumedHello(pool, index)
+    this.writeServerFinished(pool)
+    this.masterSecretStep(pool)
+  }
+
+  /** The resumed ServerHello, the handshake traffic secrets and EncryptedExtensions, in the room `writeResumedFlight` reserved. */
+  writeResumedHello(pool: TlsSecretPool, index: i32): void {
+    const hello: TlsClientHelloView = this.hello
+    using _scope = arena()
+    const helloAt: i32 = this.outputInitialLength
+    const helloEnd: i32 = tlsWriteServerHelloPsk(
+      this.outputInitial,
+      helloAt,
+      this.serverRandom,
+      hello.data,
+      hello.sessionIdAt,
+      hello.sessionIdLength,
+      this.suite,
+      this.serverPublic,
+      index
+    )
+    this.sent(TLS_LEVEL_INITIAL, helloAt, helloEnd)
+    this.transcript.hashInto(this.hashes, TLS_FROM)
+    const handshake: u8[] = expose(pool.handshake, tlsHeldClone)
+    this.deriveInto(handshake, "c hs traffic", pool.clientHandshake)
+    this.deriveInto(handshake, "s hs traffic", pool.serverHandshake)
+    secureZero(handshake)
+    this.held = this.held | (1 << TLS_SECRET_CLIENT_HANDSHAKE) | (1 << TLS_SECRET_SERVER_HANDSHAKE)
+    const extensionsAt: i32 = this.outputHandshakeLength
+    const written: i32 = tlsWriteEncryptedExtensions(
+      this.outputHandshake,
+      extensionsAt,
+      this.config.extraExtensions,
+      this.alpn,
+      hello.hasServerName,
+      this.config.quic ? this.config.quicTransportParameters : null
+    )
+    this.sent(TLS_LEVEL_HANDSHAKE, extensionsAt, written)
+  }
+
   /**
    * Runs the x25519 exchange on the caller's ephemeral key and the client's
    * share (`tlsExchange`), outside any arena block since its scope is its
    * own, and unpacks the server's public key and the handshake secret from
-   * the words, zeroing them. The ephemeral key is held as the caller's plain
-   * bytes, because a `Secret` may not live in a field (NL2430); the record
-   * layer wipes them once the ServerHello is written (TLS-1).
+   * the words. The words, the ephemeral key's and the handshake secret's
+   * among them, are wiped with one `wipe` after the branch on the alert, so
+   * that a refused exchange leaves them zero too and `opt` has one wipe to
+   * keep rather than two to merge. The ephemeral key is read out of its
+   * `Secret` field a word at a time; the record layer wipes it once the
+   * ServerHello is written (TLS-1).
    */
   exchangeKeys(): i32 {
     const w: TlsExchangeWords = this.exchange
-    const key: u8[] = this.ephemeralPrivate
     const share: u8[] = this.input
     const at: i32 = this.hello.x25519ShareAt
-    w.key0 = tlsWordAt(key, 0)
-    w.key1 = tlsWordAt(key, 8)
-    w.key2 = tlsWordAt(key, 16)
-    w.key3 = tlsWordAt(key, 24)
+    w.key0 = exposeWith(this.ephemeral, TLS_FROM, tlsWordAt)
+    w.key1 = exposeWith(this.ephemeral, TLS_FROM + 8, tlsWordAt)
+    w.key2 = exposeWith(this.ephemeral, TLS_FROM + 16, tlsWordAt)
+    w.key3 = exposeWith(this.ephemeral, TLS_FROM + 24, tlsWordAt)
     w.share0 = tlsWordAt(share, at)
     w.share1 = tlsWordAt(share, at + 8)
     w.share2 = tlsWordAt(share, at + 16)
     w.share3 = tlsWordAt(share, at + 24)
     w.hashLength = this.hashLength
+    w.salt0 = tlsWordAt(this.salt, 0)
+    w.salt1 = tlsWordAt(this.salt, 8)
+    w.salt2 = tlsWordAt(this.salt, 16)
+    w.salt3 = tlsWordAt(this.salt, 24)
+    w.salt4 = tlsWordAt(this.salt, 32)
+    w.salt5 = tlsWordAt(this.salt, 40)
+    secureZero(this.salt)
     const alert: i32 = tlsExchange(w)
-    if (alert !== 0) {
-      return alert
-    }
-    const pub: u8[] = this.serverPublic
-    tlsWordInto(pub, 0, w.public0)
-    tlsWordInto(pub, 8, w.public1)
-    tlsWordInto(pub, 16, w.public2)
-    tlsWordInto(pub, 24, w.public3)
-    this.handshakeSecret = this.secretArray(TLS_SECRET_HANDSHAKE)
-    const handshake: u8[] = this.handshakeSecret
-    tlsWordInto(handshake, 0, w.secret0)
-    tlsWordInto(handshake, 8, w.secret1)
-    tlsWordInto(handshake, 16, w.secret2)
-    tlsWordInto(handshake, 24, w.secret3)
-    tlsWordInto(handshake, 32, w.secret4)
-    tlsWordInto(handshake, 40, w.secret5)
-    w.secret0 = toU64(0)
-    w.secret1 = toU64(0)
-    w.secret2 = toU64(0)
-    w.secret3 = toU64(0)
-    w.secret4 = toU64(0)
-    w.secret5 = toU64(0)
-    return 0
+    if (alert === 0) {
+      const pub: u8[] = this.serverPublic
+      tlsWordInto(pub, 0, w.public0)
+      tlsWordInto(pub, 8, w.public1)
+      tlsWordInto(pub, 16, w.public2)
+      tlsWordInto(pub, 24, w.public3)
+      exposeWith(this.secrets().handshake, w, tlsHandshakeFromWords)
+      this.held = this.held | (1 << TLS_SECRET_HANDSHAKE)
+    }
+    wipe(w)
+    return alert
   }
 
   /**
@@ -1185,10 +1857,8 @@ export class TlsServer {
       TLS_LEVEL_HANDSHAKE,
       tlsWriteCertificate(none, extensionsEnd, this.config.certificateChain)
     )
-    // The secrets' arrays are the slot's, chosen before the block opens.
-    this.clientHandshakeSecret = this.secretArray(TLS_SECRET_CLIENT_HANDSHAKE)
-    this.serverHandshakeSecret = this.secretArray(TLS_SECRET_SERVER_HANDSHAKE)
-    this.toBeSigned = this.secretArray(TLS_SECRET_TO_BE_SIGNED)
+    // The secrets' pool is the slot's, chosen before the block opens.
+    const pool: TlsSecretPool = this.secrets()
     using _scope = arena()
     const helloAt: i32 = this.outputInitialLength
     const helloEnd: i32 = tlsWriteServerHello(
@@ -1204,24 +1874,11 @@ export class TlsServer {
     this.sent(TLS_LEVEL_INITIAL, helloAt, helloEnd)
 
     this.transcript.hashInto(this.hashes, TLS_FROM)
-    tlsDeriveSecretInto(
-      this.kdf,
-      h,
-      this.handshakeSecret,
-      "c hs traffic",
-      this.hashes,
-      TLS_FROM,
-      this.clientHandshakeSecret
-    )
-    tlsDeriveSecretInto(
-      this.kdf,
-      h,
-      this.handshakeSecret,
-      "s hs traffic",
-      this.hashes,
-      TLS_FROM,
-      this.serverHandshakeSecret
-    )
+    const handshake: u8[] = expose(pool.handshake, tlsHeldClone)
+    this.deriveInto(handshake, "c hs traffic", pool.clientHandshake)
+    this.deriveInto(handshake, "s hs traffic", pool.serverHandshake)
+    secureZero(handshake)
+    this.held = this.held | (1 << TLS_SECRET_CLIENT_HANDSHAKE) | (1 << TLS_SECRET_SERVER_HANDSHAKE)
 
     const extensionsAt: i32 = this.outputHandshakeLength
     const written: i32 = tlsWriteEncryptedExtensions(
@@ -1241,10 +1898,23 @@ export class TlsServer {
     this.sent(TLS_LEVEL_HANDSHAKE, written, certificateEnd)
 
     this.transcript.hashInto(this.hashes, TLS_FROM)
-    tlsWriteCertificateVerifyContent(this.toBeSigned, TLS_FROM, this.hashes, TLS_FROM, h)
+    tlsWriteCertificateVerifyContent(pool.toBeSigned, TLS_FROM, this.hashes, TLS_FROM, h)
+    this.held = this.held | (1 << TLS_SECRET_TO_BE_SIGNED)
     this.state = TLS_STATE_WAIT_SIGNATURE
   }
 
+  /**
+   * Derive-Secret(`prk`, `label`, the transcript hash in `hashes`) into the
+   * held secret `dst` (RFC 8446 §7.1): derived into a plain array that dies
+   * with the caller's arena block, copied in, and zeroed.
+   */
+  deriveInto(prk: u8[], label: string, dst: Secret<u8[]>): void {
+    const out: u8[] = new Array<u8>(this.hashLength)
+    tlsDeriveSecretInto(this.kdf, this.hashLength, prk, label, this.hashes, TLS_FROM, out)
+    exposeWith(dst, out, tlsHeldCopyIn)
+    secureZero(out)
+  }
+
   /**
    * What CertificateVerify signs (RFC 8446 §4.4.3), while the state is
    * `TLS_STATE_WAIT_SIGNATURE`; `null` at any other time.
@@ -1253,7 +1923,7 @@ export class TlsServer {
     if (this.state !== TLS_STATE_WAIT_SIGNATURE) {
       return null
     }
-    return this.toBeSigned
+    return this.secrets().toBeSigned
   }
 
   /**
@@ -1274,11 +1944,17 @@ export class TlsServer {
     }
     const h: i32 = this.hashLength
     this.reserveOutput(TLS_LEVEL_HANDSHAKE, this.outputHandshakeLength + 8 + signatureLength + 4 + h)
-    // The secrets' arrays are the slot's, chosen before the block opens.
-    this.clientApplicationSecret = this.secretArray(TLS_SECRET_CLIENT_APPLICATION)
-    this.serverApplicationSecret = this.secretArray(TLS_SECRET_SERVER_APPLICATION)
-    this.exporterSecret = this.secretArray(TLS_SECRET_EXPORTER)
-    this.expectedClientFinished = this.secretArray(TLS_SECRET_CLIENT_FINISHED)
+    // The secrets' pool is the slot's, chosen before the blocks open.
+    const pool: TlsSecretPool = this.secrets()
+    this.writeCertificateVerify(signature)
+    this.writeServerFinished(pool)
+    this.masterSecretStep(pool)
+    this.held = this.held & ~(1 << TLS_SECRET_TO_BE_SIGNED)
+    return 0
+  }
+
+  /** CertificateVerify, carrying `signature`, at the Handshake level, in the room `sign` reserved. */
+  writeCertificateVerify(signature: u8[]): void {
     using _scope = arena()
     const verifyAt: i32 = this.outputHandshakeLength
     const verifyEnd: i32 = tlsWriteCertificateVerify(
@@ -1288,80 +1964,167 @@ export class TlsServer {
       signature
     )
     this.sent(TLS_LEVEL_HANDSHAKE, verifyAt, verifyEnd)
+  }
+
+  /**
+   * The server's Finished at the Handshake level, in the room reserved for
+   * it: its `verify_data`, under the server's handshake traffic secret, goes
+   * straight into its place in the flight.
+   */
+  writeServerFinished(pool: TlsSecretPool): void {
+    const h: i32 = this.hashLength
+    using _scope = arena()
+    const at: i32 = this.outputHandshakeLength
     this.transcript.hashInto(this.hashes, TLS_FROM)
-    // The Finished's verify_data goes straight into its place in the flight.
+    const serverHandshake: u8[] = expose(pool.serverHandshake, tlsHeldClone)
     tlsFinishedVerifyDataInto(
       this.kdf,
       h,
-      this.serverHandshakeSecret,
+      serverHandshake,
       this.hashes,
       TLS_FROM,
       this.outputHandshake,
-      verifyEnd + 4
-    )
-    const finishedEnd: i32 = tlsWriteFinished(
-      this.outputHandshake,
-      verifyEnd,
-      this.outputHandshake,
-      verifyEnd + 4,
-      h
+      at + 4
     )
-    this.sent(TLS_LEVEL_HANDSHAKE, verifyEnd, finishedEnd)
+    secureZero(serverHandshake)
+    const finishedEnd: i32 = tlsWriteFinished(this.outputHandshake, at, this.outputHandshake, at + 4, h)
+    this.sent(TLS_LEVEL_HANDSHAKE, at, finishedEnd)
+  }
 
+  /**
+   * Once the server's Finished is written, full handshake or resumed: the
+   * master secret, the application and exporter secrets, the client's
+   * Finished the server expects, and the resumption master secret, after
+   * which the server waits for that Finished.
+   */
+  masterSecretStep(pool: TlsSecretPool): void {
+    const h: i32 = this.hashLength
+    using _scope = arena()
     this.transcript.hashInto(this.hashes, TLS_FROM)
+    const handshake: u8[] = expose(pool.handshake, tlsHeldClone)
     const master: u8[] = new Array<u8>(h)
-    tlsMasterSecretInto(this.kdf, h, this.handshakeSecret, master)
-    tlsDeriveSecretInto(
+    tlsMasterSecretInto(this.kdf, h, handshake, master)
+    secureZero(handshake)
+    this.deriveInto(master, "c ap traffic", pool.clientApplication)
+    this.deriveInto(master, "s ap traffic", pool.serverApplication)
+    this.deriveInto(master, "exp master", pool.exporter)
+    const clientHandshake: u8[] = expose(pool.clientHandshake, tlsHeldClone)
+    const finished: u8[] = pool.clientFinished
+    tlsFinishedVerifyDataInto(this.kdf, h, clientHandshake, this.hashes, TLS_FROM, finished, TLS_FROM)
+    secureZero(clientHandshake)
+    // The only client Finished `handleFinished` accepts is the one just
+    // computed, so the transcript through it is known now (RFC 8446 §4.6.1),
+    // and the resumption master secret is derived while the master secret is.
+    const clientFinished: u8[] = new Array<u8>(4 + h)
+    tlsWriteFinished(clientFinished, TLS_FROM, finished, TLS_FROM, h)
+    this.transcript.update(clientFinished, TLS_FROM, toI32(clientFinished.length))
+    this.transcript.hashInto(this.hashes, TLS_FROM)
+    this.deriveInto(master, "res master", pool.resumption)
+    secureZero(master)
+    this.held =
+      this.held |
+      (1 << TLS_SECRET_CLIENT_APPLICATION) |
+      (1 << TLS_SECRET_SERVER_APPLICATION) |
+      (1 << TLS_SECRET_EXPORTER) |
+      (1 << TLS_SECRET_CLIENT_FINISHED)
+    this.state = TLS_STATE_WAIT_FINISHED
+  }
+
+  /**
+   * Once the handshake is done, at most once a connection: seals a ticket
+   * for it under `key`, which `info` describes, and writes the
+   * NewSessionTicket carrying it at the Application level, for the carrier
+   * to send under the server's application keys. Answers whether one was
+   * written: none is when tickets are off, the client did not list
+   * `psk_dhe_ke`, or the key does not seal. On a connected connection's
+   * first call the resumption master secret is wiped before it returns,
+   * written or not, so a carrier that issues no ticket still calls this, or
+   * `wipeResumption`. Before the handshake is done, or on a second call, it
+   * answers false and touches nothing: a secret wiped then would leave no
+   * ticket to issue, and one wiped already has nothing left to wipe.
+   */
+  issue(key: Secret<u8[]>, info: TlsTicketKeyInfo, now: i64): boolean {
+    if (this.state !== TLS_STATE_CONNECTED || this.issued) {
+      return false
+    }
+    this.issued = true
+    const written: boolean = this.ticketWanted && this.writeTicket(key, info, now)
+    this.wipeResumption()
+    return written
+  }
+
+  /** The resumption PSK for nonce `ticketNonce`, into `issuing.psk` (§4.6.1). */
+  resumptionPsk(): void {
+    const pool: TlsSecretPool = this.secrets()
+    using _scope = arena()
+    const resumption: u8[] = expose(pool.resumption, tlsHeldClone)
+    tlsResumptionPskInto(
       this.kdf,
-      h,
-      master,
-      "c ap traffic",
-      this.hashes,
+      this.hashLength,
+      resumption,
+      this.ticketNonce,
       TLS_FROM,
-      this.clientApplicationSecret
+      1,
+      this.issuing.psk
     )
-    tlsDeriveSecretInto(
-      this.kdf,
-      h,
-      master,
-      "s ap traffic",
-      this.hashes,
-      TLS_FROM,
-      this.serverApplicationSecret
+    secureZero(resumption)
+  }
+
+  /** `issue`'s ticket: sealed into `ticketScratch`, its PSK zeroed, and the NewSessionTicket written. */
+  writeTicket(key: Secret<u8[]>, info: TlsTicketKeyInfo, now: i64): boolean {
+    const issuing: TlsTicketState = this.issuing
+    issuing.suite = this.suite
+    issuing.lifetime = TLS_TICKET_LIFETIME_SECONDS
+    issuing.pskLength = this.hashLength
+    if (!this.resumed) {
+      issuing.chainStart = now
+    }
+    this.resumptionPsk()
+    const length: i32 = tlsTicketSeal(key, info, issuing, now, this.ticketScratch)
+    secureZero(issuing.psk)
+    if (length === 0) {
+      return false
+    }
+    const b: u8[] = this.ageAddBytes
+    crypto.getRandomValues(b)
+    const ageAdd: u32 = toU32(
+      (toI64(b[0]) << toI64(24)) | (toI64(b[1]) << toI64(16)) | (toI64(b[2]) << toI64(8)) | toI64(b[3])
     )
-    tlsDeriveSecretInto(this.kdf, h, master, "exp master", this.hashes, TLS_FROM, this.exporterSecret)
-    tlsFinishedVerifyDataInto(
-      this.kdf,
-      h,
-      this.clientHandshakeSecret,
-      this.hashes,
+    this.outputApplicationLength = tlsWriteNewSessionTicket(
+      this.outputApplication,
+      TLS_FROM,
+      toU32(issuing.lifetime),
+      ageAdd,
+      this.ticketNonce,
       TLS_FROM,
-      this.expectedClientFinished,
-      TLS_FROM
+      1,
+      this.ticketScratch,
+      TLS_FROM,
+      length,
+      this.none
     )
-    secureZero(master)
-    this.toBeSigned = this.none
-    this.state = TLS_STATE_WAIT_FINISHED
-    return 0
+    return true
   }
 
   /**
    * The client's Finished (§4.4.4), `input[0 .. 4 + length)`: its
    * `verify_data` is HashLen bytes and must equal the HMAC the server
    * computed, compared in constant time. A wrong length is `decode_error`, a
-   * wrong value `decrypt_error`.
+   * wrong value `decrypt_error`. Once it verifies, the resumption master
+   * secret `sign` derived is the connection's, and known. The transcript already holds this Finished: `sign` absorbed the
+   * one it expected, and these bytes are equal to it.
    */
   handleFinished(length: i32): i32 {
     if (length !== this.hashLength) {
       return TLS_ALERT_DECODE_ERROR
     }
-    if (!timingSafeEqualAt(this.input, 4, this.expectedClientFinished, TLS_FROM, this.hashLength)) {
+    const pool: TlsSecretPool = this.secrets()
+    if (!timingSafeEqualAt(this.input, 4, pool.clientFinished, TLS_FROM, this.hashLength)) {
       return TLS_ALERT_DECRYPT_ERROR
     }
-    this.transcript.update(this.input, TLS_FROM, 4 + length)
     // The handshake secret has done its work: wiped, and no longer held.
-    secureZero(this.handshakeSecret)
-    this.handshakeSecret = this.none
+    pool.zero(TLS_SECRET_HANDSHAKE)
+    this.held = (this.held | (1 << TLS_SECRET_RESUMPTION)) & ~(1 << TLS_SECRET_HANDSHAKE)
     this.state = TLS_STATE_CONNECTED
     return 0
   }
@@ -1406,8 +2169,15 @@ export class TlsServer {
         this.outputHandshakeLength = 0
         return out
       }
+      case TLS_LEVEL_APPLICATION: {
+        const out: u8[] = new Array<u8>(this.outputApplicationLength)
+        for (let k: i32 = 0; k < toI32(out.length) && k < toI32(this.outputApplication.length); k++) {
+          out[k] = this.outputApplication[k]
+        }
+        this.outputApplicationLength = 0
+        return out
+      }
       default:
-        // Nothing is written at the Application level before NewSessionTicket, which is out of scope.
         return none
     }
   }
@@ -1418,20 +2188,8 @@ export class TlsServer {
       this.outputInitialLength = 0
     } else if (level === TLS_LEVEL_HANDSHAKE) {
       this.outputHandshakeLength = 0
+    } else if (level === TLS_LEVEL_APPLICATION) {
+      this.outputApplicationLength = 0
     }
   }
-
-  /**
-   * The secret the server *reads* `level` under — the client's traffic secret
-   * — or `null` while it is not known yet. The Initial level has none: it is
-   * cleartext in TLS, and QUIC derives its own from the connection id.
-   */
-  readSecret(level: i32): u8[] | null {
-    return tlsSecretAt(level, this.clientHandshakeSecret, this.clientApplicationSecret)
-  }
-
-  /** The secret the server *writes* `level` under — its own traffic secret — or `null` while it is not known yet. */
-  writeSecret(level: i32): u8[] | null {
-    return tlsSecretAt(level, this.serverHandshakeSecret, this.serverApplicationSecret)
-  }
 }