為什麼在比特幣上建立真正的 zkRollup 是目前這個領域中最困難的工程問題之一？ 在以太坊上，zkRollups 可以發布證明，並讓鏈上驗證合約檢查其有效性。就像以太坊的 Rollups 一樣，大多數情況下，比特幣的 zkRollup 在鏈下運行得很快。這是理想情況。 但比特幣並沒有那種鏈上證明驗證的功能，因此你不能僅僅發布一個證明並讓比特幣以相同的方式驗證它。這就是為什麼比特幣的 zkRollup 也需要一種“法庭案件”模式來應對最壞情況。這是非理想情況。 如果有人作弊或下線，系統會切換到一個樂觀挑戰過程：比特幣使用預簽名交易和時間限制來強制執行一個預定義的爭議遊戲，直到無效的主張被駁斥或作弊者超時。 這就是為什麼建立這個是困難的：你不僅僅是在建立 Rollup - 你還在設計比特幣實際運行的完整最壞情況執行機制。 這就是 GOAT BitVM2 主網所提供的：一條比特幣可執行的爭議路徑，使安全擴展變得實際可行，同時保持退出在比特幣本身上可執行。 了解我們如何針對非理想情況進行工程設計，請查看我們的新系列，了解 BitVM2 架構 👇