スマートコントラクトとスクリプトの違いは何ですか?

コア構造の特徴

1. スマート コントラクトは、不変のコードと状態を備えたブロックチェーン上にデプロイされた自己実行プログラムであり、イーサリアムの EVM のような決定論的な仮想マシン環境内で動作します。

2. スクリプトは、トランザクション検証時に解釈される軽量でステートレスなオペコードのシーケンスであり、署名検証中にのみ実行が発生する Bitcoin の UTXO モデルによく見られます。

3. スマート コントラクトは、専用ストレージ スロットを通じてトランザクション全体で永続的なストレージを維持し、時間の経過とともに複雑な状態遷移を可能にします。

4. スクリプトには内部ストレージがありません。トランザクションで提供される入力データに完全に依存し、実行間で永続的なデータを保持したり変更したりすることはできません。

5. スマート コントラクトは、独自の残高を持つアドレス指定可能なエンティティであり、他のコントラクトへの発信呼び出しを開始したり、トークンを自律的に送信したりできます。

実行コンテキストとライフサイクル

1. スマート コントラクトはオンチェーン上のバイトコードとして存在し、明示的に自己破壊されるか、論理制約により到達不能になるまでアクティブのままです。

2. スクリプトは一時的なものです。スクリプトはトランザクション入力ごとに 1 回実行され、検証が完了するとすぐに消えて、成功または失敗以外の痕跡は残りません。

3. スマート コントラクトが呼び出されるたびに、ガス メータリングとブロック レベルの包含ルールに従って、コンセンサス層内の新しい実行フレームがトリガーされます。

4. スクリプトの評価はトランザクション リレーとブロックの伝播中に厳密に行われ、スタックの深さやオペコードの制限を超えるリソース アカウンティングを行わずにフル ノードによって強制されます。

5. スマート コントラクトの対話は、イベント駆動型メカニズムまたは外部オラクルを介してトリガーされた場合、複数のブロックにまたがる可能性がありますが、スクリプトは将来の評価を延期したりスケジュールしたりすることはありません。

表現力と能力の範囲

1. スマート コントラクトは、Solidity や Rust などの高級言語を使用したループ、再帰 (ガス境界内)、動的メモリ割り当て、および任意の分岐ロジックをサポートします。

2. スクリプトは、暗号化および算術プリミティブの有限セットに意図的に制限されており、ループ、変数、関数呼び出しはなく、単純さと予測可能性が強化されています。

3. スマート コントラクトにより、コンポーザビリティが可能になります。あるコントラクトは、別のコントラクトを呼び出したり、そのストレージを読み取ったり、プロキシ アップグレードやデリゲートコールなどのパターンを使用して制御を委任したりできます。

4. スクリプトは単独で動作します。検証中に、あるスクリプトが別のスクリプトのロジックやデータを参照、呼び出し、または検査するメカニズムはありません。

5. スマート コントラクトは、オンチェーンのガバナンス構造、トークン標準 (ERC-20、ERC-721)、および分散型 ID フレームワークと統合され、DeFi および NFT エコシステムの基礎層を形成します。

セキュリティモデルへの影響

1. スマート コントラクトの脆弱性 (再入可能、整数オーバーフロー、未チェックの外部呼び出し) により、2016 年以降、パブリック チェーン全体で 30 億ドルを超える損失が文書化されています。

2. スクリプトベースのシステムは、設計によりこれらの落とし穴の多くを回避します。可変状態と外部相互作用がないため、チューリング完全環境で一般的なエクスプロイトのクラス全体が排除されます。

3. スマート コントラクトの監査には、正式な検証ツール、シンボリック実行エンジン、コンセンサスが重要なプリミティブと対話するビジネス ロジックの手動レビューが必要です。

4. スクリプトの正確性は、オペコード シーケンスの静的分析を通じて検証されますが、多くの場合、Pay-to-Public-Key-Hash (P2PKH) や Bitcoin の Tapscript ポリシーなどのポリシー テンプレートによって制約されます。

5.スマート コントラクトの導入には取り返しのつかないリスクが伴います。一度稼働すると、ユーザーの移行やプロトコル レベルのハード フォークがなければ、欠陥のあるロジックにパッチを適用することはできません。

よくある質問

Q: スクリプトはオラクルと対話できますか? A: いいえ。スクリプトは外部リクエストを行ったり、オフチェーン データを解釈したりすることはできません。トランザクション自体に含まれるもののみが評価されます。

Q: スマート コントラクトは常にすべてのノードで実行されますか? A: はい。すべてのフルノードは、コンセンサスの整合性を維持するために、ブロック内のトランザクションによってトリガーされるすべてのスマート コントラクト コードを実行します。

Q: Bitcoin の Tapscript はスマート コントラクトとみなされますか? A: いいえ。Tapscript は、より柔軟な条件で Bitcoin のスクリプト言語を拡張しますが、ステートレスかつ非チューリング完全なままです。スマート コントラクトの定義上のしきい値を満たしていません。

Q: スマート コントラクトは自身のソース コードを変更できますか? A: 直接ではありません。コードの不変性は EVM レベルで強制されます。アップグレードするには、ストレージを維持しながら呼び出しを新しいバイトコードにリダイレクトするプロキシ パターンが必要です。