Zero Knowledge Proof Derivatives