Verifies (challenge == challenge') && (address == address') where: challenge' := HashToScalar(G^response pk_sig^challenge, pk_sig, pr_sig, address, message)
(&self, address: &Address, message: &[u8])
source not stored for this graph (policy: none)
no outgoing calls