Silverscript คืออะไร? ภาษาและคอมไพเลอร์สำหรับเขียนสัญญาอัจฉริยะระดับสูงตัวแรกของ Kaspa

ซิลเวอร์สคริปต์ เป็นภาษาและคอมไพเลอร์สัญญาอัจฉริยะระดับสูงที่สร้างขึ้นสำหรับ Kaspa บล็อกเชนประกาศเมื่อวันที่ 10 กุมภาพันธ์ 2026 โดยนักพัฒนา Ori Newman ฟีเจอร์การเขียนโปรแกรมโดยตรงบน Kaspa ก็เป็นอีกหนึ่งฟีเจอร์ที่น่าสนใจ ชั้นที่ 1 (L1)โดยไม่ต้องพึ่งพาเครื่องเสมือนภายนอกหรือโมเดลสถานะส่วนกลางที่ใช้ร่วมกัน เช่น EVM ของ Ethereum.

Silverscript คอมไพล์เป็น Kaspa Script ดั้งเดิม และได้รับการออกแบบมาสำหรับสถาปัตยกรรมแบบ UTXO ของ Kaspa ช่วยให้นักพัฒนาสามารถเขียนตรรกะข้อตกลงที่อ่านง่าย ซึ่งบังคับใช้กฎการทำธุรกรรมในระดับโปรโตคอลได้

Silverscript แก้ปัญหาอะไรบน Kaspa ได้บ้าง?

Kaspa เป็นสกุลเงินดิจิทัลแบบ Proof-of-Work (PoW) ที่สร้างขึ้นบนพื้นฐาน... BlockDAG (กราฟแบบมีทิศทางและไม่มีวงจร) โครงสร้าง. แตกต่างจากบล็อกเชนเชิงเส้น Kaspa ประมวลผลบล็อกแบบขนาน ปัจจุบันเครือข่ายตั้งเป้าหมายไว้ที่ 10 บล็อกต่อวินาที โดยมีการอัปเกรดเพิ่มเติม เช่น แด็กไนท์ ตั้งเป้าหมายไว้ที่ 100 บล็อกขึ้นไปต่อวินาที

จนถึงปัจจุบัน การเขียนสคริปต์ Kaspa ยังมีข้อจำกัดด้านความยืดหยุ่น Silverscript แก้ไขปัญหานี้โดยการนำเสนอคุณสมบัติการเขียนโปรแกรมแบบมีโครงสร้าง ซึ่งช่วยให้สามารถออกแบบข้อตกลงที่ซับซ้อนยิ่งขึ้นได้ ในขณะที่ยังคงสอดคล้องกับโมเดล UTXO

แทนที่จะใช้สถานะส่วนกลางร่วมกัน ซึ่งเป็นเรื่องปกติในระบบที่ใช้บัญชีผู้ใช้ Silverscript จะรักษาสถานะเฉพาะที่สำหรับแต่ละ UTXO ซึ่งจะช่วยลดความเสี่ยงต่างๆ เช่น ช่องโหว่การโจมตีแบบ reentrancy ที่พบในระบบที่ใช้ EVM

Silverscript ทำงานอย่างไร?

Silverscript ได้รับแรงบันดาลใจจาก CashScript ซึ่งเป็นภาษาสำหรับเขียนสัญญาอัจฉริยะที่ใช้ใน Bitcoin Cash แต่ได้พัฒนาต่อยอดจาก CashScript โดยเพิ่มเครื่องมือการเขียนโปรแกรมเชิงโครงสร้างที่จำเป็นสำหรับฟังก์ชันพื้นฐานของ DeFi ที่ซับซ้อนยิ่งขึ้น

โปรแกรมนี้แปลงโค้ดระดับสูงให้เป็นโอเปอเรชันโค้ดระดับต่ำของ Kaspa ซึ่งรวมถึง:

• คิป-10 (รหัสปฏิบัติการการตรวจสอบตนเอง)
• คิป-16 (รหัสปฏิบัติการตรวจสอบความรู้เป็นศูนย์)
• คิป-17 (ไบต์พื้นฐาน)

ได้รับการออกแบบมาให้บูรณาการกับ การอัปเกรดเครือข่ายที่จะเกิดขึ้น กำหนดจัดขึ้นในวันที่ 5 พฤษภาคม 2026 ซึ่งจะมีการแนะนำ:

