C-D23-P197-CUT

Cut sớm level-14 p=197 ĐÃ KIỂM: nhân chứng D19 phủ nền (0 thời điểm cô đơn ở mức nền) nhưng proper tại level 14 (280 thời điểm cô đơn, đầu tiên tại t=1/14), nên cut sớm Branch B KÍCH HOẠT tại level 14 trước bất kỳ tái dựng CRT nào. Chính xác, tái lập bởi hai verifier

Nói dễ hiểu

Ca kiểm chính xác: phủ p=197 bị loại tại lưới level-14, đúng như yêu cầu, rất lâu trước khi tuple đầy đủ được tái dựng.

Phát biểu chính xác

Cut sớm level-14 p=197 ĐÃ KIỂM: nhân chứng D19 phủ nền (0 thời điểm cô đơn ở mức nền) nhưng proper tại level 14 (280 thời điểm cô đơn, đầu tiên tại t=1/14), nên cut sớm Branch B KÍCH HOẠT tại level 14 trước bất kỳ tái dựng CRT nào. Chính xác, tái lập bởi hai verifier