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