Push Button Verification for BitVM Implementations | Hanzhi Liu - Nubit

Thu, Oct 2, 2025, 12:00 AM

Discover a formal verifier that uses a high-level DSL to simplify Bitcoin script and secure off-chain BitVM computations. 🚀 Get Ready for ETHDenver 2025! 🚀 We're already hard at work preparing for next year's biggest Web3 event! Keep your eyes peeled for more info on ETHDenver 2025—it’s going to be epic! 🌟