Efficient dynamic provable possession of remote data via balanced update trees | Synapse