读研
技不如人,甘拜下风
这个作者很懒,什么都没留下…
展开
-
读研整活笔记(3):阅读论文 WANA Symbolic Execution of Wasm Bytecode...
读研整活笔记2:调研编译器soll需求理解0.摘要0.标题1.摘要2.关键词3.个人理解一.介绍1.摘要二.WASM和智能合约的背景2.1.WASM2.2.EOSIO智能合约2.3.以太坊智能合约三.智能合约漏洞3.1 EOSIO智能合约漏洞3.1.1 Fake EOS Transfer需求理解书接上回,上回我们整活调研了编译器soll,这回我们要开始阅读论文啦。要求如下:最近会让你读一下上级学长的论文,开始读代码后面会让你做wasm字节码的符号执行和漏洞检测你先对着论文,读读这个代码,尝试跑跑原创 2020-08-20 14:51:33 · 976 阅读 · 0 评论 -
读研整活笔记2:调研编译器soll
读研整活笔记2:调研编译器soll需求理解一.soll编译器1.什么是soll需求理解 书接上回,上回我们整活调研了编译器solang,这这回我们调研一下同功能的soll编译器,要求如下:soll是我们用过的另一个编译器你也可以一起对比着试试看看两者的成熟度最终的目标,是看到那个编译器先能支持大规模的以太坊合约编译到EWASM。 从要求的描述中,应当将它解析成以下几个小任务:下载原创 2020-08-01 17:38:43 · 651 阅读 · 0 评论 -
读研整活笔记1:调研编译器solang
读研整活笔记1:调研编译器solang需求理解一.solidity 和wasm1.solidity2.wasm3.个人理解二.solang编译器1.简介2.安装与使用需求理解这是读研整的第一个活,要求如下调研一下编译器solang,从solidity 到wasm,是不是真的好用。得找一些例子,下载一些solidity合约代码,先用以太坊官方编译器编译执行能跑。然后试试solang是否能成功编译。这个工具在开发状态,可能不够好用。整活的前提是充分理解自己要干的事。在我自己对区块链了解几乎一无所原创 2020-07-04 14:10:22 · 876 阅读 · 1 评论