可审计性

跨鏈最大的系統性風險來自“託管式橋”的單點失效，以及“最終性不一致”導致的幽靈負債。

Hemi採取的路徑，是把跨域通信轉化爲可驗證消息傳遞，把資產移動轉化爲結算後的淨額清算，並在協議層把失敗情形納入博弈與懲罰。

首先，Hemi要求跨域消息附帶可獨立驗證的證明，任何接收域在消費消息時都必須先驗證其來源域的有效性與排序位置；其次，資產層面儘量避免“託管+鑄造”的包裝設計，而是通過雙邊會計與淨額交割降低在途價值的暴露時間；