PCP Theorem on the Tech Tree