Show HN: Proof-native smart contracts without a transaction archive

4 points | by ignotusnemo 10 hours ago