Add Zero-knowledge proofs where applicable