今回のアップデートの機能は、インテリジェンス、効率性、安全性の3点に集約されます。

今回のアップデートの機能は、インテリジェンス、効率性、安全性の3点に集約されます。

• よりスマート: Sierra 設計を実装し、Cairo コードが証明可能であることを確認し、StarkNet スマート コントラクトが次のバージョンで実装されます。

• より効率的: 実行効率と記述基準を考慮して、Rust 言語の強力な型指定、所有権メカニズム、設計アイデアの借用をフォローアップします。

• より安全: チューリングの完全性が維持され、STARK メカニズムの安全性が数学的証明によって保証されます。

Cairo 1.0 パブリック バージョンのワークフローはこれまでとは異なり、主な開発方向はスマート コントラクト作成機能と開発者の使いやすさの継続的な改善になります。

両方の長所: ZK-EVM に向けて

今回のレイヤー2バトルでは、ZKシリーズのSTARKとSNARKが2つの主流ルートとなったが、EVMの互換性と実行効率も各関係者の注目を集めており、より優れた互換性がイーサリアムメインネットに認められることになる。セキュリティの恩恵を受け、実行効率が高まることでL2自体の実行速度も高速化します。

しかし、これには矛盾があります: EVM の互換性と実行効率は同時に達成できないことが多く、L1 互換性が向上すると L2 実行効率が低下し、そうでない場合はセキュリティ上の問題が発生します。

したがって、Starkware は、カイロ言語を両者の間の接着剤として使用したいと考えており、これによって書かれたスマート コントラクトは、StarkNet 上でフルスピードで実行できるだけでなく、イーサリアムのメイン ネットワークとの高い互換性を維持することができます。これが、カイロ言語の本質でもあります。 ZK-EVMの意味。

このアップデートでは、Cairo は完全な Cairo-VM をサポートします。そのキーは中間プレゼンテーション層 Sierra です。

簡単に言うと、Sierra はカイロ言語で書かれたコードとその基盤となるバイトコードの間の「翻訳層」として機能し、この翻訳はセキュリティの確保に基づいて高速化され、トランザクションの実行ステータスを設定することなく直接実行できます。認証は現在の状態に基づいて実行されます。

これはカイロ独自の構文の改良であり、さらに StarkWare のスマート コントラクトは完全なカイロ言語に徐々に移行し、独自の言語標準の統一を完了します。

イーサリアムメインネットとの互換性がかなり保たれているため、Cairo と Solidity で書かれたスマートコントラクト間の変換も容易になり、イーサリアムクライアント Nethermind の翻訳者である Warp はすでに Uniswap V3 の Cairo コードへの書き換えをサポートしています。

実際、2022 年 10 月末に、StarkNet は ZK-EVM の開発に Cairo を使用すると主張し、その後 StarkNet が実際に運用されるにつれて、この互換性の実際の効果が検証されるようになります。

Sprouts: Rust ベースのバランスの取れた機能

実際、Cairo 自体は、Rust 言語で書かれた言語とみなすことができ、Rust 言語はより多くの Rust 機能を継承しています。

Rust自体はPython/Goなどのいわゆる現代言語とは異なり、その動作効率は下位開発言語に非常に近いですが、同時に特殊な言語などの読みやすさも考慮されています。メモリ管理メカニズム - 特別な所有権 (所有権) と借用の設計。

正確に言うと、Cairo/Rust の所有権はメモリ管理の明示的な要件を指します。ブロックチェーンの特殊なノード操作メカニズムにより、典型的なメモリに依存する開発環境です。C/C++ と Java を例にとると、現在主流の 3 つのメモリ リソース利用メカニズムは次のとおりです。

• C/C++: メモリを手動で管理します。最新の機器の進歩のおかげで、ほとんどの開発者は時間内にメモリを解放する習慣を身につけていないため、リソースの深刻な浪費が発生します。

• Java: 自動リソースリサイクル機構 JVM は Java 実行時の仮想マシンであり、自動的にメモリを管理する機能がありますが、一般に動作効率を確保するために、JVM は一定量のメモリ リソースを維持します。そして要求します。

• Cairo/Rust: 所有権メカニズムはメモリ リソースを管理します。Rust の変数は所有者を指定する必要があり、一度に所有できるのは 1 つだけです。変数が実行されると解放され、メモリ内に存在し続けることはできません。

