关键词： 电子投票   区块链   智能合约   ElGamal算法   协同计算  

摘要： 随着社会的发展进步,许多应用场景都需要进行投票表决。当前电子投票系统具有中心化的特点,投票过程难以公开透明,选民无法验证选票结果,需可信第三方计票机构参与唱票。针对以上问题,为了更好地适应愈加丰富的应用场景,文中研究并提出了一种基于区块链的分布式加密投票系统。使用分布式环境下的ElGamal加密算法保证了整个投票过程的安全保密性,任何人或机构无法破解获得选票的中间结果。使用区块链智能合约自动执行的机制取代了传统的第三方可信计票机构,实现了自动唱票。由于所有选票信息均存储在区块链上,进一步保证了投票过程透明公开且结果可验证、可追溯。实验结果表明,投票系统的瓶颈为了唱票环节中的累乘算法。为了提高计算效率,进一步采用链上链下协同计算的方式,在保证票据安全性的前提下,链下通过并行计算加快计算速度。最后,通过安全性和性能分析表明,该机制具有良好的可扩展性,是一种实用和安全的电子投票系统设计方案。

关键词： 智能合约   区块链   Web   经济模式   经济发展趋势   经济健康发展   数字时代   可编程  

摘要： 《可编程社会:Web 3.0与智能合约》进入数字时代,数字经济正在成为全球经济发展的重要力量。我国越来越重视数字经济,国家强调把握数字经济发展趋势和规律,推动我国数字经济健康发展。《可编程社会:Web 3.0与智能合约》一书从国际和国内数字经济发展的角度出发,提供新型数字经济蓝图及路线,即基于区块链的可编程经济模式及发展路线的皋陶模型。全书分四个部分共15章:第一部分为新型数字经济;第二部分为智能合约科技;第三部分为智能合约监管;第四部分为智能合约应用。

关键词： 智能合约   模糊测试   遗传算法   静态分析  

摘要： 为了降低智能合约漏洞静态检测方法中的误报率,提高模糊测试中测试用例的路径覆盖率,提出一种覆盖引导的智能合约测试用例生成方法StaticFuzz。先通过对被测智能合约进行静态分析提取漏洞语句信息,然后利用该信息与执行测试用例后得到的漏洞语句信息进行遗传运算,最后通过遗传算法生成新一代测试用例。在智能合约漏洞库(Smart Contract Weakness Classification,SWC)和Harvey基准数据集上进行实验,结果表明:对SWC所有合约进行检测,StaticFuzz与Slither相比误报率降低73.7%,与sFuzz相比漏报率降低48.3%;对SWC中同一个漏洞合约,StaticFuzz的测试用例迭代数比sFuzz最高减少18.9%;在Harvey数据集上,分析了ConFuzzius、sFuzz和StaticFuzz等3种方法的路径覆盖率,并根据Copeland方法评估出StaticFuzz具有较高的路径覆盖率。

关键词： 区块链   三维设计   多元融合   智能合约   共识机制  

摘要： 本文针对当前电力工程设计在设计环节中信息更改频繁、确认繁琐、信息存证、责任溯源及数据安全等问题,提出一种基于区块链技术的数字化电力工程设计多元融合管理体系模型。通过该模型的建立可优化乃至替代当前电力工程设计中心化管理模式,以“区块+链”的形式实现去中心化,借用联盟链模式实现电力工程设计全过程可追溯、不可篡改、优化设计版权管理,进而探索实现电力工程设计的多元融合创新管理模式。

关键词： 负荷聚合商   需求响应   智能合约   微服务架构  

摘要： 在负荷聚合商等需求响应新主体灵活参与电力系统调度的新背景下,区块链智能合约技术为解决多主体间信任缺失问题提供了新思路。然而,现有智能合约部署架构存在运维成本高以及分布式账本交互效率低等问题,与业务逻辑复杂、迭代速度快、多点交互频繁的负荷聚合商优化运行难以兼容。文中提出面向负荷聚合商的智能合约微服务架构,解决将智能合约应用于负荷聚合商参与需求响应的技术瓶颈。针对智能合约微服务架构,搭建了智能合约中继层,提出了基于单一性原则的智能合约领域分解方法,设计了智能合约微服务架构松耦合部署模式。最后,以中国浙江省某大厦和某公寓为例,验证了所提出的智能合约微服务架构可以为负荷聚合商安全、高效、灵活、可信的聚合调控赋能。

