关键词： 智能合约   自动履行   法律效力   中国法   美国法  

摘要： 作为未来数字文明重要基石的智能合约在区块链金融领域正被越来越多地运用到创新实践之中,智能合约是否具有法律效力已成为学界必须回答的问题。外观表现形式为计算机代码的智能合约从本质上看承载着交易方的意思表示,在合同形式自由原则下,可以被理解为高科技背景下创新的合同书面形式。智能合约五要素结构实现了协议自动履行功能,改变了"履行具有不确定性"的传统合同履行方式。符合当事人意思表示的智能合约自动履行具有合法性,但需审查机器意思与当事人意思表示是否相符、机器意思与法律规定是否相符。中美两国都有接受智能合约的法理及法律基础,美国立法和司法先行于中国,在美国法的启示下,中国法可以明确智能合约的法律效力以回应蓬勃发展的金融科技现实。

关键词： 网络治理   区块链   智能合约   互联网平台   网络言论  

摘要： 嵌入智能合约的区块链某种情况下会成为恐怖组织、色情集团等发布和传播违法有害信息的新通道。由于区块链的匿名性、跨国性及智能合约的智能性、自动执行性,当违法有害信息在链上传播时,不能被修改且难以删除,为链上网络言论治理带来了新挑战。《区块链信息服务管理规定》对区块链平台施加了一系列责任,让平台承担言论管理义务,但赋能的主体责任应清晰且有限,避免网络言论管理的迟滞和空白。因此,应根据链上网络言论和用户的类型,结合区块链内生的分布式架构、共识、加密、共享、穿透、开源的自我治理机制,利用区块链及大数据打造技术驱动型和数据驱动型的监管智能合约,构建网络言论治理的多元共治体系。

关键词： 智能合约   安全漏洞   检测方法   实验分析  

摘要： 随着密码学和通信技术的发展,传统的纸质合约迎来了革命性的改变,基于密码学这种高科技上的数字化合同逐渐崭露头角,智能合约通过程序代码规定合约条款和触发条件,一旦满足出发条件合约便会自行执行。基于对智能合约存在的重入漏洞、整数溢出漏洞、拒绝服务攻击漏洞和时间戳依赖漏洞等安全漏洞进行的总结分析,提出了针对智能合约漏洞的形式化验证、符号执行、静态分析和污点分析等检测方法,并进行了相关的实验分析,最后提出了总结与展望。

关键词： 传统制造业   高科技企业   人工智能   传统产业   区块链   智能合约   去中心化   大数据  

摘要： 区块链具有去中心化、公开透明、不可篡改、可溯源、智能合约等特点,可以安全地存储和高效地共享数据;人工智能则是引擎或"大脑",能够从收集的数据中进行分析和决策。将人工智能与区块链相结合,不仅可以增强区块链的基础架构,还能提升人工智能的潜力。盈盛智创科技(广州)有限公司(以下简称"盈盛科技"或"公司")正是这样一家专注于利用"区块链+人工智能"赋能传统行业转型升级的高科技企业。自成立以来,盈盛科技便一直致力于区块链、大数据、人工智能等新兴技术的研究开发,利用高科技解决传统制造业等各类行业企业的业务和技术痛点,帮助它们创新商业模式,从而在复杂多变的商业环境中获得领先的竞争优势。

关键词： 区块链   5G   物联网   智能合约   私有链   联盟链  

摘要： 从区块链、5G、物联网等技术发展趋势出发,对物流行业发展做出趋势研判,并通过分析目前物流行业的痛点,梳理总结区块链与5G/物联网融合技术在物流行业应用的必要性,提出价值物流时代区块链平台架构及方案,为新一代信息通信技术在物流中的应用提供了重要参考依据。

关键词： 区块链技术   以太坊平台   数据共享   智能合约   数据库  

摘要： 针对目前共享物流应用系统中各用户之间数据信息不协调、共享不足等问题,文中提出了一种基于区块链的物流应用系统数据共享技术,并利用该技术建立了相应的物流数据共享模型。该技术通过以太坊区块链中的节点,将特定时间内系统中的所有物流信息整合到一个数据块中,并产生相对应的"密码",保证了区块链中物流信息的可靠性和安全性。同时利用区块链网络将数据库中存储的信息数据进行发布,实现物流数据的共享与协同。模型测试结果表明,所提出的方法不仅能够准确、快速地实现物流数据的发布与查询,且模型性能也可以满足物流数据的共享需求。

关键词： 区块链   医院财务管理   智能合约  

摘要： 区块链技术具有去中心化、不可篡改性和透明性特征,在保障交易安全性与数据完整性方面发挥重要作用。区块链技术下的“共识机制”有助于防止财务舞弊,“溯源机制”有助于保障医疗资产安全,“智能合约”有助于强化医院预算管理。对此,应构建由区块链数据中心、实时清算服务器、区块链技术资源服务器及区块链财务应用中心组成的医院财务管理平台,为保障医疗资产安全、提升医院财务管理能力奠定良好基础。

关键词： 电子选举   非交互式零知识证明   区块链   智能合约   去中心化  

摘要： 当前电子选举方案主要存在两个矛盾点:一是既要保证选举行为的合法合规性,又要保证选举过程的匿名性;二是既要保证选票信息的隐私保密要求,又要保证选举结果的公众可验证性。针对这些矛盾,提出一种基于以太坊区块链和零知识证明的去中心化的安全电子选举方案。在该方案中,利用非交互式零知识证明算法和区块链去中心化架构设计了选民身份合法性零知识证明和选票合法性零知识证明;利用智能合约和Paillier密码体制实现无需可信第三方计票机构的自动计票。理论分析和模拟实验结果表明,在没有中心信任机构的条件下,该方案满足电子选举安全性要求,可应用于小型社区选举。

关键词： 特种设备   联盟链   智能合约   服务安全   服务隐私  

摘要： 特种特备健康检测监测云平台的建设正在开启整个行业“服务化”的进程,建成之后或将在服务重用、服务沉淀上取得良好的效果。“服务化”带来优势的同时也带来一些挑战,因其需要进行远程服务调用并共享部分行业数据,服务调用过程中的数据安全性以及隐私性保护成为文章关注的焦点。文章提出基于联盟链技术建立特种设备健康检测体系生态,通过联盟链弱中心化的特征以解决服务调用过程中的数据安全及隐私性保护问题,进而一定程度上对服务安全性和隐私性提供保障。

关键词： 区块链   数据管理   智能合约   共享架构   溯源系统  

摘要： 区块链作为一种新兴的技术,由于其去中心化,透明性和不可篡改性而受到广泛关注.对区块链的研究还处于早期阶段,应用程序开发过程中仍然存在大量的数据管理问题,如数据隐私、可伸缩性和延迟.在本文中,我们提出了区块链数据管理的设计模式,即数据隐私保护模式,哈希完整性模式,状态通道模式,帮助开发者易用区块链进行应用开发.上述所有模式都在一个基于区块链的溯源系统——originChain中实现并验证,并对其效果进行了讨论.