According to Foresight News, Nubit and ZeroSync jointly published a research paper on the formal verification of Bitcoin BitVM. This academic achievement was led by Nubit and completed in collaboration with top institutions such as ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation, Stanford University, and University of California, Santa Barbara, and was funded by Fractal Bitcoin and Starkware. It has established a new technical standard for BitVM, the execution layer of Bitcoin's decentralized trust.
In the paper, the BitVM "one-click verification" mathematical proof mechanism provided by Nubit enables developers, researchers, and users to ensure the security of their use of BitVM without complex encryption knowledge, which is a new step towards the popularization of the Bitcoin ecosystem.
