关键词： 身份环签密   联盟链   智能合约   多私钥生成中心  

摘要： 针对联盟链交易时存在的用户隐私泄露问题,该文提出基于联盟链的身份环签密(CB-IDRSC)方案。CB-IDRSC利用智能合约技术控制新交易加入,实现了公平可靠性;利用多个私钥生成器(PKGs)为用户生成私钥信息,满足联盟链部分去中心化要求和起到保护节点隐私的作用;并且具有机密性、不可伪造性和环签密者的无条件匿名性。性能分析中首先对CB-IDRSC中用到的智能合约进行部署;其次通过效率分析说明CB-IDRSC具有较高的计算效率;最后在忽略网络延时等因素影响的情况下,通过实验得出多私钥生成器的数量对系统参数生成和密钥生成阶段的效率影响不到3%。

关键词： 位置证明   时间基一次性口令   智能合约   位置隐私   激励机制  

摘要： 去中心化位置证明方案依赖分布式的见证者协助位置证明,但是当见证者参与位置证明时不仅消耗自身资源,还面临位置隐私泄露的风险,因此,大部分见证者不会主动参与位置证明。为促进见证者的参与,提出基于激励驱动的轻量级隐私位置证明协议。利用非对称时间基一次性口令和隐私保护位置接近性检测协议构建高效且具有位置隐私保护的轻量级位置证明协议,基于哈希承诺方案将产生的口令与隐私位置证明请求相结合,计算位置承诺并上传到区块链网络中。采用智能合约技术设计基于贡献度的激励机制,依据见证者做出的有效位置证明和无效位置证明计算实际贡献度,通过部署在区块链网络中的激励机制支付奖励,促使见证者积极参与位置证明。实验结果表明,该激励机制总计Gas花费1.28×10^(-3)Ether,具有较优的可行性。

关键词： 区块链   访问控制   智能合约   基于属性的访问控制模型   家庭物联网  

摘要： 在海量家庭数据存储模式下,家庭中的物联网设备并非完全可信,为了保证设备使用者的数据安全和数据查询效率,需要实施访问控制,然而,目前已有的多数访问控制方案无法在大型分布式系统下既保证安全性又兼顾运行效率。针对该问题,提出基于智能合约技术的访问控制框架并设计分组策略检索算法,以实现一种家庭物联网中安全高效的访问控制。在智能合约访问控制框架中,通过区块链存储访问控制策略保证访问信息的可追溯性以及用户数据的安全性,同时改进基于属性的访问控制模型,实现灵活且可扩展的访问控制。通过构造分组策略检索算法来提高策略的检索效率,在访问控制判决时快速搜索策略。基于智能家居进行访问实现,结果表明该机制能提供安全且高效动态的细粒度访问控制,在大量相同的策略规则下,其系统吞吐量不低于65 T/s,优于Fabric-IoT、DAHB等访问控制方案,更适合大规模家庭物联网环境下的访问请求场景。

关键词： 区块链   政法智能化   智能合约  

摘要： 区块链具有去中心化、数据不可篡改、系统集体维护、信息公开透明、可编程和安全可信等特点,将区块链作为基础设施会给各行各业带来巨大的变革机会。本文研究区块链技术在政法智能化建设中的应用及其面临的风险,并提出相关建议。区块链作为具有共建信用、重构价值、重构网络生态的颠覆力量,能够创新构建良性社会治理架构,重塑社会价值诚信体系,推动区块链与社会治理基础设施相结合,构建可信数据生态,实现精准治理、智慧服务,提升社会治理效力,赋能社会治理体系和治理能力现代化。同时,区块链运用在政法智能化建设中也存在着实体监管缺位、造就法律监管真空地带以及反应用等问题。为此,笔者建议加强顶层设计,推动区块链安全有序发展;加强安全监管机制研究,应对潜在技术风险;加强核心技术攻关,提升原始创新能力。

关键词： 智能合约   可信执行环境   可信应用   以太坊虚拟机   图灵完备  

摘要： 针对现有图灵完备的智能合约架构必须依赖虚拟机或容器,存在执行效率低、可维护性弱和安全性能力不足等问题,提出了一种基于可信执行环境的可动态加载智能合约架构,通过可信应用(Trusted Application,TA)实现智能合约关键且通用的逻辑,突破智能合约对于高级编程语言和标准库的支持,实现可插拔的智能合约软件模块,减轻了开发者学习成本,提升了区块链智能合约的安全性、编程效率、执行效率和易用性。经过实验验证,在未使用TA的情况下,系统吞吐量可达到31000 TPS,在使用TA的情况下,可实现系统平均吞吐量为520 TPS。

