ZERO與ZK成功的通過Beosin安全團隊的審計

2023-06-15 00:06:23

英國時間2023年6月14日,ZERO(零知識證明)&ZK順利通過了Beosin 安全團隊的審計。Beosin將智能合約的安全問題分為三類: 編碼規範、一般漏洞、業務安全。截至本文發稿時,ZERO&ZK審計中發現的所有漏洞都已修復或已妥善處理並已通過Beosin的復核。

安全審計報告查詢鏈接:

https://www.beosin.com/audits/Zero_202306140920.pdf

ZERO&ZK審計時間周期為2023年6月5日至2023年6月14日。審計過程中採用了形式化驗證技術、靜態分析和典型案例測試以及人工審計。

形式驗證技術是一種IC設計的驗證方法,它的主要思想是通過使用數學證明的方式來驗證一個設計的功能是否正確。每個可能的系統狀態和操作都被自動檢測到,以計算出可滿足的解決方案,並根據解決方案結果的比較,最終檢測出每個路徑下可能的安全問題,看是否違反了安全屬性。

Beosin擁有自主開發的智能合約安全檢測工具Beosin VaaS 就使用到了形式化驗證技術來提高審計效率和準確率。通過公司內部積累的安全屬性庫中的通用安全屬性和安全人員根據合約特定的業務邏輯編寫的針對性安全屬性,工具能夠對合約進行自動的安全驗證,從而保證合約沒有所描述的安全問題。

關於ZERO&ZK

Zero Protocol是在去中心化的網絡下為了完美解決數據公开的、用戶信息容易暴露、用戶的行動被追蹤等問題應運而生的產物…

ZK是ZERO的穩定性代幣,主要由Zero Protocol系統中行為數據產生。並不由系統直接發行獲得,如买賣交易Zero,調用Zero Protocol協議等都將獲得ZK穩定性代幣,ZK負責Zero Protocol協議的安全穩定運行.

關於Beosin

Beosin是一家全球領先的區塊鏈安全公司,在全球10多個國家和地區設立了分部,業務涵蓋項目上線前的代碼安全審計、項目運行時的安全風險監控、預警與阻斷、虛擬貨幣被盜資產追回、安全合規KYT/AML等「一站式」區塊鏈安全產品+服務,目前已為全球3000多個區塊鏈企業提供安全技術服務,審計智能合約超過3000份,保護客戶資產高達5000多億美元。

官網:www.beosin.com

郵箱:[email protected]

官網推特:twitter.com/Beosin_com

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

推薦文章

Layer2 格局劇變:Base 生態有哪些關鍵亮點?

在激烈競爭的 L2 賽道中,原本穩坐釣魚臺的 Arbitrum 和 Optimism 似乎面臨着前...

加密泡泡啊
120 3個月前

XRP 漲至 7.5 美元?分析師告訴 XRP 大軍為純粹的煙火做好准備!

加密貨幣分析師 EGRAG 表示,XRP 即將迎來關鍵時刻,價格可能大幅上漲,這取決於能否突破關鍵...

加密泡泡啊
128 3個月前

以太坊ETF通過後 將推動山寨幣和整個加密生態大爆發

比特幣ETF通過後市場動蕩,以太坊ETF交易前景分析 比特幣ETF通過後,市場出現了先跌後漲的走勢...

加密泡泡啊
144 3個月前

ZRO為啥這么能漲?

ZRO概述 ZRO代幣,全稱為LayerZero,是LayerZero協議的本地代幣,旨在作為治理...

加密泡泡啊
105 3個月前

今晚ETH迎來暴漲時代 op、arb、metis等以太坊二層項目能否跑出百倍幣?

北京時間7月23日晚上美股开盤後 ETH 的ETF开始交易。ETH的裏程碑啊,新的時代开啓。突破前...

BNBCCC
125 3個月前

Mt Gox 轉移 28 億美元比特幣 加密貨幣下跌 ETH ETF 提前發行

2014 年倒閉的臭名昭著的比特幣交易所 Mt Gox 已向債權人轉移了大量比特幣 (BTC),作...

加密圈探長
113 3個月前