Talk:Witness-indistinguishable proof