
The Trillion-Dollar Proof
Tokenization is no longer a thesis but a migration: with on-chain real-world assets at roughly $20–22 billion today and sell-side projections running from Citi's $5.5 trillion to as much as $30 trillion by 2030, the value whose safety depends on smart-contract logic is set to climb by about three orders of magnitude — even as the security record of the rails remains poor. This working paper surveys the formal-verification tooling landscape for tokenized finance and argues that securing it at scale requires two layers that blockchain security is still missing.
Read in full →





