劳动关系“合约论”及其实践

社会主义劳动关系"合约论"的理论基点在于站在人本主义立场,维护劳动者尊严和人格,对社会主义市场经济条件下的劳动关系作出科学的重新定位。"合约论"赋予劳动者与用人单位(雇主)在市场交易中平等地位和自主产权交易关系。通过建立劳动力产权概念,实事求是地界定劳动者的市场交易关系,使其成为自身利益的产权主体。"合约论"把"以人为本"理念与社会主义劳动关系有机地联系在一起,从思想认识上走出了"主人翁论""联合劳动论""商品论"等理论误区,从而回归科学的认识领域。为了使社会主义劳动关系的"合约"精神得到广泛体现,需要切实维护劳动者和用工单位双方的合法权益,当前和今后一段时期有必要采取一些措施在实践中进行制度体系创新。

双重合约论——基于对外部性的新解释

外部性的新定义是:没有参与订立特定相关合约的其他人所给予上述合约订立人的影响。上述订立的特定相关合约就是内部合约。所谓影响或某种控制,都是经过一致同意达成合约实现的。上述"其他人"不参加内部合约从而不受它控制,但对内部合约订立人产生影响,必定是同内部合约订立人达成了另外的合约即外部合约。上述内外合约组合成双重合约,这是一个普遍存在的事实。在拥有完全退出权的条件下,所有合约包括内外合约,都是每个参与人通过收益成本计算而一致同意达成的,其中包括为降低决策成本而一致同意采取各种授权方式达成的合约。内外合约的联系即相互之间的影响是双向的,其中外部合约作为外部选择点,由于条件的不同,或是可以保障内部合约的达成与稳定,或是可以替代内部合约参与人使其退出并改变内部合约。但上述退出权的实现取决于退出效用是否不小于退出成本。公共选择、合作博弈、讨价还价和一般均衡等理论同样可以解释双重合约。

基于混合语义的切片级智能合约重入漏洞检测

针对现有基于深度学习的漏洞检测方法主要集中在源代码的单一表现形式上,无法完全捕获源代码中包含的丰富语义信息和结构信息,以及大多数方法基于函数粒度,检测样本存在大量与漏洞无关的冗余代码导致检测精度下降的问题,聚焦于智能合约最严重的漏洞之一,即重入漏洞,提出一种基于混合语义的切片级智能合约重入漏洞检测方法SCHyVulDect。根据漏洞特征关键字对智能合约进行切片操作,获得合约切片;构建合约切片的代码图,通过图注意力网络(graph attention network,GAT)提取其深层语义信息。并使用双向长短期记忆网络(bidirectional long-short term memory,Bi-LSTM)和注意力机制,提取切片代码的上下文序列特征,将提取的图结构特征和序列特征进行融合,从而进行漏洞检测。实验结果表明,SCHyVulDect检测重入漏洞的精确率、召回率和F1值分别为96.36%、94.45%、91.70%,比现有的基于深度学习的智能合约漏洞检测方法的精确率提高13.03~18.00个百分点,具有较好的检测效果。

基于数据流图和混合网络模型的智能合约漏洞检测

智能合约控制着区块链上巨额资产的流动,因此确保其安全性至关重要。基于此,提出一种基于数据流图和混合深度学习模型的方法,即DFG-HDP,用于检测智能合约的漏洞。该方法首先对智能合约源码进行清洗和变量规范;其次从源码中提取数据流特征,将其与源码结合作为输入;最后将不同的词嵌入模型与不同的深度学习模型结合,对输入进行学习检测。实验结果表明,该方法在智能合约漏洞检测中的F1值高达89.90%,优于之前的漏洞检测方法CBGRU。这一结果证明了该方法的有效性和优越性。

基于学习合约的过程性评价体系的设计与实施

为改变当前评价滞后于教学、评价形式单一、评价内容局限和反馈模糊的现状,要构建起基于学习合约的过程性评价体系。在实施过程中让学生全程参与,并进行多元评价、可见评价,为学生搭建学习支架,这些举措可以让过程性评价从落地到成长,在潜移默化中规范学生的学习行为,使他们逐渐养成良好的学习习惯,让学生感受到被看见,以更大的热情投入学习中。

智能合约的治理逻辑:法律性质、风险类型、化解路径

