Skip to content

doc: add non-technical one-pager for the Dilithium PSBT testnet proof - #160

Draft
Oskii wants to merge 1 commit into
masterfrom
doc/dilithium-psbt-proof-onepager
Draft

doc: add non-technical one-pager for the Dilithium PSBT testnet proof#160
Oskii wants to merge 1 commit into
masterfrom
doc/dilithium-psbt-proof-onepager

Conversation

@Oskii

@Oskii Oskii commented Aug 7, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Adds design/DILITHIUM_PSBT_PROOF.md, a one-page summary of the 2-of-3 Dilithium multisig spend proven on the public testnet, written for a reader who should not have to read a wire format specification to understand what was demonstrated.
  • Ships the rendered DILITHIUM_PSBT_PROOF.pdf for circulation, plus the .pdf.css used to produce it so the layout is reproducible rather than hand-rebuilt. The markdown is the source of record.
  • Covers what a PSBT is, what Dilithium could not do through one before, the two signing flows exercised (sequential hand-off and independent parallel signing then merge), the three negative tests, and why acceptance by unrelated miners makes the result independent rather than self-confirming.

Both transactions are linked to the public explorer, so every factual claim is checkable without running anything:

Ordering note

Opened as a draft on purpose. The one-pager describes behaviour that is not on master yet: the implementation, the design doc's live-chain proof section, and the re-runnable proof script all arrive with the implementation pull request. The footer therefore points only at design/DILITHIUM_PSBT_DESIGN.md, which does exist, rather than at the section and script that do not. This should merge after the implementation lands, at which point the footer can be pointed at the proof script directly.

Test plan

  • design/DILITHIUM_PSBT_PROOF.pdf opens and is a single page
  • Both explorer links resolve and show a witness carrying two 2,421-byte Dilithium signatures plus one empty slot
  • The empty slot sits in a different position in each of the two transactions, since a different pair signed each
  • The stated address matches the one both transactions spend from
  • Regenerating the PDF from the markdown and CSS reproduces the committed layout

design/DILITHIUM_PSBT_DESIGN.md is written for implementers and assumes
familiarity with BIP174, BIP341 and P2MR. There was nothing to hand to a
reader who needs to understand what was demonstrated without reading a wire
format specification.

Adds a one-page summary of the 2-of-3 Dilithium multisig spend proven on the
public testnet: what a PSBT is, what could not be done before, the two
signing flows exercised, the negative tests, and why acceptance by unrelated
miners makes it independent rather than self-confirming. Every claim is
checkable from the block explorer links it carries.

The markdown is the source of record; the PDF is the artifact for circulation
and the CSS regenerates it, so the layout does not have to be rebuilt by hand.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant