Tezos (XTZ ) is a multifunctional platform that supports dApps and smart contracts. It aims to combine a self-correction protocol and chain management to manage network modifications.
Tezos is designed to ensure the security and correctness of the code required for assets and other high-value use cases. Its native intelligent contract language, Michelson, facilitates formal verification, a methodology commonly used in mission critical environments such as the aerospace, nuclear, and semiconductor industries.
Rozwiązania dla górnictwa
Benefits:
lower energy consumption,
miners do not get rid of crypto quickly - lower price volatility, in proof-of-work miners operate on the principle of dig-sell-forget,
you need a lot of currency for double-spending, but not necessarily.
As we can see, having certain cryptos, we can mine them without miners.