驗證 #Bitcoin 上的 Groth16 證明過去感覺是不可能的。

電路只能使用一次。數據擴展到 TB 級別。而且你仍然需要額外的 ZKP 來證明電路是誠實的。

#BitVM3 改變了這一點。

它用基於 RSA 的同態加密取代了對稱加密，使混淆電路可重複使用。

混淆電路的證明被最小化。不再有一次性使用的限制。

真正的突破是什麼？

混淆電路中的可重複使用性。

由於 Groth16 重複模乘數千次，BitVM3 將重複的邏輯混淆一次，並在所有 Groth16 電路評估中重複使用它。

鏈下數據需求從 TB 級別降至僅僅 MB 級別。

為什麼這很重要？

🔸輕客戶端可以驗證欺詐證明

🔸 開發者可以將完整的 $ZK 邏輯整合到 rollups、bridges 和原生應用程式中

🔸 協議可以擴展，而不會因鏈下開銷而窒息

BitVM3 將 Groth16 證明驗證帶到現實世界的規模，並使 Bitcoin 上無信任的 #$ZK 最終變得實用。

你希望首先在哪裡看到 BitVM3 的應用？👇

星期一，讓我們 BUIDL！