ทำไม Pearl จึงเปลี่ยนฉันทามติ 4 ครั้งใน 27,000 บล็อก

สัปดาห์นี้ Pearl ผ่านบล็อก mainnet 99,000 และพร้อมกันนั้นก็เป็นการเปลี่ยนฉันทามติครั้งที่ 4 ใน 27,065 บล็อก สองครั้งเป็นฮาร์ดฟอร์ก (hard fork) และอีกสองครั้งเป็นซอฟต์ฟอร์ก (softfork) ซึ่งสำคัญต่อสิ่งที่นักขุดต้องทำ แต่ไม่เกี่ยวกับเหตุผลที่แต่ละครั้งเกิดขึ้น การอัปเกรด 4 ครั้งในเวลาใกล้กันขนาดนี้ฟังดูเหมือนเชนที่มีปัญหา แต่ความจริงใกล้กับตรงกันข้ามมากกว่า เมื่ออ่านตามลำดับบล็อก นี่ไม่ใช่ 4 ปัญหาแยกกัน แต่เป็นปัญหาเดียวที่ถูกเข้าหาจาก 4 ด้าน และครั้งสุดท้ายก็ปิดมันได้ ความสูง กฎ และเวอร์ชันทุกตัวด้านล่างอ่านจากซอร์สฉันทามติของเชนเอง ไม่ใช่จากประกาศ

Pearl ขอให้นักขุดทำอะไร

เริ่มจากสิ่งที่ Pearl ขอให้นักขุดทำ เพราะถ้าไม่เข้าใจข้อนี้ ส่วนที่เหลือก็ไม่มีความหมาย Pearl เปิด mainnet เมื่อวันที่ 27 เมษายน 2026 เป็น layer 1 ที่รักษาความปลอดภัยของตัวเองด้วยการคูณเมทริกซ์แทนการ hash การคูณนี้คือพีชคณิตเชิงเส้นแบบ dense แบบเดียวกับที่การเทรนและการ inference ของ AI ใช้เวลาเกือบทั้งหมดไปกับมัน ซอฟต์แวร์ขุดรันการคูณเมทริกซ์ที่มี noise บน GPU hash ผลลัพธ์เป็น commitment แล้วห่อหุ้มงานนั้นด้วย zero knowledge proof เพื่อให้เครือข่ายตรวจได้ในราคาถูก ชั้นฐานด้านล่างตั้งใจให้เรียบง่ายไม่หวือหวา เป็นฟอร์กของโหนด btcd ของ Bitcoin เพื่อให้ไอเดียใหม่วางอยู่บนระบบท่อเก่าที่เข้าใจกันดีแล้ว

ทำไมรูปร่างของงานจึงสำคัญ

ทีนี้มาถึงส่วนที่ยากของไอเดียนี้ เมื่องานเป็นการ hash มีวิธีทำอยู่วิธีเดียว และมีตัวเลขเดียวที่บอกว่ามันยากแค่ไหน เมื่องานเป็นการคูณเมทริกซ์ นักขุดต้องประกาศรูปร่างของงานด้วย: เมทริกซ์ใหญ่แค่ไหน และผสม noise แบบ low rank เข้าไปเท่าไร เชนไม่เคยเห็น GPU มันเห็นหลักฐาน และคำอธิบายของงานที่หลักฐานนั้นพูดถึง การอัปเกรดทั้ง 4 ครั้งล้วนเกี่ยวกับคำอธิบายนั้น และเกี่ยวกับการทำให้ทุกส่วนของมันมีต้นทุนในการอ้าง

บล็อก 71,935: ใบรับรอง mixture of experts

ครั้งแรกเป็นฮาร์ดฟอร์กที่บล็อก 71,935 ย้ายหลักฐานจากใบรับรอง v1 ไปเป็น v2 การอัปเกรดนี้ตั้งชื่อตามสิ่งที่ใบรับรองใหม่อธิบายได้: mixture of experts ซึ่งเป็นรูปร่างของการ inference จริงบนโมเดลขนาดใหญ่ ที่ในแต่ละ token จะมี expert เพียงไม่กี่ตัวจากหลายตัวที่ทำงาน รูปแบบหลักฐานที่อธิบายได้แค่การคูณแบบ dense ก้อนใหญ่ก้อนเดียว ก็อธิบายได้แค่ส่วนหนึ่งของสิ่งนั้นเท่านั้น ใบรับรอง v2 ยังมีฟิลด์ที่ v1 ไม่มี คือ noise rank และฟิลด์นั้นคือสิ่งที่ทำให้การอัปเกรดครั้งที่สามเป็นไปได้

