Nubit: a new formal verifier announced at ETHDenver
Nubit announces at ETHDenver a formal verifier utilizing a high-level DSL to simplify Bitcoin script and secure off-chain BitVM computations.
Push-Button Verification for BitVM Implementations by Hanzhi Liu from @nubit_org
— ETHDenver 🏔🦬🦄 (@EthereumDenver) February 24, 2025
Discover a formal verifier that uses a high-level DSL to simplify Bitcoin script and secure off-chain BitVM computations.
Full video below 👇🧵 pic.twitter.com/afYHPgEubb
Full video 👇 pic.twitter.com/DH6xL7wNNu
— ETHDenver 🏔🦬🦄 (@EthereumDenver) February 24, 2025