proof of initial commit .