比特幣DeFi擴展面臨分叉困境，開發者正探索零知識證明解決方案

據CoinDesk報道，希望擴展比特幣區塊鏈DeFi功能的開發者可能會考慮零知識證明（ZK proofs），這是一種目前尚未實現的功能，需要通過所謂的軟分叉或新版本的軟件來引入。然而，對於擁有十多年比特幣經驗的資深人士、智能合約操作系統BitcoinOS（BOS）的核心貢獻者Edan Yago來說，這是一個問題。

Yago在接受采訪時表示：「分叉對於一個區塊鏈，尤其是價值2萬億美元的區塊鏈，就如同進行心髒開胸手術。硬分叉顯然問題更多，但我認為引入任何形式的分叉都是充滿風險的。」零知識證明是一種可以在不洩露任何信息的情況下證明陳述的有效性的加密方法，比特幣軟件目前不具備這一功能，但可以通過提議的實施方案（如OP_CAT和OP_CTV）來實現。Yago表示，開發者應該能夠找到在比特幣上啟用零知識證明的方法，而無需任何形式的分叉。他說：「開發者有責任證明，通過巧妙的工程手段，除此之外別無選擇。」

這正是BOS希望通過BitSNARK實現的目標。BitcoinOS現已開源了Yago所稱的「完全生產就緒」的BitSNARK協議，這意味著開發者現在可以在比特幣上進行零知識驗證，並將其連接到其他區塊鏈，如以太坊、Solana和Cardano。