การสำรวจ vProgs ของ Kaspa: กรอบการทำงานสำหรับแอปพลิเคชันที่ปรับขนาดได้และตรวจสอบได้

คาสปา เผยแพร่ร่างแรกของ เอกสารสีเหลือง vProgs เมื่อวันที่ 11 กันยายน 2025 เอกสารนี้ให้รายละเอียดเกี่ยวกับโปรโตคอลสำหรับโปรแกรมที่ตรวจสอบได้ หรือ vProgs ซึ่งช่วยให้สามารถคำนวณแบบนอกเครือข่ายได้อย่างปลอดภัยด้วยการพิสูจน์ความรู้เป็นศูนย์และยึดตามโปรโตคอลของ Kaspa เครือข่ายชั้นที่ 1. 

กรอบงานนี้มีวัตถุประสงค์เพื่อสนับสนุนแอปพลิเคชันแบบกระจายศูนย์ ในขณะที่ยังคงรักษาอัตราการสร้างบล็อกที่สูงของเครือข่ายไว้ ประกาศนี้เผยแพร่ผ่าน โพสต์ X โดย @DailyKaspaเกิดขึ้นหนึ่งวันก่อนการประชุม Kaspa Experience ในเบอร์ลิน ซึ่งนักพัฒนาและสมาชิกในชุมชนจะหารือเกี่ยวกับแผนงานของโครงการ

พื้นหลังของสถาปัตยกรรม BlockDAG ของ Kaspa

Kaspa ดำเนินการแตกต่างจากบล็อคเชนเชิงเส้น เช่น Bitcoin or Ethereum. ใช้ blockDAG ซึ่งอนุญาตให้บล็อกหลายบล็อกอ้างอิงกันแบบขนาน ช่วยลดความจำเป็นในการบล็อกกำพร้าระหว่างการขุด การออกแบบนี้ใช้โปรโตคอล GHOSTDAG ซึ่งพัฒนาโดย Yonatan Sompolinsky ซึ่งขยายฉันทามติ Nakamoto เพื่อรองรับอัตราบล็อกที่สูงขึ้นโดยไม่กระทบต่อความปลอดภัย

ปัจจุบัน กาสปา ประมวลผล 10 บล็อกต่อวินาทีโดยมีแผนที่จะเพิ่มความเร็วเป็น 32 บล็อกต่อวินาที และอาจเพิ่มเป็น 100 บล็อกในระยะยาว โดยทั่วไปการยืนยันจะเกิดขึ้นภายใน 10 ถึง 10,000 วินาที โดยมีข้อจำกัดหลักคือความล่าช้าของเครือข่าย ไม่ใช่การประมวลผลแบบออนเชน ส่งผลให้มีปริมาณงานตามทฤษฎีมากกว่า 3 ธุรกรรมต่อวินาที ซึ่งสูงกว่าบิตคอยน์ที่ 7 ถึง 15 ธุรกรรมต่อวินาที หรืออีเธอเรียมที่ 30 ถึง 1 ธุรกรรมต่อวินาทีบนเลเยอร์ XNUMX ก่อนการใช้งานแบบแบ่งส่วนอย่างมาก

เครือข่ายนี้อาศัยการพิสูจน์การทำงาน (proof-of-work consensus) ซึ่งนักขุดจะแก้ปริศนาการคำนวณเพื่อเพิ่มบล็อก ค่าธรรมเนียมธุรกรรมและรางวัลบล็อกจะจ่ายเป็น โทเค็น KASสกุลเงินดิจิทัลดั้งเดิมของเครือข่าย Kaspa Kaspa เปิดตัวในปี 2021 ด้วยรูปแบบการกระจายที่เป็นธรรม หลีกเลี่ยงการระดมทุนจากเงินร่วมลงทุน ซึ่งมีส่วนช่วยในการพัฒนาที่ขับเคลื่อนโดยชุมชน 

Kaspa ทำหน้าที่เป็นเลเยอร์พื้นฐานสำหรับการชำระเงินและการจัดการข้อมูลเป็นหลัก โดยผสานรวมมาตรฐานต่างๆ เช่น KRC-20 สำหรับโทเค็นที่สามารถใช้แทนกันได้ ก่อนหน้าที่จะมีข้อเสนอ vProgs Kaspa ยังขาดการสนับสนุนสัญญาอัจฉริยะแบบเนทีฟ โดยอาศัยสคริปต์ที่เรียบง่ายกว่าสำหรับการดำเนินการขั้นพื้นฐาน

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

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

