I think they mean verifiable. As in, an encryption where you could verify that A*B==C given only the encrypted values of A, B, and C.