スマートコントラクトの脆弱性対策に向けた形式検証手法の新たなアプローチプログラミング言語に形式仕様の構造を直接組み込むことで、スマートコントラクトの開発に革命をもたらし、その脆弱性を根絶できる可能性がある。