大块肥肉的文章 - 登链社区

一键转载

写文章

TA的文章 TA购买的 TA喜欢的 TA收藏的

以太坊实现智能合约升级的三种代理模式

以太坊智能合约升级核心是在代理合约中使用delegatecall将请求代理到目标合约中。

合约升级 OpenZeppelin

六天更新于2020-06-08 15:52 阅读(2706) 点赞(5) ( 294 )

关于形式化验证两大工具(Vass & Mythril) 测试对比

随着以智能合约（Smart Contract）及区块链应用（DApp）为核心的区块链2.0时代逐渐成为主流，智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。尤其是，在经历过诸如THE DAO、币安被盗等事件，智能合约及区块链应用的安全性究竟应该如何得到验证和保障，业已成为当前区块链业界亟待解决的痛点。

形式化验证

成都链安更新于2019-10-15 09:44 阅读(6460) 点赞(0) ( 20 )