验证在#Bitcoin上的Groth16证明曾经感觉是不可能的。

电路只能使用一次。数据扩展到TB级别。而且你仍然需要额外的ZKPs来证明电路是诚实的。

#BitVM3改变了这一点。

它用基于RSA的同态加密取代了对称加密，使乱码电路可重复使用。

乱码电路的证明被最小化。不再有一次性使用的限制。

真正的突破是什么？

乱码电路中的可重用性。

由于Groth16重复模块化乘法数千次，BitVM3对重复的逻辑进行一次乱码处理，并在所有Groth16电路评估中重复使用它。

链下数据需求从TB级别降至仅MB级别。

为什么这很重要？

🔸轻客户端可以验证欺诈证明

🔸 构建者可以将完整的$ZK逻辑集成到rollup、桥和原生应用程序中

🔸 协议可以扩展，而不会因链下开销而窒息

BitVM3将Groth16证明验证带到现实世界的规模，并使在Bitcoin上无需信任的#$ZK最终成为现实。

你希望首先在哪里看到BitVM3的应用？👇

星期一，让我们BUIDL！