การอัปเกรดระบบครั้งใหญ่ (Hardfork) ที่เน้น Covenant ของ Kaspa ที่กำลังจะเกิดขึ้น: สิ่งที่เราทราบ

Kaspa's Covenant-Centric Hardfork คืออะไร?

ตามที่ กระทู้ของเทราห์ คาสปา กำลังเตรียมการฮาร์ดฟอร์กที่เน้นพันธสัญญา ซึ่งมีกำหนดการดังนี้ การเปิดใช้งานเมนเน็ต ในวันที่ 5 พฤษภาคม 2026 การอัปเกรดจะขยายขอบเขตการใช้งาน ชั้น 1 (L1) ความสามารถในการตั้งโปรแกรมโดยการแนะนำสินทรัพย์ดั้งเดิมและฟังก์ชันข้อตกลงที่ขยายเพิ่มเติม นอกจากนี้ยังวางรากฐานสำหรับ โปรแกรมที่ตรวจสอบได้ (vProgs) และการบูรณาการแบบไร้ความรู้ (ZK)

Kaspa ทำงานบนบล็อกเชนแบบพิสูจน์การทำงาน (proof-of-work) โดยใช้สถาปัตยกรรม blockDAG อัพเกรด Crescendo ในเดือนพฤษภาคม 2025 ได้มีการเพิ่มปริมาณงานเป็น 10 บล็อกต่อวินาที (BPS) ดังนั้น การฮาร์ดฟอร์กที่จะเกิดขึ้นนี้จึงสร้างขึ้นบนพื้นฐานนั้นโดยไม่เปลี่ยนแปลงข้อกำหนดของโหนดหรือหลักการพื้นฐานของกลไกฉันทามติ

นักพัฒนาหลักอธิบายว่าการอัปเดตครั้งนี้เป็นการอัปเกรดแบบจำกัดขอบเขต โดยมุ่งเน้นไปที่การเปิดใช้งานการออกโทเค็นแบบเนทีฟ กฎการใช้จ่ายที่ตั้งโปรแกรมได้ และการตรวจสอบ ZK บนเลเยอร์ 1 

กำหนดการสำหรับการอัปเกรดระบบครั้งใหญ่ (Hardfork) ในวันที่ 5 พฤษภาคม 2026 คืออะไร?

ตามที่เทราห์ได้กล่าวไว้ในกระทู้ มีขั้นตอนสำคัญหลายขั้นตอนก่อนการเปิดใช้งานเมนเน็ต:

• การรีเซ็ต Testnet 12 (TN12): กำหนดการคือต้นเดือนกุมภาพันธ์ 2026 เพื่อสนับสนุนการทดสอบข้อตกลงและสินทรัพย์ดั้งเดิม
   
• การยืนยันลำดับ KIP: คาดว่าจะแล้วเสร็จประมาณวันที่ 12 กุมภาพันธ์ 2026 ข้อเสนอนี้จะนำเสนอข้อผูกพันด้านปริมาณข้อมูลสำหรับผู้ขุด เพื่อเสริมสร้างความเป็นศูนย์กลางแบบเรียลไทม์ให้แข็งแกร่งยิ่งขึ้น
   
• การเปิดตัว SilverScript: ภาษาโปรแกรมระดับสูงสำหรับเขียนโปรแกรมบน Kaspa พัฒนาโดย Ori Newman และผู้ร่วมพัฒนา ช่วยลดความซับซ้อนในการพัฒนาข้อตกลง (covenant development)
   
• การฮาร์ดฟอร์กเมนเน็ต: อาจ 5, 2026

การอัปเกรดหลัง hardfork ประกอบด้วย DAGKnight ซึ่งมุ่งเป้าไปที่กลไกฉันทามติแบบปรับได้และปริมาณงานที่สูงกว่า 100 BPS รวมถึงการใช้งาน vProgs อย่างเต็มรูปแบบ

ทรัพย์สินและข้อตกลงของชนพื้นเมืองในเกาะคาสปาทำงานอย่างไร?

สินทรัพย์ดั้งเดิมบนเลเยอร์ 1

