Bounded Nonces, Live

A layout testbed for the talk page type — the presented form of the research-paper specimen: venue block, slides as headings, stage text, stepped viz islands, speaker-note prose, and the delivered-at evidence record.

Published in the future · Updated in the future

testbed, typography, talk, design-system, internal

A talk is a paper performed. The figures should live twice as hard on stage as they do on the page.

— Ada R. Cipher, Colloquium notes (2026)

This page is a fixture, not a lecture: it exercises every element of the talk layout (design: docs/design/talk.md) the way the kitchen sink exercises the article and _research-paper exercises the paper. It presents the same fictional result as the paper specimen — the sufficiency of bounded nonces — because a specimen family should tell one story across layouts. In scroll form (what you are reading, the no-JS canonical form) each top-level heading is a slide, and the prose under it is simultaneously the transcript and the speaker notes. In stage form only the slidetext blocks and the figures render, one slide per screen; arrow keys advance steps, and steps drive the figures, never bullet reveals.

The question is narrower than the folklore

How wide must a nonce be?

Speaker notes live here, as ordinary prose. On stage this paragraph does not render; in scroll form it is the transcript. The opening move of the talk: the folklore says "more random is more secure," and implementers pay for width they never measure. The narrow question — how wide is enough? — has a bound, a construction, and a measurement.

Margin notes work in the scroll projection exactly as in articles; the stage projection ignores them, the print handout keeps them.

One figure, four beats

The margin of safety is exponential in $k$ .

This slide exists to exercise a stepped island: the viz block below declares talk_steps, so on stage the presenter's four advances dispatch four messages into the island's machine — the figure moves, the text stands still. In scroll form the island renders as it would in any article: fully interactive, reader-driven.

The adversary's advantage as token width grows. On stage this figure is driven in four steps — k = 32, 64, 96, 128 — each advance an event into the same machine a reader can drive by hand in the scroll form.

The construction fits on a slide

Generate; encode; verify by equality. Nothing else.

A code block exercises the stage's monospace setting — it renders in both projections, and it must survive the stage's enlarged type scale without horizontal scroll on a 16:9 screen:

function nonce(world: World, k: 128): string {
  const bytes = world.randomBytes(k / 8); // CSPRNG or nothing
  return base64url(bytes);                // fixed-width encoding
}

What the measurement said

1.6 million responses. Zero collisions. $k = 128$ is comfortable.

The results beat: a slide whose stage text is a single claim, whose notes carry the caveats. The caveats are the point of the notes — the stage form states, the scroll form argues. A blockquote exercises quotation styling in both projections:

The marginal security of additional bits falls off exponentially while the cost of generation stays constant.

Close: the handout is the paper

Read the paper. The slides were never the document.

The closing beat points at the paper specimen — in a real talk this is the "read more / cite this" slide, and the printed form of this very page is the Tufte handout. See the written form at the research-paper testbed.

Delivered at

This section is the evidence record the layout formalizes: venue, date, and recording for each performance of the talk, self-hosted and permanent. A real talk page accretes one row per delivery; the recording link enables the future watch mode (cue-synced playback).

Colloquium Series, Institute for Applied Marginalia — 4 July
1. Recording: (placeholder — served same-origin when real).
Slides: this page, stage form.