JinxMow的博客

1.验证软件功能介绍：Beosin-VaaS的业务逻辑验证软件, 是一款用来检测智能合约上层业务逻辑漏洞的软件。基于合约的白皮书, 软件利用形式化方法, 首先对单个函数进行属性的描述, 在对单个函数进行属性的验证并通过后, 基于这些已验证属性, 抽取出高层的状态属性, 进而对上层属性进行自动推理和验证, 若属性不满足, 则会返回一条反例路径。2.案例介绍（界面：合约。）我们可以以下面这个案...

智能合约作为区块链2.0的代表技术，适应于区块链去中心化、分布式的特点， 具有独立运行、不可篡改的优良特性，可用于实现包含金融工具在内的各类分布式应用。开发者可以自行定义交易逻辑并开发代码发布到链上，合约代码在矿工节点的虚拟机环境（如EVM）中执行。合约交易被打包进区块后，链上节点执行相同代码，从而同步改变链上数据状态。故合约的多方参与者无需建立信任，也无法相互欺骗。合约运行在区块链节点中，具有...

目前,出现了多种智能合约审计工具，笔者整理了最常见的检测内容，可分为五大项、二十七小项。下面按分类对已有结果进行说明。1、代码规范检测此大项主要针对合约编写时的一些代码规范进行检测，共有十一小项。1.1 ERC规范包含了ETH常见的ERC20、ERC721、ERC1400、ERC1404、ERC223、ERC777等常见的合约标准检测，确保了开发人员能正确实现这些标准。1.2 Trans...