契約のスムーズな検証、執行、実行、交渉を意図したコンピュータプロトコルである。スマートコントラクトには第三者を介さずに信用が担保されたトランザクションを処理できるという特徴がある。
非チューリング完全型：BitcoinのScriptなど。契約の執行に対して、繰り返し処理を含む複雑な処理が行えないが、演算に必要なリソースが演算する前に予想することができる。
契約のスムーズな検証、執行、実行、交渉を意図したコンピュータプロトコルである。スマートコントラクトには第三者を介さずに信用が担保されたトランザクションを処理できるという特徴がある。
非チューリング完全型：BitcoinのScriptなど。契約の執行に対して、繰り返し処理を含む複雑な処理が行えないが、演算に必要なリソースが演算する前に予想することができる。
