【译】Understanding Universal Composition Framework and Sprites State Channels

围绕EOS进行了很多讨论，以及为扩展性交易一些分权是否合理。 我想我想更好地理解第2层可扩展性解决方案（例如Lightning Network，Raiden）。

特别是，我正在阅读Sprites和State Channels：比闪电更快的支付网络 。

前三个部分非常易读，让您可以全面了解州渠道和支付渠道。

本文从第4部分向您介绍如何实际定义状态通道，以及如何在状态通道之上构建付费通道。

这是可怕的形式主义开始蔓延的地方。本文使用称为“通用组合框架”的框架来设计协议并分析其安全性。

• 通用可组合安全性：密码协议的新范式 。
• 其发明者Ran Canetii的25个YouTube教程 。

我阅读了UC论文的介绍（第1部分和第2部分，大约14页），我认为这足以说明Sprites纸本身。

---

如果您刚刚开始了解付款渠道，我强烈建议阅读Sparky：闪电网络的两页固体 。

像我是AC程序员一样解释通用构成

有三种解释：

• 理想的功能
• 协议
• 组成

让我以一种对希望程序员更容易理解的方式解释它们来屠杀这些想法。

一个理想的功能 （标注为is）就像一个头文件。 它指定了协议应具有的API和安全属性。

协议 （标记为π ）就像头文件的实现文件。 在UC术语中，协议模拟了理想的功能。 通过“模拟”，这意味着该协议与理想功能“无法区分”。 换句话说，测试套件通过。

通用组合定理本质上说，在设计一个协议时，可以使用理想的功能作为一个子程序，然后用一个实际的协议π代替满足