Talk:Proof of secure erasure