关键词： 区块链技术   软件工程   数据安全   智能合约  

摘要： 阐述区块链技术在软件工程中的应用,包括数据存储和验证、智能合约、票据和证书管理。分析面临的挑战,通过克服技术瓶颈、加强安全措施和合规性管理,可以最大程度地发挥其优势。

关键词： 区块链技术   碳财务预算   碳财务绩效   分布式组网   智能合约  

摘要： 构建碳财务“预算+绩效”协同管理模式,是企业履行碳达峰碳中和的有效路径。文章以区块链分布式组网、PoS共识与智能合约等关键技术为支撑,强化碳财务数据处理能力、实时监控碳财务并规范碳财务目标;进一步地,以区块链技术优势为核心底座,构建涵括事前管理、事中管理与事后管理三大子系统在内的碳财务“预算+绩效”协同管理模式,助力企业优化涉碳资金配置。为完善碳财务“预算+绩效”协同管理运行模式,文章针对性提出规范数据管理模式,夯实协同管理基础;构筑风险监测体系,筑牢协同管理模式安全防线;分阶段设定碳预算目标,助推协同管理模式平稳运行三点建议,以期赋能企业碳财务“预算+绩效”协同管理智能化转型。

关键词： Web3.0   去中心化   概念泛化   下一代互联网   智能合约   大数据   顶层设计   隐私泄露  

摘要： 目前,Web3.0尚处于发展初期,概念泛化、炒作现象严重,极易引发各类社会风险。为此,我国亟须加快开展顶层设计与统筹谋划,保障Web3.0健康、有序发展。近年来,得益于互联网的快速发展,我们享受到了平台带来的便利,但平台发展的弊端也逐渐显现,出现了垄断资源、个人隐私泄露、利益分配失衡、大数据杀熟等一系列问题。因此,全球掀起了一股互联网革命浪潮,We b3.0被视为能够有效解决这些问题的下一代互联网。从微观上看,Web3.0是集智能合约、分布式协议等技术为一体的去中心化、开放、安全和可信的新型网络体系,旨在帮助用户掌握数据的自主权、实现用户身份的去中心化管理、提升平台的互操作性、提供更加智能和个性化的服务体验。

关键词： 区块链技术   牛鞭效应   智能合约   新能源汽车供应链  

摘要： 为弱化信息从最终客户端向原始供应商传递而引发的“牛鞭效应”,本文基于信息传递的视角,提出了一种运用区块链技术构建的新能源汽车供应链信息管理系统。在对新能源汽车供应链运用区块链技术弱化“牛鞭效应”原理进行分析的基础上,完成系统的总体设计和程序编码,并对系统功能应用及性能进行了测试和对本系统弱化“牛鞭效应”的效果进行了验证,结果表明:系统所有功能都能够正常运行并完成基本要求;系统的性能测试结果显示该系统的最大平均时延为6.2 s,最高吞吐量为每秒处理187个事件;系统在供应商、主机厂和销售商3个节点的“牛鞭效应”值分别弱化了70.1%、64.9%和24.6%,实现了预期效果并验证了系统对供应链“牛鞭效应”的弱化具备可行性。

关键词： 跨链   隐私保护   智能合约   零知识证明  

摘要： 针对跨链智能合约的代码和数据在跨链交易中公开披露用户隐私信息的情景,设计具有隐私保护功能的跨链智能合约,该合约中每一个函数所涉及的用户隐私信息,将被用户加密后作为函数参数输入,同时引入零知识证明电路,用于证明用户输入密文的正确性。在合约执行过程中,合约调用者通过输入公共参数和隐私参数密文发起合约调用请求,跨链隐私智能合约的验证节点使用零知识证明电路来验证用户输入信息的正确性并执行智能合约,从而在保护用户隐私信息的同时确保智能合约的正确执行。

关键词： 区块链智能合约   民事执行   法律风险   人机协同   差异化责任  

摘要： 区块链智能合约与民事执行具有天然的适配性。前者在高效率、低成本、公开透明等方面的功能优势完美契合了后者的价值追求;后者在执行承诺层面的应用结构为前者提供了现实空间。区块链智能合约借助执行承诺能够广泛嵌入民事执行领域,驱动民事执行智能化发展,保障执行操作合规,推动执行流程平稳衔接应用。但是,区块链智能合约的嵌入也将不可避免地诱发权力技术化与技术权力化的双重风险:“算法黑箱”导致执行承诺偏移,“自动执行”加剧利益失衡,致使执行正当性减损;“算法权力”的膨胀不断弱化法官主体地位,使技术宰制下的执行可归责性日渐模糊。今后,有必要围绕人类理性与区块链智能合约的协同跟进,通过差异化责任矫正区块链智能合约机制下异化的民事执行系统秩序。

