# 智能合约错误检测方法
智能合约代码错误检测工具比较研究
Mythx发现18个错误，较其他工具高；Securify在关键错误检测方面表现最好；不同工具有各自的漏洞检测方法（静态分析、符号
古老的Solidity智能合约错误代码编写
任何编程语言都有不完善的地方,而使用语言的过程中也可能产生一些逻辑上的Bug。在Solidity0.4.23版本的时候,有人在G
智能合约
智能合约(英语:Smart contract )是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方
智能合约4智能合约DAPP Ethereum Studio
智能合约是什么? 与区块链是什么关系? 智能合约本质上就是一段可以运行在区块链节点上的代码,这个代码描述一个逻辑计算过程,这个逻
智能合约图解
智能合约的图解，帮助你理解。png图片
智能合约源码
智能合约
区块链智能合约的缺陷检测相关研究
研究区块链智能合约的缺陷检测问题，即检测合约中是否存在部分合约方无论选择什么动作，均无法避免损失的状态。将智能合约问题转换成合约
EOS智能合约教程从零开始学习EOS智能合约
EOS智能合约教程,从零开始学习EOS智能合约, DApp安全漏洞(security)及攻击实践(EOS Contract)
智能合约最佳实践智能合约安全最佳实践指南源码
智能合约最佳实践:智能合约安全最佳实践指南
智能合约的理念
智能合约的理念，何谓“抵押品”？“抵押品”的目的是什么？它怎样梳理了我们的已有的关系？我认为，尤其是合约的规范化，在我们的关系层