DAML- ภาษาสำหรับสัญญาอัจฉริยะ

บทความนี้นำเสนอมุมมองที่ครอบคลุมของ DAML ซึ่งเป็นภาษาโอเพ่นซอร์สสำหรับสัญญาอัจฉริยะ คุณจะได้เรียนรู้ประโยชน์ของ DAML และการเปรียบเทียบกับภาษาอื่น ๆ.

ในขณะที่เทคโนโลยีบล็อกเชนพัฒนาขึ้นจึงมีความจำเป็นที่จะต้องปรับปรุงระบบที่ผู้ใช้ดำเนินการและโต้ตอบ มีการปรับปรุงมากมายเกิดขึ้นโดยเฉพาะอย่างยิ่งเมื่อ blockchain ขององค์กรยังคงเป็นที่นิยมอย่างต่อเนื่อง ท่ามกลางพัฒนาการล่าสุดในสภาพแวดล้อมบล็อกเชนที่เปลี่ยนแปลงอย่างรวดเร็วคือ DAML.

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

อย่างไรก็ตาม blockchain ได้รับการพิสูจน์ว่ามีความสำคัญมากขึ้นเมื่อนักพัฒนาแสดงให้เห็นถึงความสามารถในการทำธุรกรรมในสภาพแวดล้อมที่ไม่มีผู้เล่นส่วนกลางเหมือนที่เกิดขึ้นในโลกการเงินเดิม.

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

ไม่ว่าบัญชีแยกประเภทที่ระบุจะเป็นแบบสาธารณะหรือแบบส่วนตัวการสนับสนุนความสามารถของเพื่อนร่วมงานในระบบนิเวศบล็อกเชนในการโต้ตอบกับการรับประกันความเป็นส่วนตัวเป็นประเภทของแอปพลิเคชันที่มักเรียกว่าสัญญาอัจฉริยะ.

บทความนี้จะกล่าวถึงรายละเอียดในภายหลังว่าสัญญาอัจฉริยะคืออะไรและมีความสำคัญในบริบทของ DAML.

สมัครเดี๋ยวนี้:หลักสูตรพื้นฐานของ Enterprise Blockchains

Contents

DAML คืออะไร?

ในทางเทคนิค DAML ย่อมาจาก Digital Asset Modeling Language (DAML full form) – ภาษามาร์กอัปสำหรับเว็บความหมาย อย่างไรก็ตามศัพท์แสงทางเทคนิคอาจทำให้สับสน ดังนั้นสำหรับความหมาย DAML ที่ง่ายกว่าให้คิดว่าเป็นภาษาโอเพ่นซอร์สสำหรับสัญญาอัจฉริยะ.

โดยพื้นฐานแล้ว DAML เป็นภาษาสัญญาอัจฉริยะที่ช่วยให้นักพัฒนาสามารถเขียนโค้ดข้อตกลงหลายฝ่ายได้อย่างแม่นยำสำหรับสถาปัตยกรรมบล็อกเชน, DLT หรือแม้แต่ฐานข้อมูลมาตรฐานที่หลากหลาย.

กำเนิดโดย Digital Asset ถ่ายทอดชีวิตใหม่ให้กับแอปพลิเคชันประเภทนี้ (สัญญาอัจฉริยะ) ซึ่งช่วยให้เพื่อนร่วมงานสามารถทำธุรกรรมในสภาพแวดล้อมที่ไว้วางใจได้ โดยพื้นฐานแล้วนี่คือภาษาโปรแกรมที่ได้รับแรงบันดาลใจจาก Haskell และอำนวยความสะดวกในการสร้างสัญญาอัจฉริยะสำหรับเวิร์กโฟลว์ทางธุรกิจแบบกระจาย.

โดยเฉพาะอย่างยิ่งภาษาช่วยให้นักพัฒนาสามารถลดระยะเวลาที่ใช้ในการจัดการกับถั่วและสลักเกลียวของการเข้ารหัสและบล็อกเชน แต่นักพัฒนากลับมุ่งเน้นเวลาไปที่การพัฒนาโซลูชันการเขียนโปรแกรมสำหรับกระบวนการทางธุรกิจ.


DAML – ภาษาสำหรับสัญญาอัจฉริยะอธิบายง่ายๆ

DAML Infographic

