CertiK

鏈聞消息，去中心化交易所賽貝 CYBEX 將於 7 月 26 日 12:00 以 IOU 方式上線 CertiK 代幣 CTK，用戶可直接通過掛單 CTK/ETH 交易對，按盤面實時價格購買 CTK 期貨。CYBEX 承諾將在 CertiK 主網上線後開放 CTK 充提。據…

鏈聞消息，形式化驗證服務商 CertiK 宣佈上線 CertiK 公鏈測試網，旨在設計一個數學上可證安全的公鏈。CertiK 公鏈由 DeepSEA 語言開發，目標是讓普通開發者也可以編寫形式化驗證的智能合約。該團隊表示，將現有區塊鏈和安全功能集成在一起是自身突圍激烈公鏈競爭的優勢，「只要有一些…