Advances in Zero-Knowledge Proofs: Bridging the Gap Between Theory and Practice [pdf]