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 1.0 也會影響 Regenesis，StarkWare 將在未來幾週內發布有關 Regenesis 的更多資訊。（來源鏈接）