Show HN: Proof-native smart contracts without a transaction archive (colosseum.com)

During Colosseum hackathon, I went from idea and research through development to implementing proof-native smart contracts: programmable rights whose current validity survives the pruning of their interaction history.

They go live on mainnet before the hackathon ends. So the full experiment completes inside the Arena:

idea → protocol → mainnet → live contracts → real application