8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
其它快讯：
zkSync发布新的支持智能合约验证的插件:金色财经报道，基于ZK Rollup的以太坊二层网络zkSync宣布发布了一个新的支持智能合约验证的插件。hardhat-zksync-verify插件允许开发人员从终端和编程方式验证部署在 zkSync 2.0 上的智能合约。[2023/1/4 9:50:49]
QANplatform桥智能合约遭到攻击，建议不要执行QANX代币相关交易:10月11日消息，抗量子计算攻击的Layer1区块链QANplatform发推称，其桥智能合约遭到攻击，攻击者设法提取了代币，提醒用户不要执行任何与QANX代币相关的交易。目前团队正在调查问题。目前 QANX 价格短线跳水跌超 90%。[2022/10/11 10:30:53]
Cardano创始人：智能合约行业仍然是一个“非常小的池塘”，眼下的争斗没有赢家:在最近的提问环节中，Cardano创始人Charles Hoskinson提到了Cardano面临的最大问题之一：网络效应。Hoskinson为该团队强调学术上的严谨性进行了辩护，其中包括“不那么吸引人的”同行审查过程，而不是试图开发“率先面世”的产品：“这一点应该是毫无争议的。考虑到底层协议的复杂性，我们都认为这应该是个好主意。”Hoskinson还指出，最近的Poly Network攻击事件说明了为什么匆忙行事不是最好的决定：“当你搞砸的时候，其他人会损失6亿美元。”
该项目的批评者经常指出一个事实，即Cardano将无法获得关注，因为以太坊等竞争区块链已经达到了高水平的采用。在此之前，Hoskinson认为智能合约行业仍然是一个“非常小的池塘”，无法对某个项目的主导地位做出过早的结论：“他们说‘我们是主导平台’。是的，你是主导平台。这就好比说你是大海边一个小池塘里最大的鱼。没有赢家。我们现在都在一个小池塘里战斗。”（U.Today）[2021/8/22 22:29:48]
8月15日消息，以太坊NFT二层扩容方案Immutable X开发公司Immutable宣布其Immutable zkEVM测试网已正式上线，现有的智能合约和Solidity代码可以免费直接迁移到Immutable的...
区块链：2023/8/15 21:31:09金色财经报道，Web3游戏平台Immutable已开始与Polygon Labs合作对其Immutable zkEVM进行公开测试。Immutable宣布与Polygon Labs建立合作伙伴关系后，零知识以太坊虚拟...
区块链：2023/8/15 21:31:05金色财经报道，据游戏行业人士透露，Nexon已决定将其区块链组织整合至子公司Nexon Universe，并正在办理相关手续。Nexon的区块链总部人员和项目将有望在年内转移至Nexon Universe，《冒险岛宇...
区块链：2023/8/15 21:31:03金色财经报道，据链上分析师余烬监测，Voyager自8月12日开始出售代币兑换为美元对用户进行赔付以来：将超过30种代币转入Coinbase，价值超过100万美元的有：BTC、ETH、SHIB、LINK、MATIC；...
区块链：2023/8/15 21:31:00金色财经报道，据链上分析师余烬监测，某休眠超12年比特币地址于昨晚将1005枚BTC转至bc1q地址，12年前这1005枚BTC价值约合1316美元(单价为1.31美元)，目前价值2968万美元，增值22,560倍 ...
区块链：2023/8/15 21:30:578月15日消息，据香港经济日报报道，数码港数码娱乐高级经理梁德明表示，数码港目前已有超过170间Web3.0初创公司，此前港府财政预算案拨款5000万港元供数码港加速推动Web3.0发展，数码港在本周内会公布更多拨款...
区块链：2023/8/15 21:30:51金色财经报道，Whale Alert监测的数据显示，2小时20分钟前，10,798枚BTC(317,738,036美元)从Gemini转移至未知钱包。 其它快讯： GBTC昨日有10,824枚BTC流...
区块链：2023/8/15 21:30:37金色财经报道，链上分析师ZachXBT发布推文称，预计下周可以完成未使用法律辩护资金退还。其中以太坊主网将有一笔待退还资金，SOL&Pulse已完成退款，EVM链本周将被手动退款，部分会人工退款。更多细节将于本周晚些...
区块链：2023/8/15 21:30:318月15日消息，前FTX高管Ryan Salame将不会就他在FTX涉嫌非法竞选捐款计划中的角色作证，其律师表示，如果收到传票，Salame将援引第五修正案保护个人免于自证其罪的权利，无法出庭作证。此前联邦检察官在曼...
区块链：2023/8/15 21:30:18金色财经报道，据CertiK官方推特发布消息称，Sei Network项目Discord服务器遭入侵。在团队确认已重获对服务器的控制之前，请勿点击任何链接。 其它快讯： 金融科技巨头Plaid与Sei...
区块链：2023/8/15 21:30:14金色财经报道，加密货币托管商Prime Trust在面临客户资金短缺后，已在特拉华州根据《破产法》第11章申请破产。该公司在8月15日提交的文件中表示，它有25,000至50,000名债权人，估计负债在1亿至5亿美元...
区块链：2023/8/15 21:30:10金色财经报道，据链上分析师余烬监测，7小时前，4937万BLUR(1395万美元)解锁转出至0x0A0地址。BLUR每月15日解锁，目前每月解锁数量接近5000万枚；按前两个月的解锁转移情况：这些解锁的BLUR可能会...
区块链：2023/8/15 21:30:09
木星链