Upon receiving all signatures from SM, C firstly checks whether T2 of these signatures are all different. If so it carries out the following Verify algorithm, otherwise it executes the following Trace algorithm.
เมื่อได้รับลายเซ็นจากทั้ง SM , C ก่อนอื่นตรวจสอบว่า T2 ของลายเซ็นเหล่านี้แตกต่างกันทั้งหมด ถ้ามันดำเนินการต่อไปตรวจสอบขั้นตอนวิธี มิฉะนั้นจะรันชุดคำสั่งสืบค้นต่อไป