スマートコントラクトは、ブロックチェーン上に配置され、あらかじめ書かれたコードの規則に従って自動的に実行されるプログラムです。ethereum.orgは「もしこうなら、こうする」の論理に従い、作成後は変更できないものと説明しています。用語は1994年にNick Szaboが「契約の条項を実行するコンピュータ化された取引プロトコル」と定義したものに由来し、NIST IR 8202もこの定義を引用しています。ネットワークのノードがコードを実行して結果を台帳に記録するため、人が結果を解釈・交渉する必要がありません。
スマートコントラクトの定義、由来、基本的な動作
契約書の『法的な契約』そのものではなく、コードによる自動実行の仕組みを指す技術用語である。