关键词： 智能合约   UPPAAL   时间自动机   安全性   活性  

摘要： 针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.

关键词： 智能合约   电力系统   区块链技术   虚拟机   电力交易   物联网应用   金融交易   以太坊  

摘要： 1电力系统智能合约的优化在过去的10年中,区块链技术的发展非常迅速。人们对它的使用也从纯粹的加密货币扩展到金融相关领域,甚至扩展到供应链和物联网应用,而这主要是归功于区块链智能合约的出现。智能合约最初在区块链上运行,旨在存储金融交易,在电力系统中,智能合约很自然就使用在电力交易中。在这些应用里,智能合约的主要目标是促进消费者和生产者之间的匹配,同时也提出了有担保和信任的付款或结算机制。

关键词： NFT   区块链   以太坊   星际文件系统   ERC721   智能合约  

摘要： 非同质化代币NFT具有不可替换、不可分割、独一无二的特性,这种特性可以解决作品版权归属问题,实现虚拟物品的数字资产化,使现实和虚拟世界联通成为可能。是现实世界和元宇宙之间的桥梁,是未来数字世界的基石架构。本文首先介绍了NFT的生态与市场,其次叙述了NFT工作原理与底层协议,最后论述了NFT相关应用场景。在此基础上通过以太坊引入ERC721协议部署智能合约,采用星际文件系统IPFS作为数据库,通过前端设计市场界面,复现了一个小型NFT市场交易模型,以此来叙述NFT市场模型的形成过程。

关键词： 区块链   合同风险   分布式去中心化   智能合约   企业合规  

摘要： 智能时代不仅对传统的社会信任体系产生了严重的冲击,也对社会治理提出了新的要求。区块链技术的产生,本质上来说解决了在零信任基础的互联网中实现信息交换过程中的辨伪。以区块链为代表的智能技术在实践中成为了一种具有可替代性、便捷性、安全性的新型防伪验证与授权应用技术,这种技术的运用与发展为社会治理特别是民事领域的信用制度实践提供了新的发展思路,从而将解决传统社会中合约制度的风险。区块链作为一种新型数据技术,具有分布式去中心化、无需信用系统、不可篡改和数据加密安全的技术特征,可以在社会信用领域发挥重要作用,对智慧时代的法治发展产生积极影响。面对社会发展中的信任危机,探究区块链技术驱动的智能合约技术运用的优势对于推广新兴技术的实践化应用具有重要的社会意义。但是,在区块链技术运行过程中,也存在个人权利保障的不确定性、社会经济秩序的不稳定性、社会信用体系建设的负面效应挑战,其原因在于区块链应用存在私钥安全性风险、算法风险、基础支撑的局限性等技术因素隐患。面对区块链的应用风险,传统以硬性法规作为核心的规制路径存在明显的滞后性和局限性,缺乏监管的新兴技术因其技术逻辑的缺陷,将会对社会发展产生不利影响。在明确区块链技术逻辑与规律特点的基础上,构建符合区块链发展与中国实际相匹配的智能技术规制发展之路。这种规制路径将以软性规制为基本思路,引入多元主体参与区块链治理,以实现代码治理与法理治理的高度统一、形式法治与实质法治的统一,从而构建智能社会的法律秩序,真正发挥区块链技术在数据共享、提升协同效率、构建社会信用体系等领域的重要作用。在区块链技术具体的规制实践中,应当以总体国家安全观为价值基础,构建明确的数据治理策略,并进行适当的“监管沙盒”试验,从而完成线上与线下联动,构建智能社会的良法善治。最终实现高质量法治建设保障高质量发展的重要战略目标。

关键词： 智能合约   差异化定价   价格歧视   平台经济   数据开放  

摘要： 智能合约的应用解决了个体级差异化定价的技术问题。作为平台经济领域的新兴产物,差异化定价被冠以“大数据杀熟”来粗略概括和全盘否定。对此,应明确差异化定价的准确内涵,进行类型化梳理和实际效果分析,架构立足于平台经济自身特点的审查分析路径。仅凭形式外观符合性和消费者福利的一元价值保护理念否定差异化定价模式的规制逻辑是不足取的,应回归反垄断法多元价值保护理念,结合经济学上的价格歧视理论,重新审视法律意义上的价格歧视认定标准;应做好市场规制法的综合衔接,确保法适用的准确性;结合平台经济发展现状,反思调整宏观监管理念;坚持市场化解决途径,构建数据开放规则,将竞争机制引入差异化定价模式。

