That's cool. I agree the smart contract side is interesting.

Also to see people stretch zkproofs to the very limit in an effort to graft some sort of smart contract modality onto the non-Turing complete Bitcoin chain is a bit of a head-scratcher to me. I do get the security allure, but it's not as if eth is at risk of a 51% attack or something.

Good for the zkproof industry though.