君士坦丁堡硬升級中引入了一個新操作碼 CREATE2［1］ ，它使用新的方式來計算常見的合約地址，讓生成的合約地址更具有可控性，通過CREATE2可以延伸出很多新的玩法，這篇文章來探討下，在廣義狀態通道中的妙用。

關于合約地址與狀態通道，先科普一下相關知識點。

合約地址如何計算出來的？

在 CREATE2 以前，CREATE指令創建的合約地址是通通過交易發起者（sender）的地址以及交易序號（nonce）來計算確定的。sender 和 nonce 進行 RLP 編碼，然后用 Keccak-256 進行 hash 計算（偽碼）：

keccak256（rlp（［sender， nonce］））

而 CREATE2 指令則主要是根據創建合約的初始化代碼（init_code）及鹽（slat） 生成（偽碼）：

init_code 代碼是用來創建合約的，合約創建完成后將返回運行時字節碼（runtime bytecode）。通常init_code代碼包括合約的構造函數及其參數，以及合約代碼本身。

keccak256（0xff + sender + salt + keccak256（init_code））

CREATE創建的合約地址依賴于一個跟隨交易者發起的交易數量不斷的增長的nonce變量，這種方式很難確定一個未來要部署的合約地址（比如提前使用一個還未部署的合約地址），而使用 CREATE2 只需要確定了創建合約的代碼（init_code）及鹽（slat），則合約地址就是確定的（實際上讓地址變成了對合約代碼的驗證）。

狀態通道

狀態通道由支付通道演進而來，我們先通過一個簡單的例子介紹下支付通道，假設曉娜經常要去樓下的咖啡店喝咖啡，曉娜每次除了支付0.1 eth 咖啡費用之外，還需要支付一筆小費給礦工。為了節約小費，曉娜可以在她與咖啡店之間創建一個支付通道，通過加密簽名可以重復安全的轉移以太幣，而不用支付手續費。曉娜可以這樣做：

1.創建一個支付通道智能合約，并存入20個以太幣（鏈上）。

2.每次買咖啡時簽名一條交易信息給老板，交易信息包含內容有：第幾次購買咖啡、總共要支付多少錢給老板及簽名數據本身。（鏈下）

3.曉娜重復步驟2，而老板任何時候都可以把曉娜的簽名信息發送給鏈上支付通道智能合約，取回資金。

4.曉娜不想喝咖啡了，取回支付通道的余額。

通過這樣的方式，曉娜可以節約大量的手續費。這里例子的代碼可以參考編寫一個簡單的支付通道［2］及simple-payment-channel［3］。本例沒有考慮一些極端條件，在比特幣閃電網絡白皮書［4］ 有關于支付通道詳細的闡述。

狀態通道則可以基于特定應用程序的狀態進行鏈下交互（而不僅僅是支付信息）， 如果可以部署一個游戲合約定義游戲規則并抵押資金，玩家可以在鏈下玩游戲（每進行一步游戲簽名發給對方）， 游戲結束時，只需要把最后的狀態提交給合約，合約進行輸贏判斷，并獎勵。

Force-Move 游戲框架［5］ 就是讓開發者可以模塊化的、可擴展的方式，開發基于狀態通道的的回合制游戲。

廣義狀態通道

感覺才進入主題，廣義狀態通道的意思是，用戶可以用同一個通道做多種不同的事情。剛剛上面介紹的狀態通道，都是基于特定目的的通道，抵押的資金只能根據實現定義好的合約邏輯進行分配，而廣義狀態通道則是使用一個強大的多簽錢包，可以根據其他合約定義的規則來進行資金的分配，從而實現更加通用的目的。

舉個例子：Tiny熊和曉娜擁有一個抵押的資金的多簽錢包，然后定義一個剪刀石頭布的游戲合約，每次輸方向贏方支付1個以太幣，玩游戲可以在鏈下進行，結束后，最終的狀態提交給游戲合約，并觸發多簽錢包根據狀態分配資金。

通過使用 CREATE2，可以在游戲合約不上鏈的情況下進行游戲，因為只要游戲的規則代碼確定了，就可以確定游戲合約的地址，在鏈下就可以基于這個確定的合約地址進行簽名玩游戲，甚至我們根本不需要部署游戲合約，僅僅在有游戲玩家作弊的時候，部署游戲合約進行鏈上仲裁。

如果不能理解上面這一點，就當作剪刀石頭布游戲，Tiny熊和曉娜贏的次數一樣多，這樣誰也不用給對方支付費用，對于鏈上的多簽錢包，相當于什么也沒有發生，這樣也同樣不需要部署游戲合約。

Counterfactual 技術

有一個專門的項目 Counterfactual［6］ 研究廣義狀態通道想想擴容技術，現在中文資料里把 Counterfactual 直譯為“反事實”，非常的晦澀，我認為應該翻譯成“擬上鏈”。為了方便大家閱讀 Counterfactual 相關文檔，對 Counterfactual 相關的術語進行下解釋，這個概念本身有一點“哲學”。

Counterfactual 官方的一個介紹是，在狀態通道中，一個“Counterfactual X” 代表：

?X 可以在鏈上發生，但它并沒有。

?任何參與者都可以單方面使得 X 在鏈上發生。

?參與者們能夠假設“ X 已經在鏈上發生”，并基于此進行其他行動。

Counterfactual 表達為擬上鏈還是比較準確，充分表達了可以上鏈，卻沒有上鏈。

Counterfactual instantiation 是另一個常用術語，通過 Counterfactual instantiation 可以擴展狀態通道的功能， 我把翻譯為擬上鏈實例化，它表示實例化一個并沒有實際上鏈的合約，盡管它沒有上鏈，各方卻都會在假設合約已經被部署上鏈進而進行交互。
來源： 深入淺出區塊鏈技術?