StarkNet は、許可のない分散型 Validity-Rollup です。 イーサリアム上の L2 ネットワークとして動作します。 これにより、イーサリアムの構成可能性とセキュリティを損なうことなく、任意の dApp がその計算のために無制限のスケールを実現できます。
StarkNet の最近の更新から、開発者が Web3 開発にアクセスできるようにするために、社内の Cairo プログラミング言語がオーバーホールされました。 StarkWare による Medium ブログ投稿で、Stark ベースのスケーリング ソリューションは Cairo 1.0 へのアップグレードの概要を説明しました。
ブログ投稿によると、「開発者は Cairo 1.0 プログラムの作成、コンパイル、およびテストを開始できます!」 このプラットフォームは、開発者が Cairo 1.0 の実験を開始し、新しい構文と機能に慣れることを奨励しています。」
カイロ1.0とは？
Cairo は 2020 年に初めて導入され、最初の公開バージョン Cairo 1.0 としての進化をたどり、現在利用可能です。 また、STARK証明可能なプログラムを効率的に書くための「チューリング完全なプログラミング言語」でもあります。 「Cairo 1.0 は Rust に似た高級言語です。 Rust と同様に、開発者が効率的で安全なコードを簡単に記述できるようにすることを目的としています。」
StarkWare の共同創設者兼社長である Eli Ben-Sasson 氏は、Cairo の刷新の理由について次のように述べています。背景。
Cairo 1.0 ではさらに、すべての Cairo の実行を証明できるようにする新しい中間表現である Sierra が導入されています。 これにより、Cairo 1.0 は、堅牢な DoS 保護と検閲抵抗を提供できる StarkNet のようなパーミッションレス ネットワークでの使用に特に適しています。
Ben-Sasson 氏は、Sierra を「パーミッションレス ネットワークを確保するための重要な側面」と説明しました。 さらに、アップグレードにより、元に戻されたトランザクションを StarkNet ブロックに含めることができるようになり、プロトコルが複雑な「暗号経済メカニズム」を追加することを回避できるようになります。 彼は、Sierra は StarkNet が「イーサリアムの完全な検閲耐性を継承する」ことを許可し、主にシーケンサーのサービス拒否攻撃から保護すると述べました。
StarkNet のブログ投稿では、Cairo はロックされた合計値で 790 番目に人気のあるスマート コントラクト言語であるとも述べています。 300 億ドル以上の取引を処理し、90 億以上のトランザクションを処理し、XNUMX 万以上の NFT を発行しました。すべてオフチェーンで実行され、STARK 証明によって保証された数学的整合性を備えた Ethereum で決済されました。
「しかし、StarkNet はまだ Cairo 1.0 コントラクトの展開と実行をサポートしていません。 数週間以内に予定されている StarkNet Alpha V0.11.0 では、Cairo 1.0 コントラクトをデプロイして実行する機能が導入されます。 StarkNet によると、v0.11.0 へのアップグレードは、Cairo 1.0 契約のみを実行するシステムへの移行期間の始まりを示します。
ナンシーJ.アレンは暗号愛好家であり、暗号通貨は人々を自分の銀行になり、従来の通貨交換システムから離れるように刺激すると信じています。 彼女はまた、ブロックチェーン技術とその機能にも興味を持っています。
ソース: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/