> you think people are trying to add scalability... No, people are trying to have usuable smart contracts
I thunk they are trying to do both, and I think my proposal is the cheapest way to do both proposed so far, and as a result, also the least spammy.
> [they want an] actual smart contract language that is not as awful as BitVM
Bitvm allows you to use any smart contract lamguage you want. Normal devs are not expected to write their programs in binary circuits, that's what compilers are for.
> [bitvm] forces people to use ZKVMs that are far from water tight
I am unfamiliar with this criticism, do you have more details or a link to where I can read more?
