smart contract

デジタル大辞泉

スマート‐コントラクト【smart contract】

読み方：すまーとこんとらくと

ブロックチェーン上で契約情報を記録する仕組み。取引相手との間に仲介者や第三者機関を介することなく、事前に取り交わされた条件が満たされると、契約を自動的に執行する。

ウィキペディア

スマート・コントラクト

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/01/02 18:51 UTC 版)

スマート・コントラクト（smart contract）とは、契約のスムーズな検証、執行、実行、交渉を意図したコンピュータプロトコルである。スマートコントラクトには第三者を介さずに信用が担保されたトランザクションを処理できるという特徴がある。スマートコントラクトは、契約条件が満たされたときに自動的に実行するコンピュータコードに契約をデジタル化します。1994年にニック・スザボにより提唱された。

ブロックチェーンおよび暗号通貨の主要な用途の一つでもある。

スマート・コントラクトの種類

スマート・コントラクトの基盤により、スマート・コントラクト自体に種類が存在する。

非チューリング完全型

ループ処理ができないなどの、非チューリング完全な特徴を持つスマート・コントラクト。 BitcoinのScriptなどがあげられる。 契約の執行に対して、繰り返し処理を含む複雑な処理が行えないが、演算に必要なリソースを、演算前に予想することができる。

チューリング完全型

チューリング完全であるもの。 EthereumのEVMがあげられる。

その他にも、プログラミングパラダイムによる分類ではデータフロー型の言語であるZilliqaのScillaなど、いくつかの例外も存在する。