StarkNet は Cairo プログラミング言語をオーバーホールし、開発者の採用を促進します

Ethereum レイヤー 2 スケーリングプラットフォームの StarkNet は、開発者が Web3 開発にアクセスできるようにするために、社内の Cairo コーディング言語をオーバーホールしました。

Cointelegraph と共有された発表は、人気のあるプログラミング言語 Rust の特性をエミュレートすると宣伝されている Cairo 1.0 へのアップグレードの概要を示しています。このオーバーホールは、一般的なコーディング経験を持つ開発者が、StarkNet の Ethereum レイヤー 2 ネットワーク上で分散型アプリケーションの構築を開始できるようにすることを目的としています。

StarkWare の共同設立者で社長の Eli Ben-Sasson 氏は、Cointelegraph に対し、さまざまなバックグラウンドを持つ開発者がレイヤー 2 開発をより利用しやすくすることが、カイロの刷新の主な理由であると語った。

「主な推進要因は安全性と使いやすさであり、オーバーホールを実施することで、従来の言語のバックグラウンドを持つ開発者のエントリを削除する絶好の機会が提供されました。」

5 月 XNUMX 日のローンチで概説された技術仕様には、改良された構文と言語構造、全体的な型システム、直感的なライブラリ、最適化されたコード、データ型の仕様を要求することによる強力な型付けなど、Cairo の言語に対する多くの改善が含まれています。

StarkNet は、Sierra (Safe Intermediate Representation の略) を Cairo のオーバーホールの主な追加要素として強調しました。 Sierra は、Cairo 1.0 と Cairo バイトコードの間の新しい中間表現レイヤーとして機能します。

Ben-Sasson が説明したように、Sierra はパーミッションレスネットワークを確保するための重要な側面です。このアップグレードにより、元に戻されたトランザクションを StarkNet ブロックに含めることができるようになり、プロトコルが複雑な「暗号経済メカニズム」を追加することを回避できるようになります。

Ben-Sasson 氏は、Sierra は StarkNet が「イーサリアムの完全な検閲耐性を継承する」ことを許可し、主にシーケンサーのサービス拒否攻撃から保護すると述べました。

As 以前Cointelegraphによって報告された、ベン・サッソンが開拓した zk-スターク他のコンピューター科学者と一緒に暗号化。 Zero-Knowledge Scalable Transparent Arguments of Knowledge は、取引データを暗号化および検証して、セキュリティ、スケーラビリティ、および量子コンピューティングへの耐性を提供する証明システムです。

StarkNet によると、Cairo はロックされた合計値で 300 番目に人気のあるスマートコントラクト言語です。これは、90 億を超えるトランザクションを処理し、790 万の代替不可能なトークンを発行し、イーサリアムで決済された XNUMX 億 XNUMX 万ドル相当の取引を促進したアプリケーションの基盤です。