เครื่องมือการเข้ารหัสที่ทันสมัยสามารถช่วย DeFi ได้หรือไม่?
หมายเหตุบรรณาธิการ: บทความนี้มาจากผู้ที่ชื่นชอบ Ethereum (ID: ethfans)หมายเหตุบรรณาธิการ: บทความนี้มาจาก
ผู้ที่ชื่นชอบ Ethereum (ID: ethfans)
ผู้ที่ชื่นชอบ Ethereum (ID: ethfans)
ขบวนการการเงินแบบกระจายอำนาจ (DeFi) ได้ให้คำมั่นว่าจะยกระดับโลกการเงิน ทำให้มีความยุติธรรมและโปร่งใสมากขึ้น อย่างไรก็ตาม เพื่อให้ DeFi บรรลุเป้าหมายนี้ในระดับโลก บล็อกเชนแบบกระจายอำนาจอย่าง Ethereum จำเป็นต้องปรับขนาดปริมาณงาน! ซึ่งหมายความว่าเราจำเป็นต้องใช้แผนการพิสูจน์การเข้ารหัสแบบใหม่ (บางคนจะเรียกรวมๆ ถึงแผนการเหล่านี้ว่า "การพิสูจน์ที่ไม่มีความรู้", "ZKP")
ในบทความนี้ เราจะอธิบายถึงความท้าทายในปัจจุบันที่ต้องเผชิญกับ cryptocurrencies แบบกระจายศูนย์ เส้นทางของระบบพิสูจน์การเข้ารหัสต่างๆ เพื่อแก้ปัญหาเหล่านี้ และเหตุใด zk-STARK จึงเหมาะสมที่สุดสำหรับการแก้ปัญหานี้
ชื่อเรื่องรอง
ข้อความ
เราอยู่ในยุคที่ปริมาณงานของระบบคอมพิวเตอร์เพิ่มมากขึ้น ทุกอย่างตั้งแต่แบนด์วิธ พื้นที่จัดเก็บ จนถึงจำนวนพิกเซลบนหน้าจอมีการปรับปรุงอย่างต่อเนื่อง เหตุใดจึงเป็นเรื่องยากที่จะเพิ่มความเร็วในการประมวลผลธุรกรรม (วัดเป็น TPS "ธุรกรรมต่อวินาที") ของ Bitcoin และ Ethereum
คำตอบก็คือ เราต้องการรับรองการกระจายอำนาจด้วย ข้อกำหนดเบื้องต้นสำหรับ blockchain ที่จะยังคงปราศจากสิทธิ์คือผู้ใช้ทุกคนที่มีแล็ปท็อปทั่วไปสามารถตรวจสอบความสมบูรณ์ของประวัติการทำธุรกรรมได้ มีหลักการสำคัญที่นี่ ซึ่งเราเรียกว่า "ความรับผิดชอบรวม" ซึ่งหมายความว่า: เราไม่สามารถเร่งรีบในการเพิ่มพลังการประมวลผลของระบบ มิฉะนั้น มันจะเสื่อมสลายไปเป็นระบบการชำระเงินแบบรวมศูนย์ที่มี chaebols เพียงไม่กี่ชนิดที่ควบคุม (ที่ คือ "ระบบการเงินในปัจจุบัน")
คำอธิบายภาพ
ดังนั้น แผนการปรับขนาดทั้งหมด รวมถึง Plasma, Optimistic Rollup และวิธีการของเรา (อิงตามระบบพิสูจน์การเข้ารหัส ซึ่งมักเรียกว่า ZK Rollup scheme) จึงแนะนำเอนทิตีสองประเภทที่แตกต่างกัน: กลุ่มเล็กๆ ของบุคคลที่ "มีอำนาจ" จำเป็นต้องลงทุน มีทรัพยากรมากมายสำหรับการคำนวณอย่างเข้มข้น นอกจากนี้ ยังมีโหนดกลุ่มใหญ่ซึ่งมีหน้าที่ตรวจสอบธุรกรรมและรับรองว่าผลลัพธ์การคำนวณที่สร้างโดยผู้เข้าร่วมที่ทรงพลังนั้นสามารถตรวจสอบได้
ทรูพุตสามารถปรับสเกลได้อย่างไรในขณะที่มั่นใจในการกระจายอำนาจ? จากนั้นให้ผู้เข้าร่วมที่มีอำนาจทำการคำนวณ และการมีส่วนร่วมที่อ่อนแอรับประกันว่าสามารถตรวจสอบได้ ไม่สำคัญว่าผู้เข้าร่วมที่มีอำนาจจะประสงค์ร้ายหรือไม่ สิ่งสำคัญคือผู้เข้าร่วมที่อ่อนแอสามารถรับประกันความรับผิดชอบได้!
ก่อนที่จะลงลึกในรายละเอียด ลองมาดูที่ระบบพิสูจน์การเข้ารหัส
ชื่อเรื่องรอง
คุณต้องรู้บางอย่างเกี่ยวกับระบบพิสูจน์การเข้ารหัส
ระบบพิสูจน์การเข้ารหัสลับก่อตั้งขึ้นในปี 2523 คุณค่าที่ยอดเยี่ยมสำหรับบล็อกเชนที่ไม่ต้องเข้าถึงได้นำไปสู่การระเบิดของโครงสร้างทางทฤษฎีใหม่และโปรโตคอลใหม่ในฟิลด์บล็อกเชนในช่วงไม่กี่ปีที่ผ่านมา ในหัวข้อต่อไปนี้ เราจะโฟกัสไปที่ STARK เท่านั้น ซึ่งเป็นรูปแบบการพิสูจน์ประเภทหนึ่งที่ทีม StarkWare ของเราตั้งใจที่จะนำเสนอสู่ตลาด
โดยทั่วไปมีบทบาทสองประเภทในระบบพิสูจน์การเข้ารหัส: ผู้พิสูจน์และผู้ตรวจสอบ
Prover: ผู้พิสูจน์ต้องการพิสูจน์ให้ผู้ตรวจสอบเห็นว่าคำสั่งการคำนวณบางอย่างถูกต้อง เช่น "ฉันได้ประมวลผลธุรกรรม 10,000 รายการเหล่านี้แล้ว และแฮชของฐานข้อมูลที่ได้คือ X" ผู้ตรวจสอบแสดงหลักฐานของคำสั่งการคำนวณนี้และส่งไปยังผู้ตรวจสอบ
สังเกต! ในระบบพิสูจน์การเข้ารหัสเช่น STARK ภาระการคำนวณของผู้พิสูจน์และผู้ตรวจสอบนั้นไม่สมดุลกัน!
เมื่อเทียบกับการดำเนินการตามกระบวนการคำนวณดั้งเดิมเพียงอย่างเดียว ค่าใช้จ่ายในการคำนวณของผู้พิสูจน์จะสูงกว่ามาก ในทางกลับกัน ผู้ตรวจสอบจะต้องได้รับประโยชน์จากค่าใช้จ่ายจำนวนมากที่จ่ายโดยผู้ตรวจสอบ และจำนวนการคำนวณที่ผู้ตรวจสอบจะดำเนินการจะน้อยกว่า กระบวนการคำนวณเดิมมีมากขึ้น เช่น หากเดิมต้องดำเนินการธุรกรรม 10,000 รายการ ผู้ตรวจสอบจะต้องจ่ายเฉพาะค่าโสหุ้ยการคำนวณของธุรกรรม 10 รายการเท่านั้น
ดังนั้น ระบบพิสูจน์การเข้ารหัสในปัจจุบันสามารถช่วย DeFi ในด้านใดได้บ้าง
- ความสามารถในการปรับขนาด
- ความเป็นส่วนตัว
- ความยุติธรรม
ความยุติธรรม
เรามาทีละคน
ข้อความ
1. ปรับปรุงความสามารถในการปรับขนาดด้วย STARK
เรากลับไปสู่ความท้าทายพื้นฐาน: ปรับขนาดปริมาณงานของ Ethereum ในขณะที่ยังคงรักษาความครอบคลุมและความรับผิดชอบ เราต้องการเทคนิคที่สามารถเพิ่มปริมาณงานได้อย่างมาก (โดยการกระจายภาระการคำนวณไปยัง "นักแสดงที่แข็งแกร่ง" จำนวนเล็กน้อย) ในขณะที่ "นักแสดงที่อ่อนแอ" จำนวนมากสามารถตรวจสอบความสมบูรณ์ของการคำนวณของนักแสดงที่แข็งแกร่งเหล่านี้ได้อย่างเต็มที่ ) และจะไม่เพิ่มขึ้น ภาระให้กับผู้เล่นที่อ่อนแอ รูปแบบส่วนขยายอื่นๆ เช่น Plasma และ Optimistic Rollup พึ่งพา Fraud Proof และเราได้อธิบายในบทความนี้ว่าทำไมระบบพิสูจน์การเข้ารหัสลับจึงเป็นโซลูชันที่ดีกว่า (หมายเหตุบรรณาธิการ: ดูไฮเปอร์ลิงก์ที่ส่วนท้ายของบทความสำหรับการแปลภาษาจีน " การพิสูจน์ความถูกต้องเทียบกับการพิสูจน์ความเท็จ")
ด้วยการใช้ความสามารถในการปรับขนาดของ STARK (ความเร็วของการตรวจสอบจะทวีคูณในความเร็วของการสร้างการพิสูจน์) เราสามารถสร้างสิ่งที่ทรงพลังอย่างกล้าหาญให้เป็นผู้พิสูจน์ แม้แต่ Darth Vader & Sons หุ่นเชิดที่ควบคุมโดยวายร้ายก็ไม่มีปัญหาเช่นกัน กุญแจสำคัญในที่นี้คือผู้พิสูจน์ที่แข็งแกร่งจะต้องแนบหลักฐานที่รัดกุมกับการดำเนินการทั้งหมดของเขา และโหนดที่อ่อนแอทั้งหมดสามารถตรวจสอบหลักฐานเหล่านี้ได้อย่างง่ายดาย ดังนั้น ด้วย STARK (และระบบพิสูจน์การเข้ารหัสอื่น ๆ ) เราจึงสามารถรับประกันความรับผิดชอบโดยรวม ในขณะที่ให้มาตราส่วนปริมาณงานเกือบไม่จำกัด (พูดอย่างเคร่งครัด เรา "สามารถ" ขยายขนาดได้เท่านั้น)
เพื่อให้เฉพาะเจาะจงมากขึ้น พื้นฐานของโซลูชันความสามารถในการขยายขนาด ZK Rollup คือการอนุญาตให้งานคอมพิวเตอร์ขนาดใหญ่ (หรืองานคอมพิวเตอร์ขนาดเล็กจำนวนมาก) สามารถดำเนินการแบบออฟไลน์ได้ และทรัพยากรการประมวลผลแบบออฟไลน์มีมากมายกว่ามาก จากนั้น กระบวนการประมวลผลคอมพิวเตอร์ถูกสร้างขึ้น หลักฐานความถูกต้องจะถูกส่งไปยัง blockchain (พร้อมกับข้อผูกมัดต่อสถานะใหม่) หลักฐานเหล่านี้จะได้รับการตรวจสอบโดยตัวตรวจสอบความถูกต้องของสัญญาอัจฉริยะ หลังจากการยืนยัน ผู้เข้าร่วมเครือข่ายสามารถวางใจได้ว่าการคำนวณทั้งหมดนั้นถูกต้อง (โดยไม่ต้องเชื่อถือเอนทิตีใดๆ) เป็นเพราะเราไม่มีข้อสันนิษฐานที่เชื่อถือได้ซึ่งเราสามารถยอมรับการพิสูจน์ความถูกต้องได้อย่างเป็นธรรม แม้ว่าดาร์ธ เวเดอร์จะออกให้ก็ตาม
สิ่งนี้ไม่ได้อยู่บนกระดาษอีกต่อไป: เมื่อใช้ StarkEx ซึ่งเป็นเครื่องมือปรับขนาดของเรา เราได้รับปริมาณงานมากกว่า 9,000 รายการต่อวินาที (ปรับปรุง 2,000 เท่าบน Ethereum mainnet)! และนี่ไม่ใช่ขีดจำกัด: เราไม่ถูกจำกัดด้วยทรัพยากรบล็อกเชน แต่ด้วยทรัพยากรคลาวด์เท่านั้น
การแลกเปลี่ยน DeversiFi แบบกระจายอำนาจครั้งแรกที่ขับเคลื่อนโดยเอ็นจิ้น StarkEx จะเริ่มใช้งานจริงในสัปดาห์หน้า ยิ่งไปกว่านั้น การแลกเปลี่ยน NFT ที่สนับสนุนโดย StarkEx ยังอยู่ภายใต้การพัฒนาอย่างเข้มข้น ซึ่งจะสามารถรองรับธุรกรรมของทรัพย์สินในเกมได้
2. ZKP ช่วยเพิ่มความเป็นส่วนตัว
การปรับปรุงความเร็วการประมวลผลธุรกรรมไม่ใช่เงื่อนไขเพียงพอสำหรับเครือข่ายสาธารณะที่จะเป็นที่นิยม เรายังต้องการความเป็นส่วนตัว
ผู้บุกเบิกเครือข่ายสาธารณะได้ค้นพบประโยชน์ของ ZKP สำหรับความเป็นส่วนตัวก่อนที่จะค้นพบประโยชน์ของ ZKP สำหรับความสามารถในการปรับขนาด Zcash blockchain เปิดตัวในปี 2559 เป็นระบบแรกที่ให้บริการธุรกรรมที่มีการป้องกันโดยใช้รูปแบบ ZKP
ความเป็นส่วนตัวยังมีความสำคัญต่อการบรรลุตลาดที่มีประสิทธิภาพ เมื่อเทรดในตลาด เทรดเดอร์ต้องการอิสระและไม่เปิดเผยข้อมูลเฉพาะของตนเอง บล็อกที่ปราศจากการอนุญาต (และ DeFi) มีความโปร่งใสอย่างสมบูรณ์โดยการออกแบบ: เพื่อให้โหนดขนาดเล็กทั้งหมดสามารถตรวจสอบสถานะของบล็อกเชนได้โดยไม่ต้องแนะนำสมมติฐานที่น่าเชื่อถือ การทำธุรกรรมทั้งหมดจะถูกเปิดเผยต่อสาธารณะบนเครือข่าย
ความท้าทายก็คือ: ทำอย่างไรจึงจะบรรลุความเป็นส่วนตัวโดยไม่สูญเสียธรรมชาติที่ไร้ความน่าเชื่อถือของ DeFi? คุณสามารถใช้ประโยชน์จากทรัพย์สินที่ไม่มีความรู้ของ ZKP ได้!
ดังที่กล่าวไว้ข้างต้น การพิสูจน์ความรู้เป็นศูนย์ช่วยให้เราสามารถพิสูจน์คำสั่งการคำนวณโดยไม่ต้องเปิดเผยข้อมูลส่วนตัว คุณสมบัตินี้ใช้กับบล็อกเชน อนุญาตให้รวมข้อมูลเฉพาะในอินพุตส่วนตัวที่ไม่ถูกเปิดเผยโดยหลักฐานเลย ผลลัพธ์ที่ได้คือตอนจบที่มีความสุข: ความเป็นส่วนตัวถูกรักษาไว้ และทุกคนสามารถตรวจสอบสถานะของบล็อกเชนได้โดยไม่ต้องใช้สมมติฐานที่น่าเชื่อถือ สมบูรณ์แบบ
ข้อความ
ข้อความ
หมายเหตุ: ความเป็นส่วนตัวไม่ได้หมายถึงการต่อต้านกฎระเบียบ ความต้องการความเป็นส่วนตัวของผู้เข้าร่วมตลาดสามารถอยู่ร่วมกับความจำเป็นในการกำกับดูแลเพื่อสังเกตและตรวจสอบสถานะของตลาด ตัวอย่างเช่น แทนที่จะแชร์บัญชีแยกประเภททั้งหมดกับนักสะสมภาษี ธุรกิจสามารถสร้างหลักฐานที่ไม่มีความรู้ว่าได้จ่ายภาษี ความเป็นส่วนตัวของธุรกิจได้รับการคุ้มครอง และหน่วยงานกำกับดูแลสามารถมั่นใจได้ว่ามีการเก็บภาษี (ดูตัวอย่างได้ที่นี่)
3. ZKP เสริมสร้างความเป็นธรรม
ความเป็นธรรมของตลาดไม่ได้มีความหมายเฉพาะในการเก็งกำไรเชิงปรัชญาเท่านั้น ผู้ค้าอยู่ห่างจากสถานที่ที่พวกเขามองว่าไม่ยุติธรรม ดังนั้นความยุติธรรมจึงช่วยให้มีสภาพคล่อง มีหลายวิธีที่จะทำลายความเป็นธรรมของตลาด แต่ส่วนใหญ่รวมถึงผู้ดำเนินการระบบ (เช่น การแลกเปลี่ยนเอง) ที่ใช้สิทธิ์ในการรู้ล่วงหน้าในทางที่ผิดโดยเป็นหนึ่งในลิงค์ ZKP สามารถช่วยให้ผู้เข้าร่วมมั่นใจได้ว่าผู้ดำเนินการจะไม่ละเมิดสิทธิ์หรือเล่นพรรคเล่นพวก
ตัวอย่างที่โดดเด่นคือการวิ่งนำหน้า Frontrunning คือการที่ผู้ดูแลสภาพคล่องใช้ข้อมูลล่วงหน้าเพื่อซื้อขายก่อนที่ผู้อื่นจะล่วงรู้ข้อมูลนั้น ซึ่งถือว่าผิดกฎหมาย เกี่ยวกับผลกระทบของการซื้อขายแบบ front-running ในตลาด ทุกคนประมาณการแตกต่างกันไป แต่ข้อสรุปที่ยอมรับโดยทั่วไปคือผลกระทบนั้นใหญ่หลวงและไม่เอื้อต่อประสิทธิภาพของตลาด
ข้อความ
ZKP สามารถแก้ปัญหาการทำธุรกรรมล่วงหน้าได้ เนื่องจากการคุ้มครองความเป็นส่วนตัวของผู้ค้าไม่เพียง แต่ป้องกันผู้ค้ารายอื่นเท่านั้น แต่ยังทำให้ผู้ดำเนินการไม่สามารถมองทะลุผ่านได้ สิ่งนี้ทำให้มั่นใจได้ว่าผู้ดำเนินการจะไม่สามารถใช้สิทธิพิเศษในการรู้เพื่อหากำไร ทำให้ผู้ดำเนินการ ให้กลับสู่ตำแหน่งเดิม สถานที่เดิม เราชอบที่จะเห็นวิธีแก้ปัญหาดังกล่าว
ชื่อเรื่องรอง
