Practical dynamic proofs of retrievability | Synapse