智能合约的核心要素在于自治性,与自动化存在本质区别。对于智能合约的法律性质,不能一概而论,应结合其技术特性展开分析,可将其划分为合同型、执行型和单向型。然而,这三种类型分别存在自动执行、兼容性强、去中心化的特点,极易引发一系列交易与安全风险。从法律制度层面予以回应,应明确代码与法律的界限,基于场景划分“强”与“弱”型智能合约,以纾解自动执行条款引发的强制执行风险;确立事先审查机制,确定事后责任主体,以缓解一般条款引发的交易损失风险;建立“弱中心化”平台,明确监管部门权限,以消解去中心化交易条款的监管缺位风险,从而发挥智能合约的科技附加值,促进我国数字经济安全协调发展。

基于双层孪生神经网络的区块链智能合约分类方法

当前通过深度学习方法进行区块链智能合约分类的方法越来越流行,但基于深度学习的方法往往需要大量的样本标签数据去进行有监督的模型训练,才能达到较高的分类性能。该文针对当前可用智能合约数据集存在数据类别不均衡以及标注数据量过少会导致模型训练困难,分类性能不佳的问题,提出基于双层孪生神经网络的小样本场景下的区块链智能合约分类方法:首先,通过分析智能合约数据特征,构建了可以捕获较长合约数据特征的双层孪生神经网络模型;然后,基于该模型设计了小样本场景下的智能合约训练策略和分类方法。最后,实验结果表明,该文所提方法在小样本场景下的分类性能优于目前最先进的智能合约分类方法,分类准确率达到94.7%,F1值达到94.6%,同时该方法对标签数据的需求更低,仅需同类型其他方法约20%数据量。

基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证

为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合约源代码机制,建立智能合约机制模型,同样转换为时间自动机网络模型,并对4种公平性进行形式化描述,再用UPPAAL验证。最后,通过2个经典案例证明了所提方法的可行性和有效性。

一种基于函数依赖的跨合约模糊测试方案

随着区块链应用的快速发展和智能合约的广泛使用,由智能合约引发的安全事件急剧增多,导致基于区块链的数字资产产生了巨大损失。目前,虽然部分工具可以检测智能合约安全漏洞,但是它们主要针对单个智能合约进行检测,未考虑跨合约之间的交互依赖关系,因此会产生较多的误报。针对上述智能合约漏洞检测工具在跨合约场景下误报率较高和性能消耗过大的问题,文章提出一种基于函数依赖的跨合约模糊测试方案FIFuzz。该方案提出ContractRank算法进行合约间依赖关系建模,采用函数重要度来表征函数在合约间交互过程中的重要程度,并在后续模糊测试模块中加以利用。模糊测试通过基于函数重要度的交易序列生成策略和基于合约地址映射关系的地址类型数据生成策略来提高检测效率,缩减跨合约漏洞检测的搜索空间。另外,通过合约调用模拟来降低漏洞检测的假阳性率。与相关工具的对比实验表明,FIFuzz的漏洞检测时间相对其他工具缩短了80%,检测到的漏洞数量是其他工具的两倍,检测跨合约漏洞的准确率也明显高于其他工具。实验结果表明,FIFuzz能够有效提升跨合约漏洞的检测准确率,降低误报率,并减小时间开销。

创业选择中的正式制度作用差异解析--基于合约履行和产权保护的比较分析

完善的正式制度是激活地区创业活力的重要保障。然而,现有研究往往聚焦于整体制度或单一制度展开分析,忽视了不同制度对创业选择的作用机制差异及其潜在复杂效应,这既造成了现有诸多争论的产生,也极大限制了对创业选择中制度影响力的理解。基于制度解绑观点,文章将合约履行制度和产权保护制度视为国家正式制度的两个关键维度,采用分层线性模型对2010-2015年54个国家的355769个劳动力个体样本的检验结果表明,尽管两种制度的改善均有助于提高个体机会型创业可能性,但内在机制的差异却将导致不同制度在特定情境下表现出明显的效应差异。一方面,合约履行制度将在经济发展水平较低地区、对低人力资本个体的机会型创业决策产生更明显促进作用;另一方面,产权保护制度则将在经济发展水平较高地区、对高人力资本个体的机会型创业决策产生更明显促进作用。特别是,作用机制的差异也将导致两种制度对创业决策的共同作用产生潜在抵消效应。上述结论在采用多种稳健性检验后仍保持一致。文章研究结论揭示了对多元制度进行划分是有价值和必要的,有助于推动领域讨论从整体、单一制度的简单分析向多元制度复杂分析的视角转变,并为地方政府根据具体实践促进创业提供一定启示。

基于区块链智能合约的高校三式记账法初探

