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に関する詳細情報を発表する予定です。（出典リンク）