このような所有権メカニズムの設計により、貴重なメモリ リソースが実行時にのみ呼び出されるようにすることができ、C/C++ の動作効率を考慮しながら、メモリ リークなどの問題を回避できます。メモリ リソースを常に準備する必要がなく、これは、スマート コントラクトの全体的なサイズを削減するのに役立ち、非常に重要です。

Cairo/Rust には多くのスマート コントラクトの作成と実行が含まれており、それらのすべてには特別な処理が必要な高価値のトークン、NFT、個人データが含まれており、すべての変更を行う必要があります。慎重に扱われます。

強く型指定された言語と弱く型指定された言語は、変数の定義に関連しています。簡単に言うと、強い型は、使用前に変数が「データ型指定」される必要があります。"整数、浮動小数点数、文字列などのアスペクト定義は、明示的な型変換操作を行わないと任意に変更できません。

弱い型付け言語にはそこまで厳密なルールはなく、変数のデータ型を柔軟に変更できます。

スマート コントラクトの作成では、アセットの所有権が明確であり、トランザクションと変換のプロセスが明確であることを保証するために、アセットの種類と数量を明示的に処理する必要があります。Cairo/Rust は可読性が高く、開発者にとってフレンドリーなので、さらなるセキュリティ上の懸念を回避します。

公式スケジュールによると、Cairo 1.0コンパイラは今年の第1四半期に利用可能になる予定で、その際にはStarkNetとより深く統合され、Rustの言語機能の助けを借りて実行速度が向上すると予想されているこれにより、TPS が日常使用可能なレベルに引き上げられます。

Reborn: 開発者向け

カイロ 1.0 は、L2 とイーサリアム メインネットを接続するという重責を担っており、その公式リジェネシス (再生) 計画によると、スタークネットは 2023 年の第 1 四半期にカイロに完全に移行し、現在の断片化された状態に終止符を打ち、エコロジー競争の新たな展開に入る予定です。ステージ。

しかし、真のキラーアプリケーションの不足に加え、dYdXなどの主要プロジェクトの流出により、StarkWareのプロモーションの道は依然として茨に満ちている。

現在のパブリックチェーン/L2/dAppの開発パターンでは、Solidity (Vyper)が98%近くの独占的地位を占めているのに対し、Cairoは市場占有率の1%未満に過ぎず、現状では基本的にStarkWareのみが運営をサポートできます。

StarkNet と StarkEx の開始以来、カイロを利用した dApps は 3 億件以上のトランザクションを処理し、6,500 万件以上の NFT を鋳造し、7,000 億ドル相当のトランザクションを処理し、そのすべてが最終決済層としてイーサリアムを利用しています。

Cairo 1.0 が実際に StarkNet に適用される前に, 開発者エクスペリエンスは StarkWare エコシステムへの参入を競う最初のステップです. Nethermind の Warp サポートに加えて, ConsenSys は StarkWare と協力して Cairo にセキュリティを提供するスマート コントラクトを提供します監査サービス。

関連書籍:

関連書籍:StarkWare エコロジーのインベントリ: StarkEx の 7 つのアプリケーション、StarkNet の 105 のエコロジー プロジェクト

Cairo の機能開発の進捗は比較的速く、より多くの機能が実装されることが予想されており、StarkNet も Cairo 実装後に現在の機能ギャップを埋め、最終的に StarkNet システムレベルのフル機能モジュールを実現することがわかります。呼び出します。

現在、StarkEx のデータを適切に参照することができますが、StarkNet の一般化ルートとは異なり、StarkEx は Immutable X、Sorare、Rgino.Fi、dYdX などのいくつかの主要な大規模プロジェクトを指向しています。人口は2,000万人に達し、平均月々の生活は数万人に達します。

エピローグ

エピローグ

Cairo 1.0 は単なる言語アップデートではなく、StarkNet の EVM 互換性と実行効率の有効化、所有権や強い型付けなどの Rust の成熟したプログラミング パラダイムの活用による開発の困難さの軽減など、より豊富な役割を担っています。

同時に、Cairo 1.0 にはまだ完全に実装されていない機能がいくつかあり、完全な状態にするにはより長い開発サイクルが必要になる可能性があり、それに応じてトークンの発行時間も調整されることに注意してください。

つまり、Cairo は StarkNet の現在の「不完全な」バージョンを終わらせるという点で非常に重要であり、Sierra などの新しいツール、コンパイラー、主流の開発ツールを組み合わせることで、開発者がスマート コントラクトを作成するというプレッシャーが大幅に軽減されます。