可计算合同：它们是什么？ -密码学家

什么是可计算合约？与更著名的智能合约有什么区别？

可计算合同一词指的是所有这些合同，这些合同除了对人类来说是可理解的之外，对于机器也是可以理解的。更准确地说，它们是合同，其逻辑也可以被计算机理解，以便计算机可以分析它们并检查它们是否得到遵守。

因此，它们不是特定类型的合同，而是所有其逻辑可以存储在计算机中以便其可以分析，理解和验证的合同，通常都属于此定义。

您可以轻松猜到，智能合约必须一定是可计算合约，但并非所有可计算合约也都是智能合约：在这两个定义之间，区块链和DLT之间存在相同的关系：区块链是DLT的子集，智能合约是可计算合约的子集。

实际上，智能合约与其他可计算合约不同的特定特性是可自我执行的。

可以肯定的是，将智能合约定义为自我执行的IT合约有点强迫，因为实际上它们不过是自动执行交易（尤其是在区块链上）的计算机程序。实际上，有些人并没有将后者定义为真实合同，而是将其定义为简单的“可编程货币”。

相反，更通用的可计算合同类别包括所有实际合同，这些术语可以用术语说给计算机，并且不必一定是可以自行执行的。

实话实说，创建??可以由机器真正理解的合同绝非易事，这还因为计算机仍无法在与熟练人员相同的概念或象征意义上理解其含义。

实际上，使用计算机语言来创建相关各方都接受的文本或程序是一个问题，以便还使计算机能够可靠地识别合同的各个组成部分。此外，签订合同的同一方必须向计算机提供规则，以明智且一致地对合同承诺的含义作出反应。

这意味着可计算的合同目前具有一定的局限性，特别是它们不能过分复杂，它们不能涉及需要诉诸于人为解释的抽象，困难或不确定的法律论点。

通常，这基本上是在没有重大法律不确定性的情况下为计算机提供有关明确定义的主题和确定性标准的合同条款和条件的问题。

此外，计算机无法理解绝大多数传统法律合同，因此不可能采用任何传统合同并将其翻译成机器可理解的语言。

换句话说，仍然很少有可以使用可计算合同的领域，这些必须按原样专门编写，并且不能通过经典纸质合同进行翻译。

但是，智能合约的子集虽然比计算机合约更受限制，原因是机器不仅必须理解它们，而且还必须自动执行它们，但事实已经显示出了巨大的潜力，以至于整个分散式金融（DeFi）它基于它们。

—-

原文链接：https://cryptonomist.ch/2020/01/11/computable-contract-cosa-sono/

原文作者：Marco Cavicchioli

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。