Cardano

A public blockchain project that uses a proof-of-stake consensus mechanism with ADA as its native token. Cardano is characterized by its academic research-driven development methodology and extensive use of formal verification to validate the correctness of its protocols and smart contracts.