I think the point is just that this is a misleading example of zero-knowledge proofs which are meaningful different cryptographically.