[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。
其它快讯：
DeFi Saver宣布已上线Arbitrum和Optimism并集成跨链聚合器LI.FI:5月31日消息，一站式资产管理解决方案DeFi Saver宣布已上线Arbitrum和Optimism，并表示将进一步支持去中心化借贷协议Aave v3的使用。此外，DeFi Saver已集成跨链聚合器LI.FI，旨在为用户进行资产跨链时提供最优报价。据悉，DeFi Saver表示将在未来几周内集成另一个借贷协议。[2022/5/31 3:52:15]
Moonriver增加跨链能力，推出xcKSM:1月15日消息，日前，Polkadot上与以太坊完全兼容的智能合约平台Moonbeam发布了新功能，以在Moonriver上启用原生跨链代币功能。此次升级将XC-20引入Kusama，这是一种符合ERC-20标准但也是Substrate原生资产的新型可互操作代币。以这种格式创建的所有可替代资产都将可以转移到其他Kusama平行链，而远程平行链代币将能够作为XC-20转移到Moonriver。xcKSM作为第一个XC-20，现在存在于Moonriver完全兼容以太坊的环境中，可以通过从Kusama中继链转移KSM来创建。一旦得到证实，Moonbeam将提供相同的功能。[2022/1/15 8:50:39]
基于Arweave的跨链支付结算协议everPayBeta版上线:由everFinance开发的everPay（Beta版）上线。everPay是构建在Arweave上的可信跨链支付结算协议。基于存储计算范式，协议内共识成本极低，百万笔交易仅需1美金，用户可在协议内进行完全免费的区块链支付结算。协议目前仅支持ETH支付结算，团队会在第一季度持续推进ERC20以及跨链支付结算功能。
everFinance官方表示，everPay协议会成为高性能AMM的基础设施，将来会使用everPay协议进行高性能跨链DEX开发。[2021/2/5 18:59:34]
郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。