merkle: added specs