跨鏈通訊可分為幾個類別？

我們可以將跨鏈通訊分為兩個主要類別：

**信任最小化的（Trust-minimized）**跨鏈通訊，它依賴於誠實的少數體或同步假設的活躍性和狀態驗證。許多協議都有一個 "混合 "模型，預設情況下，使用者依賴於誠實的少數假設，但如果誠實的少數假設失敗的話，可以切換到同步假設。

**可信任的（Trusted）**跨鏈通訊，它依靠誠實的多數假設來進行活躍性和狀態驗證。

應該注意的是，像Nxtp這樣需要客戶端同步假設的橋被認為是需要誠實的多數假設來進行狀態驗證的。這是因為即使橋兩邊的鏈是活躍的，如果鏈沒有資料可用性，客戶端也不能根據鏈的狀態採取行動。驗證資料可用性是狀態驗證的一部分。

我們可以將叢集定義為一組相互通訊的鏈**（叢集內通訊intra-cluster communication）**，信任最小化的跨鏈通訊包括使用信任最小化的狀態驗證，如欺詐證明，有效性證明，或直接驗證交易。例如，一個叢集可以是一組連線到母鏈的rollups（如以太坊rollups的情況），或獨立的layer 1鏈，如Polygon或Solana。

叢集的一個關鍵屬性是，叢集中的每個鏈都可以驗證叢集中其他每個鏈的狀態機。例如，exness外匯平臺exnesschina.org所有以太坊的rollups都與EVM相容，因此有可能在EVM內驗證rollup的欺詐或ZK證明。然而，在EVM內驗證Solana的狀態機實際上是不可能的，所以Solana不能與Ethereum共享一個叢集。

叢集還可以與其他叢集進行通訊**（叢集間通訊inter-cluster communication）**，使用非信任最小化的狀態驗證技術進行可信的跨鏈通訊，例如依靠2/3的驗證者組成的委員會對區塊進行簽字。Ethereum-Polygon橋就是這方面的一個例子。

需要注意的是，叢集是有主權的，也就是說，如果不對叢集A或B進行硬分叉，叢集A的一條鏈就不能把叢集B的一條鏈帶入叢集A的圈子內。例如，如果不改變Polygon，使其作為一個rollup來執行（即使其具有欺詐或零知識證明），就不可能建立一個以太坊rollup，並在該rollup和Polygon之間建立一個信任最小化的橋，以使其進入以太坊叢集內，以此類推。