ผู้ก่อตั้ง Cardano ลุยพัฒนาภาษาโปรแกรมใหม่

Charles Hoskinson ลุยสร้างภาษาโปรแกรมใหม่ให้ CardanoADA-1.93%

Charles Hoskinson ผู้ก่อตั้ง Cardano เพิ่งออกมาเผยข่าวใหญ่ให้ชาวคริปโตได้ฮือฮากันครับ เขาบอกว่ากำลังลงมือสร้างภาษาโปรแกรมใหม่ล่าสุดสำหรับระบบนิเวศของ Cardano ด้วยตัวเองเลย

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

ภาษาโปรแกรมใหม่นี้ มีอะไรพิเศษ?

Hoskinson บอกว่า ภาษาโปรแกรมใหม่นี้ถูกออกแบบมาเพื่อจัดการ 2 แนวคิดสำคัญ นั่นคือ intents และ proof-carrying data (PCD) โดยใช้การพิสูจน์แบบ Groth16

"ตอนนี้ผมกำลังซุ่มพัฒนาภาษาโปรแกรมสำหรับ Cardano ด้วยตัวเองอยู่ครับ ถือเป็นภาษาแรกที่รองรับ intents + PCD ผ่านการพิสูจน์แบบ Groth16" Hoskinson โพสต์ระบุ

ถ้าฟังดูซับซ้อนเกินไป ลองมาดูคำอธิบายแบบเข้าใจง่ายๆ กันครับ:

• Intents: แทนที่จะต้องเขียนคำสั่งทีละสเต็ป นักพัฒนาสามารถกำหนดเป้าหมายปลายทางที่ต้องการได้เลย
• Proof-Carrying Data (PCD): วิธีส่งข้อมูลควบคู่ไปกับหลักฐานยืนยันความถูกต้อง ขณะข้ามผ่านเครือข่ายต่างๆ
• Groth16 Proofs: ระบบพิสูจน์แบบ Zero-Knowledge ยอดนิยม ที่ช่วยยืนยันข้อมูลได้โดยไม่ต้องเปิดเผยรายละเอียดส่วนตัว

รายละเอียดที่ยังไม่เปิดเผย และความเชื่อมโยงกับ Midnight

อย่างไรก็ตาม Hoskinson ยังไม่ได้เปิดเผยรายละเอียดเจาะจง เช่น ชื่อภาษา สเปกทางเทคนิค หรือกำหนดการเปิดตัวอย่างเป็นทางการ

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

"ผมกำลังพัฒนาแนวคิดที่มีแค่ Midnight เท่านั้นที่ทำได้ เพื่อแก้ปัญหาหลักๆ ในโลกคริปโต และมันจะเป็นผลงานชิ้นเอกในชีวิตการทำงานของผม" เขากล่าว

ในตอนนี้ ยังไม่แน่ชัดว่าภาษาโปรแกรมใหม่กับโปรเจกต์ Midnight นี้มีความเกี่ยวข้องกันหรือไม่

เบื้องหลังของ Hoskinson กับภาษาโปรแกรม

Hoskinson มักจะพูดถึงเรื่องภาษาโปรแกรมอยู่นานแล้ว โดยเขาชื่นชอบ Haskell เป็นพิเศษ ซึ่งเป็นภาษาหลักที่ใช้สร้างโครงสร้างเดิมของ Cardano

ย้อนกลับไปในเดือนมิถุนายน 2022 Hoskinson เคยร่วมแจมการพูดคุยระหว่าง Elon Musk และ Jack Dorsey เมื่อ Musk บอกว่าชอบภาษา C มากกว่า C++ ทาง Hoskinson เลยเสนอให้ลองใช้ Haskell แทน

อย่างไรก็ตาม ในช่วงหลายปีที่ผ่านมา Hoskinson ก็ได้แสดงความรู้สึกก้ำกึ่งเกี่ยวกับการเลือกใช้ Haskell:

• พฤษภาคม 2024: Hoskinson เผยว่าตอนแรกเขาเกือบเลือก Clojure แล้ว แต่สุดท้ายเลือก Haskell เพราะมีเครื่องมืออย่าง Cloud Haskell, Liquid Haskell และ Agda
• เมษายน 2025: ในการให้สัมภาษณ์ Hoskinson ยอมรับว่าหากเขาสามารถสร้าง Cardano ใหม่ตั้งแต่ต้นได้ เขาคงเลือกใช้ภาษาอื่น

ภาษาโปรแกรมที่ใช้อยู่ใน Cardano ปัจจุบัน

ในระหว่างที่ภาษาใหม่กำลังพัฒนา เหล่านักพัฒนาบน Cardano ปัจจุบันยังคงใช้เครื่องมือที่มีอยู่หลายตัว ได้แก่:

• Plutus: ภาษาหลักสำหรับเขียน Smart Contract บน Cardano ซึ่งมีพื้นฐานมาจาก Haskell
• Aiken: ภาษาโปรแกรมสมัยใหม่ที่ออกแบบมาเพื่อให้เขียน Smart Contract บน Cardano ได้ง่ายขึ้น
• Compact: ภาษาที่เน้นเรื่องความเป็นส่วนตัว ซึ่งถูกสร้างขึ้นมาสำหรับ Midnight โดยเฉพาะ

ผลการดำเนินงานในอดีตของสินทรัพย์ดิจิทัลหรือเครือข่ายไม่ได้เป็นสิ่งการันตีผลลัพธ์ในอนาคต ควรศึกษาข้อมูลอย่างรอบคอบเสมอเมื่อพิจารณาการพัฒนาของบล็อกเชน