Towards efficient proofs of retrievability | Synapse