Clarify use of ZK