ChainCatcher 消息,据官方消息,Zulu Network 已经开源了第一个在比特币脚本中实现的 ZKP 验证代码,涉及 Groth16/FFlonk 主流算法,并将代码提交到 BitVM 存储库。
这一成果为构建基于 BitVM2 的去中心化跨链桥奠定了基础,Zulu 的下一个目标是利用跨链技术和 BitVM2 推出一个信任最小化的比特币跨链桥。此前,BitVM 创建者 Robin Linus 曾表示,比特币脚本中的snark验证器是未来比特币发展的一个巨大里程碑。
基于当前的脚本大小,Zulu Network 只需要将整个 ZKP 脚本拆分为不到 2000 个子脚本。“我们非常感谢 BitVM 存储库的所有贡献者,包括 Robin Linus, Weikeng Chen 等,我们还要感谢 Andrija Novakov 和 Liam Eagen ,他们的最新论文‘On Proving pairs’大大减少了整个脚本的大小。”