关键词： 区块链   智能合约   字节码重写   反编译   蹦床  

摘要： 智能合约是一段部署在区块链上的程序,为分布式交易提供了可能。然而,由于智能合约携带的金融属性及部署后不可改变的特性,使其成为黑客攻击的目标。因此,为保证合约的安全性,需对漏洞合约进行修复。然而,现有合约漏洞修复方案存在修复成功率低、无法处理复杂合约等问题,为此提出一种支持内嵌数据处理的合约漏洞修复方案。该方案首先研究并形式化以太坊虚拟机动态装载机制,并基于内存拷贝指令构建内嵌数据定位算法,解析并反编译智能合约字节码结构;接着基于蹦床机制对智能合约字节码进行重写,并修正因重写而产生的内嵌数据地址偏移;最终实现智能合约的漏洞修复。基于所提方案实现原型工具SCRepair,部署于本地测试网络Ganache以对其进行性能测试,并与现有漏洞修复工具EVMPatch和Smartshield进行比较。实验结果表明,相比于EVMPatch,SCRepair的合约字节码重写成功率提升了约26.9%,并有着更好的执行重写稳定性,受编译器版本的较影响小;相比于Smartshield,SCRepair能够更好地处理复杂合约。

关键词： 智能合约   自治性   自动执行   去中心化  

摘要： 智能合约的核心要素在于自治性,与自动化存在本质区别。对于智能合约的法律性质,不能一概而论,应结合其技术特性展开分析,可将其划分为合同型、执行型和单向型。然而,这三种类型分别存在自动执行、兼容性强、去中心化的特点,极易引发一系列交易与安全风险。从法律制度层面予以回应,应明确代码与法律的界限,基于场景划分“强”与“弱”型智能合约,以纾解自动执行条款引发的强制执行风险;确立事先审查机制,确定事后责任主体,以缓解一般条款引发的交易损失风险;建立“弱中心化”平台,明确监管部门权限,以消解去中心化交易条款的监管缺位风险,从而发挥智能合约的科技附加值,促进我国数字经济安全协调发展。

关键词： 去中心化自治组织(DAO)   区块链   智能合约   代币经济   组织边界  

摘要： 当前管理学的研究对象日益单调,去中心化自治组织(DAO)的出现可遇而不可求,它在提供新视角的同时也是一次检验既有理论的机会。DAO是一种基于区块链技术运行的新型组织形式,它不存在中央集权式的领导者或管理机制,而是通过智能合约实现自我控制,并借助代币实现人机共治。业界普遍关注DAO对公司制的可替代性,学界的研究则刚开始,多学科背景下尚缺乏管理学视角的基础理论分析。本文在界定DAO相关概念的基础上,深入分析了DAO与公司制的异同,发现其概念源于古典决策理论,其行为符合无边界组织、虚拟组织和网络组织的基本特征;进而从委托代理、民主制度、信息不对称、去中心化四个角度分析DAO的缺陷,指出DAO治理中存在“去中心化—高效决策—唯一共识”不可能三角;最后探讨了DAO对组织边界的贡献与价值。本研究旨在在新兴现象和传统理论之间构筑桥梁,借以增进产学两界的相互参考。

关键词： 区块链   属性基加密   数据访问控制   云存储   智能合约  

摘要： 【目的】云端存储数据的安全性是用户使用云存储服务的重要条件,一般用户与云服务提供商之间需要相互信任,而中心化的云服务器存在单点故障问题并且云端的数据存在泄露、丢失的风险。【方法】为解决上述问题,提出了一种基于Fabric区块链的云端数据动态访问控制方案。【结果】方案利用区块链难以篡改的特性解决了用户与云端的信任问题,使用去中心化云存储解决了云服务器的单点故障问题,利用智能合约实现了方案的自动执行,并采用属性基加密的方式实现了对云端数据的动态访问控制。【结论】通过对方案的安全分析与实验验证,方案具有良好的安全性与可用性。