StarkWare は Cairo 1.0 バージョンを発表する予定で、コア機能である Sierra は Cairo の各実行を証明します。
链捕手消息、ゼロ知識証明技術開発会社のStarkWareは、プログラミング言語Cairo 1.0のバージョンを発表しました。コアは中間表現層(intermediary representation layer)Sierraであり、可用性、安全性、便利さを向上させ、StarkNetの無許可ネットワーク要件をサポートし、プロトコルを簡素化し保護します。現在、開発は進行中で、最初のバージョンは近日中にリリースされる予定です。Cairo 1.0の主な新機能はSierra(セキュリティレポート)です。SierraはCairo 1.0とCairoバイトコードの間の新しい中間表現層を構成します。Sierraの目標は、毎回のCairoの実行(計画とその入力)が証明できることを保証することです。さらに、Cairo 1.0はRegenesisにも影響を与え、StarkWareは今後数週間以内にRegenesisに関する詳細情報を発表する予定です。(出典リンク)