merkle: added comments and improved specs