比特幣支持ZK驗證的兩條路徑:OP_CAT與BitVM

比特幣作爲一個社會系統,其協議變更需要廣泛共識。從誕生至今,比特幣仍面臨着高昂手續費、隱私性不足等問題,亟需改進。然而,修改比特幣協議並非易事。

在不改變比特幣協議的情況下,有兩種可能的方案來實現ZK驗證功能:

1. 啓用OP_CAT操作碼。OP_CAT可以讓比特幣腳本變得更強大,支持驗證Merkle證明,有助於實現基於FRI的SNARK驗證。OP_CAT曾存在於比特幣早期版本中,因此重新啓用的可能性較大。

2. 基於BitVM的方案。BitVM利用Taproot和KV存儲,繞開了比特幣區塊對腳本大小的限制,可以驗證任意計算任務。它通過欺詐證明機制來保證計算的正確性。

此外,ZeroSync團隊提出的Chain State Proofs也值得關注。它結合ZK技術,可以大幅壓縮比特幣歷史數據的同步與驗證工作量,降低運行節點成本。

無論選擇哪種方案,比特幣社區的目標都是在保證安全性的前提下,支持更多可落地的應用場景。雖然這些改進不會在短期內完成,但長遠來看,比特幣引入ZK驗證功能是大勢所趨。