Talk:Verification-based message-passing algorithms in compressed sensing