区块链安全

安全还不够：让智能合约从规格中生成

SmartSpec 从关系式功能规格与时序安全规格出发，借助验证反例综合 Solidity 合约的交易守卫，并在安全之外尽量保留正常行为。

• #Smart Contract
• #Program Synthesis
• #Formal Methods

区块链初探-1

区块链初探 在好兄弟们的帮助下，终于开始进行区块链漏洞的学习，先是从Ethernaut (openzeppelin.com)开始入手（当脚本小子）。…

两个简单区块链漏洞复现

两个区块链漏洞复现 20210622 Eleven Finance 分析 Contract function emergencyBurn() public { //vulnerable point uint balan = …