关键词： 智能合约   农业供应链   溯源技术   区块链  

摘要： 食品安全和污染风险相关的问题越来越多,迫切需要高效的追溯解决方案。通过溯源可以高效追溯食品的源头,并且进行追责,从而提高食品安全。为此设计了一个基于以太坊智能合约的农业供应链溯源机制,该机制通过引入NFT技术,优化了区块链农产品溯源过程。实验结果表明,所提出的供应链框架在成本效益、溯源效率方面优于现有的区块链溯源基准技术。

关键词： 区块链智能合约   信息自动化   加密算法  

摘要： 本研究主要探讨了区块链智能合约在信息自动化中的应用,并针对一些具体场景进行了分析。研究发现,区块链智能合约在信息自动化中具有提供透明度和可追溯性、提高效率和降低成本以及解决信任问题等应用潜力,同时在区块链技术、加密算法、智能合约平台、数据共享和隐私保护技术等方面具有广阔的应用空间。研究还分析了区块链技术、加密算法、智能合约平台以及数据共享和隐私保护技术在信息自动化中的应用,但该技术在实际应用中还存在扩展性、安全性、法律和监管以及技术标准和互操作性等问题。对此本研究提出了提升区块链的扩展性、加强智能合约的安全性、与监管机构合作制定法律规定、发展统一的技术标准等措施,以期更好地促进区块链智能合约在信息自动化中的应用创新。

关键词： 区块链   智能合约   安全漏洞   漏洞检测  

摘要： 智能合约是运行在区块链合约层的计算机程序,能够管理区块链上的加密数字货币和数据,实现多样化的业务逻辑,扩展了区块链的应用.由于智能合约中通常涉及大量资产,吸引了大量攻击者试图利用其中的安全漏洞获得经济利益.近年来,随着多起智能合约安全事件的发生(例如TheDAO、Parity安全事件等),针对智能合约的安全漏洞检测技术成为国内外研究热点.提出智能合约安全漏洞检测的研究框架,分别从漏洞发现与识别、漏洞分析与检测、数据集与评价指标这3个方面分析现有检测方法研究进展.首先,梳理安全漏洞信息收集的基本流程,将已知漏洞根据基础特征归纳为13种漏洞类型并提出智能合约安全漏洞分类框架;然后,按照符号执行、模糊测试、机器学习、形式化验证和静态分析5类检测技术对现有研究进行分析,并讨论各类技术的优势及局限性;第三,整理常用的数据集和评价指标;最后,对智能合约安全漏洞检测的未来研究方向提出展望.

关键词： 区块链   智能合约   数据交易   数据存储  

摘要： 在研究现有分布式场景下数据交易的解决方案及其存在缺陷的基础之上,针对数据交易过程中的计量,提出一种基于区块链上Merkle树的细粒度数据交易计量及验证方法,结合IPFS存储,提高细粒度计量和验证交易的能力。在以太坊私有链上实现了方法应用和实验验证,在数据大小达到100 MB的交易时,在验证执行开销以及耗时上分别减少65%和80%,证明了该方法能够高效地实现数据块级别细粒度的数据计量和验证。

关键词： 云边协同   区块链   智能合约   Docker容器:架构设计  

摘要： 从理论、关键技术,具体架构设计等层面研究了云边协同与区块链的融合应用。云边协同与区块链融合架构研究与设计包括了总体融合应用研究与设计、云边协同与区块链交互应用设计、基于云边协同的区块链管理功能设计、基于云边协同的智能合约管理设计、基于云边协同的区块链数据管理设计。通过研究云边协同与区块链融合的可行性和优势,设计出两者互相融合的通用性架构,该架构可以应用于智慧用电、智能网联汽车、智慧管网、工业物联网等应用场景。

关键词： 智能合约   时间戳漏洞   漏洞检测   数据流传播路径   预训练  

摘要： 智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

关键词： 预售资金监管   商品房预售   区块链技术   智能合约  

摘要： 文章构建了涵盖政府监管部门、银行、建设单位等多方参与的基于区块链技术的商品房预售资金监管平台,将预售资金流动明细、预售资金拨付等全流程信息上链,实现商品房预售资金全过程规范透明、预售资金拨付流程可追溯,保障政府监管部门对预售资金的有效监管。本文提出了一种新的预售资金监管方法可有效保障预售资金使用的公开透明,进一步降低在建商品房项目的烂尾风险,保障购房者的利益。

关键词： 区块链   自动驾驶   超级账本   去中心化   智能合约  

摘要： 文章针对汽车自动驾驶系统中的数据存储安全性和数据传输的实时性问题,提出将区块链技术引入汽车自动驾驶系统,借助区块链的去中心和智能合约特点去解决数据存储安全性和数据传输的实时性问题。

关键词： 黑名单   智能合约   博弈论   可编辑区块链   投票机制  

摘要： 加密货币已成为许多犯罪分子犯案的金融工具,而目前对阻止异常资金在加密货币体系中流通的研究尚不足。结合智能合约与可编辑区块链技术,提出一种基于投票机制的黑名单公有链解决方案。该方案首先利用智能合约技术从博弈论视角对是否将一笔资金加入黑名单的投票过程进行设计,通过设置奖励和惩罚的措施以促使局中人选择诚实的策略;然后对于已确认的异常资金,设计UTXO异常度这一字段,对处于不同阶段的异常资金,利用可编辑区块链的特性选择回溯或赋予异常度的处理措施。实验结果表明,在区块整体打包过程中,被赋予最高异常度的交易被选中的平均概率仅为19.5%;原本被选中的交易被赋予最高异常度后,被选中的平均概率降低到68.4%;同时,被赋予不同等级异常度的交易被选中的概率呈阶梯式递减。基于投票机制的黑名单公有链方案解决了以往黑名单方案中记录添加依据不合理、执行力度不强的问题,能够有效阻止异常资金流通。

关键词： 不动产档案管理   数字化技术   区块链OCR技术   智能合约   数据安全  

摘要： 在当今这个数字化日益盛行的时代,不动产档案管理领域正经历着前所未有的变革。随着新兴技术的不断进步,数字化已成为推动行业效率和透明度提升的关键力量。从纸质档案的电子化转换到利用先进的区块链技术确保数据安全,不动产档案管理正在逐步融入更多高效、智能的数字化解决方案。这些变化不仅优化了档案管理流程,还为行业内外的决策者提供了更加准确和即时的信息,极大地推动了整个不动产行业的现代化。本文旨在探讨数字化技术在不动产档案管理中的应用,评估其带来的影响,并展望其未来的发展趋势。