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

英國時間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

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