# Push Button Verification for BitVM Implementations | Hanzhi Liu - Nubit

- Channel: [Ethereum Denver](https://streameth.org/ethereum-denver)
- Date: 2025-10-09
- Duration: 11:35
- Topics: ETHDenver, Crypto, Web3, Blockchain, Event, Conference, ETHDenver 2025, ETHDenver 2024, Bitcoin, Ethereum
- Watch: https://streameth.org/watch/yt-Pi-fsP-T8jU
- YouTube: https://www.youtube.com/watch?v=Pi-fsP-T8jU

## Description

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! 🌟