• ข้อตกลงเพิ่มเติม++ (ข้อจำกัดการใช้จ่ายขั้นสูง)
• สินทรัพย์ดั้งเดิมภายใต้ KIP-20 (การติดตามที่มาและแหล่งที่มาของโทเค็น)
• การสนับสนุนการตรวจสอบความรู้เป็นศูนย์ (Zero-knowledge หรือ ZK)

Silverscript ทำหน้าที่เป็นเลเยอร์การพัฒนาสำหรับคุณสมบัติของโปรโตคอลเหล่านี้

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

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

(โฆษณา)

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

Silverscript เพิ่มคุณสมบัติอะไรให้กับ Kaspa บ้าง?

Silverscript นำเสนอองค์ประกอบการเขียนโปรแกรมเชิงโครงสร้างซึ่งก่อนหน้านี้ไม่มีใน Kaspa Script

ลูป

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

อาร์เรย์

รองรับโครงสร้างข้อมูลแบบไดนามิก
นักพัฒนาสามารถจัดการยอดคงเหลือของโทเค็น เงื่อนไขลายเซ็นหลายฝ่าย หรือเอาต์พุตที่มีโครงสร้างได้

การเรียกใช้ฟังก์ชัน

อนุญาตให้ใช้ฟังก์ชันซ้ำได้ โดยมีพารามิเตอร์และค่าส่งคืน
ช่วยให้โค้ดมีความชัดเจนมากขึ้นและลดข้อผิดพลาดในการใช้งาน

คำสั่งที่จำเป็นต้องมี

มีฟังก์ชันตรวจสอบความถูกต้องในตัว
สัญญาสามารถบังคับใช้ข้อจำกัดต่างๆ เช่น ข้อจำกัดขนาดของอาร์เรย์ หรือการตรวจสอบค่าในระหว่างการคอมไพล์หรือขณะรันไทม์ได้

การออกแบบที่เน้น UTXO

ทำงานบนสถานะ UTXO เฉพาะที่ แทนที่จะใช้สถานะส่วนกลางที่ใช้ร่วมกัน
โมเดลนี้บังคับใช้การตรวจสอบความถูกต้องอย่างชัดเจนและหลีกเลี่ยงปัญหาการเรียกซ้ำ

โค้ด Silverscript มีลักษณะอย่างไร?

Silverscript ใช้ไวยากรณ์ที่เรียบง่ายคล้ายกับภาษา C ตัวอย่างต่อไปนี้แสดงการใช้งานอาร์เรย์ ลูป และคำสั่ง require:

ตัวอย่างนี้กำหนดฟังก์ชันที่บวกค่าขององค์ประกอบในอาร์เรย์จำนวนเต็ม โดยจะตรวจสอบความยาวของอาร์เรย์ วนซ้ำไปตามองค์ประกอบ และตรวจสอบให้แน่ใจว่าผลรวมเท่ากับ 6

ในการใช้งานจริง สามารถนำหลักการที่คล้ายกันนี้ไปใช้ได้กับกรณีต่อไปนี้:

• การบังคับใช้การกระจายโทเค็น
• เงื่อนไขการถอนเงินจากตู้นิรภัย
• กฎการตรวจสอบความถูกต้องของเอสโครว์
• เอาต์พุต DeFi ที่มีโครงสร้าง

ไวยากรณ์นี้ยังอยู่ในระหว่างการทดลองและปัจจุบันใช้งานได้เฉพาะบน Testnet-12 เท่านั้น

Silverscript แตกต่างจาก CashScript อย่างไร?

Silverscript พัฒนาต่อยอดจาก CashScript แต่เพิ่มขีดความสามารถให้มากขึ้น

ความคล้ายคลึงกัน:

• ไวยากรณ์ระดับสูงสำหรับข้อตกลงแบบ UTXO
• ให้ความสำคัญกับข้อจำกัดในการทำธุรกรรมมากกว่าความสมบูรณ์แบบของทัวริงโดยสมบูรณ์

แตกต่าง:

• รองรับลูปโดยตรง
• อาร์เรย์ดั้งเดิม
• คำจำกัดความของฟังก์ชันและโครงสร้างแบบโมดูลาร์
• ออกแบบมาโดยเฉพาะสำหรับ Kaspa BlockDAG

