[PPT] - ZKPDL: A Language-Based System for Zero- Knowledge Proofs and PowerPoint Presentation