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