合约计量经济学采用真实数据实证检验理论合约,其关键之一是寻找恰当的数据。在这方面,除计量经济学进行实证检验所面临的共同困难以外,合约计量经济学还有其特有的困难。比如,合约的构成要素之一是风险规避度,用什么指标来代表它就是一个不容易解决的问题。因为风险规避度受到能力高低、财富多少、性格特征和心理变化等很多因素的共同影响,其中任何一个单独因素都不能完全解释风险规避行为。要解决这个问题,需要理论经济学家和计量经济学家的共同努力。而且,现实中影响激励合约的各种因素总是交织在一起,这无疑加大了实证研究某一特定因素对合约形式和合约性质的具体影响的难度。现在,合约计量经济学解决这一问题的一种方法是做实验。经济实验能够在有控制的条件下分别展现各单独因素的具体影响。用经济实验获得的实验数据来检验合约理论又属于实验经济学(experimentaleconomics)范畴。可见,合约计量经济学和实验经济学也是交叉的。此外,合约理论提供的抽象模型往往具有复杂的形式,而计量经济学能够检验的模型形式是有限的,如何用计量经济学来检验形式复杂的抽象模型这个问题还有待计量经济学的进一步研究。

合约计量经济学的意义不只局限于实证检验合约理论,而在于推动合约理论的发展。如果合约计量经济学实证验证了抽象的理论合约,那么就确认了合约理论的正确性。相反,如果合约计量经济学的实证研究与抽象理论合约不一致,就会推动合约理论的深入研究,结果会产生新的模型,再接受新的实证检验。比如,针对JensenOMurphy争论,Lazear提出了绩效工资制度的功能不是激励(解决道德风险问题)的观点,而是信息识别(解决逆向选择问题)。如果再次检验仍然不一致,那么又会推动新的研究产生新的模型。如此反复,合约计量经济学对合约理论的不断否定与肯定,会推动合约理论本身的发展与完善。如Chiappori和Salanie(1997)实证研究发现,理论预测的保险合约与实际并不一致,结果引起后来Meza和Webb(2000)、Jullien和Salanie(2001)等人提出了能同时解决道德风险和逆向选择问题的保险合约模型。有时候,这种完善与发展是革命性的。如最后通牒博弈(ultimatum game)、信任博弈(trust game)等一系列经济博弈实验的结果与合约理论预测不一致,促进了合约理论引入博弈局中人经济因素之外的行为心理因素,认为局中人除了具有自私自利偏好外还有社会偏好(social preferences),由此在行为博弈论(behav-ioral game theory)的基础上逐渐形成了行为合约理论(behavioral contract theory),而新的行为合约理论很好地解释了最后通牒博弈等的实验结果。另一方面,检验抽象理论合约模型的种种特殊要求,如数据的获取、变量的选取以及模型的估计等,也会促进计量经济学的研究与发展。总之,合约计量经济学不仅在抽象的合约理论研究与实践应用研究之间架起了一座桥梁,而且在合约理论经济学家和计量经济学家之间架起了一座桥梁,它将同时推动理论研究和实证检验的发展。近年来,博弈论与信息经济学已成为我国经济学研究的一大热点,运用合约理论在建立企业经营者激励机制等方面取得了不少的研究成果。但是,结合我国具体国情的合约计量经济学研究尚未开展。积极进行实证检验,建立符合实际情况和切实能够指导经济实践的合约激励机制,是合约计量经济学今后的重要研究方向之一。 2100433B

作为计量经济学与合约理论交叉形成的一门新兴学科,合约计量经济学虽然还没有形成系统的理论体系,但已经显现出以下特点:

(1)合约计量经济学是计量经济学在检验和发展合约理论方面的具体应用,属于应用计量经济学的范畴。

(2)合约计量经济学并不是计量经济学的简单应用。合约理论给出的理论模型结构往往比较复杂,在进行模型检验时要用到非线性模型和动态模型等非经典模型。

