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 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— ETHDenver 🏔🦬🦄 (@EthereumDenver) February 24, 2025
Push-Button Verification for BitVM Implementations by Hanzhi Liu from @nubit_org 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
Full video 👇 pic.twitter.com/DH6xL7wNNu
This content belongs to Newsletters » Computing on Bitcoin #28
░Subscribe To Our Newsletter
