[CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证]金色财经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。
Aave DAO决定换取200万美元的Balancer LP代币:金色财经报道，Aave社区批准了一项200万美元的代币交换，从DeFi协议Balancer购买BAL-WETH流动性池代币。Aave DAO将使用财库中价值140万美元的31万个BAL和价值60万美元的326个WETH进行交换。
经批准的资产将转换成B-80BAL-20WETH，将BAL代币与以太坊配对。交换将在CowSwap的Milkman协议的帮助下进行。[2023/7/11 10:47:16]
yinsure.finance将提供Balancer等相关保险产品，无需KYC/AML:yearn.finance在推特发布yinsure.finance更新信息（目前请勿使用）：涵盖Balancer、Compound、Curve、Synthetix和yearn.finance的保险合约部署，无需KYC/AML。以NFT（基于ERC721）的形式将保险单代币化。承保人是Nexus Mutual。根据官方昨日的推文，yinsure.finance正在针对这些产品完成测试和实际演练，然后将面向有限的用户开放。
yearn创始人Andre Cronje表示，保险单代币化意味着可以由一般市场进行风险调整。这也意味着分销商可以在二级市场上购买和转售，同时允许将来有其他基于保险的衍生产品。
据此前报道，8月17日，Cronje宣布推出去中心化的保险类服务原型yinsure.finance，将于接下来的几周里系统性地发布产品。该产品将包含三个核心部分：承保人金库、投保人金库和索赔治理。承保人金库的保险服务是由流动性提供方（LP）提供的，但是可以获得相关的费用作为收入。首个上线的承保人金库是yiUSDC，首个提供的投保人金库是yVault中的yUSD（包裹的yCRV）资产。[2020/8/30]
Hanbitco参加EOS的Blockchain Producer竞选:韩国虚拟货币交易所Hanbitco称参加EOS的Blockchain Producer竞选。此为韩国虚拟货币交易所首次参加EOS的 Blockchain Producer竞选。[2018/5/24]
郑重声明： CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。