Proof Systems for General Statements about Discrete Logarithms 学习笔记