No neither of those are it, I'm familiar with those. I believe this would still be the same old Bitcoin, but there will clients that use these proofs to run a lightweight full node without relying on external sources or resorting to a lite wallet model.