# 7.4 スマートコントラクトの適用と範囲

<figure><img src="https://445040947-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FOxry6bBJam0UPRlzLhGl%2Fuploads%2FeZvz6lUQ5WMDyk6PWK9C%2Fshotaueyama_A_futuristic_3D_CG_scene_illustrating_the_applica_6acd253c-528f-43cc-9471-41941c492c90_0.png?alt=media&#x26;token=dc607d02-6e3a-45b4-90e9-e29654e65754" alt=""><figcaption></figcaption></figure>

GETでは、Plutusスマートコントラクトを用いて、以下の領域で自動化と透明性の高い運用を実現します。

<table><thead><tr><th width="250.337890625">領域</th><th>スマートコントラクトの活用内容</th></tr></thead><tbody><tr><td>ガバナンス</td><td>投票、提案、承認、実行の自動処理</td></tr><tr><td>ステーキング</td><td>ロック条件、報酬分配、満期処理の自動化</td></tr><tr><td>NFT発行・販売</td><td>発行、所有権管理、二次流通時のロイヤリティ分配</td></tr><tr><td>RWAトークン化</td><td>所有証明NFT発行、分割権利記録、転送履歴管理</td></tr><tr><td>クラウドファンディング</td><td>支援金の段階配分／未達時の自動返金処理</td></tr></tbody></table>

Plutusは形式検証（Formal Verification）を導入できるため、スマートコントラクトの論理的正当性を高いレベルで担保可能です。

<br>