Skip to content

Latest commit

 

History

History
126 lines (90 loc) · 4.06 KB

tool.md

File metadata and controls

126 lines (90 loc) · 4.06 KB
Raw

这里收集了一些智能合约编程相关的工具链接

智能合约开发环境

名称 资源 其他
buidler https://hardhat.org/
http://buidler.dev
dapp.tools http://dapp.tools/
https://github.com/dapphub/dapptools
truffle https://www.trufflesuite.com/ https://learnblockchain.cn/docs/truffle/
Embark NPM package https://learnblockchain.cn/article/566
Brownie https://github.com/eth-brownie/brownie/ https://eth-brownie.readthedocs.io/en/latest/install.html
waffle https://github.com/EthWorks/Waffle https://getwaffle.io/

EVM实现

名称 资源 描述
GETH https://geth.ethereum.org/ Geth Testnet
PYEVM https://github.com/ethereum/py-evm
Truffle Ganache https://github.com/trufflesuite/ganache-cli
https://www.trufflesuite.com/docs/truffle/getting-started/debugging-your-contracts		 Ganache
Buidler EVM https://github.com/nomiclabs/hardhat/tree/development/packages/buidler-core Buidler
HEVM https://github.com/dapphub/dapptools/tree/master/src/hevm Haskell VM

Linter

名称 资源
solhint https://github.com/protofire/solhint
Ethlint https://github.com/duaraghav8/Ethlint

智能合约安全分析工具

名称 资源
Mythril https://github.com/ConsenSys/mythril
Slither https://github.com/crytic/slither
Manticore https://github.com/trailofbits/manticore
MythX https://mythx.io/
Echidna https://github.com/crytic/echidna
Oyente https://github.com/melonproject/oyente

测试覆盖率

名称 资源
solidity-coverage https://github.com/sc-forks/solidity-coverage

智能合约反汇编

名称 资源 描述
Ethersplay https://github.com/crytic/ethersplay/ 一种图形化 EVM 反汇编程序，能够进行方法还原，动态跳转计算，源代码匹配和二进制比较。
solmap https://solmap.zeppelin.solutions/ Solidity反汇编

智能合约审计

名称 资源
ChainSecurity https://github.com/ChainSecurity/audits
OpenZeppelin https://blog.openzeppelin.com/security-audits/
Consensys Diligience https://consensys.net/diligence/audits/
TrailOfBits https://github.com/trailofbits/publications/tree/master/reviews

智能合约形式化验证/Formal Verificaiton

名称 资源
VerX https://medium.com/chainsecurity/verx-full-functional-verification-for-ethereum-contracts-now-at-your-fingertips-f8d20085e4ec
cadcad https://cadcad.org/
klab https://github.com/dapphub/klab
https://medium.com/axoni/axlang-formally-verifiable-smart-contracts-for-the-ethereum-ecosystem-6201203be4e8

智能合约安全漏洞/Security

https://yos.io/2018/10/20/smart-contract-vulnerabilities-and-how-to-mitigate-them/

调试工具

https://github.com/comaeio/porosity

研究社区

名称 资源
ETH Research https://ethresear.ch/
Ethereum Magicians https://ethereum-magicians.org/
r/ethdev https://www.reddit.com/r/ethdev/
OpenZeppelin https://forum.openzeppelin.com/
EIPs Github repo https://github.com/ethereum/EIPs
https://gitter.im/ethereum/aleth

第三方服务

名称 资源 描述
Infura https://geth.ethereum.org/ 托管的以太坊节点使你不必头痛自己去运行
Azure 区块链 https://azure.microsoft.com/es-es/blog/ethereum-blockchain-as-a-service-now-on-azure/ 托管的以太坊节点使你不必头痛自己去运行
quiknode https://www.quiknode.io/ 托管的以太坊节点使你不必头痛自己去运行
nodesmith https://nodesmith.io/
Infura https://infura.io/ 托管的以太坊节点使你不必头痛自己去运行
3box https://docs.3box.io/ 用于评论和用户个人资料的去中心化存储和社交 AP
zksync https://zksync.io/ 用于在以太坊上扩展支付和智能合约的协议
Matic https://matic.network/ 更快，成本更低的交易

https://nodesmith.io/

https://learnblockchain.cn/article/1624 etherscan - 通用区块链浏览器 bloxy - 更高级的区块链浏览器 ethtx - 堆栈跟踪 4bytes - 函数签名数据库 furucombo - 聚合了 defi 操作 dapp-pm - Dapp 软件包管理器 eth95 - 可与本地沙盒合约快速交互的简单的 UI daistats - DAI 统计信息一目了然 sassal.eth 的建议 - DeFi 工具上的 Twitter 时间线