在当今的区块链和DLT世界中，“智能合约”一词带有魔术般的气息。似乎所有问题都可以解决，这就是智能合约的本质。当有些事情太困难或系统设计人员无法设计解决方案时，可以通过参考智能合约使一切都变得很好。像胶带或通用腻子一样，损坏的东西现已修复。
但是，SETL的方法是为没有胶带解决方案空间的金融基础设施设计解决方案。本周，SETL发行了SETL Labs产品的v2版本，其中包括合同生成器，这是一种易于使用的智能合同系统，它挑战了竞争对手的复杂性。SETL认为，它具有一个系统，可以通过解决合同框架的核心需求来更全面地实现智能合同的愿景。
本文说明了SETL的方法与金融合同如何紧密联系，并试图揭开其他一些常见方法的神秘面纱-展示它们在哪里无法满足合同中的关键需求，并牺牲了“智能合同”的本质，而代之以深奥的普遍性。
什么是法律合同？
合同是当事方之间产生相互法律义务的协议。也就是说，可以合法执行的义务。所有有效的法律合同都必须具备以下要素才能强制执行：
·报价（我将向您支付1,000个小部件的费用$ 1,000）；
·并接受提供的报价（其他人接受1,000个窗口小部件的$ 1,000）；
·承诺履行（别人说他们将履行）；
·有价值的代价（1,000美元）；
·必须进行表演的时间或事件（从现在起2周内有1,000个小部件）；
·表演的条款和条件（小部件必须为紫色）；和
·性能（交付了1,000个小部件，并向该人支付了$ 1,000）。
在以下情况下，合同可能无效：
·其目的是非法的（例如，谋杀某人的合同）
·双方之间没有相互理解–即他们彼此不了解，也没有见面；还是没有考虑。
最后，在现实世界中，合同可能会被违反。整个金融服务都建立在违约风险之上。从本质上讲，合同是减轻和转移风险的工具。
什么是好的智能合约？
尼克·萨博（Nick Szabo）被公认为“智能合约”一词的发明者。在他的文章“智能合约：他认为，智能合约是自动售货机等嵌入在我们周围世界中的合约，是数字市场的基础。他的愿景是，构建和执行法律合同的要素可以在很大程度上实现自动化。他阐述了一些设计原则。
可观察性–双方观察彼此履行合同义务的能力。
可验证性–一方向仲裁员证明其已履行义务的能力。
优先权–合同细节方面的知识和控制权应仅在履行合同所需的各方之间分配的原则
可执行性并最大程度地减少了执行需求。Nick Szabo认为良好的可观察性和可验证性可以减少强制执行的需要。此外，声誉，内置的激励机制和自我执行的协议有助于良好的可执行性
当然，身份几乎总是存在于这些原则中。只有当双方知道彼此的身份时，声誉才有助于增强其可执行性。有趣的是，他仅将“自我执行”协议视为智能合约的一个要素。在DLT领域，这一特殊原则得到了强调-有时甚至荒唐至极。
计算机程序是合同吗？
在大多数情况下，答案是否定的。程序，无论它运行在节点，笔记本电脑还是智能手机上，都是传递给与输入和输出交互的处理器的一组指令。当然，这对于让我们无休止地交流和娱乐自己非常有用。但是，并非一切都是合同。根据上述特征进行核对，大多数计算机活动都不能描述为承包。
深入了解–代码与合同
有许多使用诸如Solidity之类的语言来构建智能合约的教程。它们通常从“ Hello World”示例开始。这是一个智能合约，在该合约中，您使以太坊返回“ hello world”之类的字符串。后续教程将带用户进入更复杂的示例，如构造待办事项列表。这些虽然是简单的示例，但它们说明了一些基本的东西–为以太坊编写的程序不是在“合同”框架内编写的。它不专门帮助各方达成协议，不协调要约和接受，也不必考虑。
简而言之，Solidity计划不是合同。让我们看一下以太坊上使用最广泛的“合约”，即ERC20。这是六个功能的标准集合，可以调用这些功能来实现令牌系统。符合ERC20的程序将有助于令牌的发行和转移。这些功能看起来都不像法律合同，也没有达到尼克·萨博（Nick Szabo）在他的“智能合同”定义中规定的标准。
实际上，经验丰富的以太坊编码人员已经不再使用“智能合约”一词，而使用了DAPP（即“分布式应用”）一词。并不是说合同不能以“团结”来表示，而是很少有。更重要的是，它不像其他领域特定方法那样适合签约过程（尤其是财务合同）。
心灵会议
这对于建立任何种类的合同都是至关重要的。如果合同的最后一步是履行一组义务，那么开始就是只存在于个人心中的命题。
这种想像的愿望只能通过与其他人的沟通开始成为契约的旅程。因此，有用的订约框架的第一步是建立一个论坛，供其成员寻求协议。最好的论坛是针对特定领域的。寻求修理漏水管道的人在市场上找不到银团贷款。
身份是关键
在缺乏可执行性的情况下，合同没有任何意义。可执行性源自权威，权威本身源自身份。金融合同尤其依赖身份和权威的生态系统，这些生态系统可以协调交付合同结果。复杂的激励机制推动了该系统的发展，其中包括由观察和验证支持的声誉。金融服务中的身份和权限是多层的，
达成交易的艺术
尼克·萨博（Nick Szabo）关于智能合约的思想的主旨是，它们应该无处不在且便宜。那是因为智能地减小了决策的规模。金融服务行业早已认识到标准化的力量。按照这种定义，一种部署框架的特定领域的功能以使参与者专注于关键决策的合同框架比寻求一般性的框架更聪明。
可读性
“代码就是合同”的思想将签约的可能性降低为了解编码的人。那是因为有效的合同需要思想的交流，而思想的表达需要“思想”理解。因此，合同的提出方式对于有效是至关重要的。实际上，合同严格来说是争端解决中可以争论的东西，例如自动售货机。合同是由机器上编写的指令和信息形成的，而不是由执行交易的复杂内部机制组成的。
协议法
接受要约时，合同即告成立。一个好的合同框架需要一种有效的方式来主张要约，并且要使要约被接受。实施必须由当事方观察，并应由当事方和任何仲裁员进行验证。
履行义务
智能合约概念的关键在于它们应该“嵌入世界”。也就是说，它们的实现应该是承载它们的系统的功能。如果人们将“世界”视为一种特定的政治体系，那么法律合同就存在于一个司法管辖区。对于金融交易（世界是资产和金钱的所有权），如果将合同托管在确定所有权的分类帐上，则可以确保实现。
SETL的智能合约
毫无疑问，SETL的方法来自其深厚的金融市场传统。其OpenCSD软件仍然是唯一以区块链为核心的已实施金融市场基础设施。SETL方法的关键在于其智能设计的层。这些层中的每一层在其对谈判，达成协议和履行合同的过程的贡献方式上都根本不同。
该过程从定义身份和权限开始。特别是，SETL围绕用户而非节点建立其框架。将权限和身份绑定到节点（例如在Corda模型中）不仅是技术上不完善的解决方案，而且还不能反映出金融服务如何与多级委派和分区权限一起工作的复杂性。
第二项创新是认识到签订合同的过程是沟通和工作流程的问题，这是一种特殊的计算方式，不需要与账本紧密绑定。SETL在逻辑上将这一元素分开，认识到该过程可能是高度定制的。取而代之的是，它提供了表达协议的协议-但已达成协议。这意味着SETL可以轻松地与现有市场和流程进行对接，并维护已经流行的习俗和隐私模型。
最后，达成协议后，可以使用SETL协议将该协议的条款作为纯智能合约嵌入到分类账结构中。至关重要的是，合同是一个记录了相互义务和条件的数据对象，前提是该义务可以在分类账上自动执行。
比较方式
总结起来，下表列出了另外两种流行的DLT协议的智能合约创建和执行的不同元素；
各方的SETLCordaEthereumIdentitySETL将用户身份与实现全面身份，权限和许可系统的节点分开。身份是一个节点。从技术上讲这很麻烦，并且不便于多方面的许可。没有实质性的身份框架。这消除了可执行性的关键支柱之一。合同形成过程SETL实现了一个消息传递系统，以允许各方之间进行交流而无需施加严格的过程。提出一种易于理解的协议，以表达来自任何来源的协议。提出一种“流”范式，其中事务对象在节点之间传递。技术上很复杂，并且受节点=身份结构的阻碍。不强制进行谈判，也没有任何便利的工具。Web3框架允许外部交互反映到链中。合同表示和可读性合同可以在SETL的合同构建器中构建和检查，该合同构建器可以清楚地显示相互的义务，条件和合同状态，而无需完整的合同可视化或图形化构建器。事务对象可以构成某种可以理解的表示形式的基础。合同以EVM字节码保存。可以使用诸如SolidityContract的专业计算机语言来构造它们，LedgerA合同的表示形式是其状态（json对象），而不是计算机代码。可以由任何参与者将合同声明为分类帐，但必须签署该合同才能达成协议。合同对象表示受条件约束的所有义务，例如当事方签署或同意数据或文档。合同由“合同”（这是Java中的对象和约束定义）的复杂组合表示。 Scala）和事务（即上述流程）。合同是一种状态结构，是改变该状态结构的功能的集合。通常，只有懂代码的人才能理解这一点。以太坊上的大多数应用程序根本不是合同-它们是DAPP的组成部分合同履行当条件允许时，分类账将自动履行合同流程被履行的合同包括在将合同生效之前将其传递给指定的公证人没有合同履行框架–只是一种可能引起状态变化的语言。隐私权只有当事方才能看到分类账上的合同代表。谈判过程可以是私有的，条款可以是私有的，只有最小的代表在总账上才能执行合同的参与者必须披露其转移回原始发行资产的完整历史。
毫无疑问，SETL的智能合约方法与现实世界中的合约方法紧密相关。它以金融服务的工作方式为模型，并在很长的历史中得到了发展。
从根本上讲，身份认证的多方面方法与“节点”的技术实现是分开的。SETL提供了用于谈判和合同形成的工具，但更重要的是，它提供了一种表达合同条款的工具，可以很容易地以多种方式访问合同。它没有在其节点结构周围施加任何特定的范例或复杂性。
最后，它向分类帐发布合同，将其作为状态变化的对象，并且可以轻松地以图形或纯文本形式表示。它不希望各方阅读深奥的代码，也不希望将其分类帐用作分布式应用程序的执行平台，而分布式应用程序在很大程度上与智能合约或其他合约无关。
SETL的实施接近尼克·萨博（Nick Szabo）在1996年的文章中表达的智能合约的原始愿景，并且由于SETL已实施了诸如CSD和资金转移代理之类的核心金融基础设施，因此它具有可以嵌入此类合同的“世界”。
