Mordvinov, R. Systematization of Zero-Knowledge Proof Methods. RT 2025, 38-43.