當金融應用要在鏈上運行時，需要一種方式來協調活動，而不依賴單一機器或單一簽名者。安全性依賴於分佈式。

沒有人有能力單獨推送交易，任何應用都不應該依賴於BTC保證外的單點故障。這也就是驗證者模型的意義。

@ArchNtwrk 驗證者參與評估和簽名智能合約，這些合約在Arch執行環境中快速處理，最終作為交易直接進行結算。

ArchVM是基於eBPF的BTC感知虛擬機，引入了並行執行、獨立狀態和無縫可組合性，這些都是高性能可編程性的必要條件。

Arch使用閾值密碼學驗證這些交易。使用FROST + ROAST閾值簽名方案，需要驗證者的多數共識才能產生有效的BTC簽名。

系統要做的就是把這些交易，準確無誤地映射回比特幣主鏈。

在ArchVM內部放行交易的那批驗證者，本身就持有FROST + ROAST的按份密鑰；一處同意，處處一致。

在ArchVM內部放行交易的那批驗證者，本身就持有FROST + ROAST的按份密鑰；一處同意，處處一致。

狀態更新這塊，使用即時mempool索引器，外加一個DAG來對照追蹤。

如果中途有變，可以使用「回滾 / 重新應用」的機制兜底，確保狀態始終一致。

最終得到的是一套可預期的安全邊界、分擔的責任模型，以及在比特幣上可驗證的結果——鏈上應用可以踏實運轉。