比特幣支持ZK驗證功能的兩種路徑

比特幣作爲一個社會系統長期穩定運行,源於人們在關鍵問題上達成的某種共識。然而,比特幣仍存在一些問題亟待解決,如交易手續費昂貴、匿名性不足等。爲改進這些問題,有兩種可能的路徑:

1. 讓比特幣腳本直接支持SNARK驗證。這需要借助OP_CAT操作碼,而OP_CAT很可能最終會被通過。OP_CAT是一個簡單但功能強大的操作碼,可以讓比特幣腳本變得更強大。它能夠支持驗證Merkle證明,有助於驗證基於FRI的SNARK。雖然OP_CAT的啓用可能會影響某些人的MEV收益,但社區對其達成共識的可能性較大。

2. 基於BitVM的方案。BitVM使得比特幣可以驗證任何計算任務,是無需變更協議來實現SNARK驗證的最佳路徑。它通過Taproot MerkleTree腳本結構和KV存儲方案繞開了比特幣區塊對腳本大小的限制。BitVM需要通過欺詐證明來檢查惡意行爲,如果發現問題可以取走事先質押的資產。

此外,ZeroSync團隊提出的Chain State Proofs也是一個值得關注的技術。它結合ZK,可以證明區塊哈希的有效性,大幅降低運行節點的成本。這項技術不僅可以壓縮比特幣歷史數據的同步與驗證工作量,還是BitVM實現的重要組成部分。

無論選擇哪種方案,比特幣社區的最終目標都是讓產品變得更加實用,支持更多可落地的場景。盡管這些改進不會在短期內實現,但它們代表了比特幣未來發展的重要方向。