关键词： 区块链   产品抽检   哈希函数   智能合约   数字签名  

摘要： 针对目前公路水运行业交通产品抽检环节存在的主要风险因素,结合区块链技术的去中心化、数据不可篡改、公开透明、公开共识等特征,将区块链技术应用于交通产品抽检实际业务场景,文章重点研究基于区块链的交通产品质量控制关键技术,分析数字签名、智能合约、哈希函数等核心技术在项目中的具体应用,构建一个多方参与、互联互通、共治共享的产品质量数据链,开发完成基于区块链的交通产品抽检业务系统,实现了完整抽检流程的跟踪和记录,解决了交通产品质量控制中存在的主要风险点,整个流程可证可溯。

关键词： 区块链技术   智能合约   司法应用   业务协同   法律风险防范   更高水平   数据监管   司法实践  

摘要： 随着数字经济的蓬勃发展和数字政府建设的不断推进,区块链技术在司法中的应用场景不断扩大。全国法院司法区块链平台提高了数据核验、可信操作、智能合约、跨链协同的基础技术能力,拓展了区块链的作用领域。当前司法实践中区块链应用存在底层能力相对薄弱、应用场景相对单一、数据监管相对不足、跨链融合有待探索、区块链法律风险防范相对缺失等问题,需要发挥立法、司法、执法的联动作用,不断拓展区块链存证验证应用,推进智能合约应用建设,加大跨链业务协同应用,强化区块链配套保障,发挥区块链不信之信的应用价值,实现更高水平的数字正义。

关键词： 区块链智能合约   SaaS   智能法律合约   微服务   服务注册   服务发现  

摘要： 随着软件服务交易模式由提前付费向“先服务后结算”转变,软件即服务(SaaS)所依赖的订阅模式面临着软件服务金融化与法律化的挑战—既无法按实际使用量进行金融支付,也难以通过法律形式规范服务提供方、消费方、交易平台之间权利义务关系.据此,本文将智能法律合约(SLC)引入到服务计算平台中,提出一种服务即合约(SaaSC)架构.在法律化方面,SaaS+SaaSC的组合支持SLC软件订阅合约中设立服务注册、发现、定制化三种条款,从交互动作、服务状态、状态转移流程等方面规范了各方当事人在服务注册、发现与消费三阶段的交互行为;在金融化方面,将服务接口声明添加到智能法律合约中,借助智能合约自动执行和检查条款实现了细化到服务接口调用级别的精准计费模式.进一步,以天气预报服务作为案例实现了基于区块链智能合约的在线软件服务获取、交付及合约化支付,验证了SaaS+SaaSC方案的合理性和有效性,表明软件服务合约化是一种新的可行技术路线.

关键词： 金融科技   区块链   智能合约   数字基建   数字金融   碳交易   碳市场   监管沙盒  

摘要： 作为一种分布式结构、可追溯、不可篡改的革命性技术系统,区块链基于效率、安全和共享优势,能降低碳市场的交易成本、强化碳市场的稳定秩序、促进碳市场的协同合作。然而,基于创新技术的两面性,区块链应用于碳交易也可能带来一些挑战和问题,包括利益输送、洗钱等行为更容易实施,错误数据上链的负面影响被强化,智能合约的实际运行与预设规则相偏离,数据标准缺失影响数据共享和应用的效果,以及责任归属的认定更加复杂等。为应对这些挑战,需转变监管思路、创新监管手段、调整监管重心,在此基础上引入监管沙盒机制,对区块链技术应用于碳交易的适用性进行实验和测试,并厘清区块链研发、运维等环节主体的责任配置问题,为区块链碳交易的落地和发展扫清障碍,促进碳交易市场的繁荣。

关键词： 共享单车   投放决策   寡头博弈   智能合约  

摘要： 近年来,共享单车行业不断扩张,形成了以互联网平台企业为主导的寡头垄断市场,当前共享单车供应链中存在着供应商话语权缺失、消费者信息易泄露、平台企业资金压力大等问题。基于此,本文构建了面向区块链智能合约技术的新型共享单车供应链,将其与现有基于互联网平台的共享单车供应链在单车投放量、产品质量以及供应链收益水平等方面进行比较研究,分析当前供应链企业做出模式创新的市场环境条件,研究不同市场因素对不同供应链的影响。通过对共享单车市场竞争的仿真模拟,验证了博弈模型的分析结论。研究表明,智能合约技术的引入能够减少共享单车上下游的过度竞争,同时提高行业服务质量及便利性。