Catalog of reliability properties for blockchains (Antithesis) | Dark Hacker News