บล็อก 91,630: เฉพาะ dense ไปก่อน

ครั้งที่สองเป็นซอฟต์ฟอร์กที่บล็อก 91,630 ซึ่งทำให้ประตูที่เพิ่งเปิดกว้างแคบลงอีกครั้ง: ตั้งแต่บล็อกนั้น เครือข่ายปฏิเสธหลักฐาน mixture of experts และรับเฉพาะแบบ dense ดูเหมือนการถอยกลับ แต่ไม่ใช่ ใบรับรองยังเป็น v2 รูปแบบจึงเก็บทุกอย่างที่ได้มาไว้ สิ่งที่เปลี่ยนคือรูปร่างไหนที่นับในช่วงที่เชนยังใหม่ โปรเจกต์ยังไม่ได้เผยแพร่เหตุผลเรื่องจังหวะเวลา ตรงนี้จึงเป็นจุดที่ผู้อ่านควรได้รับการบอกตามนั้น ไม่ใช่ได้คำเดาที่แต่งตัวเป็นแรงจูงใจ

บล็อก 96,251: rank ไม่ได้เปรียบอีกต่อไป

ครั้งที่สามเป็นซอฟต์ฟอร์กที่บล็อก 96,251 และเป็นครั้งที่มีตัวเลขที่นักขุดรู้สึกได้ rank กำหนดว่าจะผสม noise แบบ low rank เข้าไปในการคูณเท่าไร และก่อนฟอร์กนี้ เป้าหมายที่ share ต้องผ่านจะง่ายขึ้นตามสัดส่วนของขนาด tile คูณความยาว dot product เต็ม การเพิ่ม rank จึงได้เป้าหมายที่ง่ายขึ้นตามสัดส่วน ในขณะที่ GPU ไม่ได้ทำงานจริงมากขึ้นเลย: ปุ่มปรับที่กำหนดว่าการคำนวณเป็นของจริงแค่ไหน ก็เป็นปุ่มเดียวกับที่กำหนดว่าคุณได้รับเงินสำหรับกี่ share ตั้งแต่บล็อกนี้ ขอบเขตเดียวกันถูกปรับด้วยขนาด tile คูณความยาว dot product หารด้วย rank คูณ 128 และ rank ที่ต่ำกว่า 128 จะถูกปฏิเสธทันที สองนิพจน์นี้ต่างกันพอดี 128 หารด้วย rank ผลต่อนักขุดที่ยังใช้การตั้งค่าเดิมจึงเป็นเลขคณิต ไม่ใช่การประมาณ: ที่ rank 256 เป้าหมายยากขึ้นสองเท่าจากเดิมสำหรับงานเท่าเดิม และที่ rank 1024 ยากขึ้นแปดเท่า

การเปลี่ยนฉันทามติที่เข้มงวดขึ้นว่าอะไรนับเป็นงานจริง อาจทำให้ฮาร์ดแวร์บางรุ่นเลิกใช้ได้ด้วย เพราะกฎที่เข้มขึ้นต้องให้ผลตรงกันทุกบิตบนการ์ดใดก็ตามที่ทำงานนั้น GPU รุ่นใดเสียการรองรับ Pearl ไปกับฟอร์กนี้หรือไม่ เป็นคำถามสำหรับบันทึกการปล่อยรุ่นของซอฟต์แวร์ขุดแต่ละตัว ไม่ใช่ของเชน และบทความนี้ไม่ระบุรุ่นใดเลย เพราะซอร์สของเชนไม่ได้พูดอะไรเกี่ยวกับการ์ด แต่ก็ยังเป็นเรื่องที่ควรตรวจก่อนซื้อการ์ดมาขุดเหรียญเดียว

บล็อก 99,000: seed ผูกกับรูปร่าง

