苏黎世联邦理工学院开发以太坊智能合约扫描软件

2532 天前

07月15日，星期天 12:36

苏黎世联邦理工学院开发以太坊智能合约扫描软件

7月14日消息，据techcrunch消息，苏黎世联邦理工学院的研究人员开发了一个以太坊智能合约扫描软件，用以检查智能合约是否存在漏洞、bug、或是其他潜在问题。这些研究人员包括Petar Tsankov博士，Hubert Ritzdorf博士，Martin Vechev教授和Arthur Gervais博士，他们都在系统安全方面拥有丰富的行业和学术经验，并且努力改进区块链智能合约。团队的目标是自动化智能合同安全审计。他们的公司ChainSecurity.com是建立在团队在ChainCode和Securify工作的基础上，旨在成为智能合同威胁检测的标准。对新特性的快速测试显示了该系统能多快、多精确地找到漏洞。（责任编辑：海兰心）

BTC跌破104000美元，日内下跌 0.12%

火讯财经讯，6月20日消息，欧易OKX行情显示，BTC刚刚跌破104000美元，现报103984.10美元/枚，日内下跌0.12%。

2 小时前
ETH突破2500美元，日内涨幅 0.29%

火讯财经讯，6月20日消息，欧易OKX行情显示，ETH刚刚突破2500美元，现报2500.20美元/枚，日内涨幅0.29%。

3 小时前
过去24小时全网合约爆仓1.25亿美元，多空双爆

火讯财经讯，6月19日消息，Coinglass数据显示，过去24小时加密货币市场全网合约爆仓1.25亿美元，其中多单爆仓5264.57万美元，空单爆仓7270.43万美元。BTC爆仓总金额2509.35万美元，ETH爆仓总金额3854.12万美元。

4 小时前
DeFi借贷协议TVL突破556.9亿美元，创历史新高

火讯财经讯，6月19日消息，据TheBlock报道，DeFi借贷协议总锁仓量（TVL）突破556.9亿美元，创历史新高，超越2021年、2022年及2024年末峰值。其中Aavev3协议TVL增长至260.9亿美元，较4月初上涨55%，日均协议收入从90万美元增至160万美元，AAVE代币过去三个月涨幅达65%，同期比特币涨幅为26%。MorphoBlue协议TVL为39亿美元，年内增长38%。MapleFinance协议TVL达13.7亿美元，其5月推出的代币SYRUP自发行以来上涨140%。

4 小时前
Telegram创始人遗嘱：将171亿美元财产分给6个孩子和100个精子捐赠所生子女

火讯财经讯，6月19日消息，据《纽约邮报》报道，Telegram创始人PavelDurov透露其已立下遗嘱，计划将其171亿美元财产分配给6名亲生子女及100名通过精子捐赠所育子女。Durov表示，所有子女将享有同等继承权，但资金将在30年后才可动用。

4 小时前

2532 天前

苏黎世联邦理工学院开发以太坊智能合约扫描软件

BTC跌破104000美元，日内下跌 0.12%

ETH突破2500美元，日内涨幅 0.29%

过去24小时全网合约爆仓1.25亿美元，多空双爆

DeFi借贷协议TVL突破556.9亿美元，创历史新高

Telegram创始人遗嘱：将171亿美元财产分给6个孩子和100个精子捐赠所生子女

友情链接：