คุณสมบัติของ DAML

ให้วิธีการเขียนสัญญา

เช่นเดียวกับภาษาอื่น ๆ ที่โปรแกรมเมอร์ใช้ในการเขียนสัญญาอัจฉริยะ DAML ช่วยให้เพื่อนร่วมงานสามารถทำและปฏิบัติตามข้อตกลงได้ โดยเฉพาะอย่างยิ่งภาษาอธิบายกระบวนการของการสร้างสัญญาคู่สัญญาสำคัญในข้อตกลงและฝ่ายที่มีสิทธิ์ที่ได้รับมอบหมายในสัญญา.

นอกเหนือจากการกำหนดขั้นตอนการสร้างสัญญาแล้วภาษายังดูแลการเข้ารหัสความคิดเช่นสัญญาสิทธิ์คู่สัญญาการอนุญาตและภาระหน้าที่ซึ่งผู้พัฒนาต้องจัดการกับตรรกะของธุรกิจของตนเท่านั้น การยกของหนัก ๆ ที่เกี่ยวข้องกับสิ่งต่างๆเช่นการแฮชในการเข้ารหัสและอัลกอริทึมฉันทามติจะถูกแยกออกและจัดการโดยรันไทม์.

การแสดงออกโดยตรงขององค์ประกอบสัญญาเป็นคุณลักษณะของภาษาพื้นเมืองแสดงให้เห็นว่าสถาปัตยกรรม DAML สามารถตรวจสอบรหัสระบบเพื่อหาปัญหาได้โดยอัตโนมัติและก่อนหน้านี้ในวงจรการพัฒนา นอกจากนี้ระบบยังมีความสามารถในการให้เหตุผลด้วยตนเองเกี่ยวกับตรรกะทางธุรกิจ.

เป็นโอเพ่นซอร์ส

เมื่อวันที่ 4 เมษายน 2019 Digital Asset บริษัท ที่อยู่เบื้องหลัง DAML ประกาศว่าซอร์สโค้ดของโปรแกรมจะเปิดให้ใช้งานได้อย่างอิสระสำหรับนักพัฒนาทุกคน การเปิดแหล่งที่มาของโครงการนี้หมายความว่าฝ่ายต่างๆจะสามารถใช้ DAML เพื่อสร้างแบบจำลองและดำเนินการตามสัญญาผ่านเทคโนโลยีบล็อกเชนได้โดยไม่ต้องกลัวว่าผู้ขายจะล็อคอิน.

ตามประกาศนักพัฒนาและผู้ที่สนใจอื่น ๆ จะสามารถเข้าถึงภาษา DAML ซอร์สโค้ดชุดพัฒนาซอฟต์แวร์ (SDK) และรันไทม์ภายใต้ใบอนุญาต Apache 2.0 ที่อนุญาตมาก.

ใช้งานได้ในสภาพแวดล้อมการดำเนินการส่วนตัว

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

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

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

อ่านได้โดยมนุษย์และเครื่องจักร

DAML เป็นการปฏิวัติในมากกว่าหนึ่งแง่มุม โดยเฉพาะอย่างยิ่งการออกแบบระบบเป็นไปในลักษณะที่เครื่องจักรและมนุษย์สามารถเข้าใจข้อมูลที่รวมอยู่ในสัญญาได้.

ผลกระทบของความสามารถนี้เป็นอย่างมาก ผู้เชี่ยวชาญที่เกี่ยวข้องกับการจัดทำสัญญาจะมีช่วงเวลาที่ง่ายในการสำรวจรายละเอียดเนื่องจาก DAML เป็นมิตรกับมนุษย์มาก.

ตัวอย่างเช่นทนายความสามารถเข้าใจความหมายของสัญญาได้อย่างง่ายดายโดยการอ่านและประเมินการเข้ารหัส DAML ของสัญญานั้น ในขณะเดียวกัน DAML ให้ระดับความจำเพาะที่เหมาะสมสำหรับนักพัฒนาในการคำนวณลักษณะสำคัญของสัญญาเช่นกระแสเงินสดโปรไฟล์ของลูกค้าและความเสี่ยง.

DAML ทำงานอย่างไร? บทช่วยสอน DAML ที่ใช้งานได้อย่างรวดเร็ว

