so much zkwasm stuff these days. quick thoughts:

wasm circuits are like 10x more complex to prove, constraint wise. I think wasm is very far out from being usable for zkp’s. you can verify the wasm instead of trying to prove it, which is interesting, but arguably less secure - prove don’t verify!

as a dev if you're going to be building zk apps you're probably better off learning either a new VM (e.g., risczero with rust) or a domain-specific language (e.g., zokrates, noir, cairo, etc.). I think the idea that people that know wasm languages are going to be building zk applications to be somewhat farfetched

i’d also add that correctness of the circuit is a product of how it is written and typically wasm circuits written in rust or c++ are prone to more errors or bugs

verifiable circuits can be audited and inspected by other parties and verification does not need zk proof systems. it's easier to maintain and update the circuit but more resources needed to maintain and audit; imo it balances out so you might as well go with a provable circuit instead