关键词： 区块链   智能合约   智慧财务管理   应用  

摘要： 在新兴信息技术不断发展的新时代浪潮下,区块链已上升到数字经济重点产业的国家重要战略地位,笔者结合区块链智能合约的特性及多年从事高校财务信息化建设工作的研究成果,从财务管理视角加以分析,提出智能合约在高校智慧财务管理中的应用方案,为财务信息化、精细化和数智化管理的发展注入催化剂,为区块链在会计领域的应用探索新方向,解决财务管理中存在的问题,提高财务管理水平。

关键词： 航空辅营   区块链   对账   智能合约  

摘要： 航空服务产品多元化、差异化发展需要航空辅营产品的模式创新。产品销售过程中,多方参与者交互数据的过程中存在数据格式不统一、信任度不高、对账效率低等问题。在航空辅营产品销售佣金结算系统中引入区块链技术,有助于解决账期长、主体多、付款难等难题。本文在传统佣金结算系统现状分析基础上,基于分布式账本的特点与优势,设计一种基于区块链技术的航空辅营产品销售佣金结算模型,并对系统的基本架构和业务流程进行描述和分析,实现航空辅营产品销售全流程业务的闭环,为加快培育民航数字产业生态提供研究支撑。

关键词： 区块链   以太坊   去中心化   社交网络   智能合约  

摘要： 提出一种基于以太坊的社交网络平台设计方案,该方案利用以太坊、智能合约与现有虚拟货币交易所实现了分布式的社交网络平台。设计身份认证方案实现对滥发不良信息用户的管理。设计基于投票的监管机制,解决中心化管理单点瓶颈限制的问题。设计基于热榜函数的“评价-流量兑现”双模式激励机制,确保用户发布良好信息的收益高于发布恶意信息。方案的安全管理不再依赖于中心化管理者。考虑到系统性能,本文优化了帖子存储设计;系统原型测试与分析表明方案的可行性和有效性。

关键词： 区块链   智能合约   时间自动机   UPPAAL工具   模型验证   映射规则  

摘要： 区块链是一种去中心化的计算范式,在诸多领域具有良好的应用前景。智能合约是区块链应用的关键,然而,智能合约的安全问题时有发生,有些甚至造成重大的经济损失。为了避免智能合约在设计开发阶段出现由逻辑不严谨或错误逻辑所造成的安全漏洞,提出一种基于时间自动机模型的安全智能合约生成方法。相较于直接编写合约代码,该方法通过将证明为正确的模型转换为可执行的智能合约代码,有效解决在智能合约开发设计阶段所存在的安全性问题。利用UPPAAL工具将人类可理解的文本合约建模为时间自动机并通过模型验证来确保模型的安全性和可靠性。通过对智能合约的正式定义建立时间自动机与智能合约的映射规则,根据相应的映射规则,时间自动机被转换为模块化的Solidity智能合约代码。设计一个具体的商品预售活动案例进行分析,结果表明,通过所提方法生成的商品预售合约的Solidity代码可成功编译并部署在以太坊测试网络中。

关键词： 果蔬供应链   图区块链模型   图结构   深度溯源   智能合约  

摘要： 针对传统果蔬供应链区块链模型存在溯源信息深度不足、溯源数据关联性不足、查询效率低等问题,本研究提出了一种图区块链模型。首先利用图理论对传统区块链的区块数据结构进行改进,将传统区块链结构中顺序表的存储结构改变为便于深度溯源信息存储的图结构,以实现深度溯源信息的关联存储。然后通过图区块链映射模型建立物理区块数据与图区块链模型之间的映射关系,并按照果蔬供应链流程逻辑结构建立图区块数据架构。定制化设计图区块链数据存储、查询与权限管理智能合约,以确保供应链数据的可靠性。最后基于百度超级链平台开发图区块链模型,并与传统区块链进行性能对比实验。结果表明:图区块链能够实现果蔬供应链的深度溯源,同时还能大幅提升数据查询效率,该模型可为实现基于区块链的果蔬供应链追溯信息存储与快速查询提供新的方法和思路。