DAML ทำงานเหมือนกับภาษาเขียนสัญญาอัจฉริยะอื่น ๆ โดยเฉพาะอย่างยิ่งภาษาทำงานในสองระดับหลักโดยมีภาษาของตัวเองและรันไทม์.

ภาษาเปรียบเสมือนส่วนหลักของเทคโนโลยี นี่คือสิ่งที่ช่วยให้นักพัฒนาสามารถทำงานทั้งหมดที่จำเป็นต้องทำในแง่ของการเขียนข้อตกลงและการอำนวยความสะดวกในการทำธุรกรรม.

เนื่องจากมี API ที่สะอาดและเป็นนามธรรมมากระหว่างภาษาและรันไทม์รันไทม์จึงสามารถปรับให้เข้ากับการทำงานบน blockchain, DLT และแพลตฟอร์มอื่น ๆ ได้.

สิ่งนี้ให้ความยืดหยุ่นสำหรับแอปพลิเคชัน DAML ในการพอร์ตข้ามแพลตฟอร์มที่รองรับ DAML สิ่งนี้คล้ายคลึงกับ JVM ที่อนุญาตให้แอปพลิเคชัน Java ทำงานโดยไม่มีการเปลี่ยนแปลงบนแพลตฟอร์มใด ๆ ที่รองรับ JVM.

หลังจากติดตั้ง Software Development Kit (SDK) แล้วนักพัฒนาจะต้องเรียกใช้ไฟล์เฉพาะบางไฟล์เพื่อให้อุปกรณ์อยู่ในตำแหน่งที่รองรับการทำงานได้.

การสร้างแบบจำลองข้อมูล

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

ซึ่งแตกต่างจากภาษาสัญญาอัจฉริยะอื่น ๆ DAML ช่วยให้นักพัฒนาสามารถระบุสคีมาข้อมูลของตนได้ทันทีโดยฝังไว้ในภาษาดำเนินการของสัญญาโดยตรง สิ่งนี้ช่วยลดความยุ่งยากในการสร้างแบบจำลองข้อมูลได้อย่างมากและลดโอกาสที่จะเกิดข้อผิดพลาดเนื่องจากความไม่ตรงกันระหว่างสคีมาข้อมูลและตรรกะของแอปพลิเคชัน.

อ่านเพิ่มเติม: บทช่วยสอน DAML: เริ่มต้นใช้งาน DAML

โครงสร้างเค้าร่างเทมเพลต

นักพัฒนา DAML ระบุสัญญาผ่านโครงสร้างที่เรียบง่ายและกำหนดไว้อย่างดีที่เรียกว่า “เทมเพลต” ซึ่งมีทั้งแบบจำลองข้อมูลและพารามิเตอร์ของสัญญา.

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

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

โครงสร้างทางเลือก

โครงสร้างที่สำคัญภายในเทมเพลตคือโครงสร้างทางเลือกซึ่งมีรายละเอียดของตัวเลือกที่คู่สัญญาสามารถเลือกได้ในแง่ของลักษณะของเทมเพลต.

โครงสร้างตัวเลือกระบุผู้ควบคุมหรือฝ่ายที่รับผิดชอบในการใช้สิทธิเลือก องค์ประกอบอื่น ๆ ของโครงสร้างนี้ ได้แก่ ความสิ้นเปลืองชื่อประเภทการส่งคืนอาร์กิวเมนต์ตัวเลือกและเนื้อหาทางเลือก.

อ่านเพิ่มเติม: บทช่วยสอนการฝึก DAML

การเปรียบเทียบ DAML กับ Smart Contracts

การทำความเข้าใจเกี่ยวกับสัญญาอัจฉริยะ

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

ใน DLT ส่วนตัวหรือที่ได้รับอนุญาตทุกฝ่ายจะรู้จักกัน แต่มีเพียงฝ่ายที่เกี่ยวข้องกับธุรกรรมที่กำหนดเท่านั้นที่สามารถเข้าถึงข้อมูลของธุรกรรมนั้นได้ ความน่าเชื่อถือยังคงรักษาไว้โดยกลไกที่อนุญาตให้ผู้เข้าร่วมตรวจสอบธุรกรรมทั้งหมดที่พวกเขาเข้าถึงได้.

