关键词： Auction智能合约   漏洞   形式化验证   CPN  

摘要： 区块链智能合约是运行在区块链网络中的代码,它能够根据外部环境条件自动执行相应的规则,完成对应的交易和数字资产的转移.Auction合约是一个公开拍卖的智能合约,广泛应用到竞拍、游戏和博彩等行业,吸引了众多用户参与.近年来,该合约暴露出了拒绝服务攻击漏洞,导致很多参与者无法竞拍成功.为此,本文基于CPN模型对Auction合约进行形式化验证,检测漏洞并确定漏洞位置.首先使用CPN中的建模工具分别对Auction合约整体、无攻击操作和有攻击操作进行建模,然后使用CPN中的仿真工具对合约的执行过程进行仿真.结果表明,通过该方法,不仅可以发现和定位Auction合约的逻辑漏洞,而且也可以发现Auction合约语言的局限性.

关键词： 区块链   微电网   电力交易机制   权威证明   智能合约  

摘要： 传统微电网电力交易模式存在中心化、数据不透明等问题,区块链的去中心化、不可篡改、可追溯和无需信任等特点被广泛用于电力交易.当前的研究主要在共识机制、交易机制和隐私保护方面,且大多都需要交易者每周期不断进行报价.本文提出了一种基于权威证明(Proof of Authority,PoA)共识的联盟链无报价电力交易机制,电力消费者无需报价只需预存电费,即可在电费耗尽前基于智能合约自动进行电力交易,资金的结算采用能源代币.最后与其它4种现有区块链电力交易方案进行对比分析,并模拟仿真了5个产消者和5个消费者的电力交易,分析了买卖双方的收益.结果表明本方案让买卖双方同时受益,经济成本更低,共识效率高.

关键词： 扶贫审计   审计方法   区块链   智能合约  

摘要： 脱贫攻坚战作为"三大攻坚战"之一,扶贫审计也必然成为重点审计工作之一。目前扶贫审计过程中存在困难导致审计工作难以高效进行,同时扶贫审计结果公告也发现扶贫工作中尚存诸多问题。区块链作为一种"去中心化"的分布式账本技术,具有高度透明、去信任、可信赖等特征,并以智能合约为核心技术,能有效地应对扶贫审计工作中的困难、提高扶贫审计的效率。因此,本文提出区块链技术的扶贫审计智慧平台框架,并在此基础上探索研究扶贫审计智能化的实现方法,进一步深化审计信息化的研究,推进扶贫审计智慧化建设。

关键词： 区块链   学生评价   人工智能   Ethereum   智能合约  

摘要： 目前学生评价工作透明度不高、公正性不强,根源在于未充分利用互联网思维、技术和模式提升评价质量。文章以区块链技术实现的数据安全共享、AI实现的智能处理为切入点,对学生评价体系进行融合度分析,从应用、技术两方面进行可行性分析,初探设计基于联盟链的学生评价系统,通过Ethereum开发DAPP应用,开拓性整合数据资源,系统性说明EB共识算法,智能合约升级,自毁、隐私数据处理等问题。系统的构造解决了学生数据难共享、易篡改,学生评价不透明、效率低的问题,呈现了“以学生为中心”的教育生态,实现了家庭、高校、用人单位间的无缝衔接,进一步助力学生评价向精确化、信息化、智能化转变。

关键词： 区块链   智能合约   程序代码   合同法制度   意思表示  

摘要： 智能合约是一种借助计算机语言而非传统法律语言表述各项条款的信任机制。区别于传统合同,智能合约所具有的自动可执行性、去中心性、匿名性提高了合同的执行效率,同时也在合同效力判定、合同执行程序以及合同监管方面对现行合同法制度提出了挑战,使得现行合同法对其出现了规制失灵。技术的发展不能脱离法律的监控与协调。在应用和发展智能合约技术的过程中,要坚持以法律为底线和原则,在不对法律作出大幅度调整的基础上,增强现有合同法制度对智能合约的适应性,优化智能合约技术的法律适应性,完善监管体制,促进法律和科技的共同发展。

关键词： 区块链   智能合约   商业机密   共享平台   数据资产   去中心化   信任机制   普惠金融  

摘要： 大家都知道区块链具有很多特性,比如去中心化、多备份、公开透明,数据不可篡改,并且还可以通过智能合约带来联邦制的共识信任机制,通过这种机制进行管理可以极大地加强对数据的保护能力。这次大赛有三道赛题,都是聚焦金融领域的实践应用,第一道赛题是《基于区块链技术的数据资产交易与安全共享平台》,第二道赛题是《保护商业机密的普惠金融监管算法》。第三道赛题是《区块链增信助力小微企业融资像网购一样方便》。

关键词： 区块链   共识协议   智能合约   分布式账本   电子公文   政务信息资源   政务服务  

摘要： 区块链是密码技术应用发展的重要里程碑,其技术特点及优势颠覆了传统管理思维与治理模式,有助于推动信任模式与管理机制的重构与优化,为建立新型的政府数据治理体系提供经验与启示.全面评述了区块链技术的起源、演进、发展和兴起历程,审视其核心思想与设计理念,对其核心技术、要素规则、基础架构分别作了比较与概括;从用例设计角度阐述了区块链技术在机关公文运转、信息资源目录、网上政务服务等政务领域典型场景的应用;总结了区块链技术在政务领域应用的愿景、问题与原因,并提出一些方向性的思考与展望.

关键词： 区块链   反洗钱监管   分布式记账   智能合约   SQL  

摘要： 当前金融业发展日新月异,金融产品及服务层出不穷,区块链技术作为一种分布式记账工具,具有去中心化、防篡改、智能合约等多种优势,区块链在金融行业的应用也不断深化。本文从现实需求出发,对区块链技术特征进行分析,提出把区块链技术与反洗钱监管结合并应用于实践的建议。

关键词： 区块链   智能合约   民法典   合同法   调整路径  

摘要： 新一代智能合约脱胎于区块链技术,随着其运用范围的不断拓展,人们的交易方式将发生巨大变化,同时也给中国合同领域的法律规则带来了许多挑战。智能合约的本质虽与合同类似,但结合即将生效的《民法典》合同编与总则编的相关内容可以发现,智能合约在意思表示、合同效力、抗辩权,以及合同的履行、变更解除、违约救济等方面都存在与现行法律不同甚至矛盾的地方。要想将智能合约纳入合同编进行调整,需要双管齐下。在智能合约方面,加强技术发展,并配套法定数字货币使之更安全、更规范。在合同法方面,可对意思表示一致做扩大认定,对“要约—承诺”规则进行前置化处理,对智能合约合同生效时间做统一规定,对合约当事方进行一定的反匿名措施,还需对智能合约程序的代理权做区分。应增加相应的救济途径,并对合同对价方式做一定限制。

关键词： 数字版权   区块链   时间戳   哈希值   智能合约  

摘要： 互联网的普及激发了公众的创作热情,催生了内容产业的蓬勃发展,同时,也为知识产权保护带来了一系列棘手的问题。区块链作为一项新的技术手段,一经问世便受到各行各业的广泛追捧,也吸引了版权保护商的目光。文章从数字版权确权、数字版权交易、数字版权维权三个方面探讨区块链应用于数字版权保护的优势以及局限,为数字版权保护提出一些补充建议,以完善区块链技术的不足。