(3)与计量经济学先建立模型再收集数据检验模型的程序不同,合约计量经济学是以合约理论给出的理论模型为前提,用样本数据(包括实际数据和实验数据)来进行拟合(如果拟合度高就验证了合约理论;若拟合效果不好则说明合约理论没有很好地描述实际的合约关系),从而推动合约理论的发展。

(4)对合约理论给出的某些复杂模型,或者要求的特殊数据(如风险规避度),在进行模型检验时必须采用新的理论和方法,从而推动了计量经济学的发展。

(5)合约理论在进行合约关系描述时使用了较多的抽象经济概念(如风险规避度、努力相关度、保留效用、专用人力资本等),用什么样的数据来描述这些经济现象或如何收集这样的数据,是合约计量经济学进行实证检验的前提和关键,也是目前对理论合约的实证检验发展相对滞后的重要原因。

可见,合约计量经济学的基本研究方法是计量经济学;研究目的是检验理论合约是否与实际合约相一致,或者说合约理论能否正确描述和预测现实中的合约关系;研究内容则包括模型转化(即把合约理论的抽象复杂模型转化为计量经济学可以检验的模型)、数据处理(选择恰当的经济指标和收集恰当的数据)和具体的模型检验这三个方面,其中前两个方面是重点。合约计量经济学在运用计量经济学对现实中的合约进行实证检验的同时,也推动了合约理论与计量经济学的共同发展,在不断否定(检验结果表明理论合约与实际合约不一致)和肯定(检验结果表明理论合约与实际合约一致)中促进了经济理论的发展,并加深人们对经济关系与经济发展规律的认识,这正是合约计量经济学作为新兴经济学交叉学科的积极意义所在。

智能合约审计为什么需要安全审核

黑客利用漏洞入侵系统，给智能合约用户造成巨大损失。

所有智能合约均包含关键漏洞

由于智能合约代码中的技术缺陷，导致Dao项目被盗

由于人为错误导致智能合约代码丢失

智能合约的外部审核将有助于识别代码中的错误和漏洞，并检查程序逻辑。

智能合约审计测试方法

为了检查合约的安全性，一般会测试多种攻击，以确保合约是否安全。如重入攻击（Reentrancy attack）、数值溢出（Over and under flows）、重放攻击（Replay attack）、重排攻击（Reordering attack）、短地址攻击（Short address attack）。

智能合约审计审核评定及优化意见

通过智能合约审计来评定项目有以下办法：

1 关键问题（严重，严重）：0

导致资金盗窃，锁定资金访问权限（无法恢复）或导致任何其他资金损失转移给任何一方的漏洞和漏洞；在主网上部署的高优先级不可接受的错误；对所有者，客户或投资者的严重警告。

2 错误，错误和警告（中，低严重性）：0

可能引发合同故障的错误，只有通过手动修改合同状态或完全更换合同才能进一步恢复；缺乏必要的安全预防措施；对所有者和用户的其他警告。

3 优化的可能性（严重性很低）：0

降低智能合约的交易和数据存储成本的可能性。

4 注释和建议（严重性非常低）：0

提示和技巧，所有其他问题和建议以及不影响智能合约功能的错误。

根据审核结论来对区块链中记录统计参数等做出优化建议。

智能合约审计应用场景

DeFi（ Decentralized Finance）领域应用十分宽广。比如shield，提供智能合约和DAPP安全审核、数字金融安全、区块链应用系统的安全性、链平台安全、上链资产调查、威胁情报推送等服务。

“智能合约”区块链项目的重要部分，合约中的漏洞若被作恶者利用，将导致token被盗且往往无法收回，而错误代码的发展历史

• 配套教材

该教材有配套教材——《计量经济学学习指导与EViews应用指南（第2版）》。

• 课程资源

该教材提供电子课件（PPT）、例题与案例分析的EViews9.0工作文件、各章习题数据等课程资源。