CertiK已完成對OKX BRC-20代幣合約安全審計

據官方消息，區塊鏈和智能合約安全領域機構CertiK宣布已完成對OKX的BRC-20代幣合約安全審計。此前報道，本月初CertiK因成功發現并報告SUI網絡內名為“倉鼠輪”的安全新型安全威脅，而被SUI授予50萬美元賞金。

這次和未來的審計將協助OKX啟動一系列的詳細操作，并旨在將這種新的代幣技術無縫整合到其平臺上。該交易平臺的路線圖包括支持申購，從而擴大其不同用戶群的投資機會。此外，該平臺將通過實現代幣和BTC NFT的購買、出售、轉讓和報價來增強其交易能力。

CertiK由耶魯大學和哥倫比亞大學的兩位教授創立，已保護超過4000億美元的數字資產免受損失。

Balancer計劃參考veCRV推出veBAL Token經濟模型:2月7日消息，去中心化交易平臺 Balancer 計劃參考 CRV 被鎖定到 veCRV 中的機制設計，推出 veBAL Token 經濟模型，主要包括 veBAL 和治理權、新的 BAL 通脹時間表、鏈上計量系統（用于確定流動性挖礦分布）等。其中 80/20 BAL/ETH 池的 BPT（Balancer 資金池的流動性代幣憑證）將被鎖定到 veBAL 中，任何人都可以將 80/20 BAL/ETH 池的 BPT 鎖定 1 周到 1 年之間的任何時間段而獲得對應的 veBAL，veBAL 可投票決定每個流動性池的獎勵份額，且協議費收取者收取的協議收入的 75% 將分發給 veBAL 持有者。另外 25% 的費用將由 DAO 財務部門作為儲備金保留。[2022/2/8 9:36:27]

動態 | CertiK Foundation推出專注于安全的區塊鏈:據Cointelegraph消息，區塊鏈網絡安全公司CertiK宣布推出本土認證鏈區塊鏈。此區塊鏈的全部節點將運行在CertiKOS上，并表示，這是一個”經過充分驗證的管理程序/并發操作系統內核“，提供軍事級別的安全防范黑客攻擊。此外，公告還聲明區塊鏈是由CertiK虛擬機支持，該虛擬機使用了公司的正式驗證平臺來確保其正確實現。[2019/7/23]

現場 | Certik CEO Ronghui Gu：形式驗證方法是實現計算機系統安全和隱私的可靠的方法:金色財經現場報道，NEO DevCon 2019開發者大會今日在西雅圖舉行，Certik CEO Ronghui Gu 做了以“建設可信的區塊鏈生態”主題演講。Ronghui Gu 表示，區塊鏈目前是十分脆弱的，有許多執行上的漏洞。攻擊區塊鏈的受益也是巨大的，據統計截止到2017年已經有6.3億美元的區塊鏈資產被黑客盜取。智能合約對黑客開源，一旦執行很難去修改， 我們應該去避免區塊鏈編程上的漏洞。程序的測試可以用于展示漏洞存在，但是它不能夠去顯示漏洞不存在。而形式驗證的方法是目前唯一可靠的方法去實現計算機系統的安全和隱私，形式驗證在數學上證明代碼滿足規范。[2019/2/17]