jackson 的文章 - 登链社区

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

solidity 内联汇编

solidity汇编语言汇总

内联汇编

0xSecYou 发布于 2024-04-30 11:48 阅读(2328) 点赞(4) ( 178 )

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

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

合约升级 OpenZeppelin 智能合约

六天发布于 2020-06-08 15:52 阅读(14143) 点赞(12) ( 314 )

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

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

形式化验证

成都链安发布于 2019-10-15 09:44 阅读(12749) 点赞(0) ( 20 )