「コード・イズ・ロー(Code is Law)」は、暗号の非公式な憲法として長年語られてきました。この言葉が捉えているのは強力な考え方です。すなわち、スマートコントラクトは、人間の偏見や介入、または覆すような行為から解放され、書かれたとおりに完全に実行される、ということです。この原則が、私たちにトラストレスなDeFi、改ざん不可能なプロトコル、そして約束ではなく数学で動く金融システムをもたらしました。 しかし「コード・イズ・ロー」には、私が気づくのに長い時間がかかった静かな問題があります。それは、コードが直前に実行したことを本当に行うべきだったのかを問いません。 スマートコントラクトは完全な精度で取引を実行できます。ブロックチェーンはためらうことなくそれを検証します。けれども、その取引がユーザーの実際の意図に沿っていたかどうかを、契約もチェーンも確認しません。実行されたのは、書かれたとおりのコードです。それは、ユーザーが本当に望んだことを実行したという意味ではありません。つまり、契約に組み込まれたルールが技術的には満たされた、というだけです。