See Problem 6.27
exr:merkle
