Recommend you read about slashing staking and zero-knowledge proofs to understand why this is not a problem at least from theoretical point of view