Leopard: Sublinear Verifier Inner Product Argument Under Discrete Logarithm Assumption | IEEE Journals & Magazine | IEEE Xplore