Efficient Zero Knowledge Argument For Correctness Of A S Iacr