ผู้ก่อตั้ง Cardano กำลังพัฒนาภาษาโปรแกรมใหม่ที่ผสานเจตนาธุรกรรมเข้ากับการพิสูจน์ Groth16

Charles Hoskinson ผู้ก่อตั้ง Cardano เปิดเผยว่ากำลังพัฒนาภาษาโปรแกรมใหม่สำหรับเครือข่าย Cardano ด้วยตนเอง โดยร่วมมือกับ Lucas Rosa วิศวกรจาก Input Output Global ซึ่งเป็นหนึ่งในผู้ร่วมสร้าง Aiken หนึ่งในภาษาหลักสำหรับสัญญาอัจฉริยะของ Cardano Hoskinson โพสต์บนแพลตฟอร์ม X ว่านี่จะเป็นภาษาโปรแกรมแรกที่ผสานเจตนาการทำธุรกรรมให้สำเร็จของผู้ใช้เข้ากับการพิสูจน์เชิงรหัสศาสตร์ ตามรายงาน ภาษานี้จะรองรับเครื่องมือสามอย่าง ได้แก่ เจตนาธุรกรรม (transaction intent) ข้อมูลพร้อมการพิสูจน์แบบพกพา (data with carry proofs) และการพิสูจน์ Groth16 เจตนาธุรกรรมช่วยให้ผู้ใช้ระบุเป้าหมายที่ต้องการบรรลุ โดยปล่อยให้แอปพลิเคชันจัดการขั้นตอนเฉพาะ ตัวอย่างเช่น เทรดเดอร์สามารถขอแลกโทเคนหนึ่งเป็นอีกโทเคนหนึ่งได้เฉพาะเมื่อราคาสุดท้ายตรงตามเงื่อนไขที่กำหนด โดยไม่ต้องระบุเส้นทางที่แน่นอน ข้อมูลพร้อมการพิสูจน์แบบพกพาสามารถแนบหลักฐานเชิงรหัสศาสตร์ให้กับข้อมูล เพื่อพิสูจน์ว่าข้อมูลนั้นเป็นไปตามกฎที่กำหนด ทำให้แอปพลิเคชันอื่นสามารถตรวจสอบได้โดยไม่ต้องคำนวณใหม่ ส่วน Groth16 เป็นระบบการพิสูจน์ที่ใช้กันอย่างแพร่หลาย ซึ่งสร้างการพิสูจน์ที่มีขนาดเล็กและตรวจสอบได้รวดเร็ว เพื่อแสดงว่าเงื่อนไขได้ถูกตอบสนองแล้วโดยไม่เปิดเผยข้อมูลส่วนตัว ด้วยการผสานเครื่องมือทั้งสามนี้ นักพัฒนาสามารถสร้างแอปพลิเคชันที่ประสานธุรกรรม ตรวจสอบเงื่อนไขที่ซับซ้อน และส่งต่อข้อมูลที่ผ่านการตรวจสอบระหว่างบริการต่างๆ โดยท้ายที่สุดจะได้รับการตรวจสอบจาก Cardano ด้วยการพิสูจน์ขนาดเล็ก ปัจจุบันนักพัฒนา Cardano ส่วนใหญ่ใช้ Plutus ที่อิง Haskell และ Aiken ในการเขียนสัญญาอัจฉริยะ ขณะที่ Input Output Global ภายใต้การนำของ Hoskinson มีภาษาของตนเองชื่อ Compact สำหรับบล็อกเชนเพื่อความเป็นส่วนตัว Midnight ทั้งนี้ ชื่อ รหัสสาธารณะ และวันเปิดตัวของภาษาใหม่นี้ยังไม่ได้รับการประกาศ