Zulu has open-sourced the ZKP verification code implemented with Bitcoin Script, involving mainstream algorithms Groth16/FFlonk.

according to official sources, Zulu Network has open-sourced the first ZKP verification code implemented in Bitcoin scripts, involving the mainstream algorithms Groth16/FFlonk, and has submitted the code to the BitVM repository.

This achievement lays the foundation for building a decentralized cross-chain bridge based on BitVM2. Zulu's next goal is to launch a trust-minimized Bitcoin cross-chain bridge using cross-chain technology and BitVM2. Previously, BitVM creator Robin Linus stated that the snark verifier in Bitcoin scripts is a significant milestone for the future development of Bitcoin.

Based on the current script size, Zulu Network only needs to split the entire ZKP script into fewer than 2000 sub-scripts. "We are very grateful to all contributors to the BitVM repository, including Robin Linus, Weikeng Chen, and we also want to thank Andrija Novakov and Liam Eagen, whose recent paper 'On Proving pairs' greatly reduced the overall size of the script."