A quick search led me to this research that talks about why Smart Contracts are not feasible on Plasma. Now I am not sure if this is what you are looking for but have a look and see.
In this post I want to describe my thoughts on why smart contracts are infeasible on Plasma under those assumptions and give an example.
Once data-withholding starts, all contract states and balances have to be considered corrupted, as state transitions during data withholding can not be verified. Subjective data-availability prevents the construction of an efficient exit game.
This is the source:
https://ethresear.ch/t/why-smart-contracts-are-not-feasible-on-plasma/2598