Almost Optimal Short Adaptive Non-Interactive Zero Knowledge学习笔记