基于区块链技术(含智能合约)复式记账法可以被发展成三式记账法,这将对我国高校会计工作产生深远的影响。文章先以报销为例说明高校三式记账法流程,三式记账法下可以实现信息几乎全流程的自动处理;再提出新的会计信息系统模型;接着,以科研费为例探讨高校三式记账法的记录方法,并对比复式记账法和三式记账法的计量特点;然后,探讨三式记账法下可供选择的智能合约描述语言,并在改进SPESC的基础上给出了用它描述智能合约的模板,提出了三式记账法的中介、多方、签收、代理、担保、跨链、多分支链等不同模式;最后,总结了三式记账法对高校会计工作中计量、智能合约、管理职能、业务流程、标准化等的影响,并提出了一些建议。

面向物联网的基于智能合约与CP-ABE的访问控制方案

随着物联网设备数量激增,传统的集中式访问控制方案在面对当前大规模物联网环境时显得力不从心,现有的分布式访问控制方案存在高货币成本和处理访问请求的低吞吐量等问题。针对这些问题提出一种区块链智能合约结合密文策略属性基加密(ciphertext policy attribute based encryption,CP-ABE)实现对物联网资源的访问控制方案。以超级账本(Hyperledger Fabric)为底层网络,对功能令牌执行属性基加密,利用星际文件系统(interplanetary file system,IPFS)保存令牌密文,通过智能合约公开令牌获取地址实现一对多授权。进一步设计合约部署到区块链实现对令牌请求的去中心化权限评估,维护主体在特定资源对象上允许的操作,实现更为细粒度的属性访问控制。仿真实验及性能分析表明,所提方案与现有方案相比能够使数据所有者在更短的时间内完成对大量请求主体的安全访问授权,压力测试表明链码具有较好性能。

基于双注意力机制图神经网络的智能合约漏洞检测方法

随着区块链技术的广泛应用,智能合约的内部逻辑越来越复杂。然而,目前大多数智能合约漏洞检测方法存在假阳性率高、检测准确率低等问题。为此,文章提出一种基于双注意力机制图神经网络的智能合约漏洞检测方法,用于智能合约漏洞检测,旨在提升检测的准确性和效率。文章在图卷积网络的卷积层中引入了多头注意力机制,并在特征传播阶段动态计算邻接节点信息对应的注意力权重。该机制使模型在特征聚合时更加关注与当前节点最相关的邻居节点,从而提升对重要特征的辨识能力。在图池化阶段,采用注意力池化机制选择和聚合节点特征,进一步提升对关键节点的关注度,提高了对漏洞检测影响较大特征的识别能力。文章采用以太坊智能合约漏洞样本数据集(ESC)进行实验,实验结果表明,与其他检测技术相比,文章所提方法在识别复杂智能合约漏洞方面具有更快的检测速度和更高的准确性。

合约安排与小农户增收——对“小农户+合作社”体系中三种典型利益联结模式的考察

既有研究独立探讨了小农户与合作社之间多种利益联结模式的各自增收效果,但对于什么样的利益联结模式能够更好地促进小农户增收尚无定论。为此,本文构建了一个集消费与生产于一体的农户模型以分析合约安排与小农户增收的因果关系,并基于CLES(2020—2022年)数据对三种典型利益联结模式的增收效果展开实证检验和比较研究。研究表明:第一,合约安排与小农户增收存在正向因果关系,增收效果从低到高依次为“租地+雇工”模式、合同农业模式和股份合作模式。这一结论在考虑遗漏变量估计偏误、内生性检验、替换样本等一系列稳健性检验之后依然成立。第二,小农户依托合约安排通过土地转出和劳动时间再配置(“租地+雇工”模式)、产品溢价(合同农业模式),以及提升产业价值份额(股份合作模式)等路径实现有效增收。本文研究有效识别了小农户与合作社合约安排的三种典型利益联结模式的增收差异及其作用机制,为实现小农户和现代农业发展有机衔接提供了倾向性增收模式与实现路径的理论支撑。

基于合约熵判决算法的区块链网络DDoS防御优化

为针对多域协同联合防御分布式拒绝服务(DDoS)更有效发挥区块链网络优势,该文提出智能合约熵检测(SCED)算法。基于Hyperledger Fabric区块链架构,首先,通过智能合约技术构建多域协作机制,建立智能合约协作子算法;然后,针对受害域内非法流量IP生成IP黑名单,并通知所有协作域,协同防御DDoS;其次,在各单域内部署由监测、比对、分类及防御模块组成的熵判决防御子算法,检测处理域内非法流量;最后,结合多域智能合约协作和单域熵判决防御,实现区块链网络中受害域、中间域及攻击域协同防御DDoS。仿真结果表明,对比ChainSecure等算法,SCED算法在精度和效率方面有较好的表现。

