期刊文献+
共找到726篇文章
< 1 2 37 >
每页显示 20 50 100
Electronic Auction Scheme Based on Smart Contract and IPFS 被引量:1
1
作者 WU Xiaohua LIU Huan +1 位作者 WU Fengheng ZHANG Ke 《计算机工程》 CAS CSCD 北大核心 2023年第2期181-190,共10页
Sealed-bid auctions are a vital transaction tool in the e-commerce field.Traditional centralized auction schemes typically result in severe threats to data integrity,information transparency,and traceability owing to ... Sealed-bid auctions are a vital transaction tool in the e-commerce field.Traditional centralized auction schemes typically result in severe threats to data integrity,information transparency,and traceability owing to their excessive reliance on third parties,and blockchain-based auction schemes generally suffer from high storage costs and are deficient in functional and architectural design.To solve these problems,this study presents a sealed-bid auction scheme that removes the third-party based on an Ethereum smart contract,ensuring data integrity,openness,and transparency in the execution process.The commitment mechanism and distributed storage system help to significantly reduce the user’s storage cost and protect the privacy of user bids.For the functional design,this study introduces a fulltext-retrieval and dispute-processing module for commodities,which reduces the defects existing in the functional module design of existing auction systems.Furthermore,a prototype auction system on the Ethereum test chain is built to validate the proposed scheme.Experiments show that compared with traditional storage methods,indirect storage based on a distributed storage system of texts and images can reduce the storage cost by at least 50%while ensuring data integrity.Finally,the gas cost at each stage of the auction scheme and the time required for the full-text retrieval of products are recorded to evaluate the scheme performance and analyze the test results. 展开更多
关键词 sealed bid auction Ethereum smart contract commitment Interplanetary File System(IPFS)
在线阅读 下载PDF
基于Smartcheck的智能合约漏洞分析及其改进策略
2
作者 费佳佳 赵相福 +1 位作者 陈霄汉 张登记 《应用科学学报》 CAS CSCD 北大核心 2024年第6期1027-1039,共13页
Smartcheck是以太坊智能合约的一个典型的静态分析工具,其将基于Solidity语言的智能合约源代码转换为基于XML的中间表示,并依据XPath模式进行检查。虽然Smartcheck能够有效地分析许多安全漏洞,但部分漏洞的分析并不完善且收录的漏洞也... Smartcheck是以太坊智能合约的一个典型的静态分析工具,其将基于Solidity语言的智能合约源代码转换为基于XML的中间表示,并依据XPath模式进行检查。虽然Smartcheck能够有效地分析许多安全漏洞,但部分漏洞的分析并不完善且收录的漏洞也不够完整。针对该问题,本文通过对漏洞原理的深入分析,在时间戳依赖、整数溢出和delegatecall等典型漏洞方面进一步完善了Smartcheck,并实现了一个新的检测工具SmartETH。通过真实大数据集和5份具体合约验证表明,SmartETH能够更好地检测出相关的漏洞,同时减少了大量漏洞的误报和漏报问题。 展开更多
关键词 智能合约 安全漏洞 smartcheck 以太坊 区块链
在线阅读 下载PDF
东北地区乡村人居环境发展体系与建设路径 被引量:2
3
作者 梅洪元 史小蕾 +5 位作者 戴锏 李玲玲 刘滢 陈玉婷 高枫 孟雪 《中国工程科学》 北大核心 2025年第4期210-219,共10页
人居环境建设与乡村发展及振兴密切相关,是当前我国农村现代化建设实践中的一项重要任务。构建多元且科学的东北地区乡村人居环境发展体系,事关区域内广大农民的健康和福祉,有助于东北全面振兴战略在新时期稳步推进。本文从建筑学、地... 人居环境建设与乡村发展及振兴密切相关,是当前我国农村现代化建设实践中的一项重要任务。构建多元且科学的东北地区乡村人居环境发展体系,事关区域内广大农民的健康和福祉,有助于东北全面振兴战略在新时期稳步推进。本文从建筑学、地理学、社会学、经济学、环境学等基础学科视域出发,辨识了人居环境科学的学理基础,提出了东北地区乡村人居环境发展体系理论框架,构建了东北地区乡村人居环境系统。研究认为,统筹产业引擎导向的布局规划、完善“农业-生态”人居载体,强化功能适配导向的模式赋能、建设“梯级-分型”人居系统,推行精明收缩导向的空间重配、构建“集约化中心-适应性边缘”人居格局,是东北地区乡村人居环境的主导发展路径。为此建议,在匹配多序结构的生产环境“人群-产业-空间”规划体系、适应地方发展条件的生活环境“规划-建造-保障”建设体系、多级联动的生态环境“保护-监督-激励”利用体系、适应多元主体需求的文化环境“传承-拓展-夯实”治理体系等方面采取行动,精准提升东北地区乡村人居环境。 展开更多
关键词 东北地区 乡村振兴 人居环境 人地关系 功能适配 精明收缩
在线阅读 下载PDF
基于区块链的去中心化多授权机构访问控制方法 被引量:2
4
作者 刘炜 李淑培 +1 位作者 田钊 佘维 《郑州大学学报(理学版)》 北大核心 2025年第5期46-53,共8页
传统的基于单一授权机构的访问控制方案存在单点故障、效率低下等问题,为此提出一种基于区块链的去中心化多授权机构访问控制方法。首先,采用基于联盟链的多授权机构取代传统访问控制方法中的中心化实体,提供可靠、细粒度的访问控制;其... 传统的基于单一授权机构的访问控制方案存在单点故障、效率低下等问题,为此提出一种基于区块链的去中心化多授权机构访问控制方法。首先,采用基于联盟链的多授权机构取代传统访问控制方法中的中心化实体,提供可靠、细粒度的访问控制;其次,智能合约允许自动化访问判决,为了解决多授权机构带来的访问效率问题,提出一种基于智能合约的数据映射算法,利用数据关键信息构建映射表实现数据快速访问;最后,实验表明,所提出的方案能够有效降低用户访问时延,实现数据访问过程中的安全共享。 展开更多
关键词 访问控制 区块链 智能合约 属性加密 数据共享
在线阅读 下载PDF
基于回声状态网络的智能合约漏洞检测方法 被引量:1
5
作者 刘春霞 徐晗颖 +2 位作者 高改梅 党伟超 李子路 《计算机应用》 北大核心 2025年第1期153-161,共9页
区块链平台上的智能合约是为链上各方提供安全可信赖服务的去中心化应用程序,而智能合约漏洞检测能确保智能合约的安全性。然而,现有的智能合约漏洞检测方法在样本数量不均衡和语义信息挖掘不全面时,会出现特征学习不足和漏洞检测准确... 区块链平台上的智能合约是为链上各方提供安全可信赖服务的去中心化应用程序,而智能合约漏洞检测能确保智能合约的安全性。然而,现有的智能合约漏洞检测方法在样本数量不均衡和语义信息挖掘不全面时,会出现特征学习不足和漏洞检测准确率低的问题,而且,这些方法无法对新的合约漏洞进行检测。针对上述问题,提出一种基于回声状态网络(ESN)的智能合约漏洞检测方法。首先,根据合约图,对不同语义、语法边进行学习,并利用Skip-Gram模型训练得到特征向量;其次,结合ESN和迁移学习,实现对新合约漏洞的迁移扩展,以提高漏洞检测率;最后,在Etherscan平台搜集的智能合约数据集上进行实验。实验结果表明,所提方法的准确率、精确率、召回率和F1分数分别达到了94.30%、97.54%、91.68%和94.52%,与双向长短时记忆(BLSTM)网络、自注意力机制的双向长短时记忆(BLSTM-ATT)相比,所提方法的准确率分别提高了5.93和11.75个百分点,漏洞检测性能更优。消融实验也进一步验证了ESN对智能合约漏洞检测的有效性。 展开更多
关键词 漏洞检测 智能合约 回声状态网络 迁移学习 区块链
在线阅读 下载PDF
基于区块链的版权保护研究综述 被引量:1
6
作者 赵楷 胡煜环 +2 位作者 闫俊桥 毕雪华 张琳琳 《计算机工程》 北大核心 2025年第8期1-15,共15页
区块链作为一种分布式可信数据库,在数字版权保护领域得到有效应用,引起学术界和工业界的广泛关注。传统数字版权保护技术存在侵权追踪难、版权交易复杂、合法权益保护不足等问题,严重制约数字版权保护研究的发展。区块链的防篡改、可... 区块链作为一种分布式可信数据库,在数字版权保护领域得到有效应用,引起学术界和工业界的广泛关注。传统数字版权保护技术存在侵权追踪难、版权交易复杂、合法权益保护不足等问题,严重制约数字版权保护研究的发展。区块链的防篡改、可追溯和去中心化等特性为解决数字版权侵权风险提供了可信、透明和安全的解决思路。首先介绍了区块链技术的基本原理;然后针对传统版权保护方案存在的问题,介绍了区块链结合传统版权保护技术的最新研究成果;接着评估了区块链在实际应用中的效果和潜力,强调其对版权保护体系的积极影响;最后探讨了区块链版权保护面临的挑战和未来发展趋势,以实现更加完善和可持续的区块链版权保护体系。 展开更多
关键词 区块链 数字版权保护 智能合约 密码学 侵权溯源
在线阅读 下载PDF
基于可验证秘密共享与智能合约的隐私保护算法 被引量:1
7
作者 张磊 曹明增 +2 位作者 张成林 何丽丽 纪莉莉 《计算机应用研究》 北大核心 2025年第4期1223-1229,共7页
针对现有用户协作算法存在共谋攻击、背景知识攻击以及用户协作意愿等问题,基于可验证秘密共享与智能合约提出了一种用户协作隐私保护算法(privacy protection algorithm based on verifiable secret sharing and smart contracts,VSS-S... 针对现有用户协作算法存在共谋攻击、背景知识攻击以及用户协作意愿等问题,基于可验证秘密共享与智能合约提出了一种用户协作隐私保护算法(privacy protection algorithm based on verifiable secret sharing and smart contracts,VSS-SCPPA)。该算法首先利用可验证秘密共享算法对用户查询信息进行加密和分裂,并提供系数承诺以验证子秘密数据的完整性。其次,结合智能合约与差分隐私技术设计了一种用户选择算法,构建匿名集。对该算法在抵御串通攻击方面的有效性进行了分析。通过在Geolife与BerlinMOD数据集上的实验,结果显示VSS-SCPPA的隐私保护性更高。与Tr-privacy、Ik-anonymity和GCS相比,VSS-SCPPA的效率分别提高了约86.34%、99.27%和99.19%。VSS-SCPPA在提高隐私保护性的同时显著提升了算法效率,证明了其在用户协作隐私保护中的有效性。 展开更多
关键词 用户协作 可验证秘密共享 智能合约 差分隐私 用户激励
在线阅读 下载PDF
基于多访问控制的智能合约重入攻击防御方法 被引量:2
8
作者 陈虹 谢金彤 +2 位作者 金海波 武聪 马博宇 《信息安全研究》 北大核心 2025年第4期333-342,共10页
为解决智能合约在处理外部合约调用时存在漏洞而导致的重入攻击问题,提出一种基于多访问控制(multiple access controls,MAC)的智能合约重入攻击防御方法.通过采用多访问控制仅允许合约所有者进行调用,并防止函数在执行期间对同一事务... 为解决智能合约在处理外部合约调用时存在漏洞而导致的重入攻击问题,提出一种基于多访问控制(multiple access controls,MAC)的智能合约重入攻击防御方法.通过采用多访问控制仅允许合约所有者进行调用,并防止函数在执行期间对同一事务重复进入;同时修改状态变量存储安全合约地址并更新合约状态.最后使用形式化验证运行经过防御后的智能合约.以银行存取款交易模型为例验证该方法.实验结果表明,采用该防御方法的智能合约能够有效解决外部合约调用时存在的重入攻击问题.相较于其他主流防御方法具有较高的可行性、有效性、逻辑正确性和易理解性;相较于未进行防御的合约,防御后的智能合约在等效内存使用量上减少了64.51%,同时缩短了运行时间. 展开更多
关键词 智能合约 多访问控制 重入攻击 形式化验证 银行存取款
在线阅读 下载PDF
基于双模态交叉注意力机制的智能合约漏洞检测方法 被引量:1
9
作者 陈锦富 胡心怡 +1 位作者 蔡赛华 闵玺润 《通信学报》 北大核心 2025年第6期218-232,共15页
针对智能合约漏洞检测中现有深度学习方法依赖单一模态进行特征提取、对上下文信息捕获不足导致检测准确率较低的问题,提出了一种基于双模态交叉注意力机制的智能合约漏洞检测方法,设计了特定的注意力机制,同时分析合约的源代码和字节码... 针对智能合约漏洞检测中现有深度学习方法依赖单一模态进行特征提取、对上下文信息捕获不足导致检测准确率较低的问题,提出了一种基于双模态交叉注意力机制的智能合约漏洞检测方法,设计了特定的注意力机制,同时分析合约的源代码和字节码,实现源代码中的高级语义特征与字节码中的底层执行流程双向映射和互补增强,丰富特征表示。引入的残差连接有效地保持和传递原始特征信息,缓解深层网络训练中的梯度消失问题。在公开数据集上进行广泛测试,实验结果表明,所提方法相较基线提高了检测准确率2%以上;消融实验结果显示,跨模态特征融合和注意力机制的设计相互协同,显著提升检测性能。 展开更多
关键词 智能合约 漏洞检测 深度学习 双模态 交叉注意力
在线阅读 下载PDF
支持拜占庭容错的分布式物联网访问控制机制 被引量:1
10
作者 柴蓉 艾莉萍 +1 位作者 杨泞渝 梁承超 《通信学报》 北大核心 2025年第4期174-186,共13页
随着物联网的广泛应用,物联网设备承载的数据量迅速增长,数据访问需求显著增加。然而,物联网应用场景复杂多样、设备异构高混杂以及数据高度敏感等特性,给数据的高效管理与安全访问带来了严峻挑战。针对存在拜占庭节点的物联网场景,研... 随着物联网的广泛应用,物联网设备承载的数据量迅速增长,数据访问需求显著增加。然而,物联网应用场景复杂多样、设备异构高混杂以及数据高度敏感等特性,给数据的高效管理与安全访问带来了严峻挑战。针对存在拜占庭节点的物联网场景,研究物联网访问控制技术,提出了一种分层区块链网络架构,包括一个主集群及多个子集群。综合考虑物联网设备的算力及通信速率,定义节点性能度量以确定主集群节点,并基于系统吞吐量优化确定节点关联策略。基于所构建的分层区块链网络架构,设计数据访问控制智能合约,精确刻画访问控制策略的定义、更新、部署和撤销函数。为实现数据访问控制的高效可靠共识,综合考虑系统共识性能与复杂度,提出了一种改进的Paxos-Hotstuff分层共识算法,由主集群节点执行改进式Paxos算法,子集群节点执行Hotstuff算法。仿真结果验证了所提算法的有效性。 展开更多
关键词 物联网 访问控制 区块链 共识算法 拜占庭容错 智能合约
在线阅读 下载PDF
基于合约调用掩盖的区块链隐蔽通信方法
11
作者 佘维 马天祥 +2 位作者 冯海格 田钊 刘炜 《计算机应用》 北大核心 2025年第9期2865-2872,共8页
为解决现有区块链隐蔽通信方案隐蔽性不足、提取隐蔽信息时间过长、隐藏容量较低和应用场景单一等问题,提出一种基于以太坊智能合约与星际文件系统(IPFS)技术的区块链隐蔽通信方法。首先,使用IPFS存储较长的密文,通过链上链下联合存储... 为解决现有区块链隐蔽通信方案隐蔽性不足、提取隐蔽信息时间过长、隐藏容量较低和应用场景单一等问题,提出一种基于以太坊智能合约与星际文件系统(IPFS)技术的区块链隐蔽通信方法。首先,使用IPFS存储较长的密文,通过链上链下联合存储弥补区块链存储效率低且成本高的缺点;其次,引用派生关系和密码本的思想实现秘密信息与通信信息的分离,即上链的为密文hash的索引信息而非密文hash本身,进一步增强安全性;再次,根据索引信息自定义适用的智能合约,并将索引信息伪装成正常的合约调用参数,以保证隐蔽性和安全性,而且合约调用交易的数据字段存储容量较大,能进一步提升交易的信息嵌入量;最后,把群加密技术引入区块链隐蔽通信模型中,以很好地满足多用户交互的场景。实验结果表明,所提方法可进一步提高时间效率和信息嵌入量,极大地提升隐蔽性和安全性,并适用于多接收用户的交互场景。 展开更多
关键词 隐蔽通信 区块链 以太坊 智能合约 派生关系 群加密
在线阅读 下载PDF
基于区块链智能合约的分布式储能系统共享运营策略
12
作者 贾宏杰 唐万鑫 +3 位作者 靳小龙 徐畅 蔡宇翔 林彤 《电力系统自动化》 北大核心 2025年第16期142-152,共11页
随着分布式能源在配电网中的渗透率不断增大,创新的商业模式也随之涌现,如共享电池储能系统。共享储能系统通常由储能用户、能源服务公司、聚合商或储能运营商等多方利益相关者共同投资。这些相关者的利益冲突给共享储能系统的运营和控... 随着分布式能源在配电网中的渗透率不断增大,创新的商业模式也随之涌现,如共享电池储能系统。共享储能系统通常由储能用户、能源服务公司、聚合商或储能运营商等多方利益相关者共同投资。这些相关者的利益冲突给共享储能系统的运营和控制带来巨大挑战。文中提出了一种基于区块链智能合约的去中心化分布式管理框架,利用智能合约技术自动化控制、优化共享储能系统的运营策略。通过建立基于数据处理、决策支持和决策制定等的多层自动化管理框架,并采用智能合约规则集,如最高综合报价和偏好排序选择,调和各方经济利益冲突,实现共享储能系统的最优共享运营。通过对家庭和储能运营商共享电池储能的案例分析,验证了智能合约自动化管理模式的有效性,展示了其在提高能源效率和优化利益相关者经济收益方面的优势。 展开更多
关键词 智能合约 区块链 共享储能 商业模式 分布式能源 配电网
在线阅读 下载PDF
基于T5模型的智能合约漏洞修复研究
13
作者 焦健 陈瑞翔 +2 位作者 贺强 渠开洋 张子怡 《计算机科学》 北大核心 2025年第4期362-368,共7页
针对以太坊智能合约漏洞修复问题,目前的研究主要集中在人工定义模板的方法上。此方法需要开发者具备丰富的专业知识,面对复杂漏洞时修复效果较差。在Solidity智能合约源代码层面,围绕智能合约的漏洞修复技术开展研究。引入机器学习的... 针对以太坊智能合约漏洞修复问题,目前的研究主要集中在人工定义模板的方法上。此方法需要开发者具备丰富的专业知识,面对复杂漏洞时修复效果较差。在Solidity智能合约源代码层面,围绕智能合约的漏洞修复技术开展研究。引入机器学习的漏洞修复方式,设计并实现一个T5模型智能合约漏洞修复系统,解决人工依赖的问题。利用数据爬虫技术和数据增强技术,构建相应T5模型训练数据集。利用机器学习技术,训练智能合约漏洞修复T5模型。通过网络爬虫构建了一个测试数据集,对所提系统进行多角度的性能评估。在合约修复准确率、gas消耗和引入代码量等方面,与TIPS,SGUARD和Elysium等合约漏洞修复工具进行对比。实验结果表明,所提系统修复效果良好,整体性能优于其他漏洞修复工具。 展开更多
关键词 智能合约 区块链 T5模型 机器学习 漏洞修复
在线阅读 下载PDF
基于区块链的MEC环境身份认证与密钥协商
14
作者 邓昀 刘瑾 陈守学 《计算机工程与设计》 北大核心 2025年第7期1959-1966,共8页
针对移动边缘计算环境中存在的边缘安全和用户隐私问题,提出一种基于区块链的轻量级密钥身份认证协议。结合区块链技术和预分配密钥方法,采用椭圆曲线加密算法和哈希消息认证码,解决用户与边缘端之间的相互认证与密钥协商问题。充分考... 针对移动边缘计算环境中存在的边缘安全和用户隐私问题,提出一种基于区块链的轻量级密钥身份认证协议。结合区块链技术和预分配密钥方法,采用椭圆曲线加密算法和哈希消息认证码,解决用户与边缘端之间的相互认证与密钥协商问题。充分考虑边缘服务器低安全性问题,边缘密钥的存储与认证都在区块链完成,通过智能合约实现对密钥的高效安全管理。实验结果表明,该协议不仅满足基本的安全要求,提高了边缘安全性,相对于现有方案还具有一定效率优势。 展开更多
关键词 移动边缘计算 区块链 智能合约 椭圆曲线加密算法 智能移动设备 身份认证 边缘安全
在线阅读 下载PDF
一种基于智能合约预言机技术的主动式去中心化监管传感网络架构
15
作者 刘峰 黄灏 《信息网络安全》 北大核心 2025年第6期898-909,共12页
区块链在外部数据主动获取上存在短板,基于此,文章提出一种基于智能合约预言机技术的主动式去中心化监管传感网络架构(DR-ASNet),并进一步探讨了意见领袖在区块链代币经济中的影响力及其对资产价格的影响。文章采用事件分析法,以马斯克(... 区块链在外部数据主动获取上存在短板,基于此,文章提出一种基于智能合约预言机技术的主动式去中心化监管传感网络架构(DR-ASNet),并进一步探讨了意见领袖在区块链代币经济中的影响力及其对资产价格的影响。文章采用事件分析法,以马斯克(MUSK)在社交媒体上对狗狗币(Dogecoin)的影响为例,分析意见领袖如何通过ICO影响代币资产价格。结果显示,意见领袖能利用社交网络中的资金和数据流量影响代币价格,获得超额回报。基于此,文章设计了结合智能合约与ChainLink预言机的监管框架,实现对代币发行的风险评估和预警。研究为监管机构和企业提供区块链金融产品研发思路,并为相关治理工作提供参考。 展开更多
关键词 区块链 智能合约 主动传感网络 事件研究法 去中心化监管方案
在线阅读 下载PDF
以太坊庞氏骗局智能合约的早期检测方法研究
16
作者 张艳梅 郭思颖 +1 位作者 贾恒越 姜茸 《通信学报》 北大核心 2025年第9期292-306,共15页
以太坊是区块链的典型应用代表,它允许开发者创建和执行智能合约。以太坊技术的迅猛发展在推动智能合约普及的同时,也引发链上安全风险剧增,其中算法驱动的智能庞氏骗局给区块链应用带来了新的安全挑战。为了实现对智能合约庞氏骗局的... 以太坊是区块链的典型应用代表,它允许开发者创建和执行智能合约。以太坊技术的迅猛发展在推动智能合约普及的同时,也引发链上安全风险剧增,其中算法驱动的智能庞氏骗局给区块链应用带来了新的安全挑战。为了实现对智能合约庞氏骗局的早期检测,提出了一种基于图卷积网络(GCN)的检测方法PonziGCN。该方法融合了智能合约的语义特征和控制流图特征,通过提取字节码相似度、操作码频率等语义特征,以及控制流图的基本特征和结构特征,构建了多特征融合的检测框架。实验结果表明,所提方法在精确率、召回率、F值和AUC值等关键性能指标上均表现优异,精确率达到0.982,召回率为0.987,F值为0.978,AUC值为0.983,显著优于现有的算法。特征重要性分析表明,图结构特征和代码中与交易功能相关的操作码频率特征在模型中具有最高的重要性。 展开更多
关键词 以太坊 智能合约 庞氏骗局 图卷积神经网络 控制流图
在线阅读 下载PDF
Solidity到MSVL转换的等价性研究
17
作者 王小兵 常家俊 +2 位作者 李春奕 杨潇钰 赵亮 《软件学报》 北大核心 2025年第9期4006-4035,共30页
智能合约是运行在以太坊区块链上的脚本,能够处理复杂的业务逻辑.大多数的智能合约采用Solidity语言开发.近年来智能合约的安全问题日益突出,为此提出了一种采用时序逻辑程序设计语言(MSVL)与命题投影时序逻辑(PPTL)的智能合约形式化验... 智能合约是运行在以太坊区块链上的脚本,能够处理复杂的业务逻辑.大多数的智能合约采用Solidity语言开发.近年来智能合约的安全问题日益突出,为此提出了一种采用时序逻辑程序设计语言(MSVL)与命题投影时序逻辑(PPTL)的智能合约形式化验证方法,开发了SOL2M转换器,实现了Solidity程序到MSVL程序的半自动化建模,但是缺乏对Solidity与MSVL操作语义等价性的证明.首先采用大步语义的形式,从语义元素、求值规则、表达式以及语句这4个层次详细定义了Solidity的操作语义.其次给出了Solidity与MSVL的状态、表达式和语句之间的等价关系,并基于Solidity与MSVL的操作语义,使用结构归纳法对表达式操作语义进行等价证明,同时使用规则归纳法对语句操作语义进行等价证明. 展开更多
关键词 智能合约 SOLIDITY 程序转换 操作语义 等价性证明
在线阅读 下载PDF
面向联盟链的智能合约行为可信验证机制
18
作者 张建标 康双 +1 位作者 张兆乾 刘德田 《软件学报》 北大核心 2025年第10期4612-4627,共16页
针对联盟链系统中恶意攻击者利用智能合约中的安全漏洞带来的行为不可信问题,提出一种面向联盟链的智能合约行为可信验证机制对合约行为完整性进行可信验证.首先以系统调用作为最小行为单元,以基于系统调用的行为序列描述历史行为状态,... 针对联盟链系统中恶意攻击者利用智能合约中的安全漏洞带来的行为不可信问题,提出一种面向联盟链的智能合约行为可信验证机制对合约行为完整性进行可信验证.首先以系统调用作为最小行为单元,以基于系统调用的行为序列描述历史行为状态,然后在确保合约代码发布和执行环境可信的前提下,在合约运行时根据预期行为规则进行可信验证,最后对该机制进行了理论分析,并在Hyperledger Fabric环境下进行实验评估.结果表明,该方法能够有效实现对智能合约行为的可信验证,能够保障智能合约生命周期内的行为可信. 展开更多
关键词 联盟链 智能合约 可信验证 主动度量
在线阅读 下载PDF
从条款到代码:智能合约的“道德决策”
19
作者 徐文 《中南大学学报(社会科学版)》 北大核心 2025年第2期132-146,共15页
区块链智能合约的去信任化功能无法绝对去除履约过程中失信行为的存在。买卖、保理、委托等弱智能合约因其代码条款的个性化程度高、协商需求程度高而存在大量道德风险因素;人力预言机、第三方预言机与专家预言机在对物理世界的数据进... 区块链智能合约的去信任化功能无法绝对去除履约过程中失信行为的存在。买卖、保理、委托等弱智能合约因其代码条款的个性化程度高、协商需求程度高而存在大量道德风险因素;人力预言机、第三方预言机与专家预言机在对物理世界的数据进行验证的情况下极易诱发道德风险。就智能合约开展道德决策的结构而言,共识层可用于识别道德风险,回滚机制可用于处理道德风险。就智能合约道德决策代码的写作而言:宜以道义主义原则为主,功利主义原则为辅;宜选择包含触发条件、触发后果以及触发后果之间逻辑关系的祈使句类型;宜采用Cicero、CML等合约模型撰写代码条款。就智能合约道德决策代码的运行效果而言,既是意思自治原则下计算美德的体现,也是技术治理优于法律治理的例证。 展开更多
关键词 智能合约 道德决策 代码条款 风险治理
在线阅读 下载PDF
区块链提单数据跨境流动的监管困境纾解——基于“不可能三角”的分析
20
作者 张丽英 苗文卿 《国际贸易》 北大核心 2025年第8期25-35,共11页
基于分布式账本技术,区块链提单依靠点对点、时间戳、智能合约等技术要素为提单数字化转型提供了一个可靠的选择。但无论是技术层面还是规范层面,基于区块链技术的提单设计均对现行提单制度带来较大冲击,数据跨境流动的监管问题正是其... 基于分布式账本技术,区块链提单依靠点对点、时间戳、智能合约等技术要素为提单数字化转型提供了一个可靠的选择。但无论是技术层面还是规范层面,基于区块链技术的提单设计均对现行提单制度带来较大冲击,数据跨境流动的监管问题正是其中的新兴难题之一。鉴于区块链技术的“不可能三角”难题,区块链提单的数据跨境流动无法同时满足去中心化、扩展性和安全性的要求。其监管可能面临三重难题,即数据主权的失控与监管真空、信任危机与中心化治理的回归以及商业效率的折损与可实践性困境。为了真正推动区块链提单广泛化,应当寻求贴合区块链技术本身的监管框架,以“不可能三角”的安全顶点为监管基础,构建监管与去中心化技术的共生性路径,并在此基础上针对各类数据采取层级化、敏捷和谦抑的避险措施。 展开更多
关键词 区块链提单 数据跨境 智能合约 “不可能三角” 数字化
在线阅读 下载PDF
上一页 1 2 37 下一页 到第
使用帮助 返回顶部