Plain language

What is a verifiable launch?

A verifiable launch is a token sale and deployment run by one escrow contract that accepts exactly four kinds of input: money, clock time, cryptographic proofs, and per-user choices affecting only that user. Nobody attests, approves, or decides anything on behalf of anyone else — not the platform, not the founder, not the auditor, not a vote.

The founder commits to a claims manifest and a proof that a complete implementation existed before any money moved. Deposits fund a professional security audit whose fee is a fixed function of proven code size. The report is bound on-chain, launch conditions evaluate mechanically, the audited code re-proves against the same manifest, and the escrow itself deploys the token — the float-out — and distributes it. Every failure, at every stage, becomes pull-based refunds.

The name is the design: a drydock holds the ship out of the water structurally, and if the hull inspection fails, the ship simply never floats. Nobody has to decide anything for the water to stay out.

Full treatment: the paper. Implementation detail: how it works.