Efficient Non-Interactive Zero-Knowledge Proofs for