电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
智能合约是运行在区块链上的数字协议，智能合约的开发涉及计算机、金融、法律等多个领域，近年来高级智能合约语言已被提岀用于解决不同领域人员阅读、交流与协同开发难的问题，然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法。针对这一问题，本文设计了一种 SPESC到目标程序语言（ Solidity）的转化规则，并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架。首先，转化规则给出了根据 SPESC合约当事人定义生成目标语言当事人子合约、以及 SPESO其余部分生成目标语言主体子合约之间的对应关系;其次，除程序框架与存储结构外，目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制，这些机制能辅助编程人员半自动化地编写智能合约程序;进而，通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性，第一个实验邀请了计算机与非计算机人员分组阅读 Solidity和 SPESO的智能合约并回答问卷，结果表明阅读 SPESO的速度约为阅读 Solidity两倍，准确率也更高。然后以竞买合约为实例，给出根据上述转化规则从 SPESO合约转化到可执行 Solidity合约语言程序，并通过以太坊私链部署运行来验证转化过程的正确性。实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 从单片机基础到程序框架 9次下载
- C语言程序设计第四讲结构化程序设计之选择 0次下载
- 基于代币智能合约整数溢出漏洞的建模与验证 16次下载
- 区块链智能合约的缺陷检测相关研究 10次下载
- Python语言程序设计实例解析 12次下载
- 高级语言程序设计从菜鸟到大师深入C语言程序设计PDF电子书免费下载 166次下载
- 学习C语言的目标和方法有哪些及C语言的关键字说明
- 从单片机基础到程序框架的电路图免费下载
- 网站优化新手必须为什么要快速熟悉Python语言？ 0次下载
- c语言超级经典算法大集合A 8次下载
- AN1292与电机控制应用程序框架对比 2次下载
- C语言介绍 1次下载
- Assemble汇编语言设计技术 0次下载
- 基于Z 语言的ERP系统框架设计
- 基于Z 语言的ERP系统框架设计
- C语言的算法-1 594次阅读
- 如何对模型驱动的智能合约进行开发 892次阅读
- 如何解决智能合约中的Bug 1655次阅读
- 如何避免以太坊智能合约的重入攻击 1095次阅读
- 如何开发一个属于自己的Chainlink智能合约 1521次阅读
- 智能合约的技术运作原理解析 1w次阅读
- 基于以太坊智能合约提供的开源框架POA Network介绍 2384次阅读
- 如何学会调试迅雷链智能合约 3206次阅读
- 区块链智能合约技术特点全面分析 3576次阅读
- 什么是智能合约迁移 873次阅读
- 以太坊的智能合约在区块链中的作用是什么 4444次阅读
- NEO智能合约有哪些特点和触发方式 2679次阅读
- 比特币现金支持者“Tendo Pein”为BCH协议设计出了智能合约编程语言 1011次阅读
- 区块链智能合约技术解析 3604次阅读
- 什么是智能合约？区块链智能合约漏洞又是怎么回事？ 5022次阅读
上传资料赚积分下载排行
本周
- 1HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 128次下载 | 1 积分
- 2雷达的基本分类方法
- 1.25 MB | 4次下载 | 4 积分
- 3电感技术讲解
- 827.73 KB | 2次下载 | 免费
- 4从 MSP430™ MCU 到 MSPM0 MCU 的迁移指南
- 1.17MB | 2次下载 | 免费
- 5有源低通滤波器设计应用说明
- 1.12MB | 2次下载 | 免费
- 6RA-Eco-RA2E1-48PIN-V1.0开发板资料
- 35.59 MB | 2次下载 | 免费
- 7面向热插拔应用的 I2C 解决方案
- 685.57KB | 1次下载 | 免费
- 8爱普生有源晶体振荡器SG3225EEN应用于储能NPC、新能源
- 317.46 KB | 1次下载 | 免费
本月
- 12024年工控与通信行业上游发展趋势和热点解读
- 2.61 MB | 763次下载 | 免费
- 2HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 128次下载 | 1 积分
- 3继电保护原理
- 2.80 MB | 36次下载 | 免费
- 4正激、反激、推挽、全桥、半桥区别和特点
- 0.91 MB | 32次下载 | 1 积分
- 5labview实现DBC在界面加载配置
- 0.57 MB | 21次下载 | 5 积分
- 6在设计中使用MOSFET瞬态热阻抗曲线
- 1.57MB | 15次下载 | 免费
- 7GBT 4706.1-2024家用和类似用途电器的安全第1部分:通用要求
- 7.43 MB | 14次下载 | 免费
- 8AD18学习笔记
- 14.47 MB | 8次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935113次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191360次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183329次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81578次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73804次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
工商网监
评论