การอัปเดตครั้งนี้ได้เพิ่มสินทรัพย์ดั้งเดิม รวมถึงการรองรับ โทเค็น KRC20สินทรัพย์เหล่านี้มีอยู่บน L1 โดยตรงและสามารถโอนย้ายได้แบบอะตอมิก

การถ่ายโอนอะตอมใช้ได้กับ:

• ข้อตกลงทั่วไปในบรรทัด
• การบังคับใช้ข้อตกลง ZK และข้อตกลงที่ไม่ใช่ ZK
• การโอนโทเค็น KRC20

ข้อตกลงแบบอินไลน์สร้างหลักฐานทันทีภายในกระเป๋าเงินดิจิทัล ไม่มีการแยกส่วนระหว่างข้อมูลธุรกรรมและการเปลี่ยนสถานะ การออกแบบนี้สนับสนุนความเป็นอะตอมิกและการดำเนินการที่แน่นอน

ข้อตกลงเพิ่มเติม (ข้อตกลง++)

ระบบข้อตกลงของ Kaspa ได้รับแรงบันดาลใจจากการวิจัย Bitcoin เกี่ยวกับเงื่อนไขการใช้จ่าย UTXO ที่ตั้งโปรแกรมได้ Covenants++ ขยายระบบนี้เพื่อให้มีกฎการทำธุรกรรมที่แสดงออกได้มากขึ้น

ค้นพบโครงการอันน่าตื่นเต้น...

โครงการอันน่าสัญญา...

(โฆษณา)

บทความต่อ...

กรณีการใช้งานได้แก่:

• ระบบควบคุมความปลอดภัยแบบตู้นิรภัย
• กลไกการฝากเงิน
• การโอนแบบมีเงื่อนไข
• ตรรกะโทเค็นที่มีโครงสร้าง

ระบบนี้ใช้โมเดล UTXO แทนที่จะใช้สัญญาอัจฉริยะแบบบัญชีผู้ใช้เต็มรูปแบบ

CDAG (Computational DAG) คืออะไร?

ฮาร์ดฟอร์กนี้ได้นำเสนอ DAG เชิงคำนวณ (CDAG)). CDAG จะบันทึกการประกาศการอ่านและการเขียนทั้งหมดที่โปรแกรมต่างๆ ทำไว้

โครงสร้างนี้:

• ติดตามการใช้งานทรัพยากร
• ควบคุมความสัมพันธ์ระหว่างโปรแกรมต่างๆ
• บังคับใช้ข้อผูกพันด้านก๊าซ

การออกแบบนี้เทียบได้กับโมเดลการดำเนินการในบล็อกเชน เช่น Solana และ Sui แต่ได้รับการนำไปใช้งานอย่างเต็มรูปแบบภายในสภาพแวดล้อม blockDAG ของ Kaspa

CDAG มีบทบาทสำคัญในการส่งเสริมอำนาจอธิปไตยของ vProgs

vProgs คืออะไร และแตกต่างจาก Smart Contracts อย่างไร?

vProgs คือโปรแกรมอิสระที่ทำงานอยู่นอก L1 ในขณะที่ทำการตัดสินผลลัพธ์บน L1 ผ่านการพิสูจน์

คุณสมบัติที่สำคัญ:

• การประหารชีวิตโดยอำนาจอธิปไตย: แต่ละ vProg จะกำหนดปริมาณงานและกฎการพึ่งพาของตนเอง
• การควบคุมการพึ่งพาโดยใช้แก๊ส: vProg หนึ่งไม่สามารถอ่านสถานะของ vProg อื่นได้ เว้นแต่จะจ่ายค่าแก๊สสำหรับทรัพยากรที่ใช้ไป
• การถ่ายโอนที่ไม่ใช่อะตอม: vProgs ไม่โปร่งใสต่อ L1 ในลักษณะเดียวกับสินทรัพย์ดั้งเดิม การถ่ายโอนเป็นแบบอะซิงโครนัสและไม่ใช่แบบอะตอมิก
• ข้อกำหนด KAS แบบห่อหุ้ม: ข้อตกลงใดๆ ที่ไม่ใช่แบบอินไลน์จะต้องใช้ KAS ที่ห่อหุ้มผ่านบริดจ์แบบแคนอนิก ไม่สามารถใช้ KAS L1 ดั้งเดิมได้โดยตรง

