Tezosブロックチェーンではよく形式検証による安全性がアピールされます。では、この形式検証は具体的にどのような技術で、どんな安全性を保証できるのでしょうか?ブロックチェーンが形式検証されていればあなたの暗号資産は完璧に安全なのでしょうか?また、どんなことを形式検証すべきなのでしょうか?この記事では形式検証の具体的な理論を簡単に紹介し、技術としての適用範囲と注意点について述べ、これらの問に答えます。