Harry 发布于 01月24, 2020 0 comments Haskell 译器是 Glasgow Haskell Compiler(GHC)http://www.haskell.org/sudo apt-get install haskell-platform以交互式方式运... 阅读全文 »
Harry 发布于 01月23, 2020 0 comments Echidna Echidna is a Haskell library designed for fuzzing/property-based testing of EVM code. It supports re... 阅读全文 »
Harry 发布于 11月22, 2019 0 comments web3py web3.eth.callDelegates to eth_call RPC MethodEth.call(transaction, block_identifier=web3.eth.default... 阅读全文 »
Harry 发布于 11月21, 2019 0 comments Eth JSON RPC handbook http://cw.hubwiz.com/card/c/ethereum-json-rpc-api/1/2/2/... 阅读全文 »
Harry 发布于 11月18, 2019 0 comments 从web3访问映射变量 web3.js是以太坊提供的一个Javascript库,它封装了以太坊的JSON RPC API,提供了一系列与区块链交互的Javascript对象和函数,包括查看网络状态,查看本地账户、查看交易和区... 阅读全文 »
Harry 发布于 11月11, 2019 0 comments pycharm errors 0x00: @NotNull method com/intellij/execution/configurations/GeneralCommandLine.getExePath must not... 阅读全文 »
Harry 发布于 10月09, 2019 0 comments How to solve this problem: json.decoder.JSONDecodeError: Expecting value: line 1 column 1 (char 0) show message first: File "/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/json/deco... 阅读全文 »
Harry 发布于 09月23, 2019 0 comments require( ) vs. modifier( ) vs. assert( ) vs. event( ) in Solidity modifier 把function执行前的检查逻辑抽出来,在程序执行前执行一次检查。包含 1,2,3require 在0.4.10 solidity加入,用在function参数检查,确认inp... 阅读全文 »
Harry 发布于 09月16, 2019 0 comments slither This academic paper has published in the International Workshop on Emerging Trends in Software Engin... 阅读全文 »
Harry 发布于 09月07, 2019 0 comments Merkle Patricia Tree / Trie 是一种经过改良的、融合了默克尔树和前缀树两种树结构优点的数据结构,是以太坊中用来组织管理账户数据、生成交易集合哈希的重要数据结构。MPT树有以下几个作用:#1. 存储任意长度的key-value键值对... 阅读全文 »