Please, guys. Let's go easy on the sensationalism. Tinydancer is probably going to verify finality for transactions by doing some SPV-style checks (requires work to embed transaction receipts + receipts root in the block header IIRC) and calculating the total voting stake for a