Diagram of commitment sequence in proof chains