可換図式を使った証明テクニックも
或る意味合いで
一方向関数使った認証手法と
かなり同じ意味合いがあるのではなかろうか？。