POWERSWAP智能合约通过国际知名审计公司Certik审计

新锐去中心化交易平台POWER SWAP的智能合约日前通过国际知名审计公司Certik审计。

Certik是一家使用形式化验证为智能合约和区块链应用提供最先进安全性服务的公司，在区块链审计领域享有盛名。

按照惯例，Certik将POWER SWAP智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明了POWER SWAP智能合约的安全性。通过对代码多维度且全面的审计，调查结果显示POWER SWAP智能合约代码具有强大的可靠性及安全性。

POWER SWAP作为一个基于以太坊开发的自动做市(AMM)去中心化交易平台，其飞速发展已引起市场广泛兴趣。POWER SWAP团队表示，将持续完善优化智能合约及主网代码的功能性和安全性，为市场提供更佳的DeFi体验。

可进入网址查看完整审计报告：www.powerswap.us/Certik-PowerSwap-SmartContracts.pdf

—-

编译者/作者：sky110

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。