Didn’t read the entire post but I think the characterization of PCP’s is a bit off - some SNARK constructions and STARKs both use PCP’s - using a linear PCP vs a PCP doesn’t impact transparency or proof size, that’s more a function of the commitment scheme