Verifying Retrievals for the Filecoin Network