(โฆษณา)

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

Kaspa vProgs คืออะไร?

vProgs ซึ่งย่อมาจาก Verifiable Programs นำเสนอระบบสำหรับการดำเนินการตรรกะที่ซับซ้อนจากเครือข่ายหลักในขณะที่รับรองว่าผลลัพธ์สามารถตรวจสอบได้บนเลเยอร์ 1 ของ Kaspa แต่ละ vProg ทำหน้าที่เป็นหน่วยอิสระที่จัดการกฎสถานะและการเปลี่ยนแปลงของตัวเอง คล้ายกับวิธีที่โปรแกรมทำงานบน โซลานา แต่ได้เพิ่มการตรวจสอบหลักฐานความรู้เป็นศูนย์เข้าไปด้วย

การพิสูจน์แบบ Zero-knowledge ช่วยให้ผู้พิสูจน์สามารถพิสูจน์ความถูกต้องของการคำนวณได้โดยไม่ต้องเปิดเผยข้อมูลพื้นฐาน ใน vProgs การพิสูจน์เหล่านี้จะถูกส่งไปยังเลเยอร์ 1 เป็นระยะๆ เพื่อยืนยันความสมบูรณ์ของกิจกรรมนอกเครือข่าย วิธีนี้ช่วยให้เครือข่ายหลักมีน้ำหนักเบา โดยเน้นที่การตรวจสอบความถูกต้องมากกว่าการดำเนินการ ซึ่งสอดคล้องกับการเน้นย้ำเรื่องความเร็วและประสิทธิภาพของ Kaspa

ร่างเอกสารเหลือง เวอร์ชัน 0.0.1 อธิบายว่า vProgs ช่วยให้แอปพลิเคชัน "มีอำนาจอธิปไตยแต่สามารถเรียบเรียงได้" อำนาจอธิปไตยหมายความว่า vProg แต่ละตัวจะควบคุมการทำงานภายในของตนเองอย่างเป็นอิสระ รวมถึงสิทธิ์ในการอ่านและเขียน ความสามารถในการเรียบเรียงช่วยให้ vProg หนึ่งสามารถอ่านข้อมูลจากอีก vProg หนึ่งได้ ซึ่งช่วยอำนวยความสะดวกในการโต้ตอบ เช่น การทำธุรกรรมข้ามแอปพลิเคชัน แต่การเขียนจะถูกจำกัดไว้เฉพาะ vProg ต้นทางเพื่อหลีกเลี่ยงความขัดแย้ง

การพัฒนา vProgs ย้อนกลับไปถึงกระทู้สนทนาในเดือนสิงหาคม พ.ศ. 2025 บนฟอรัมวิจัยของ Kaspa ซึ่งผู้สนับสนุนได้กล่าวถึง ความท้าทายในการเรียบเรียงแบบซิงโครนัสซึ่งรวมถึงความล่าช้าในการพิสูจน์และการแบ่งปันทรัพยากร ร่างนี้รวบรวมข้อเสนอแนะจากเซสชันเหล่านั้น แม้ว่าองค์ประกอบหลายอย่างยังอยู่ระหว่างการปรับปรุง ซึ่งรวมถึงกระบวนการสร้างบัญชีและกลไกการตัดแต่งข้อมูล

คุณสมบัติทางเทคนิคหลักของ vProgs

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

การเย็บแบบพิสูจน์:การเย็บหลักฐานจะรวมหลักฐานความรู้ศูนย์หลายรายการจาก vProgs ที่เชื่อมต่อกันเป็นข้อตกลงเดียว จากนั้นจึงส่งไปยังเลเยอร์ 1 วิธีนี้รองรับธุรกรรมแบบอะตอมมิกในแอปพลิเคชันต่างๆ โดยผลลัพธ์จะตกลงพร้อมกันโดยไม่มีการหน่วงเวลาแบบกลางๆ ซึ่งมักพบในระบบที่ใช้การม้วนรวม

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