สัญญาอัจฉริยะมีลักษณะที่แตกต่างซึ่งทำให้เกิดการปฏิวัติ.

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

นอกจากนี้ผู้ค้ายังสามารถใช้สัญญาอัจฉริยะเพื่อจับชีพจรของตลาด ซึ่งรวมถึงความสามารถในการทำนายแนวโน้มและความไม่แน่นอนในตลาด.

สัญญาอัจฉริยะมีประโยชน์หลายประการซึ่งรวมถึงความไม่เปลี่ยนรูปของข้อมูล ในแง่พื้นฐานความไม่เปลี่ยนรูปหมายถึงความเป็นไปไม่ได้ของการเปลี่ยนแปลงข้อมูลจากสถานะเดิม กล่าวคือไม่สามารถลบหรือเปลี่ยนแปลงข้อมูลในลักษณะใด ๆ ที่เป็นไปได้.

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

คุณสมบัติของสัญญาอัจฉริยะ

หลักฐานข้อผูกพันและสิทธิ

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

การตรวจสอบความถูกต้องของธุรกรรม

เช่นเดียวกับที่กล่าวไว้ก่อนหน้านี้ข้อมูลเกี่ยวกับรายละเอียดของสัญญาสามารถตรวจสอบย้อนกลับได้อย่างง่ายดายจากบัญชีแยกประเภท ดังนั้นสิ่งนี้จึงเป็นไปตามข้อกำหนดสำหรับสัญญาโดยเราสามารถตรวจสอบความถูกต้องและความถูกต้องได้.

อ่านเพิ่มเติม:กรณีการใช้งาน Smart Contract

เปรียบเทียบกับ DAML

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

อย่างไรก็ตาม DAML เมื่อใช้ร่วมกับเครือข่ายส่วนตัวจะช่วยให้มั่นใจได้ว่าเฉพาะฝ่ายที่อนุญาตสัญญาพร้อมกับผู้ที่ได้รับอนุญาตที่ได้รับมอบสิทธิ์ในการดูรายละเอียดเท่านั้นที่สามารถเข้าถึงข้อมูลสัญญาได้ นี่เป็นเหตุผลหนึ่งที่ผู้สังเกตการณ์ที่มีความรู้เชื่อว่าภาษานี้เป็นหน้าที่ฆ่าสำหรับสถาบันการเงินและอื่น ๆ ที่ต้องการการรักษาความลับในการทำธุรกรรม.

อย่างไรก็ตาม DAML เป็นภาษาสำหรับสัญญาอัจฉริยะแตกต่างจากสัญญาอัจฉริยะแบบดั้งเดิมเมื่อพูดถึงการแบ่งปันข้อตกลงที่เป็นลายลักษณ์อักษร ภาษาสัญญาอัจฉริยะเช่น Solidity แบ่งปันข้อมูลต่อสาธารณะดังนั้นทั้งเครือข่ายจึงสามารถเข้าถึงรายละเอียดได้ นั่นคือเหตุผลที่ผู้คนถกเถียงกันเรื่อง DAML vs solidity.

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

ประโยชน์ของ DAML

โอเพ่นซอร์ส

แพลตฟอร์ม blockchain อาจมีอายุเพียง 10 ปี แต่กำลังเติบโตอย่างรวดเร็ว ปัจจุบันเทคโนโลยีกำลังปฏิวัติอุตสาหกรรมด้วยอัตราที่ไม่เคยมีมาก่อน สาเหตุของการเติบโตอย่างรวดเร็วนี้คือความจริงที่ว่า blockchain เป็นโอเพ่นซอร์สและนักพัฒนาทุกคนสามารถหาทางออกที่ดีที่สุดสำหรับปัญหาบางอย่างได้.

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

อ่านเพิ่มเติม:Blockchain คืออนาคต?

เปิดใช้งานธุรกรรมส่วนตัว

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

อย่างไรก็ตามตามที่กล่าวไว้ก่อนหน้านี้ DAML ได้รวมการรักษาความปลอดภัยอีกชั้นหนึ่งซึ่งข้อมูลดังกล่าวสามารถเข้าถึงได้เฉพาะบุคคลที่ได้รับอนุญาตเท่านั้น.

เร่งการยอมรับ Blockchain ขององค์กร

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

