R. Mordvinov, “Systematization of zero-knowledge proof methods”, RT, no. 223, pp. 38–43, Dec. 2025.