Research
Formal state machine, threat analysis across five adversaries, incentive proofs including why findings-independent auditor payment dominates, feasibility of Solidity-in-zkVM, and the canonical Section 8 specification this protocol is built from.
The first in a series serializing the verifiable-launch paper: what existing launch mechanisms actually guarantee, and what a four-input escrow changes.