Towards reducing delegation overhead in replication-based verification: An incentive-compatible rational delegation computing scheme.