Efficient Zero-Knowledge Proofs of Non-algebraic Statements with Sublinear Amortized Cost.

Zhangxiang Hu, Payman Mohassel, Mike Rosulek

Browse the full CRYPTO paper archive.