论文部分内容阅读
针对以太坊Solidity语言智能合约设计问题,在研究开源合约程序的基础之上识别了面向智能合约的六种设计模式,包括访问约束、状态机、前置条件、后置条件、紧急制动和代理。面向智能合约的设计模式有益于提升合约代码可读性,降低合约语言学习难度,也是提高区块链合约代码审计效率的途径。
智能合约设计模式
【摘 要】
：
针对以太坊Solidity语言智能合约设计问题,在研究开源合约程序的基础之上识别了面向智能合约的六种设计模式,包括访问约束、状态机、前置条件、后置条件、紧急制动和代理。面
【机 构】
：
河北师范大学计算机与网络空间安全学院
【出 处】
：
河北省科学院学报
【发表日期】
：
2021年1期
其他文献
本文着重分析地方农林院校人才培养在新高考改革中面临的机遇和挑战,积极探索人才培养模式路径,努力提高人才培养质量,最终以强农兴农为己任,为知农村、懂农业、爱农民的“三
梅钢高炉制粉系统和喷吹系统存在的磨煤机衬板及叶轮磨损大、中速磨排渣箱排出红渣、振动筛的筛网堵塞、布袋收集器压差变高、喷煤设备磨损大等问题,严重影响了4号高炉的煤比