金色财经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。
CertiK：Steadefi漏洞攻击相关EOA地址已将100枚ETH转至Tornado Cash:金色财经报道，据CertiK官方推特发布消息称，EOA地址（0xe10d）已将100枚ETH（约合18.5万美元）转至Tornado Cash。该EOA地址与8月7日Steadefi漏洞攻击事件有关，目前其中仍有524枚ETH（约合96.9万美元）。[2023/8/12 16:22:25]
CertiK基金会宣布Kylin Network护盾池已开放:3月3日消息，CertiK基金会发推称，Kylin Network保护池已开放，CTK持有者和Kylin Network社区成员可以购买护盾（Shield），以获得额外的数字资产保护。[2021/3/3 18:11:23]
现场 | Certik CEO Ronghui Gu：形式验证方法是实现计算机系统安全和隐私的可靠的方法:金色财经现场报道，NEO DevCon 2019开发者大会今日在西雅图举行，Certik CEO Ronghui Gu 做了以“建设可信的区块链生态”主题演讲。Ronghui Gu 表示，区块链目前是十分脆弱的，有许多执行上的漏洞。攻击区块链的受益也是巨大的，据统计截止到2017年已经有6.3亿美元的区块链资产被黑客盗取。智能合约对黑客开源，一旦执行很难去修改， 我们应该去避免区块链编程上的漏洞。程序的测试可以用于展示漏洞存在，但是它不能够去显示漏洞不存在。而形式验证的方法是目前唯一可靠的方法去实现计算机系统的安全和隐私，形式验证在数学上证明代码满足规范。[2019/2/17]
金色财经报道，加密会计和税务公司Node40创始人兼首席执行官Perry Woodin表示，随着加密货币监管环境“日趋清晰”，Node40 正在将业务扩展到加密会计核心业务之外。Cardone表示，Node40已经参...
区块链：2023/7/26 15:59:087月26日消息，多链流动性协议Symbiosis Finance宣布已支持高性能EVM模块化L2网络Mantle Network。 去中心化多链跨链交易平台Chainge Finance现已支持Core网络:...
区块链：2023/7/26 15:59:52金色财经报道，Layer-2 区块链Optimism将于周日解锁价值 3600 万美元的代币，周二区块链原生OP代币的价格下跌 3.5%。6 月 30 日的上一次代币解锁导致所有 OP 交易对遭到 10.7% 的抛售...
区块链：2023/7/26 15:58:23金色财经报道，日本首相岸田文雄表示，该国年度总体政策大纲包括考虑用户保护的措施，同时还改善Web3代币的使用环境和振兴内容产业。 此前报道，日本首相表示，Web3是新型资本主义的一部分。 数据：3月...
区块链：2023/7/25 15:57:05金色财经报道，德国Dresden工业大学的研究人员最近发表了一份突破性研究，展示了一种用于神经形态计算的新材料设计，这项技术可能对区块链和人工智能产生革命性影响。该团队使用一种称为“储层计算”的技术，开发了一种模式识...
区块链：2023/7/25 15:56:38金色财经报道，币安场外大宗交易（Binance OTC）团队将在币安网页端OTC交易平台，为所有用户开放该功能。币安所有用户现在可以直接在平台上选择时间加权平均价格算法（TWAP）和成交量百分比算法（POV）进行下单...
区块链：2023/7/25 15:57:467月25日消息，据Arbitrum网络去中心化游戏生态系统Treasure官方消息，Play on Treasure和Bridgeworld官方推特账号被盗，请勿与其发布的钓鱼链接互动，正在努力重新获得访问权限。今日...
区块链：2023/7/25 15:57:33金色财经报道，Coinbase首席执行官Brian Armstrong敦促美国公民采取行动，并通过电子邮件向其代表投票支持《21世纪金融创新和技术法案》(FIT21)，该法案可能会为加密货币提供明确的监管。 ...
区块链：2023/7/27 16:02:35金色财经报道，北京时间今日22:33，12800枚ETH (价值约23,795,386美元) 从未知钱包转移到Beacon Depositor。 ETH突破1280美元:火币全球站数据显示，ETH已突破128...
区块链：2023/7/26 16:00:367月27日消息，据派盾监测数据，BSC 生态 Carson 遭遇攻击，损失约 14.5 万美元。目前 Carson 代币价格下跌达 96%，攻击者已将窃取资产兑换为 600 枚 BNB 并转至 Tornado Cas...
区块链：2023/7/27 16:01:33据官方消息，日前，波场TRON的社区开发者发起了开启TVM PUSH0指令的提议，该提议的核心围绕以太坊EIP-3855兼容，波场TRON上增加了一条名为PUSH0虚拟机新指令，以降低智能合约交易的gas成本。 ...
区块链：2023/7/25 15:57:32金色财经报道，流动性质押解决方案Lido Finance正在为其代币经济展开全新的布局。LidoDAO业务发展贡献者Marin Tvrdi?表示，其成员正在“推动”双重治理模式。如果通过，它将赋予Lido用户，特别是...
区块链：2023/7/26 16:00:23
木星链