I don't think there's a formal proof, but the idea has certainly been entertained. The scalability trilemma might be what you're looking for: https://multicoin

I don't think there's a formal proof, but the idea has certainly been entertained. The scalability trilemma might be what you're looking for: https://multicoin.capital/2018/02/23/models-scaling-trustless-computation/ https://multicoin.capital/2018/02/23/models-scaling-trustles...