CashScript ไม่มีการรองรับลูปที่มีโครงสร้างหรืออาร์เรย์แบบไดนามิกในตัว Silverscript ได้เพิ่มคุณสมบัติเหล่านี้เพื่อรองรับตรรกะของข้อตกลงที่แสดงออกได้ดียิ่งขึ้น

Silverscript เข้ากับระบบนิเวศของ Kaspa ได้อย่างไร?

Silverscript ทำงานภายใต้สถาปัตยกรรมที่กว้างกว่า ซึ่งแยกโมเดลสถานะแบบโลคอลและแบบใช้ร่วมกันออกจากกัน:

• รัฐท้องถิ่น: บริหารจัดการโดย Silverscript ผ่านข้อตกลง UTXO
• การประมวลผลร่วมกัน: จัดการโดย vProgs (โปรแกรมที่ตรวจสอบได้) ตรวจสอบความถูกต้องบนบล็อกเชนโดยใช้หลักฐานความรู้เป็นศูนย์

สามารถทำงานร่วมกับ:

• คิป-20 การรองรับสินทรัพย์ดั้งเดิม (การบังคับใช้ที่มาของโทเค็น)
• CDAG (Computational DAG) สำหรับความสัมพันธ์ระหว่างโปรแกรม
• Sparkle คือเฟรมเวิร์ก rollup ที่ใช้ ZK

โครงสร้างนี้ช่วยให้:

• ผู้สร้างตลาดอัตโนมัติ (AMMs) ที่ใช้โครงสร้างผลลัพธ์ที่บังคับใช้
• ตู้นิรภัยให้ยืม
• แลกเปลี่ยนอะตอม
• การกำกับดูแล DAO ถูกเข้ารหัสไว้ในสคริปต์

ทั้งหมดนี้โดยปราศจากสถานะทั่วโลกที่เปลี่ยนแปลงได้

สถานะการพัฒนาในปัจจุบันเป็นอย่างไร?

Silverscript ยังอยู่ในขั้นตอนการทดลองและใช้งานได้เฉพาะกับ Kaspa Testnet-12 เท่านั้น ยังไม่พร้อมใช้งานบน mainnet

ที่เก็บข้อมูล GitHub ประกอบด้วย:

• การใช้งานคอมไพเลอร์
• ตัวอย่าง
• เอกสาร TUTORIAL.md

นักพัฒนาซอฟต์แวร์ Ori Newman ซึ่งมีบทบาทในด้านต่างๆ Bitcoin นับตั้งแต่ปี 2013 เป็นต้นมา โครงการนี้ได้ดูแลรักษาโครงการดังกล่าว และได้แสดงเจตจำนงที่จะให้การสนับสนุน WebAssembly (WASM) ในอนาคต

ความเข้ากันได้กับ Mainnet ขึ้นอยู่กับการฮาร์ดฟอร์กในวันที่ 5 พฤษภาคม 2026 ซึ่งจะเปิดใช้งาน Covenants++ และฟังก์ชันการทำงานของสินทรัพย์ดั้งเดิม

สรุป

Silverscript นำเสนอการพัฒนาสัญญาอัจฉริยะแบบมีโครงสร้างให้กับเครือข่าย BlockDAG ที่ใช้ UTXO ของ Kaspa โดยเพิ่มลูป อาร์เรย์ ฟังก์ชัน และการยืนยันที่บังคับใช้ได้ในขณะที่คอมไพล์เป็นโอเปอเรเตอร์โค้ดดั้งเดิม ภาษาดังกล่าวสอดคล้องกับการอัปเกรดโปรโตคอลที่จะเกิดขึ้นในอนาคต รวมถึง Covenants++ สินทรัพย์ดั้งเดิม และการตรวจสอบแบบไร้ความรู้ 

ปัจจุบัน Silverscript รองรับเฉพาะ Testnet-12 เท่านั้น โดยเป็นรากฐานทางเทคนิคสำหรับการสร้างแอปพลิเคชัน Layer 1 ที่สามารถตั้งโปรแกรมได้บน Kaspa โดยไม่ต้องใช้โมเดลสถานะส่วนกลางร่วมกัน

แหล่งที่มา:

• ที่เก็บ Kaspa GitHubบทช่วยสอนภาษา Silverscript 
• เอ็กซ์โพสต์: ประกาศสาธารณะโดย โอริ นิวแมน