หลังจากนั้นสองปี ฉันกลับมาที่บล็อกเพื่อดูโพสต์ที่แตกต่างจากการบรรยายที่น่าเบื่อทั่วไปเกี่ยวกับ Haskell และคณิตศาสตร์ ฉันทำงานเกี่ยวกับฟินเทคในสหภาพยุโรปมาหลายปีแล้ว และดูเหมือนว่าถึงเวลาแล้วที่จะเขียนเกี่ยวกับหัวข้อที่ได้รับความสนใจเพียงเล็กน้อยจากสื่อเทคโนโลยี
Facebook เพิ่งเปิดตัวสิ่งที่เรียกว่า “แพลตฟอร์มบริการทางการเงินใหม่” ที่เรียกว่า Libra มันถูกวางตำแหน่งเป็นระบบการชำระเงินดิจิทัลโดยอิงตามตะกร้าสกุลเงินต่างประเทศที่จัดการบน "บล็อกเชน" และจัดเก็บไว้ในแหล่งเงินที่จัดการจากสวิตเซอร์แลนด์ เป้าหมายของโครงการมีความทะเยอทะยานและก่อให้เกิดผลกระทบทางภูมิรัฐศาสตร์ในวงกว้าง
В и บทความที่สมเหตุสมผลมากมายเกี่ยวกับสมมติฐานทางการเงินและเศรษฐกิจที่ไม่มั่นคงเบื้องหลังระบบการเงินที่เสนอ แต่มีผู้เชี่ยวชาญไม่เพียงพอที่สามารถวิเคราะห์จากมุมมองทางเทคนิคได้ มีคนจำนวนไม่มากที่ทำงานเกี่ยวกับโครงสร้างพื้นฐานทางการเงินและพูดคุยอย่างเปิดเผยเกี่ยวกับงานของพวกเขา ดังนั้นโปรเจ็กต์นี้จึงไม่ได้รับการรายงานข่าวมากนักในสื่อเทคโนโลยี แม้ว่าอวัยวะภายในของโครงการจะเปิดกว้างต่อโลกก็ตาม ฉันหมายถึงโอเพ่นซอร์สในที่เก็บข้อมูล и .
สิ่งที่เปิดสู่โลกคือสิ่งประดิษฐ์ทางสถาปัตยกรรมที่โรคจิตเภทโดยอ้างว่าเป็นแพลตฟอร์มที่ปลอดภัยสำหรับโครงสร้างพื้นฐานการชำระเงินทั่วโลก
หากคุณเจาะลึกฐานโค้ด การใช้งานจริงของระบบจะแตกต่างไปจากเป้าหมายที่ระบุไว้อย่างสิ้นเชิง และในรูปแบบที่แปลกประหลาดที่สุด ฉันแน่ใจว่าโครงการนี้มีประวัติองค์กรที่น่าสนใจ ดังนั้นจึงสมเหตุสมผลที่จะสรุปว่ามันได้รับการออกแบบด้วยความรอบคอบ แต่ในความเป็นจริงแล้ว ฉันเห็นชุดการตัดสินใจทางสถาปัตยกรรมที่แปลกจริงๆ ซึ่งทำให้ระบบทั้งหมดเสียหายและทำให้ผู้ใช้ตกอยู่ในความเสี่ยง
ฉันจะไม่เสแสร้งว่ามีความคิดเห็นที่เป็นกลางเกี่ยวกับ Facebook ในฐานะบริษัท คนในวงการไอทีไม่กี่คนมองเธอด้วยความเห็นอกเห็นใจ แต่การเปรียบเทียบข้อความและรหัสที่เผยแพร่แสดงให้เห็นอย่างชัดเจนว่าวัตถุประสงค์ที่ระบุไว้นั้นเป็นการหลอกลวงโดยพื้นฐาน สรุปแล้ว โครงการนี้ไม่ได้ให้อำนาจแก่ใครเลย เขาจะยังคงอยู่ภายใต้การควบคุมของบริษัทที่ธุรกิจโฆษณาติดหล่มอยู่ในเรื่องอื้อฉาวและการทุจริตจนไม่มีทางเลือกอื่นนอกจากพยายามกระจายการชำระเงินและการให้คะแนนเครดิตเพื่อความอยู่รอด เป้าหมายระยะยาวที่ชัดเจนคือการทำหน้าที่เป็นนายหน้าข้อมูลและตัวกลางในการเข้าถึงสินเชื่อของผู้บริโภคโดยพิจารณาจากข้อมูลโซเชียลมีเดียส่วนบุคคลของพวกเขา นี่เป็นเรื่องราวที่น่ากลัวและมืดมนอย่างยิ่งที่ไม่ได้รับความสนใจเท่าที่ควร
ความสง่างามเพียงอย่างเดียวของเรื่องราวนี้คือสิ่งประดิษฐ์ที่พวกเขาสร้างขึ้นนั้นไม่เหมาะกับงานที่ทำอยู่อย่างน่าตลกขบขันจนสามารถมองได้ว่าเป็นการกระทำที่โอหังเท่านั้น มีข้อผิดพลาดทางสถาปัตยกรรมที่สำคัญหลายประการในโครงการนี้:
การแก้ปัญหานายพลไบเซนไทน์ในเครือข่ายควบคุมการเข้าถึงเป็นการออกแบบที่ไม่สอดคล้องกัน
ปัญหาของนายพลไบแซนไทน์เป็นพื้นที่ที่ค่อนข้างแคบในการวิจัยระบบแบบกระจาย โดยอธิบายถึงความสามารถของระบบเครือข่ายในการทนต่อความล้มเหลวของส่วนประกอบแบบสุ่มในขณะที่ดำเนินการแก้ไขที่สำคัญต่อการทำงานของระบบ เครือข่ายที่ยืดหยุ่นจะต้องทนต่อการโจมตีหลายประเภท รวมถึงการรีสตาร์ท การหยุดทำงาน การโหลดที่เป็นอันตราย และการลงคะแนนเสียงที่เป็นอันตรายในการเลือกตั้งผู้นำ นี่เป็นการตัดสินใจหลักสำหรับสถาปัตยกรรม Libra และมันไม่มีความหมายเลย
ค่าใช้จ่ายด้านความซับซ้อนของเวลาของโครงสร้างเพิ่มเติมนี้ขึ้นอยู่กับอัลกอริทึม มีวรรณกรรมมากมายเกี่ยวกับรูปแบบต่างๆ ของโปรโตคอล Paxos และ Raft ในการแก้ปัญหานายพลไบเซนไทน์ แต่โครงสร้างทั้งหมดนี้แนะนำค่าใช้จ่ายเพิ่มเติมสำหรับการสื่อสารผ่าน 
เพื่อรักษาองค์ประชุม สำหรับ Libra พวกเขาเลือกอัลกอริธึมที่มีต้นทุนการสื่อสารสูงที่สุดเท่าที่จะเป็นไปได้ ในกรณีที่ล้มเหลวในการเป็นผู้นำ และมีค่าใช้จ่ายเพิ่มเติมจากการเลือกตั้งผู้นำที่อาจเกิดขึ้นอีกครั้งในเหตุการณ์ความล้มเหลวของเครือข่ายหลายประเภท
สำหรับระบบที่ดำเนินงานภายในกลุ่มบริษัทข้ามชาติที่ได้รับการควบคุมอย่างเข้มงวด ซึ่งผู้ใช้ทุกคนมีรหัสที่ลงนามโดย Facebook และการเข้าถึงเครือข่ายถูกควบคุมโดย Facebook การพิจารณาผู้เข้าร่วมที่เป็นอันตรายในระดับฉันทามตินั้นไม่สมเหตุสมผลเลย ยังไม่ชัดเจนว่าทำไมระบบนี้ถึงแก้ปัญหาของนายพลไบแซนไทน์ แทนที่จะรักษาแนวทางการตรวจสอบที่สอดคล้องกันเพื่อตรวจสอบการปฏิบัติตามข้อกำหนด ความเป็นไปได้ของโหนด Libra ที่ดำเนินการโดย Mastercard หรือ Andressen Horrowitz ที่เริ่มเรียกใช้โค้ดที่เป็นอันตรายอย่างกะทันหันนั้นเป็นสถานการณ์ที่แปลกที่ต้องวางแผนและแก้ไขได้ดีกว่าโดยเพียงแค่ตรวจสอบความสมบูรณ์ของโปรโตคอลและวิธีที่ไม่ใช่ด้านเทคนิค (เช่น ถูกกฎหมาย)
คำให้การต่อรัฐสภาเรียกเก็บเงินผลิตภัณฑ์ดังกล่าวในฐานะคู่แข่งตามโปรโตคอลการชำระเงินระหว่างประเทศใหม่ เช่น WeChat, Alipay และ M-Pesa อย่างไรก็ตาม ไม่มีระบบเหล่านี้ได้รับการออกแบบมาให้ทำงานบนพูลตัวตรวจสอบความถูกต้องเพื่อแก้ไขปัญหานายพลไบเซนไทน์ ได้รับการออกแบบอย่างเรียบง่ายบนบัสแบนด์วิธสูงแบบดั้งเดิมที่ทำการเดินสายตามกฎที่กำหนดไว้ตายตัว นี่เป็นแนวทางธรรมชาติในการออกแบบระบบการชำระเงิน ออกแบบมาอย่างดี ระบบการชำระเงินก็จะไม่พบปัญหาการใช้จ่ายซ้ำซ้อนและส้อม
โอเวอร์เฮดของอัลกอริธึมที่เป็นเอกฉันท์ไม่สามารถแก้ปัญหาใดๆ ได้ และเพียงจำกัดปริมาณงานของระบบโดยไม่มีเหตุผลอื่นใด นอกจากลัทธิการขนส่งสินค้าของบล็อกเชนสาธารณะ ซึ่งไม่ได้มีไว้สำหรับกรณีการใช้งานนี้
Libra ไม่มีความเป็นส่วนตัวในการทำธุรกรรม
ตามเอกสารประกอบ ระบบได้รับการออกแบบโดยคำนึงถึง นามแฝงนั่นคือ ที่อยู่ที่ใช้ในโปรโตคอลได้มาจากกุญแจสาธารณะบนเส้นโค้งรูปไข่ และไม่มีข้อมูลเมตาเกี่ยวกับบัญชี อย่างไรก็ตาม ไม่มีคำอธิบายโครงสร้างการกำกับดูแลสำหรับองค์กรหรือในโปรโตคอลเลยที่ระบุว่าข้อมูลทางเศรษฐกิจที่เกี่ยวข้องกับธุรกรรมจะถูกซ่อนจากผู้ตรวจสอบความถูกต้องอย่างไร ระบบได้รับการออกแบบมาเพื่อจำลองธุรกรรมในขนาดใหญ่ไปยังบุคคลภายนอกต่างๆ ซึ่งภายใต้กฎหมายการรักษาความลับของธนาคารในยุโรปและสหรัฐอเมริกาที่มีอยู่ ไม่ควรเป็นความลับในรายละเอียดทางเศรษฐกิจ
นโยบายข้อมูลระหว่างประเทศเป็นเรื่องยากที่จะประสานงาน โดยเฉพาะอย่างยิ่งเมื่อมีกฎหมายและข้อบังคับที่แตกต่างกันในเขตอำนาจศาลที่แตกต่างกันซึ่งมีมุมมองทางวัฒนธรรมที่แตกต่างกันเกี่ยวกับการปกป้องข้อมูลและความเป็นส่วนตัว โดยค่าเริ่มต้น โปรโตคอลจะเปิดกว้างสำหรับสมาชิกกลุ่มซึ่งเป็นข้อบกพร่องทางเทคนิคที่ชัดเจนซึ่งไม่ตรงตามข้อกำหนดที่ได้รับการออกแบบ
Libra HotStuff BFT ไม่สามารถบรรลุปริมาณงานที่จำเป็นสำหรับระบบการชำระเงินได้
ในสหราชอาณาจักร ระบบการหักบัญชีเช่น BAC สามารถรองรับธุรกรรมได้ประมาณ 580 ธุรกรรมต่อเดือน ในเวลาเดียวกัน ระบบที่ได้รับการปรับให้เหมาะสมอย่างสูง เช่น Visa สามารถประมวลผลธุรกรรมได้ 000 รายการต่อวัน ประสิทธิภาพจะแตกต่างกันไปขึ้นอยู่กับขนาดธุรกรรม การกำหนดเส้นทางเครือข่าย โหลดระบบ และ (การต่อต้านการฟอกเงิน, แผนการฟอกเงิน)
Libra พยายามแก้ไขปัญหาที่ไม่ใช่ปัญหาจริงๆ สำหรับการโอนเงินภายในประเทศ เนื่องจากรัฐของประเทศต่างๆ ได้ปรับปรุงโครงสร้างพื้นฐานการหักบัญชีให้ทันสมัยในช่วงทศวรรษที่ผ่านมา สำหรับผู้บริโภครายย่อยในสหภาพยุโรป การเคลื่อนย้ายเงินไม่ใช่ปัญหาแต่อย่างใด บนโครงสร้างพื้นฐานแบบดั้งเดิม สามารถทำได้ด้วยสมาร์ทโฟนมาตรฐานภายในไม่กี่วินาที สำหรับการโอนย้ายองค์กรขนาดใหญ่ มีกลไกและกฎเกณฑ์ต่างๆ ที่เกี่ยวข้องกับการเคลื่อนย้ายเงินจำนวนมาก
ไม่มีเหตุผลทางเทคนิคที่ทำให้การชำระเงินข้ามพรมแดนไม่สามารถดำเนินการได้ทันที นอกเหนือจากความแตกต่างในกฎและข้อกำหนดระหว่างเขตอำนาจศาลที่เกี่ยวข้อง หากมีการดำเนินการมาตรการป้องกันที่จำเป็น (การตรวจสอบสถานะของลูกค้า การตรวจสอบการลงโทษ ฯลฯ) หลายครั้งในขั้นตอนต่างๆ ของห่วงโซ่ธุรกรรม อาจส่งผลให้เกิดความล่าช้าในการทำธุรกรรม อย่างไรก็ตาม ความล่าช้านี้เป็นเพียงหน้าที่ของกฎหมายและการปฏิบัติตามกฎระเบียบเท่านั้น ไม่ใช่เทคโนโลยี
สำหรับผู้บริโภค ไม่มีเหตุผลว่าทำไมธุรกรรมในสหราชอาณาจักรจะไม่ชัดเจนภายในไม่กี่วินาที ธุรกรรมการค้าปลีกในสหภาพยุโรปกำลังชะลอตัวลงอย่างแน่นอน (รู้จักลูกค้าของคุณ) และข้อจำกัด AML ที่กำหนดโดยรัฐบาลและหน่วยงานกำกับดูแล ซึ่งใช้กับการชำระเงิน Libra อย่างเท่าเทียมกัน แม้ว่า Facebook จะต้องเอาชนะอุปสรรคในการถ่ายโอนข้ามพรมแดนและการถ่ายโอนข้อมูลส่วนตัว แต่โมเดลที่นำเสนอนั้นอยู่ห่างจากปริมาณธุรกรรมทั่วโลกหลายร้อยปีคน และมีแนวโน้มว่าจะต้องได้รับการออกแบบใหม่ตั้งแต่ต้น
ภาษา Libra Move ไม่ถูกต้อง
เอกสารไวท์เปเปอร์กล่าวถึงภาษาใหม่ที่ยังไม่ผ่านการทดสอบที่เรียกว่า Move ข้อความเหล่านี้ค่อนข้างน่าสงสัยจากมุมมองของทฤษฎีภาษาโปรแกรม (PLT)
Move เป็นภาษาการเขียนโปรแกรมใหม่สำหรับการนำตรรกะธุรกรรมที่กำหนดเองและสัญญาอัจฉริยะไปใช้กับบล็อกเชน Libra เนื่องจาก Libra ตั้งเป้าที่จะให้บริการผู้คนนับพันล้านในวันหนึ่ง Move จึงได้รับการออกแบบโดยคำนึงถึงความปลอดภัยเป็นอันดับแรก
คุณสมบัติที่สำคัญของ Move คือความสามารถในการกำหนดประเภททรัพยากรตามอำเภอใจด้วยความหมายที่ได้รับแรงบันดาลใจจากตรรกะเชิงเส้น
ในบล็อกเชนสาธารณะ สัญญาอัจฉริยะต้องเผชิญกับตรรกะของเครือข่ายสาธารณะด้วยบัญชีเอสโครว์ การฟอกเงิน การออกโทเค็น OTC และการพนัน ทั้งหมดนี้ทำในภาษาที่ออกแบบมาไม่ดีอย่างน่าทึ่งที่เรียกว่า Solidity ซึ่งจากมุมมองทางวิชาการทำให้ผู้เขียน PHP ดูเหมือนเป็นอัจฉริยะ น่าแปลกที่ภาษาใหม่จาก Facebook ดูเหมือนจะไม่เกี่ยวข้องกับเทคโนโลยีเหล่านี้ เนื่องจากจริงๆ แล้วเป็นภาษาสคริปต์ที่มีจุดประสงค์เพื่อวัตถุประสงค์ที่ไม่ชัดเจนขององค์กร
ในบัญชีแยกประเภทส่วนตัว สัญญาอัจฉริยะเป็นหนึ่งในเงื่อนไขที่ที่ปรึกษานำมาใช้โดยไม่คำนึงถึงคำจำกัดความหรือวัตถุประสงค์ที่ชัดเจนมากนัก ที่ปรึกษาด้านซอฟต์แวร์ระดับองค์กรมักสร้างรายได้จากความคลุมเครือ และสัญญาที่ชาญฉลาดถือเป็นการยุติความคลุมเครือขององค์กร เนื่องจากสามารถกำหนดเป็นอะไรก็ได้ตามตัวอักษร
หลังจากอ้างสิทธิ์เกี่ยวกับความปลอดภัยแล้ว เราจำเป็นต้องดูความหมายของภาษา ความถูกต้องในทฤษฎีภาษาโปรแกรมโดยทั่วไปประกอบด้วยการพิสูจน์ที่แตกต่างกันสองแบบ: "ความก้าวหน้า" และ "การอนุรักษ์" ซึ่งกำหนดความสอดคล้องของกฎการประเมินพื้นที่ทั้งหมดสำหรับภาษา โดยเฉพาะอย่างยิ่งในทฤษฎีประเภท ฟังก์ชันจะเป็น "เชิงเส้น" หากใช้อาร์กิวเมนต์เพียงครั้งเดียว และ "affine" หากใช้มากที่สุดเพียงครั้งเดียว ระบบประเภทเชิงเส้นให้การรับประกันคงที่ว่าฟังก์ชันเชิงเส้นที่ประกาศนั้นเป็นเชิงเส้นอย่างแท้จริงโดยการกำหนดประเภทให้กับนิพจน์ย่อยของฟังก์ชันทั้งหมด และติดตามตำแหน่งที่มีการเรียก นี่เป็นคุณสมบัติที่ละเอียดอ่อนในการพิสูจน์และไม่ใช่เรื่องง่ายที่จะนำไปใช้กับทั้งโปรแกรม การพิมพ์เชิงเส้นยังคงเป็นสาขาวิชาวิชาการอย่างมาก โดยได้รับอิทธิพลจากการนำลักษณะเฉพาะของประเภทมาใช้ใน Clean และความเป็นเจ้าของประเภทใน Rust มีข้อเสนอเบื้องต้นสำหรับการเพิ่มประเภทเชิงเส้นให้กับ Glasgow Haskell Compiler
คำกล่าวของ Move เกี่ยวกับการใช้ประเภทเชิงเส้นดูเหมือนจะเป็นการดำน้ำที่ไม่สมควรในคอมไพเลอร์ตั้งแต่นั้นมา - เท่าที่ทราบ เอกสารไวท์เปเปอร์อ้างอิงวรรณกรรมมาตรฐานจาก Girard และ Peirce และไม่มีอะไรที่คล้ายคลึงกันในการใช้งานจริง
นอกจากนี้ ความหมายที่เป็นทางการของภาษาที่ปลอดภัยตามที่คาดคะเนไม่ปรากฏอยู่ในการใช้งานหรือในเอกสาร ภาษามีขนาดเล็กพอที่จะค้นหาหลักฐานที่สมบูรณ์เกี่ยวกับความหมายที่ถูกต้องใน Coq หรือ Isabelle ในความเป็นจริง คอมไพเลอร์การแปลงเต็มรูปแบบแบบ end-to-end พร้อมหลักฐานการถ่ายโอนไปยัง bytecode นั้นค่อนข้างเป็นไปได้ที่จะนำไปใช้กับเครื่องมือสมัยใหม่ที่คิดค้นขึ้นในทศวรรษที่ผ่านมา เรารู้วิธีการทำโดยเริ่มจาก ย้อนกลับไปในปี 1996
จากมุมมองของทฤษฎีภาษาโปรแกรม เป็นไปไม่ได้ที่จะทดสอบการกล่าวอ้างที่ว่า Move เป็นภาษาที่เชื่อถือได้และปลอดภัย เนื่องจากการกล่าวอ้างเหล่านี้เป็นเพียงการโบกมือและการตลาดอย่างแท้จริง แทนที่จะเป็นหลักฐานจริง นี่เป็นสถานการณ์ที่น่าตกใจสำหรับโครงการภาษาที่ถูกขอให้ประมวลผลธุรกรรมมูลค่าหลายพันล้านดอลลาร์
การเข้ารหัสของ Libra มีข้อบกพร่อง
การสร้างระบบเข้ารหัสที่ปลอดภัยเป็นปัญหาทางวิศวกรรมที่ยากมาก และวิธีที่ดีที่สุดเสมอคือทำงานกับโค้ดที่เป็นอันตรายและมีความหวาดระแวงที่ดีต่อสุขภาพ มีความก้าวหน้าครั้งสำคัญในด้านนี้ เช่น โครงการ Microsoft Everest ซึ่งกำลังสร้างความปลอดภัยที่สามารถตรวจสอบได้ - มีเครื่องมืออยู่แล้วในการสร้างพื้นฐานที่ตรวจสอบได้ แม้ว่าจะมีราคาแพง แต่ก็ไม่ได้เกินความสามารถทางเศรษฐกิจของ Facebook อย่างชัดเจน อย่างไรก็ตาม ทีมงานตัดสินใจที่จะไม่เข้าร่วมในโครงการซึ่งได้รับการประกาศให้เป็นรากฐานที่เชื่อถือได้สำหรับระบบการเงินโลก
โครงการราศีตุลย์ จากห้องสมุดที่ค่อนข้างใหม่หลายแห่งสำหรับการสร้างระบบการเข้ารหัสแบบทดลองซึ่งเพิ่งปรากฏในช่วงไม่กี่ปีที่ผ่านมา เป็นไปไม่ได้ที่จะบอกว่าการพึ่งพาเครื่องมือต่อไปนี้ปลอดภัยหรือไม่ เนื่องจากไม่มีไลบรารีเหล่านี้ได้รับการตรวจสอบและไม่มีนโยบายการเปิดเผยข้อมูลมาตรฐาน โดยเฉพาะอย่างยิ่ง สำหรับไลบรารีหลักบางแห่ง ไม่มีความแน่นอนเกี่ยวกับการป้องกันการโจมตีช่องทางด้านข้างและการโจมตีตามเวลา
ห้องสมุด Libra ยิ่งมีการทดลองมากขึ้นและก้าวไปไกลกว่านั้น โดยใช้เทคนิคใหม่ๆ เช่น ฟังก์ชันสุ่มที่ตรวจสอบได้ (VRF) คู่บิลิเนียร์ และลายเซ็นขีดจำกัด วิธีการและไลบรารีเหล่านี้อาจสมเหตุสมผล แต่การรวมทั้งหมดไว้ในระบบเดียวทำให้เกิดข้อกังวลร้ายแรงเกี่ยวกับพื้นที่ผิวของการโจมตี การผสมผสานระหว่างเครื่องมือและเทคนิคใหม่ๆ เหล่านี้ช่วยเพิ่มความซับซ้อนในการพิสูจน์ความปลอดภัยอย่างมาก
ควรสันนิษฐานว่าสแต็กการเข้ารหัสทั้งหมดนี้มีความเสี่ยงต่อการโจมตีต่างๆ จนกว่าจะพิสูจน์เป็นอย่างอื่น โมเดล 'Move Fast and Break Things' อันโด่งดังของ Facebook ไม่สามารถใช้ได้กับเครื่องมือเข้ารหัสที่ประมวลผลข้อมูลทางการเงินของลูกค้า
Libra ล้มเหลวในการใช้กลไกการคุ้มครองผู้บริโภค
คุณลักษณะที่โดดเด่นของระบบการชำระเงินคือความสามารถในการย้อนกลับธุรกรรมหากการชำระเงินถูกยกเลิกโดยการฟ้องร้องหรือนำไปสู่ความล้มเหลวโดยไม่ได้ตั้งใจหรือระบบ ระบบ Libra ได้รับการออกแบบให้ "สมบูรณ์" และไม่มีประเภทธุรกรรมสำหรับการยกเลิกการชำระเงิน ในสหราชอาณาจักร การชำระเงินทั้งหมดระหว่าง 100 ถึง 30,000 ปอนด์อยู่ภายใต้กฎหมาย Consumer Credit Act ซึ่งหมายความว่าระบบการชำระเงินจะแบ่งความรับผิดชอบกับผู้ขายในกรณีที่เกิดปัญหากับผลิตภัณฑ์ที่ซื้อหรือหากผู้รับการชำระเงินไม่ได้ให้บริการ กฎที่คล้ายกันนี้บังคับใช้ในสหภาพยุโรป เอเชีย และอเมริกาเหนือ
การออกแบบ Libra ในปัจจุบันไม่มีโปรโตคอลเพื่อให้สอดคล้องกับกฎหมายเหล่านี้ และไม่มีแผนที่ชัดเจนสำหรับการสร้าง ที่แย่ไปกว่านั้น จากมุมมองทางสถาปัตยกรรม ความสมบูรณ์ของโครงสร้างข้อมูลที่ผ่านการรับรองความถูกต้องของเคอร์เนล ซึ่งขึ้นอยู่กับสถานะของไดรฟ์ Merkle นั้น ไม่อนุญาตให้กลไกใดๆ สร้างโปรโตคอลดังกล่าวโดยไม่ต้องออกแบบเคอร์เนลใหม่
หลังจากดำเนินการตรวจสอบทางเทคนิคของโครงการนี้แล้ว เราสามารถสรุปได้ว่าโครงการนี้จะไม่ผ่านการคัดเลือกในการวิจัยระบบแบบกระจายหรือวารสารวิศวกรรมการเงินที่ได้รับการยอมรับ ในการพยายามเปลี่ยนแปลงนโยบายการเงินทั่วโลก จำเป็นต้องทำงานด้านเทคนิคจำนวนมหาศาลเพื่อสร้างเครือข่ายที่เชื่อถือได้และการประมวลผลข้อมูลผู้ใช้ที่ปลอดภัยซึ่งสาธารณะและหน่วยงานกำกับดูแลสามารถเชื่อถือได้
ฉันไม่เห็นเหตุผลที่เชื่อได้ว่า Facebook ได้ทำงานที่จำเป็นในการออกแบบเพื่อเอาชนะปัญหาทางเทคนิคเหล่านี้ หรือมีข้อได้เปรียบทางเทคนิคเหนือโครงสร้างพื้นฐานในปัจจุบัน การกล่าวว่าบริษัทต้องการความยืดหยุ่นด้านกฎระเบียบในการสำรวจนวัตกรรมไม่ใช่ข้อแก้ตัวที่จะไม่ดำเนินการดังกล่าวก่อน
ที่มา: will.com