Catalog of reliability properties for blockchains (Antithesis) antithesis.com 1 points by akshayshah 10 hours ago