关键词： 跨境电商   在线纠纷解决机制   智能合约  

摘要： 跨境电商纠纷解决难已经成为阻碍跨境电商快速发展的问题之一,它的网络性和国界性挑战着我国一般法律原理和现行法律规则。文章通过对跨境电商在线纠纷解决机制的比较和借鉴,提出我国应当建立在线解决机制的统一规则,做好法律规则之间的衔接与协调,建立消费纠纷的预警机制,加强区块链技术与智能合约在司法领域的突破,完善督促机制推动执行力度,才能做好跨境电商法律制度与国际社会的衔接,实现跨境电商的可持续发展。

关键词： 区块链   智能合约   差旅管理   账务处理  

摘要： 文章基于区块链技术的差旅事务BCTM模型,首先对区块链技术下的差旅流程进行再造,设计新型差旅账务处理模式,在此基础上,分析交通和住宿方案的优先级和票据审核流程,实现基于智能合约的差旅票据合理性及合规性的智能审核策略。以某高校现有差旅账务处理系统作为对照组的实验表明,提出的模型能够提高报账处理的可靠性和效率,且有利于提高审计效率和税务稽查对接,实现“无财务人员干预”的差旅报账处理,对区块链应用于财务处理做出了有益的探索。

关键词： 绿色债券   智能合约   区块链   资金管理  

摘要： 随着我国绿色债券市场不断发展壮大,管理部门及机构出台一系列文件明确绿色债券募集资金的使用管理。本文对绿色债券资金的现状进行了总结,分析了在使用管理中尚存在的问题,并基于新兴技术的视角,提出在现有制度中融合智能合约来改进绿色债券资金用途管理,在现有比较成熟的区块链技术平台上嵌入资金管理功能,以优化绿色债券资金用途管理体系。

关键词： 智能合约   无人机集群   注意力机制   混合神经网络   漏洞检测  

摘要： 智能合约是区块链的重要组成部分,具有去中心化、可追溯、自动化执行以及不可篡改等特点,在理论和技术层面能够有效适应无人机集群安全性方面的需求。以智能合约在无人机集群中飞行数据管理、自主协同、安全维护以及安全认证4个方面的应用为例,重点分析智能合约在应用过程中潜在的整数溢出、时间戳、重入、交易顺序依赖及交易授权5种安全漏洞。在此研究基础上,针对潜在的智能合约安全漏洞提出一种基于注意力机制的混合神经网络漏洞检测模型。实验表明,与当前流行的智能合约漏洞检测技术相比,该漏洞检测模型检测效果更好,具有较高的准确率和精确率。该研究结果对于提高无人机集群建设安全系数具有一定的实际意义,也为无人化建设与发展提供了参考。

关键词： 区块链   智能合约   零知识证明   Paillier算法   投票协议  

摘要： 针对等权投票机制中存在的公平性缺陷和重放攻击问题,提出一种基于区块链的加密证明方案。首先,将投票流程和规则写入智能合约,包括时间戳和财务激励,以保证投票按时进行。规定每个投票者负责自己的地址密钥生成,构建基于地址公钥的Merkle树来证明投票者身份的合法性且保证交易数据不被篡改。同时利用哈希函数生成随机序列预防重复投票。其次,考虑到最终目的是得到求和结果,利用区块链公告板和Paillier算法加密存储选票,在克服公平性缺陷的同时提升加解密效率。最后,考虑到交易合法性和计算结果准确性问题,利用区块链的不可篡改特性,构造基于zk-SNARK的零知识证明。将需要证明的现实问题转化为特定输出的计算问题,将加密算法从零知识证明电路中抽离,不会泄露验证数据的信息。理论分析和实验结果表明,所提出的方案与已有方案相比显著提高了投票的安全和隐私,且具有更低的时间开销和成本消耗。