การคำนวณ DAG:Computation DAG สร้างกราฟความสัมพันธ์ที่เลเยอร์แอปพลิเคชัน ซึ่งสะท้อนโครงสร้าง blockDAG ของ Kaspa กราฟนี้จะติดตามการไหลของข้อมูลระหว่าง vProg เพื่อให้แน่ใจว่าข้อมูลที่อ้างอิงยังคงพร้อมใช้งาน และลำดับการดำเนินการจะยังคงอยู่ระหว่างการประมวลผลแบบขนาน กราฟนี้ช่วยป้องกันการโอเวอร์โหลดโดยการจัดลำดับการดำเนินการที่สัมพันธ์กัน

การวัดทรัพยากร:การวัดทรัพยากรนำเสนอการควบคุมเพื่อจัดการต้นทุน ภายใน vProg แต่ละตัวจะใช้แบบจำลองก๊าซเลเยอร์ 2 ของตัวเองสำหรับการคำนวณ ในเลเยอร์ 1 ScopeGas จะวัดการโต้ตอบข้าม vProg โดยคิดค่าธรรมเนียมตามการอ้างอิงข้อมูลเพื่อป้องกันสแปมหรือการใช้ทรัพยากรมากเกินไป เช่น แอปพลิเคชันหนึ่งทำให้ความต้องการอินพุตของอีกแอปพลิเคชันหนึ่งล้น

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

คุณสมบัติความเป็นส่วนตัว:คุณสมบัติความเป็นส่วนตัวเกิดขึ้นตามธรรมชาติจากการพิสูจน์แบบ Zero-Knowledge ซึ่งช่วยให้สามารถเข้ารหัสสถานะในแอปพลิเคชันต่างๆ เช่น ธุรกรรมที่เป็นความลับหรือ Oracle ได้ เฟรมเวิร์กนี้รองรับกรณีการใช้งานที่หลากหลาย ตั้งแต่การชำระเงินแบบไมโครเพย์เมนต์ไปจนถึงการชำระข้อมูลขององค์กร โดยยึดโยงผลลัพธ์ที่ตรวจสอบได้กับเวลายืนยันที่รวดเร็วของ Kaspa

การประชุม Kaspa Experience ที่เบอร์ลิน

การประกาศ vProgs สอดคล้องกับ ประสบการณ์ Kaspaการประชุมชุมชนกำหนดจัดขึ้นในวันที่ 13 กันยายน 2025 ณ Atelier Gardens ในกรุงเบอร์ลิน กิจกรรมหนึ่งวันนี้ จำกัดจำนวน 500 ใบ ราคา 150 ดอลลาร์สหรัฐ บวกค่าธรรมเนียมหลังงาน 50 ดอลลาร์สหรัฐ โดยต้องชำระเงินด้วยโทเค็น KAS ซึ่งถือเป็นการนำสกุลเงินดิจิทัลนี้มาประยุกต์ใช้จริงในการดำเนินงานด้านโลจิสติกส์ของงาน ซึ่งรวมถึงอาหาร เครื่องดื่ม และสินค้าต่างๆ

วาระการประชุมประกอบด้วยปาฐกถาสำคัญจากนักพัฒนาหลัก อาทิ Sompolinsky เกี่ยวกับความก้าวหน้าของ GHOSTDAG การอภิปรายเกี่ยวกับการผสานรวมสัญญาอัจฉริยะ และเวิร์กช็อปที่เน้นการนำไปปฏิบัติจริง แฮ็กกาธอนจะส่งเสริมการสร้างต้นแบบ ควบคู่ไปกับ Kaspa Art Expo ที่นำเสนอการใช้งานเครือข่ายอย่างสร้างสรรค์ แม้ว่าจะไม่มีเซสชัน vProgs เฉพาะในกำหนดการ แต่เอกสารประชาสัมพันธ์ของงานจะเน้นย้ำถึงเลเยอร์ที่สามารถตั้งโปรแกรมได้ของ Kaspa ในฐานะรากฐานสำหรับ DeFi และระบบการชำระเงิน ซึ่งแนะนำให้มีการหารืออย่างไม่เป็นทางการเกี่ยวกับกรอบการทำงานใหม่นี้