อย่างไรก็ตามองค์กรต่างๆยังคงเผชิญกับภัยคุกคามจากการที่คู่แข่งมองเห็นกลยุทธ์ของพวกเขา อย่างไรก็ตามการเข้ามาของ DAML เป็นวิธีแก้ปัญหาที่อาจเกิดขึ้นได้ โดยเฉพาะอย่างยิ่งภาษาจะ จำกัด ข้อมูลข้อตกลงเฉพาะโหนดที่ได้รับอนุญาตให้เข้าถึงและข้อมูลเกี่ยวกับข้อตกลงจะไม่พร้อมใช้งานสำหรับผู้ใช้รายอื่น ด้วยเหตุนี้องค์กรต่างๆจึงไม่มีข้อแก้ตัวใด ๆ นอกจากการกระโดดขึ้นไปบนกระดานและใช้ประโยชน์จากศักยภาพของ blockchain.

อ่านเพิ่มเติม: องค์กรที่ใช้เทคโนโลยีบล็อกเชน

การสนับสนุนในตัวเพื่อตรวจสอบความถูกต้องของโมเดล

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

การจัดเก็บ Abstraction

รันไทม์ DAML มีประสิทธิภาพและดำเนินการที่สำคัญเพื่อให้ภาษาเหนือกว่าทางเลือกที่มีอยู่ ตัวอย่างเช่นรันไทม์สรุปรายละเอียดของบัญชีแยกประเภทซึ่งนักพัฒนาสามารถมุ่งเน้นไปที่ตรรกะของสัญญาได้.

การเปรียบเทียบ DAML กับภาษาสัญญาอัจฉริยะทางเลือกอื่น ๆ

ระบบนิเวศของบล็อกเชนยังคงเติบโตและนั่นหมายความว่าไม่มีระบบมาตรฐานในการปฏิบัติงาน นอกจากนี้ยังหมายความว่าไม่มีภาษาใดภาษาเดียวที่ครอบงำในการเขียนสัญญาอัจฉริยะ ดังนั้นจึงมีทางเลือกอื่น ๆ อีกมากมายนอกเหนือจาก DAML.

DAML vs Solidity

Solidity เป็นหนึ่งในภาษาแรก ๆ สำหรับการเขียนสัญญาอัจฉริยะ Ethereum ที่ได้รับความนิยม ความนิยมนี้เป็นผลมาจากการที่แพลตฟอร์ม Ethereum blockchain เป็นเครือข่ายที่ต้องการสำหรับสัญญาอัจฉริยะ.

ในฐานะภาษาโปรแกรม Solidity ครองแพลตฟอร์ม Ethereum ภาษานี้ใช้ไวยากรณ์และสคริปต์ระดับสูงที่คล้ายกับ JavaScript โดยเฉพาะอย่างยิ่งภาษามีความสำคัญในการเพิ่มประสิทธิภาพของ Ethereum Virtual Machine บล็อกเชนส่วนตัวอื่น ๆ อีกมากมายเช่น Hyperledger Burrow และ Monax ใช้ภาษาสำหรับการพัฒนาหลัก.

นอกจากนี้นักพัฒนา Ethereum ยังใช้ Solidity เพื่อเขียนซอฟต์แวร์เวอร์ชัน 0.4.0 ความสวยงามของภาษานี้คือไม่ทำลายการทำงานของเครือข่ายบล็อกเชน.

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

แตกต่างจาก DAML ที่มีภาษาคล้ายกับภาษา Haskell Solidity ใช้ไวยากรณ์ที่ใกล้เคียงกับ ECMAScript อย่างไรก็ตาม Solidity มีความสามารถพิเศษเช่นประเภทการส่งคืนแบบผันแปรและความสามารถในการพิมพ์แบบคงที่ นอกจากนี้สัญญาที่เขียนใน Solidity ยังรองรับการสืบทอดหลายแบบซึ่งอำนวยความสะดวกด้วย C3 linearization.

ภาษาแบบจำลองแอคทูลัส

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

นอกเหนือจาก DAML และ Solidity แล้ว Actulus Modeling Language (AML) ยังช่วยแก้ปัญหาการคำนวณในภาคบำนาญและการประกันภัย โดยเฉพาะอย่างยิ่ง AML เป็นกิจการที่มีหลายฝ่ายซึ่งรวมเอา Edlund A / S และ IT University of Copenhagen เข้าด้วยกัน.

