Hu, et al.. Efficient Zero-knowledge Proofs of Non-algebraic Statements with Sublinear Amortized Cost. Springer Berlin Heidelberg, 2015, doi:10.1007/978-3-662-48000-7_8.