Properties of High-Quality Public Blockchains