「忍耐は美徳です、私たちは Solana のようにシャットダウンしません...」
Starknet の分散化#
- イリアは、StarkNet の分散化についての旅の最初に、強力でアクセス可能で検閲に耐えるものにすることを目指して話します。
- 分散化には、意思決定とガバナンス、そしてプロトコルが関与します。
- StarkNet は、イーサリアムとの違いは、2 つの並列層を持つことであり、それには多くの問題があります。
- 2 つの独立した層、オーダリング層とプルーフ層を解放する必要があります。
- インセンティブトークンの流動性と手数料メカニズムを考慮する必要があります。
- 真の L1 ステートアップデートプロトコルを実装する必要があります。
- 2021 年末には、解放化の実現方法について考え始め、機能性を中心に探求します。
停止問題に立ち止まらない#
- StarkNet への攻撃、特に停止できない無限ループの実行を防ぐ方法について議論します。
- 最初に、コードに「ガソリンカウンター」を追加し、各命令で残りの燃料を差し引き、警告を発することで、ユーザーが燃料を使い果たしたことを証明できるようにします。
- 次に、コードを SIRRA で構造化し、各行の命令に「ガソリンカウンター」を追加し、失敗した場合に警告を発することができます。
- その後、ガソリンウォレットがあります。これはコンパイル時の解決策であり、コンパイル時に簿記を行い、各命令に十分なガソリンが利用可能であることを保証し、失敗した場合にプログラムを終了します。
- さらに、新しい特殊命令「get gas」を追加しました。呼び出そうとすると、失敗してプログラムを終了します。
- ユーザーコードには、30 の燃料単位を要求する文が含まれており、これにより、コードが次の get gas 呼び出しまで実行され続けることが保証されます。
- 同時に、定数の取得の価格がコードの再帰呼び出しの価格よりもはるかに安いことなど、さまざまな操作の価格も考慮する必要があります。