Declarative executable specification of Bitcoin consensus rules-tobysharp/hornet by Scoresby in ~bitcoin 537 sats and 1 comment so far https://stacker.news/items/1472784