从碎片化到协同化:利用混币智能合约洗钱犯罪的治理路径

利用混币智能合约洗钱犯罪已逐渐成为虚拟货币洗钱的新趋势,其自动化运行、高效率加密和跨境流通的优势不可忽视。犯罪主体利用混币智能合约技术,将虚拟货币小额化并增加链路复杂度,以最大程度模糊资金流向和清洗痕迹。在去中心化、匿名性、跨境性的影响下,情报信息来源碎片化、犯罪链条碎片化、虚拟货币处分碎片化使得利用混币智能合约洗钱犯罪治理面临困境。为实现从反洗钱工作的碎片化到治理的协同化,应构建跨部门、跨组织、跨区域的三层次协同治理模式。通过推动协同模式的转型,探索公私合作的路径,建立虚拟货币处分机制,提升对利用混币智能合约洗钱犯罪的治理能力。

智能合约格式条款的法律规制

在日新月异的数字化时代,智能合约正如火如荼地发展。智能合约是一种由数字代码形式组成的电子协议,其符合民事合同成立的基本要件。然而,智能合约的缔约方式却不同于一般民商事合同。它并不遵循传统民法中当事人经由个别磋商、讨价还价而议定合同条款之要约与承诺的缔约规则,而是采用一种非常态缔约规则,这使得智能合约具有格式合同的品性。对智能合约格式条款进行法律监管,应立足于现行民事法律法规中关于格式条款的既有规范,再结合智能合约自身独特性,对其予以精准规制。就此而言,对智能合约格式条款的规制应当围绕程序控制、内容控制与行政控制三个方面展开,建构起一个符合智能合约格式条款监管的规范体系。

智能合约运行的风险集群与防治对策

智能合约的合同缔结和履行模式不同于传统合同,加之其运行机制具有特殊性,故而产生了不同的风险集群。在缔约阶段,存在代码语言契合风险、代码语言修正风险、代码语言解释风险等风险集群。在履约阶段,存在合同解除风险、交易透明风险、条件判定风险等风险集群。在技术应用上,存在去中心化结构监管风险、合约代码安全风险、链外信息观测风险等风险集群。在风险防治上,通过事中提示事后救济、层级化区分智能合约、文本合同桥梁等方式,可防范缔约风险集群;通过缩短或限制自动履行机制的期限、保障交易主体的被遗忘权、第三方+机器识别共同观测等方式,可防范履约风险集群;通过建立平台编译人员智能合约当事人三方监管机制、代码自救机制、代码并行化运行与共识协议、限制智能合约运行环境、增加第三方辅助观测等方式,可防范技术风险集群。

分布式光伏场景下的区块链智能合约设计与实现

随着各国对可再生能源关注度的不断提高,分布式光伏作为一种高效、绿色的能源解决方案,受到了广泛重视。区块链因其去中心化、可追溯性、不可篡改等特性,为分布式光伏能源动态共享提供了新的途径。为了探索区块链技术在分布式光伏交易系统中的应用,通过深入分析区块链的核心技术和特性,设计并实现了一套基于区块链的智能合约框架。研究采用了文献综述、系统分析和软件工程等方法,重点开发了身份认证、光伏交易和需求侧响应等智能合约模块,以实现分布式光伏交易的自动化、安全化和隐私保护。研究结果表明,该智能合约框架有效提高了交易效率,降低了交易成本,同时确保了交易过程的透明性和数据的不可篡改性,对促进新能源市场的健康发展具有重要意义。将区块链技术与分布式光伏交易相结合,为解决新能源交易中的信任和隐私问题提供了新的思路和方法。

智能合约下考虑破产风险的保理融资演化博弈分析

数字化推动了供应链金融的变革,其中智能合约技术在保理融资领域展现出独特优势。本文研究供应商、销售商和银行构成的融资链系统,通过演化博弈分析,发现供应商破产风险增加会使其更倾向保理融资,进而影响其他主体策略。银行保理保证金设定影响系统稳定性,适度保证金可激励销售商正常还款,过高则导致系统不稳定。销售商延期还款额外收益低时,最优策略才能实现。因此需要智能合约设定合理滞纳金与保证金,激励正常还款与保理采用,维护融资链长期稳定。研究表明智能合约技术可降低供应商破产风险,增加银行利润与销售商信誉,实现共赢。