Proofs of replicated storage without timing assumptions · HackerTrans