การออกแบบนี้แยกการคำนวณและสถานะออกจาก L1 ในขณะที่ยังคงรักษาลำดับและการชำระบัญชีร่วมกันไว้

ใครควรเป็นผู้สร้าง vProgs?

จากการพูดคุยในชุมชน พบว่านักพัฒนาแอปพลิเคชันทั่วไปส่วนใหญ่อาจไม่จำเป็นต้องใช้ vProgs

อย่างไรก็ตาม vProgs อาจเป็นที่ดึงดูดใจสำหรับ:

• สถาปนิกแอปเชน
• ทีมที่กำลังประเมินระบบแบบรวมข้อมูล
• โครงการสร้างเอเจนต์ AI ที่มีสถานะบนบล็อกเชนขนาดใหญ่
• นักออกแบบระบบเปรียบเทียบสัญญา L1, การรวมสัญญา L2 และโมเดลแบบผสมผสาน

vProgs ผสานรวมการจัดลำดับ L1 แบบรวมเข้ากับสถานะภายนอกและการคำนวณ

ความรู้เป็นศูนย์ (Zero-Knowledge หรือ ZK) มีบทบาทอย่างไร?

ฮาร์ดฟอร์กนี้ได้รวมการตรวจสอบ ZK บน L1 ซึ่งเป็นการต่อยอดจากข้อเสนอเดิม ๆ เช่น คิป-16.

ความสามารถที่รองรับได้แก่:

• การตรวจสอบความถูกต้องของ Groth16
• สะพานเชื่อมต่อที่ไม่ต้องอาศัยความไว้วางใจไปยังระบบ L2
• แอปพลิเคชันที่อาจมุ่งเน้นความเป็นส่วนตัว

แอปพลิเคชันในระยะเริ่มต้นคาดว่าจะทำงานแบบเรียลไทม์ โดยกระเป๋าเงินจะสร้างหลักฐานโดยตรง แม้แต่การใช้งาน ZK ที่อิงตามพันธสัญญาซึ่งพัฒนาโดยผู้มีส่วนร่วม เช่น Hans และ Maxim ก็คาดว่าจะทำงานบนฮาร์ดแวร์ทั่วไปได้ ไม่จำเป็นต้องมีโครงสร้างพื้นฐานสำหรับผู้พิสูจน์หลักฐานเฉพาะทางสำหรับการใช้งานในระยะแรก

แล็ปท็อปทั่วไปสามารถสร้างบทพิสูจน์ได้ภายใต้สมมติฐานปัจจุบัน

โปรแกรมที่เน้นความเป็นส่วนตัวนั้นสามารถทำได้ในทางเทคนิคหลังจากการฮาร์ดฟอร์ก อย่างไรก็ตาม ความเป็นส่วนตัวไม่ได้ถูกระบุว่าเป็นเป้าหมายหลักในแผนงาน

Sparkle เกี่ยวข้องกับ vProgs อย่างไร?

Sparkle เป็นสถาปัตยกรรมที่ Anton เสนอขึ้นเพื่อใช้ในการรวม DAG เชิงคำนวณและการพิสูจน์ ZK เข้าด้วยกัน แม้ว่าทั้ง Sparkle และ vProgs จะใช้ส่วนประกอบ CDAG และ ZK แต่ก็แก้ปัญหาการออกแบบที่แตกต่างกัน

คุณลักษณะเด่นของ vProgs คือการควบคุมการพึ่งพาซึ่งกันและกัน แต่ละโปรแกรมควบคุมปริมาณงานของตนเองและหลีกเลี่ยงการพึ่งพาภายนอกที่ไม่จำเป็น รูปแบบนี้สนับสนุนการประกอบเข้าด้วยกันได้ในขณะที่ยังคงรักษาความเป็นเอกเทศไว้

