TL;DR -- BitVM2 is complex, but it appears ZK verification on #Bitcoin can be a reality.
With it we can add scale and expressivity to Bitcoin with the least amount of trust possibleβno soft forks needed (but theyβd help!). pic.twitter.com/nIS6JOtiYf