スマート‐コントラクト【smart contract】
スマート・コントラクト
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2018年2月） |
スマート・コントラクト（smart contract）とは、契約のスムーズな検証、執行、実行、交渉を意図したコンピュータプロトコルである。スマートコントラクトには第三者を介さずに信用が担保されたトランザクションを処理できるという特徴がある。スマートコントラクトは、契約条件が満たされたときに自動的に実行するコンピュータコードに契約をデジタル化します。1994年にニック・スザボにより提唱された。
スマート・コントラクトの種類
スマート・コントラクトの基盤により、スマート・コントラクト自体に種類が存在する。
非チューリング完全型
ループ処理ができないなどの、非チューリング完全な特徴を持つスマート・コントラクト。 BitcoinのScriptなどがあげられる。 契約の執行に対して、繰り返し処理を含む複雑な処理が行えないが、演算に必要なリソースを、演算前に予想することができる。
チューリング完全型
チューリング完全であるもの。 EthereumのEVMがあげられる。
その他にも、プログラミングパラダイムによる分類ではデータフロー型の言語であるZilliqaのScillaなど、いくつかの例外も存在する。
脚注
 | この項目は、経済に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（ポータル 経済学、プロジェクト 経済）。 |
- smart contractのページへのリンク
