This answer to How is a node in the middle prohibited from keeping the money in a routed Payment in Lightning network? describes how a Hashed Timelock Contract would be used to exchange the "secret" for a payment. This sounds a lot like the Zero-Knowledge Contingent Payment described by Greg Maxwell.
Would I be correct in assuming that the HTLC would be implemented including a ZKCP?