Ethereum レイヤー 2 スケーリング プラットフォームの StarkNet は、Cairo プログラミング言語を改良して、新しい開発者のオンボーディングを容易にしました。
Ethereum レイヤー 2 スケーリング プラットフォームの StarkNet は、開発者が Web3 開発にアクセスできるようにするために、社内の Cairo コーディング言語をオーバーホールしました。
Cointelegraph と共有された発表は、人気のあるプログラミング言語 Rust の特性をエミュレートすると宣伝されている Cairo 1.0 へのアップグレードの概要を示しています。このオーバーホールは、一般的なコーディング経験を持つ開発者が、StarkNet の Ethereum レイヤー 2 ネットワーク上で分散型アプリケーションの構築を開始できるようにすることを目的としています。
StarkWare の共同設立者で社長の Eli Ben-Sasson 氏は、Cointelegraph に対し、さまざまなバックグラウンドを持つ開発者がレイヤー 2 開発をより利用しやすくすることが、カイロの刷新の主な理由であると語った。
「主な推進要因は安全性と使いやすさであり、オーバーホールを実施することで、従来の言語のバックグラウンドを持つ開発者のエントリを削除する絶好の機会が提供されました。」
1 月 5 日のローンチで概説された技術仕様には、改良された構文と言語構造、全体的な型システム、直感的なライブラリ、最適化されたコード、データ型の仕様を要求することによる強力な型付けなど、Cairo の言語に対する多くの改善が含まれています。
StarkNet は、Sierra (Safe Intermediate Representation の略) を Cairo のオーバーホールの主な追加要素として強調しました。Sierra は、Cairo 1.0 と Cairo バイト コードの間の新しい中間表現レイヤーとして機能します。
Ben-Sasson が説明したように、Sierra はパーミッションレス ネットワークを確保するための重要な側面です。このアップグレードにより、元に戻されたトランザクションを StarkNet ブロックに含めることができるようになり、プロトコルが複雑な「暗号経済メカニズム」を追加することを回避できるようになります。
関連: StarkNet は Cairo 1.0 をオープン ソースにして、コミュニティ コントロールに向けた第一歩を踏み出しました。
Ben-Sasson 氏は、Sierra は StarkNet が「イーサリアムの完全な検閲耐性を継承する」ことを許可し、主にシーケンサーのサービス拒否攻撃から保護すると述べました。
Cointelegraph によって以前に報告されたように、Ben-Sasson は 他のコンピューター科学者と共にzk-STARK暗号のパイオニアでした。Zero-Knowledge Scalable Transparent Arguments of Knowledge は、取引データを暗号化および検証して、セキュリティ、スケーラビリティ、および量子コンピューティングへの耐性を提供する証明システムです。
StarkNet によると、Cairo はロックされた合計値で 4 番目に人気のあるスマート コントラクト言語です。これは、3 億を超えるトランザクションを処理し、9,000 万の代替不可能なトークンを発行し、イーサリアムで決済された 7 億 9,000 万ドル相当の取引を促進したアプリケーションの基盤です。
