定義
スマートコントラクトは取引と保存状態に定義済みロジックを適用し、資産や権限、対話を管理します。知能を持つ意味でも、自動的に法的契約になる意味でもなく、コードと環境が動作を決めます。
仕組み
利用者や別契約が取引等で関数を呼び、ノードが命令と有効な変更を確認します。貸付前の担保確認が一例です。外部情報には通常オラクルなどが必要で、プログラムが自らチェーン外を観測するわけではありません。
用途と留意点
調整を自動化できますが、条件次第で誤りも実行します。バグ、危険な依存、管理権限は資産に影響します。更新可能な契約もあり、不変と決めつけられません。監査や公開コードは安全保証ではなく、承認前に権限を理解する必要があります。