电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
智能合约是运行在区块链上的数字协议，智能合约的开发涉及计算机、金融、法律等多个领域，近年来高级智能合约语言已被提岀用于解决不同领域人员阅读、交流与协同开发难的问题，然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法。针对这一问题，本文设计了一种 SPESC到目标程序语言（ Solidity）的转化规则，并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架。首先，转化规则给出了根据 SPESC合约当事人定义生成目标语言当事人子合约、以及 SPESO其余部分生成目标语言主体子合约之间的对应关系;其次，除程序框架与存储结构外，目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制，这些机制能辅助编程人员半自动化地编写智能合约程序;进而，通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性，第一个实验邀请了计算机与非计算机人员分组阅读 Solidity和 SPESO的智能合约并回答问卷，结果表明阅读 SPESO的速度约为阅读 Solidity两倍，准确率也更高。然后以竞买合约为实例，给出根据上述转化规则从 SPESO合约转化到可执行 Solidity合约语言程序，并通过以太坊私链部署运行来验证转化过程的正确性。实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 从单片机基础到程序框架 9次下载
- 基于代币智能合约整数溢出漏洞的建模与验证 16次下载
- 区块链智能合约的缺陷检测相关研究 10次下载
- Python语言程序设计实例解析 12次下载
- 高级语言程序设计从菜鸟到大师深入C语言程序设计PDF电子书免费下载 182次下载
- 学习C语言的目标和方法有哪些及C语言的关键字说明
- 智能循迹小车的C语言程序免费下载 21次下载
- 从单片机基础到程序框架的电路图免费下载
- 网站优化新手必须为什么要快速熟悉Python语言？ 0次下载
- c语言超级经典算法大集合A 8次下载
- AN1292与电机控制应用程序框架对比 2次下载
- C语言介绍 1次下载
- Assemble汇编语言设计技术 0次下载
- 基于Z 语言的ERP系统框架设计
- 基于Z 语言的ERP系统框架设计
- C语言的算法-1 734次阅读
- 如何对模型驱动的智能合约进行开发 976次阅读
- 如何解决智能合约中的Bug 1765次阅读
- 如何避免以太坊智能合约的重入攻击 1163次阅读
- 如何开发一个属于自己的Chainlink智能合约 1590次阅读
- 智能合约的技术运作原理解析 1w次阅读
- 基于以太坊智能合约提供的开源框架POA Network介绍 2482次阅读
- 如何学会调试迅雷链智能合约 3253次阅读
- 区块链智能合约技术特点全面分析 3727次阅读
- 什么是智能合约迁移 932次阅读
- 以太坊的智能合约在区块链中的作用是什么 4525次阅读
- NEO智能合约有哪些特点和触发方式 2764次阅读
- 比特币现金支持者“Tendo Pein”为BCH协议设计出了智能合约编程语言 1059次阅读
- 区块链智能合约技术解析 3663次阅读
- 什么是智能合约？区块链智能合约漏洞又是怎么回事？ 5110次阅读
上传资料赚积分下载排行
本周
- 1AD库封装库安装教程
- 0.49 MB | 2次下载 | 免费
- 2PC6206 300mA低功耗低压差线性稳压器中文资料
- 1.12 MB | 1次下载 | 免费
- 3网络安全从业者入门指南
- 2.91 MB | 1次下载 | 免费
- 4DS-CS3A P00-CN-V3
- 618.05 KB | 1次下载 | 免费
- 5常用电子元器件介绍
- 3.21 MB | 1次下载 | 免费
- 6Claroty与NIST网络安全框架中文手册
- 1.17 MB | 次下载 | 免费
- 7NXP-TJA1054AT 英文原版资料
- 0.77 MB | 次下载 | 免费
- 8PC3622 多相功能宽输入同步升压控制器中文手册
- 0.84 MB | 次下载 | 免费
本月
- 1贴片三极管上的印字与真实名称的对照表详细说明
- 0.50 MB | 106次下载 | 1 积分
- 2涂鸦各WiFi模块原理图加PCB封装
- 11.75 MB | 89次下载 | 1 积分
- 3锦锐科技CA51F2 SDK开发包
- 24.06 MB | 43次下载 | 1 积分
- 4锦锐CA51F005 SDK开发包
- 19.47 MB | 19次下载 | 1 积分
- 5PCB的EMC设计指南
- 2.47 MB | 16次下载 | 1 积分
- 6HC05蓝牙原理图加PCB
- 15.76 MB | 13次下载 | 1 积分
- 7802.11_Wireless_Networks
- 4.17 MB | 12次下载 | 免费
- 8苹果iphone 11电路原理图
- 4.98 MB | 6次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935127次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191390次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183342次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81588次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73815次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65989次下载 | 10 积分
工商网监
评论