保証性に優れた形式手法を用いて構築されたcardanoは、第2世代暗号通貨には十分にない実用性のあるアプリケーションに必要とされるスケーラビリティ、相互運用性、サステナビリティを実現することを目指している。