ผู้เข้าร่วมงาน ซึ่งรวบรวมจากนักขุด พ่อค้า และนักพัฒนา จะสร้างเครือข่ายในบรรยากาศที่เน้นย้ำถึงปรัชญาการกระจายอำนาจของ Kaspa การประชุมครั้งนี้ถือเป็นการรวมตัวครั้งสำคัญครั้งแรกของโครงการ โดยต่อยอดจากฟอรัมออนไลน์และช่องทาง Telegram เพื่อความร่วมมือ

ความท้าทายและระยะเวลาการดำเนินการ

การนำ vProgs มาใช้นั้นต้องเผชิญกับอุปสรรคที่มักพบในระบบ Zero-Knowledge การสร้างหลักฐานยังคงต้องใช้การประมวลผลอย่างหนัก ซึ่งอาจทำให้เกิดความล่าช้าได้ แม้ว่า Kaspa จะมีความเร็วบล็อกสูงก็ตาม นักพัฒนาจำเป็นต้องพัฒนาความเข้ากันได้ของเครื่องเสมือนเพื่อให้การพอร์ตจากสภาพแวดล้อมต่างๆ เช่น Ethereum Virtual Machine ง่ายขึ้น

ผู้ร่วมให้ข้อมูลในฟอรัมได้จำลองแบบจำลองการแบ่งปันก๊าซเพื่อลดผลกระทบจากภายนอก ซึ่งกิจกรรมของ vProg หนึ่งๆ ส่งผลกระทบต่อกิจกรรมอื่นๆ ความพร้อมใช้งานของข้อมูลใน Computation DAG จำเป็นต้องได้รับการออกแบบอย่างรอบคอบเพื่อหลีกเลี่ยงความเสี่ยงจากการรวมศูนย์

ไทม์ไลน์จากการหารือในเดือนสิงหาคมระบุว่าจะมีการเปิดตัวเทสต์เน็ตภายในไตรมาสที่สี่ของปี 2025 หลังจากได้รับความคิดเห็นจากชุมชนเกี่ยวกับร่างดังกล่าว การรวมเมนเน็ตอย่างสมบูรณ์จะขึ้นอยู่กับการตรวจสอบและเกณฑ์มาตรฐานประสิทธิภาพ โดยมีการตัดแต่งและกลไกบัญชีสำหรับการปรับปรุงในอนาคต

เมื่อเปรียบเทียบกับการโรลอัพของ Ethereum ซึ่งสามารถแบ่งแยกสภาพคล่องออกเป็นหลายชั้น หรือการดำเนินการแบบออนเชนของ Solana ซึ่งทดสอบขีดจำกัดปริมาณงาน vProgs มุ่งมั่นที่จะผสานรวมการคำนวณที่ตรวจสอบได้เข้ากับชั้นฐานของ Proof-of-Work โดยตรง วิธีนี้ช่วยรักษาการกระจายศูนย์ไว้ได้ พร้อมกับใช้ประโยชน์จากการผลิตบล็อกแบบขนาน

สรุป

vProgs ช่วยให้ Kaspa มีเครื่องมือสำหรับการดำเนินการนอกเครือข่ายที่ตรวจสอบโดยการพิสูจน์ความรู้เป็นศูนย์ รวมถึงการเย็บหลักฐานสำหรับการประกอบ, DAG การคำนวณสำหรับการจัดการการอ้างอิง และ ScopeGas สำหรับการควบคุมทรัพยากร 

องค์ประกอบเหล่านี้ช่วยให้แอปพลิเคชันทำงานได้อย่างปรับขนาดได้บนเครือข่ายที่ยืนยันบล็อกทุกๆ ไม่กี่วินาที รองรับกรณีการใช้งานตั้งแต่ DeFi จนถึงการชำระเงินข้อมูลโดยไม่กระทบต่อความปลอดภัยของเลเยอร์ 1

แหล่งที่มา:

• บทความ Kaspa Daily X บน vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Yellow Paper Draft v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• กระทู้ฟอรัมวิจัย Kaspa เกี่ยวกับความสามารถในการประพันธ์แบบซิงโครนัส: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• ประสบการณ์ Kaspa ในเบอร์ลิน: https://experience.kaspa.events/