ครั้งที่สี่เป็นฮาร์ดฟอร์กที่บล็อก 99,000 เป็นการเปลี่ยนที่เล็กที่สุด และอธิบายผิดได้ง่ายที่สุด noise ที่ซอฟต์แวร์ขุดใช้คูณได้มาจาก Merkle root สองตัวของหลักฐาน ก่อนฟอร์กนี้ root เหล่านั้นถูกใช้ในการคำนวณแบบดิบๆ noise จึงไม่ขึ้นกับขนาดเมทริกซ์ที่หลักฐานผูกมัดไว้ ตั้งแต่บล็อก 99,000 แต่ละ root จะถูกผสมกับขนาดหนึ่งก่อน คือจำนวนแถวสำหรับตัวหนึ่งและจำนวนคอลัมน์สำหรับอีกตัว แล้วจึงรัน seed chain noise แต่ละชุดจึงเป็นของรูปร่างที่ประกาศไว้เพียงรูปร่างเดียว โครงสร้างใบรับรองเหมือน v2 ทุกไบต์ และข้อมูลที่ส่งยังมี root แบบดิบอยู่ มีแค่หมายเลขเวอร์ชันที่เลือกว่าจะใช้วิธีคำนวณแบบไหน นี่คือเหตุผลที่สิ่งเดียวที่นักขุดต้องทำคือใช้ไบนารีใหม่

ทั้ง 4 ครั้งรวมกันแล้วบอกอะไร

วางทั้ง 4 ครั้งเรียงกัน แล้วมันจะพูดประโยคเดียวกันใน 4 แบบ เชนดู GPU ไม่ได้ ทุกสิ่งที่หลักฐานอ้างเกี่ยวกับตัวเองจึงต้องมีต้นทุนในการอ้าง mixture of experts ขยายสิ่งที่หลักฐานอธิบายได้ dense only จำกัดสิ่งที่นับในช่วงที่เชนยังใหม่ rank penalty หยุดไม่ให้ปุ่มปรับหนึ่งในคำอ้างซื้อเป้าหมายที่ง่ายขึ้น salted seed หยุดไม่ให้ noise ชุดเดียวใช้กับรูปร่างที่อ้างได้มากกว่าหนึ่งแบบ เชนใหม่ที่พบปัญหาเหล่านี้ในช่วงไม่กี่เดือนแรกและแก้ได้ภายใน 27,000 บล็อก เป็นสัญญาณที่ดีกว่าเชนใหม่ที่ไม่พบอะไรเลย

ถ้าคุณขุด PRL เรื่องนี้หมายความว่าอะไร

ส่วนที่ใช้ได้จริงสำหรับทุกคนที่ขุด PRL ทั้ง 4 ครั้งเปิดใช้งานที่บล็อกที่กำหนดไว้โดยไม่มีช่วงเปลี่ยนผ่าน และทั้ง 4 ครั้งล้มเหลวแบบเงียบๆ เหมือนกัน: ซอฟต์แวร์ขุดที่ล้าสมัยยังรายงานแฮชเรทที่ดูปกติดี ขณะที่ share ของมันไม่ถูกนับอีกต่อไป ตัวเลขแฮชเรทบนหน้าจอของคุณเองไม่ใช่หลักฐานในวันฟอร์ก ให้ดูจำนวน share ที่ได้รับการยอมรับแทน และอัปเดตก่อนถึงบล็อกนั้น ไม่ใช่หลังจากนั้น ถ้าคุณใช้ merged mining การสูญเสียจะเพิ่มเป็นสองเท่า เพราะ share ของ Pearl ที่ไม่ถูกต้องก็ไม่มีบล็อกของเชนเสริมติดไปด้วย

ฝั่งเรา ทุกครั้งพร้อมใช้งานก่อนถึงบล็อกฟอร์ก สิ่งเดียวที่นักขุดต้องเปลี่ยนจึงเป็นไบนารีของซอฟต์แวร์ขุด ที่อยู่เดิม พอร์ตเดิม กระเป๋าเงินเดิม

ตัวเลขเหล่านี้มาจากไหน

ตัวเลขเหล่านี้มาจากไหน เพื่อให้ทุกคนตรวจได้เองแทนที่จะเชื่อคำพูดของเรา: ความสูงที่เปิดใช้งานทั้ง 4 ครั้ง เวลาบล็อก และเวลาประทับ genesis ของ mainnet อ่านจากพารามิเตอร์เครือข่ายและนิยาม genesis ของเชนเอง กฎ rank และตัวเลข 128 หารด้วย rank อ่านจากการตรวจความสมเหตุสมผล (sanity check) ของตัวตรวจหลักฐาน ซึ่งขอบเขตเก่าและใหม่อยู่ติดกัน ส่วนเวอร์ชันใบรับรองและการคำนวณแบบ salted อ่านจากรูปแบบข้อมูลที่ส่ง (wire format) และโมดูล seed สิ่งใดที่ซอร์สไม่ได้ระบุ ถูกตัดออกจากบทความนี้ ไม่ได้เติมเอง