DeFi 之道訊，1 月5 日，零知識證明技術開發公司StarkWare 宣布推出第一個公開版本的Cairo 1.0，Cairo 於2020 年作為圖靈完備的編程語言首次推出，用於高效編寫STARK 可證明的程序。 Cairo 1.0 中最重要的變化之一是語法，新版本的Cairo 允許編寫更安全的代碼。 Cairo 1.0 還引入了Sierra，這是一種新的中間表示，可確保每次Cairo 運行都可以得到證明。 StarkWare 表示，預計在接下來的幾週內，提供與舊版本相同的Cairo 1.0 功能，對StarkNet 合約的支持將在即將到來的StarkNet Alpha 版本中加入。
巴比特訊