การฮาร์ดฟอร์กครั้งนี้จะส่งผลกระทบต่อความปลอดภัย, MEV หรือข้อกำหนดของโหนดหรือไม่?

• งบประมาณด้านความปลอดภัย: ไม่คาดว่าจะเกิดผลกระทบโดยตรงในระยะสั้น การปรับปรุงขึ้นอยู่กับการใช้งานผลิตภัณฑ์จริงมากกว่าการเปลี่ยนแปลงโครงสร้างพื้นฐาน
   
• ข้อกำหนดของโหนด: ไม่มีการเปลี่ยนแปลง.
   
• การประมูลสินบนของ MEV: ถือว่ายังเร็วเกินไปเมื่อพิจารณาจากสถานะการพัฒนาของระบบนิเวศในปัจจุบัน
   
• การเก็บเลเวล PoW เพื่อหา STARK: การสนทนาอ้างถึงพฤติกรรมในอดีตของ Ethereum ในยุคแรกๆ ซึ่งที่อยู่ที่มีเลขศูนย์นำหน้าช่วยลดค่า gas ซึ่งนำไปสู่ตลาดการขุดแบบ proof-of-work ในที่สุด การกล่าวถึงนี้เป็นการกล่าวถึงในบริบทมากกว่าจะเป็นคุณสมบัติปัจจุบัน

SilverScript เพิ่มอะไรเข้ามาบ้าง?

SilverScript เป็นภาษาโปรแกรมระดับสูงที่ออกแบบมาสำหรับโปรแกรม Kaspa โดยมีเป้าหมายเพื่อลดความซับซ้อนในการพัฒนาข้อตกลงและโปรแกรม

เป้าหมายในการออกแบบประกอบด้วย:

• ไวยากรณ์ที่อ่านง่าย
• การเข้าถึงสำหรับนักพัฒนาใหม่
• ความเข้ากันได้กับเครื่องมืออัตโนมัติ

คาดว่า SilverScript จะช่วยลดอุปสรรคในการเขียนแอปพลิเคชันที่ใช้ข้อตกลงร่วมกัน เมื่อสินทรัพย์เนทีฟเริ่มใช้งานจริง

สรุป

การอัปเกรด Kaspa ที่เน้นข้อตกลงเป็นศูนย์กลาง (Covenant-centric hardfork) ขยายฟังก์ชันการทำงานของเลเยอร์ 1 ผ่านสินทรัพย์ดั้งเดิม ข้อตกลงเพิ่มเติม และการตรวจสอบ ZK โดยนำเสนอ CDAG สำหรับการติดตามการพึ่งพาที่มีโครงสร้าง และวางรากฐานสำหรับ vProgs ที่มีอำนาจอธิปไตย การอัปเกรดนี้ยังคงรักษาข้อกำหนดของโหนดที่มีอยู่และกลไกฉันทามติแบบพิสูจน์การทำงาน (Proof-of-Work) ในขณะเดียวกันก็เปิดใช้งานการออกโทเค็นแบบตั้งโปรแกรมได้และการโอนแบบอะตอมิก

การเปิดใช้งานในวันที่ 5 พฤษภาคม 2026 ถือเป็นก้าวสำคัญทางเทคนิคในแผนงานของ Kaspa โดยจะเพิ่มความสามารถในการเขียนโปรแกรมอย่างเป็นระบบในระดับโปรโตคอล และเตรียมเครือข่ายสำหรับการอัปเกรดเพิ่มเติม รวมถึง DAGKnight และการใช้งาน vProgs อย่างเต็มรูปแบบ

แหล่งที่มา:

• Kaspa Convenant ฮาร์ดฟอร์กเป็นศูนย์กลางนับถอยหลังบน Kas.live
• เทราห์ เอ็กซ์ เธรด: เหตุการณ์สำคัญที่จะเกิดขึ้นและ Hard Fork ที่เน้น Covenant เป็นศูนย์กลาง
• การวิจัยคาสปา: แบบจำลองโครงสร้างหลักอย่างเป็นทางการสำหรับ DAG การคำนวณของ vProg