Earlier quoted context omitted.
Shasper[1] "Note: This is an experimental project. Everything will break, and it may disappear without any notice!" (sic). Until we don't see a community working on adversarial attacks, we will not know if it is secure of not. There is concrete research about BFT since 1982. [1] https://github.com/paritytech/shasper
Is your concern that the algorithms involved in schemes like Shasper might not be correct, or that their economic assumptions about attacks might fail? I think it's very unlikely that any of the theoretical ideas behind Shasper are incorrect. Casper itself is simple and comes with a simple proof, and it's similar to an old algorithm by DLS [1], which also comes with a proof. Sharding does introduce some other machine…
When I read the updates about Casper[1] there are plenty of issues presented, so don't sure why you are saying Casper itself is simple.
Fine you are working in the "Sigma Network", we are working with one of the projects mentioned there.