Non-Interactive Zero-Knowledge Proofs Courses