Pinned Repositories
apk-verifier
Solidity verifier implementation for accountable light client
dotfiles
go-zero
incremental-merkle-tree
merkle-proof
Verification of compact proofs for Modified Merkle-Patricia tries(Substrate).
sparse-merkle-tree
ORMP
Oracle and Relayer based Message Protocol
hujw77's Repositories
hujw77/billing-solidity
hujw77/delecatecallTest
使用delecatecall()调用其他合约的方法,并在前台通过assembly的log得到调用结果值
hujw77/microraiden
hujw77/pysonar2
a type inferencer and indexer for Python
hujw77/raiden
Raiden Network
hujw77/rpc-tests
hujw77/shadowsocks-for-heroku
Deploy shadowsocks on Heroku for Free.
hujw77/solgraph
Visualize Solidity control flow for smart contract security analysis. :dollar: ⇆ :dollar:
hujw77/yinwang
Blog Theme For Hexo
hujw77/yscheme
a compiler from a subset of Scheme into X64