关键词： 区块链智能合约   数字广告流量造假   关联博弈  

摘要： 数字广告流量造假是指在广告主与数字广告媒介组织博弈过程中代理人的一种机会主义行为。本文对治理数字广告流量造假的区块链智能合约平台AdChain展开个案分析,发现它在数字广告运作中嵌入的动态数字广告媒介组织域名注册表,充分利用了去中心化的技术特性来创新制度安排,构造了关联博弈结构,既消除了非对称信息,又形成了激励机制,进而能够有效抑制数字广告媒介组织的流量造假等机会主义行为。

关键词： 执行合同   人民银行   金融论坛   数字货币   智能合约   计算机语言   自动执行   人民币  

摘要： 2022年9月8日,人民银行数字货币研究所在2022第二届中国(北京)数字金融论坛上正式发布数字人民币智能合约相关产品。那么,数字人民币智能合约是什么呢?一、什么是数字人民币智能合约?(一)智能合约一种旨在以信息化方式传播、验证或执行合同的计算机协议。简单来说,智能合约就是用计算机语言取代了法律语言记录条款并由程序自动执行的合约,具有法律效力。

关键词： 数据交易   以太坊   智能合约   动态定价   公平支付  

摘要： 为了解决现有数据交易模式中交易流程耗时较大且效率较低,信息泄露和公平支付问题,提出一种改进的数据交易模式,通过智能合约预置额外的约束条件,集成了数据交易和仲裁纠纷解决的功能,用于实现交易的公平自治性和交易时间控制,以规避数据交易过程中恶意交易行为。在此基础上,为实现所提出的数据交易模式中价格的动态平衡,基于经济建模方法和动态定价的公平合理性,设计一个自动平衡总供给和总需求的动态定价机制,依据购买需求和数据资源的市场供给进行价格动态调整。从模型的动态性对模型进行了论证,证明了交易价格和需求可以收敛。基于以太坊实验环境部署并执行该合约,并对该智能合约的各功能成本和安全性进行测试和分析。仿真实验结果表明,该改进交易模式在动态定价下能够以较低的执行成本进行数据交易,并且该智能合约存在较少代码漏洞,满足可行性和安全性要求。

关键词： 区块链   智能合约   虚假新闻   新闻网站   博弈论  

摘要： 虚假新闻不仅会导致人们形成错误观念,损害人们的知情权,还会降低新闻网站公信力。针对新闻网站出现虚假新闻的问题,提出一种基于区块链技术的虚假新闻检测方法。首先,通过调用智能合约为新闻随机分配审核者来判定新闻的真实性。然后,调整审核者数量以确保有效审核者的数量,提高审核结果的可信度。同时设计激励机制,根据审核者的行为分配奖励,并运用博弈论分析审核者的行为和获得的奖励,为了获得最大利益,审核者的行为必须是诚实的。而后设计审计机制检测恶意的审核者,以提高系统的安全性。最后,利用以太坊智能合约实现了一个简易的区块链虚假新闻检测系统,并对虚假新闻检测进行了仿真,结果显示所提方法的新闻真实性检测的准确率达到了95%,表明该方法可有效防止虚假新闻的发布。

关键词： 并网   智能合约   电动汽车   分布式能源   区块链  

摘要： 针对电动汽车和分布式能源并网问题,提出了一种基于区块链技术的协调策略。依据区域电网总冗余电量和电动汽车总需求电量随时间变化的信息,引导电动汽车分时段前往不同充电站充电,实现区域内分布式能源发电全部消纳。充电站采用自主申请、智能合约审批、通告全网的方式进行电价竞争性调整,消除了人为意识干扰,降低了合谋风险。最后通过案例分析验证了本文所提出的价格引导策略对电网稳定性和区域所有充电站总收益提升的作用,论证了其可行性。所提出的协调策略切合未来电动汽车和分布式能源并网的发展需求,为区块链技术在相关领域的运用提供了参考。