L1 ブロックチェーン向けの STARK ベースのスケーリング ソリューションのトップ プロデューサーである StarkWare が Cairo 1.0 の詳細を共有
zk-STARK (ゼロ知識でスケーラブルで透過的な知識の議論) は、イーサリアム (ETH) ブロックチェーン向けの主流の zk ベースの L2 ソリューションに進化しました。
StarkWare が Cairo 1.0 をリリース、プログラミング言語への史上初のアップグレード
StarkWare チームが共有した公式声明によると、そのプログラミング言語 Cairo は、Cairo 1.0 と呼ばれる史上初のメジャー アップグレードを受ける予定です。
発表時期: Cairo 1.0 🦅
これは、これまでのカイロの最大の進歩です。Cairo 1.0 は、使いやすさ、安全性、利便性を高めます。 StarkNet のパーミッションレス ネットワーク要件をサポートし、プロトコルを簡素化して保護します。https://t.co/HgpR6f1VRm pic.twitter.com/VaCol0cckn
— StarkWare(@StarkWareLtd) 2022 年 9 月 12 日
v1.0 のアップグレードにより、Cairo は、スマート コントラクトおよび dApps 開発者にとって、より堅牢でシンプルで使いやすいプログラミング言語になります。
Cairo の中核には、すべての Cairo プログラムを安全に検証できるように設計された中間層である Sierra (Safe Intermediate Representation) があります。
この設計により、ネットワーク全体の攻撃に対する耐性が向上します。
L2 に重点を置いたプログラマー向けの高度な開発者エクスペリエンス
また、Cairo 1.0 を有効にすると、そのユーザー (開発者) は、すべてのスマート コントラクトとアプリケーションに対して Ethereum グレードのセキュリティを利用できます。
どちらの成果も、ネットワークがコスト効率と分散化を犠牲にすることはありません。
L2Beat トラッカーによると、StarkWare の StarkEx テクノロジは L2 セグメントにとって最も重要なものの 10 つです。TVL による XNUMX の最大プロトコルのうち XNUMX つ (dYdX、Immutable X、Sorare) がその上に構築されています。
ソース: https://u.today/cairo-crucial-programming-language-for-ethereum-eth-receives-major-upgrade