Non-Interactive Zero-Knowledge Proof Systems