圍繞EOS進(jìn)行了很多討論，以及為擴(kuò)展性交易一些分權(quán)是否合理。 我想我想更好地理解第2層可擴(kuò)展性解決方案（例如Lightning Network，Raiden）。

特別是，我正在閱讀Sprites和State Channels：比閃電更快的支付網(wǎng)絡(luò) 。

前三個部分非常易讀，讓您可以全面了解州渠道和支付渠道。

本文從第4部分向您介紹如何實際定義狀態(tài)通道，以及如何在狀態(tài)通道之上構(gòu)建付費(fèi)通道。

這是可怕的形式主義開始蔓延的地方。本文使用稱為“通用組合框架”的框架來設(shè)計協(xié)議并分析其安全性。

• 通用可組合安全性：密碼協(xié)議的新范式 。
• 其發(fā)明者Ran Canetii的25個YouTube教程 。

我閱讀了UC論文的介紹（第1部分和第2部分，大約14頁），我認(rèn)為這足以說明Sprites紙本身。

---

如果您剛剛開始了解付款渠道，我強(qiáng)烈建議閱讀Sparky：閃電網(wǎng)絡(luò)的兩頁固體 。

像我是AC程序員一樣解釋通用構(gòu)成

有三種解釋：

• 理想的功能
• 協(xié)議
• 組成

讓我以一種對希望程序員更容易理解的方式解釋它們來屠殺這些想法。

一個理想的功能 （標(biāo)注為is）就像一個頭文件。 它指定了協(xié)議應(yīng)具有的API和安全屬性。

協(xié)議 （標(biāo)記為π ）就像頭文件的實現(xiàn)文件。 在UC術(shù)語中，協(xié)議模擬了理想的功能。 通過“模擬”，這意味著該協(xié)議與理想功能“無法區(qū)分”。 換句話說，測試套件通過。

通用組合定理本質(zhì)上說，在設(shè)計一個協(xié)議時，可以使用理想的功能作為一個子程序，然后用一個實際的協(xié)議π代替滿足

總結(jié)

以上是生活随笔為你收集整理的【译】Understanding Universal Composition Framework and Sprites State Channels的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。