I have been reading up on the cell model, and I think I understand how one can define basic things like tokens in it. What I am struggling to understand is how can more complex operations be achieved in such a way that the computation happens off-chain and only the result is verified on-chain. In all the examples I could think of (safe payment, payment channels, etc…) the verification is the only computation that happens. And for things like ZK Layer two solutions it would require zero knowledge support on CKB, right?
It would be great if you could clarify this for me,