ข่าว 
ข้อมูลเหรียญ 
แนะนำสื่อ 
เดวิด ชวาร์ตซ์(David Schwartz) ซีทีโอกิตติมศักดิ์ของริปเปิล(Ripple) เปิดเผยว่าเขาพบเอกสารที่พิสูจน์ความถูกต้องเชิงรูปแบบของอัลกอริทึมฉันทามติของ XRP เลดเจอร์(XRP Ledger, XRPL) แต่จนถึงขณะนี้ยังไม่มีการเปิดเผยตัวเอกสารพิสูจน์จริงหรือผลการตรวจสอบแบบเต็มรูปแบบแต่อย่างใด
ชวาร์ตซ์โพสต์ข้อความบน X เมื่อวันที่ 8 (เวลาท้องถิ่น) ว่า “พบการพิสูจน์ที่ยอดเยี่ยมเกี่ยวกับความถูกต้องเชิงรูปแบบของอัลกอริทึมฉันทามติของ XRPL” พร้อมระบุว่าไม่สามารถโพสต์รายละเอียดทั้งหมดได้เพราะข้อจำกัดความยาวตัวอักษรของ X แต่เขาไม่ได้อธิบายว่าการพิสูจน์นี้ครอบคลุมโมเดลหรือขอบเขตแบบใด
สื่อ U.Today รายงานคำกล่าวของชวาร์ตซ์ดังกล่าว แต่ระบุว่าไม่มีการเปิดเผยเอกสารพิสูจน์ทางคณิตศาสตร์ที่ชัดเจนหรือข้อมูลที่ยืนยันความหมายเชิงปฏิบัติของเรื่องนี้ได้ ดังนั้นการยืนยันจากคำพูดครั้งนี้เพียงอย่างเดียวยังไม่เพียงพอที่จะสรุปได้ว่าอัลกอริทึมฉันทามติทั้งระบบผ่านการตรวจสอบแล้ว
ในวันเดียวกัน มายูคา วาดารี(Mayukha Vadari) วิศวกรของ RippleX เปิดเผยว่าทีมกำลังดำเนินการตรวจสอบเชิงรูปแบบ(formal verification) องค์ประกอบหลักของ XRP เลดเจอร์ โดย RippleX ร่วมมือกับ Common Prefix บริษัทผู้เชี่ยวชาญด้านการตรวจสอบเชิงรูปแบบ เพื่อยืนยันทางคณิตศาสตร์ว่าระบบทำงานตามที่ออกแบบไว้จริงหรือไม่
การตรวจสอบเชิงรูปแบบแตกต่างจากการทดสอบซอฟต์แวร์ทั่วไปที่ใช้วิธีป้อนข้อมูลตัวอย่างเข้าไปทดสอบ วิธีนี้จะแปลงพฤติกรรมของระบบให้อยู่ในรูปแบบโมเดลทางคณิตศาสตร์ก่อน จากนั้นจึงตรวจสอบด้วยกลไกอัตโนมัติว่าคุณสมบัติต่าง ๆ เช่น ความปลอดภัย(safety) ความสอดคล้อง(consistency) และความคงอยู่(liveness) เป็นจริงภายใต้เงื่อนไขที่กำหนดไว้หรือไม่
กระบวนการฉันทามติของ XRP เลดเจอร์คือขั้นตอนที่ผู้ตรวจสอบ(validator) ต่าง ๆ ตกลงกันว่าจะรวมชุดธุรกรรมใดไว้ในเลดเจอร์ถัดไป เมื่อผู้ตรวจสอบยืนยันผลลัพธ์ตรงกัน เลดเจอร์นั้นจะถูกยืนยันสถานะสุดท้ายและใช้เป็นฐานอ้างอิงของบันทึกธุรกรรมต่อไป
วีโต ทูมัส(Vito Tumas) นักพัฒนาของ RippleX เปิดเผยในเอกสารทางเทคนิคที่เผยแพร่เมื่อเดือนธันวาคม 2025 ว่าทีมได้เริ่มดำเนินการร่วมกับ Common Prefix ในการทำให้เอนจินการชำระเงินและโปรโตคอลฉันทามติของ XRP เลดเจอร์อยู่ในรูปแบบทางคณิตศาสตร์ที่ตรวจสอบได้ เอกสารระบุเป้าหมายว่าต้องการพิสูจน์ทางคณิตศาสตร์ในเรื่องความปลอดภัย ความคงอยู่ และความสิ้นสุด(finality) ของกระบวนการฉันทามติ แต่ไม่ได้ระบุว่าการตรวจสอบอัลกอริทึมฉันทามติทั้งระบบเสร็จสิ้นแล้ว
Common Prefix ดูแลข้อกำหนดของระบบชำระเงินของ XRP เลดเจอร์และโค้ดที่เกี่ยวข้องกับการตรวจสอบไว้ในที่เก็บโค้ดสาธารณะ ซึ่งมีโครงการชื่อ ‘rippled-formal-verification’ อยู่ด้วย แต่ยังไม่มีข้อมูลสาธารณะยืนยันว่าการพิสูจน์ที่ชวาร์ตซ์กล่าวถึงเป็นผลลัพธ์ส่วนใดของโครงการดังกล่าว
ในช่วงที่ XRP เลดเจอร์กำลังเพิ่มฟีเจอร์ใหม่อย่างการให้กู้ยืม(lending) และห้องนิรภัยสินทรัพย์เดี่ยว(single-asset vault) RippleX และ Common Prefix กำลังเดินหน้าตรวจสอบเชิงรูปแบบเพื่อยืนยันการทำงานขององค์ประกอบหลักด้วยหลักคณิตศาสตร์ควบคู่กันไป ยิ่งฟีเจอร์ในโค้ดหลักเพิ่มมากขึ้น การทดสอบทั่วไปและการตรวจสอบความปลอดภัยเพียงอย่างเดียวก็ยิ่งยากที่จะครอบคลุมทุกสถานะที่เป็นไปได้ จึงต้องใช้การตรวจสอบเชิงรูปแบบควบคู่ไปด้วย
การตรวจสอบเชิงรูปแบบมักถูกใช้เพื่อค้นหาความแตกต่างระหว่างการทำงานจริงของระบบกับข้อกำหนดทางคณิตศาสตร์ หรือตรวจจับเงื่อนไขข้อยกเว้นที่การทดสอบแบบเดิมมองข้ามไป อย่างไรก็ตาม ระดับความปลอดภัยที่ยืนยันได้จะแตกต่างกันไปตามขอบเขตและเงื่อนไขตั้งต้นของการตรวจสอบแต่ละครั้ง
ก่อนหน้านี้ Common Prefix เคยพบช่องโหว่ที่เกี่ยวข้องกับวิธีจัดการชุดธุรกรรมในกระบวนการฉันทามติของ XRP เลดเจอร์มาแล้ว มูลนิธิ XRP เลดเจอร์(XRP Ledger Foundation) ระบุว่าข้อความจากผู้ตรวจสอบที่ถูกดัดแปลงโดยมีเจตนาร้ายอาจทำให้โหนดผู้ตรวจสอบอื่นล่มได้ และการแก้ไขดังกล่าวได้ถูกนำไปใช้ในเวอร์ชัน rippled 3.0.0 แล้ว
มูลนิธิ XRP เลดเจอร์ยังเปิดเผยว่ากำลังร่วมมือกับ Common Prefix ในการตรวจสอบเชิงรูปแบบและวิเคราะห์ความปลอดภัยของกลไกฉันทามติเช่นกัน ด้าน Common Prefix ก็ออกมายืนยันความร่วมมือนี้อีกครั้งหลังวาดารีประกาศเรื่องดังกล่าว
ทั้งนี้ ยังไม่มีข้อมูลยืนยันความสัมพันธ์เชิงเหตุผลระหว่างคำกล่าวของชวาร์ตซ์ครั้งนี้กับการเปลี่ยนแปลงของราคาหรือปริมาณการซื้อขายของ XRP(XRP) แต่อย่างใด ประเด็นนี้จึงเป็นเรื่องความเคลื่อนไหวเชิงเทคนิคที่ขยายระบบพัฒนาและความปลอดภัยของ XRP เลดเจอร์จากการอิงโค้ดและการทดสอบไปสู่ข้อกำหนดทางคณิตศาสตร์และการตรวจสอบด้วยเครื่องจักรมากกว่าที่จะเป็นปัจจัยขับเคลื่อนราคา XRP โดยตรง
ชวาร์ตซ์เคยแสดงความเห็นเกี่ยวกับเทคโนโลยีและสถานะการถือครองของ XRP เลดเจอร์และริปเปิลมาก่อนหลายครั้ง โดยคำกล่าวก่อนหน้านี้ของเขาเกี่ยวกับสัดส่วนการถือหุ้นในริปเปิลก็ถูกนำมาวิเคราะห์แยกจากปริมาณ XRP ที่เขาถือครองไว้ คำกล่าวครั้งนี้ก็จำเป็นต้องแยกพิจารณาระหว่างคำอธิบายส่วนตัวของเขากับผลลัพธ์ทางเทคนิคที่เป็นทางการเช่นเดียวกัน
สิ่งที่เปิดเผยออกมาในขณะนี้มีเพียงว่าชวาร์ตซ์กล่าวถึงการพบเอกสารพิสูจน์ที่เกี่ยวข้องกับอัลกอริทึมฉันทามติ และ RippleX กับ Common Prefix กำลังดำเนินการแปลงองค์ประกอบหลักของ XRP เลดเจอร์ให้อยู่ในรูปแบบทางคณิตศาสตร์และตรวจสอบอยู่ ส่วนขอบเขตจริงของการพิสูจน์และผลการตรวจสอบด้วยเครื่องจักรว่าผ่านหรือไม่นั้น คงต้องรอให้มีการเปิดเผยผลลัพธ์ที่เกี่ยวข้องออกมาก่อนจึงจะสามารถประเมินได้
ความคิดเห็น 0