可计算的合约:它们是什么?
什么是可计算合约?它们与更流行的智能合约有何不同?
可计算合约一词是指不仅对人类而且对机器均易于理解的所有合约。更准确地说,它们是合约,即使计算机也可以理解其逻辑,从而允许其分析合约并检查合约是否已履行。
因此,它们不是特定类型的合约,但是通常,此定义包括其逻辑可以存储在计算机中以便可以分析,理解和验证的所有那些合约。
可以很容易地猜到,智能合约也必须是可计算合约,但并非所有可计算合约也都是智能合约:这两个定义与区块链和DLT具有相同的关系:就像区块链是DLT的子集一样,智能合约是子集可计算的合约。
实际上,智能合约与其他可计算合约不同的特殊之处在于它们是可自动执行的。
实际上,将智能合约定义为可自我执行的可计算合约是有点强制性的,因为它们实际上只是自动执行交易的计算机程序,尤其是在区块链上的计算机程序。有些人不将其定义为真实合约,而是简单的“可编程货币”。
而更通用的可计算合约类别包括所有可以用术语表述的,可以馈送到计算机的真实合约,而这些合约不一定必须是可自行执行的。
诚然,创建可以被机器理解的合约根本不是一件容易的事,尤其是因为计算机无法在与经验丰富的人相同的概念或符号级别上理解其含义。
它涉及使用计算机语言来创建相关各方都接受的文本或程序,从而使计算机能够可靠地识别合约的各个组成部分。此外,签署合约的同一方必须向计算机提供规则,以合理,一致地对合约承诺的含义做出反应。
这意味着,目前,可计算合约具有一定的局限性。特别是,它们不能过于复杂,也不能涉及需要人工解释的抽象,困难或不确定的法律论点。
通常,在没有重大法律不确定性的情况下,基本上是为计算机提供有关明确定义的主题和确定性标准的合约条款和条件。
此外,计算机无法理解绝大多数传统法律合约,因此不可能采用任何传统合约并将其翻译成机器可理解的语言。
换句话说,仍然很少有可使用的合约可以使用,并且必须为此目的而编写它们,而不是从传统的纸质合约中翻译出来。
但是,由于计算机不仅必须理解它们而且还需要自动运行它们,因此智能合约的子集比可计算合约的子集更为有限,这一点已经显示出巨大的潜力,以至于整个去中心化金融( DeFi)就是基于它们的。
可计算合约后:它们是什么?首先出现在《密码学家》上。