dynamic data set storage proof research