关键词： 以太坊   区块链   智能合约   开发语言  

摘要： 区块链2.0最典型的特点是智能合约,而以太坊内置有完备的编程语言,为构建智能合约的应用平台提供了很好地帮助。本文介绍了智能合约的概念和特征,然后展示了智能合约开发语言和集成开发环境以及如何部署智能合约,最后,列举了一个高校服务学生方面的智能合约应用案例,为区块链的开发提供了很好的参考和借鉴。

关键词： 区块链技术   智能合约   电商平台   系统功能  

摘要： 本文分析了企业电子商务平台在应用中面临的诸多困难,提出应用区块链技术解决数据不可篡改、数据追溯、法律存证、在线签认审批等技术难点,整体提升电子商务平台的系统功能。区块链智能合约技术的应用将解决钻井行业服务由于资金数额大、运行周期长等特点导致交易过程中容易发生纠纷的问题,并且在区块链上实现业务流程流转签认,为用户提供安全、可信、便捷、高效的电子商务服务。通过智能合约审计来提升合约安全性,为在电商平台中应用智能合约提供保障。

关键词： 区块链   众包   智能合约   任务分配   承诺方案  

摘要： 为去除传统众包对第三方中心机构的依赖,同时保障众包任务的公平分配和结果的可信提交,提出了一种基于区块链智能合约的可信众包平台设计方案。首先提出了一种基于承诺的两阶段提交机制,并将其运用至接包者的数据提交过程中,以解决区块链上的数据透明度问题,使接包者之间无法相互窃取数据;其次设计了一种无偏随机选择算法,从分散的接包者池中选择相对独立的接包者,杜绝了接包者之间可能的串谋;最后通过模拟选人实验和以太坊上原型系统的实现,验证了选人算法的随机性和整体方案的可行性。

关键词： 区块链   工程监理   智能合约   实用拜占庭容错   安全共享  

摘要： 为有效地解决云环境下工程监理数据流转中存在的数据安全得不到保障、各项目参建方间信任成本高等问题,提出一种基于改进实用拜占庭容错(Practical Byzantine Fault Tolerance, PBFT)的工程监理数据共享模型,结合星际文件系统(InterPlanetary File System, IPFS)实现监理数据的分布式安全存储,并通过智能合约保障数据上链、查询过程的高效性、透明性。针对PBFT算法存在的通信复杂度高、算法本身无法避免拜占庭节点担任主节点等问题,引入节点信任度评价模型对PBFT算法进行改进。进行仿真实验分析评估模型的安全性及算法性能,所得结果满足工程监理场景下对于数据共享的要求。通过对比分析得出,模型在共识效率、吞吐量和算力需求等方面相较于其他模型更有优势。

关键词： 联盟区块链   智能合约   共识机制   电动车(EVs)   充电记录管理  

摘要： 基于中央服务器的传统架构是过去后台服务搭建的重要解决方案,但随着用户数与应用需求的爆发式增长,该架构对中心节点的计算与存储能力提出了更高的要求,同时也带来了信任危机.分布式系统的一个典型代表-区块链,作为比特币的核心技术,它的不可篡改,可追溯,不可伪造数据等特性使得它在近几年受到广大研究者的广泛关注.本文提出将联盟区块链应用到电动车,充电桩,智能电表,传输电网所组成的充电网络中,利用区块链技术来管理充电记录,以此来保护每一方的利益,为交易纠纷的解决提出一种数据层面的支撑.本文在提出专用联盟区块链的同时,也提出了一种新的适用于电动汽车可信充电模型的共识机制和对应的查询智能合约.实验结果表明所设计的共识机制能在该可信充电网络模型中安全高效的运行,同时也能够满足用户快速查询交易的需求.