Vitalik Buterin Explains How Crypto Can Protect Users When Perfect Security Remains Impossible

イーサリアムの共同創設者であるVitalik Buterinは、ユーザーの意図が複雑すぎて完全に符号化できないため、ユーザーの意図とシステムの動作との間にギャップが生じ、暗号分野で完全なセキュリティを達成することは不可能であると主張しています。このリスクを軽減するため、彼は冗長性と多角的な検証を中心としたセキュリティフレームワークを提唱しており、ユーザーは重複する方法（型システム、形式検証、マルチシグ、ソーシャルリカバリなど）を通じて意図を表明し、すべての仕様が一致した場合にのみシステムが続行します。Buterinはまた、異常を検出するための補完的な「意図のシミュレーション」として大規模言語モデル（LLMs）の統合を提案していますが、これらは単独のセキュリティ決定要因であってはならないとしています。彼は、低リスクタスクの自動化と、高額送金などの高リスクアクションに対する追加検証を要求することで、セキュリティとユーザビリティのバランスを取ることが極めて重要であると強調し、リスクを低減するための階層的で人間中心のアプローチを示しています。

(出典：BeInCrypto)