新锐去中心化交易平台POWERSWAP的智能合约日前通过国际知名审计公司Certik审计。
Certik是一家使用形式化验证为智能合约和区块链应用提供最先进安全性服务的公司，在区块链审计领域享有盛名。
Camelot推出针对ARB流动性的100万美元激励计划:3月23日消息，Arbitrum生态DEX Camelot推出针对ARB流动性的100万美元流动性激励计划，激励将以xGRAIL和GRAIL形式出现，持续三个月包括farms和Nitropools。其中ARB/ETH和ARB/GRAIL流动性池将于ARB发布后上线。[2023/3/23 13:21:23]
按照惯例，Certik将POWERSWAP智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明了POWERSWAP智能合约的安全性。通过对代码多维度且全面的审计，调查结果显示POWERSWAP智能合约代码具有强大的可靠性及安全性。
区块链智能标签技术公司Beontag完成1.2亿欧元债务融资:1月17日消息，区块链智能标签技术公司 Beontag 宣布通过其全资子公司 Tag Lux Sarl. 完成 1.2 亿欧元债务融资，德意志银行领投。Beontag 推出的智能标签技术能让 Web2 和 Web3 领域里的品牌商为客户提供基于智能手机的售后服务和体验，其智能标签使消费者可以访问详细说明产品生命周期的链上数字证书，还可以让消费者以转售为目的转让所有权，其客户包括 Alexander McQueen、Dolce & Gabbana 和 Bulgari 等奢侈品牌。[2023/1/17 11:16:52]
POWERSWAP作为一个基于以太坊开发的自动做市(AMM)去中心化交易平台，其飞速发展已引起市场广泛兴趣。POWERSWAP团队表示，将持续完善优化智能合约及主网代码的功能性和安全性，为市场提供更佳的DeFi体验。
Platypus将于12月28日发布稳定币USP测试网:据官方消息，稳定币交易项目Platypus计划于12月28日发布USP测试网。
金色财经此前报道，Platypus将推出原生稳定币USP，后者是与美元挂钩的超额抵押稳定币。[2022/12/26 22:08:08]
可进入网址查看完整审计报告：www.powerswap.us/Certik-PowerSwap-SmartContracts.pdf
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。