Thanks to Robin and Jeremy, we now have BitVM3 - an enhanced theoretical version of BitVM2.
This article will not cover the conceptual or protocol details of the BitVM2 Bridge. Readers interested in foundational knowledge can refer to:
BitVM2 Write-up
BitVM2 Paper
Fiamma’s BBBB Blog: introducing the technical details in BitVM2
As shown in Figure 1, when the Operator is challenged, they must submit critical data to Bitcoin via an Assert transaction (highlighted in green). In order to help user could have a better understand on it, we break it down with 3 questions: