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

郑重声明：本文版权归原作者所有，转载文章仅为传播信息之目的，不构成任何投资建议，如有侵权行为，请第一时间联络我们修改或删除，多谢。