ซึ่งแตกต่างจากภาษาเช่น Java และ C / C ++ ซึ่งโดยทั่วไปสามารถใช้ได้ในการตั้งค่าต่างๆ AML เป็นเฉพาะโดเมน นี่เป็นการบอกว่าภาษามีประโยชน์สำหรับวัตถุประสงค์เฉพาะหรือสามารถสร้างแอปพลิเคชันที่ทำงานบนแพลตฟอร์มเฉพาะได้ ดังนั้นภาษาจึงไม่สามารถสร้างโปรแกรมอินเทอร์เฟซและแอปพลิเคชันแบบสแตนด์อะโลนได้.

สัญญา BOScoin Trust

นี่เป็นอีกทางเลือกหนึ่งที่ใช้ Web Ontology Language (WOL) เพื่อสร้างสัญญาอัจฉริยะ BOScoin ใช้ Timed Automata Language (TAL) เสมอเพื่อเพิ่มความไว้วางใจและความแข็งแกร่งของสัญญา โดยเฉพาะอย่างยิ่งภาษาจะสร้าง Trust Contracts ที่อำนวยความสะดวกในการสร้าง Decentralized Applications (DApps) โดยพื้นฐานแล้วสัญญาอัจฉริยะเป็นการเสริมสร้างลักษณะที่เชื่อถือได้ของ DApps.

เรียนรู้เพิ่มเติม: dApp คืออะไร?

เช่นเดียวกับ DAML BOScoin ไม่ใช่ Turing-Complete แต่ภาษาเหล่านี้สามารถตัดสินใจได้ซึ่งทำให้แตกต่างจากลักษณะ Turing-Complete ของ Ethereum Smart Contracts ซึ่งแตกต่างจากสัญญาอัจฉริยะของ Ethereum คือ BOScoin Trust Contracts ใช้ภาษาออนโทโลยีที่ครอบคลุมและมีอยู่มากกว่า โดยเฉพาะอย่างยิ่งนี่เป็นเพราะความต้องการของทีมในการสร้างแพลตฟอร์มที่นักพัฒนาสามารถสร้างสัญญาที่เชื่อถือได้.

อนาคตจะเป็นอย่างไรสำหรับ DAML?

เมื่อสิ่งต่าง ๆ เกิดขึ้นสภาพแวดล้อมของบล็อกเชนก็จมอยู่ใต้น้ำด้วยภาษาสัญญาอัจฉริยะ หลายภาษาทำให้แอปพลิเคชันบล็อกเชนทำงานร่วมกันได้ยากและด้วยเหตุนี้จึงทำให้การใช้บล็อกเชนจำนวนมากล่าช้าออกไป.

ที่น่าสนใจแพลตฟอร์ม Hyperledger เพียงอย่างเดียวใช้มากกว่าหกภาษารวมถึง DAML ซึ่งสร้างสัญญาอัจฉริยะใน Hyperledger Sawtooth.

อย่างไรก็ตามความสามารถที่เป็นนามธรรมของรันไทม์ DAML ช่วยแก้ปัญหาจุดบกพร่องในสัญญาอัจฉริยะที่สร้างขึ้นทั่วทั้งกระดาน นอกจากนี้ยังทำให้แอปพลิเคชัน DAML พกพาไปยังแพลตฟอร์มอื่น ๆ นอกจากแพลตฟอร์ม Digital Asset แล้วยังมีการประกาศการสนับสนุน DAML สำหรับ VMware Blockchain และ Sawtooth ซึ่งบ่งชี้ว่าแพลตฟอร์มอื่น ๆ อาจนำมาใช้.

ดังนั้นจึงมีแนวโน้มว่าภาษา DAML จะกลายเป็นภาษาสัญญาอัจฉริยะสากลในอีกไม่กี่ทศวรรษข้างหน้า.

หากคุณต้องการเรียนรู้เพิ่มเติมเกี่ยวกับหัวข้อพื้นฐานที่คล้ายคลึงกันเกี่ยวกับเทคโนโลยีบล็อกเชนโปรดดูหลักสูตรบล็อกเชนสำหรับองค์กรฟรีของเรา.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
Adblock
detector
map