Here is the 12-page technical report version of our paper on Hash-AV.