Proof-native smart contracts without a transaction archive

About

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

Discovery history

1. Show HN

   Sep 27, 2026 · 1 observations