1、鏈抽象（CA）、意圖和意圖抽象（IA）
鏈抽象和以意圖為中心的解決方案是兩種旨在解決相同基本問(wèn)題的架構(gòu)方法：在異構(gòu)信任域之間實(shí)現(xiàn)自動(dòng)化的異步互操作性。
這兩種方法都引入了「交易方」和「跨鏈證明」的概念來(lái)解決這個(gè)問(wèn)題，但它們?cè)跇?gòu)建這些元素的方式上存在顯著差異：
1）鏈抽象：
鏈為中心的視角：在這種方法中，單一的區(qū)塊鏈充當(dāng)用戶(hù)的「去中心化事件交易方」。
用戶(hù)交互：用戶(hù)與同一個(gè)對(duì)手方——鏈抽象區(qū)塊鏈進(jìn)行交互。
義務(wù)：區(qū)塊鏈及其「協(xié)議內(nèi)的鏈外組件」負(fù)責(zé)為用戶(hù)產(chǎn)生所需的結(jié)果。
證明流程：跨鏈證明的方向始終從鏈抽象區(qū)塊鏈流向目標(biāo)鏈。在目標(biāo)鏈上，通過(guò)證明檢查來(lái)強(qiáng)制執(zhí)行，這允許在目標(biāo)鏈上鑄造或花費(fèi)資源。
用戶(hù)抽象：面向用戶(hù)的抽象通常表現(xiàn)為對(duì)目標(biāo)鏈上計(jì)算或交易的請(qǐng)求。
擴(kuò)展性：擴(kuò)展此系統(tǒng)通常需要一個(gè)通用的證明系統(tǒng)，可以在各種目標(biāo)鏈上進(jìn)行鏈上驗(yàn)證——可能使用 MPC 解決方案。
延遲：延遲由通用證明系統(tǒng)強(qiáng)制執(zhí)行的確認(rèn)規(guī)則決定，并且不因請(qǐng)求而變化。
2）以意圖為中心的解決方案：
狀態(tài)為中心的視角：在這種模型中，一個(gè)開(kāi)放的求解者網(wǎng)絡(luò)充當(dāng)用戶(hù)的「分布式狀態(tài)交易方」。
用戶(hù)交互：用戶(hù)與運(yùn)行時(shí)選擇的對(duì)手方互動(dòng)，通常根據(jù)哪個(gè)對(duì)手方能為用戶(hù)帶來(lái)最佳結(jié)果進(jìn)行選擇。
義務(wù)：無(wú)論通過(guò)信譽(yù)系統(tǒng)還是承諾系統(tǒng)，所選對(duì)手方都有義務(wù)為用戶(hù)交付期望的結(jié)果。
證明流程：跨鏈證明的方向被顛倒，從目標(biāo)鏈流向用戶(hù)的主鏈。在主鏈上，通過(guò)證明檢查來(lái)強(qiáng)制執(zhí)行，這允許在主鏈上使用用戶(hù)的資源。
用戶(hù)抽象：面向用戶(hù)的抽象呈現(xiàn)為對(duì)目標(biāo)鏈上賬戶(hù)狀態(tài)的證明義務(wù)。
擴(kuò)展性：擴(kuò)展性依賴(lài)于一個(gè)可編程的證明檢查系統(tǒng)，支持針對(duì)每個(gè)目標(biāo)鏈的異構(gòu)證明方法，最有可能是「資源鎖定」系統(tǒng)。
延遲：延遲由求解者自行感知的確認(rèn)規(guī)則決定，使其能夠作為對(duì)手方選擇的一部分進(jìn)行優(yōu)化。
2、意圖抽象
如果說(shuō)鏈抽象為用戶(hù)提供了一個(gè)異構(gòu)域執(zhí)行抽象，那么意圖抽象則為求解者提供了一個(gè)異構(gòu)的證明義務(wù)抽象。
正如開(kāi)發(fā)者在跨域計(jì)算執(zhí)行中需要為用戶(hù)組合、編排和引導(dǎo)計(jì)算流程以實(shí)現(xiàn)鏈抽象一樣，在意圖抽象的背景下，他們也需要為求解者組合、編排和引導(dǎo)證明流程。
3、小結(jié)
「鏈抽象」這一概念仍在不斷發(fā)展，涵蓋了從「鏈為中心」到「狀態(tài)為中心」的各種方法。為簡(jiǎn)化討論和便于比較，我在這里將「鏈抽象」定義為「鏈為中心」，這與部分最初的鏈抽象倡導(dǎo)者的架構(gòu)更為一致。
然而，實(shí)際上，許多較新的架構(gòu)結(jié)合了「純鏈為中心」和「純狀態(tài)為中心」模型的元素。
我的觀(guān)點(diǎn)：我認(rèn)為以意圖為中心的方法提供了更好的架構(gòu)方向。它為用戶(hù)提供基于結(jié)果的保障，通過(guò)交易方選擇優(yōu)化結(jié)果狀態(tài)和延遲，并且在定制化目標(biāo)鏈方面更具擴(kuò)展性。
然而，要實(shí)現(xiàn)這一點(diǎn)，需要顛倒證明流程，并將證明義務(wù)放在求解者網(wǎng)絡(luò)上。換句話(huà)說(shuō)，雖然目標(biāo)鏈的復(fù)雜性和異構(gòu)性并不會(huì)消失，但集成負(fù)擔(dān)從鏈上計(jì)算組合的預(yù)設(shè)樞紐，轉(zhuǎn)移到了處理證明組合的鏈外求解者分布式網(wǎng)絡(luò)上。