prove from storage