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 的更多資訊。(來源鏈接)