บล็อกเชนการทำงานร่วมกัน (ส่วน 2): พิสูจน์การเก็บรักษา — สนับสนุนกรณีการใช้ Cross-Chain ใหม่

ขั้นสูง12/17/2023, 5:02:55 PM
เอกสารฉบับนี้สำรวจพิสูจน์การเก็บรักษาและการประยุกต์ใช้ในการตรวจสอบประวัติการทำธุรกรรมบล็อกเชน และใช้แนวคิดของการตรวจสอบด้วยความเชื่อขั้นต่ำเพื่อตรวจสอบการทำธุรกรรมทางประวัติศาสตร์และกิจกรรมของผู้ใช้ ซึ่งจะปลดล็อกปริมาณมากของกรณีการใช้งาน跨ลําดับ ในเอกสารยังระบุว่าวิธีนี้ที่อาศัยพิสูจน์ด้วยศาสตร์ที่ไม่รู้เพียงเพียงศูนย์สามารถแก้ปัญหาการจัดเก็บข้อมูลที่เกิดขึ้นกับบางผู้ให้บริการบล็อกเชน L2 และผู้ให้บริการโหนดที่มีการจัดกลุ่มข้อมูล

ในโพสต์ก่อนหน้าของเรา ซึ่งจะเป็นไปได้ เราได้สนทนาถึง peran dari konsensus bukti metode kepercayaan minimization ini yang sedang muncul dalam memfasilitasi jembatan antara blockchain.

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

ในบล็อกเชน Gate.ioโพสต์ก่อนหน้า, เราได้เสนอ Proof of Consensus — วิธีการลดความเชื่อถือให้ต่ำสุดเพื่อสร้างสะพานเงินข้ามบล็อกเชน โดยที่ผู้ใช้สะพาน通常ต้องการให้เห็นการทำธุรกรรมเกิดขึ้นทันทีในช่วงเวลาล่าสุด การพิสูจน์ความเชื่อมักเป็นประโยชน์มากเนื่องจากพวกเขาตรวจสอบสถานะล่าสุดของบล็อกเชนอยู่ตลอดเวลาเนื่องจากมันเป็นการดำเนินการ

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

ดึงข้อมูลย้อนหลัง

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

วันนี้ เพื่อเข้าถึงข้อมูลประวัติศาสตร์ โปรโตคอลบ่อยครั้งสอบถามโหนดเก็บข้อมูลผู้ให้บริการ เช่น บริษัทบุคคลที่สาม เช่น Infura, Alchemy, หรือดัชนีอื่น ๆ นั้นหมายความว่าการเชื่อมั่นและพึ่งพาอยู่กับพวกเขาและข้อมูลของพวกเขา

ข้อมูลที่เกี่ยวข้องกับประวัติศาสตร์

ข้อมูลนี้อาจถูกผ่อนคลายได้ในรูปแบบที่น้อยลงในแบบที่น้อยที่มีความเชื่อมั่นมากขึ้น ผ่านการใช้พิสูจน์การจัดเก็บ

ข้อมูลทางประวัติศาสตร์

อย่างไรก็ตาม ข้อมูลเหล่านี้สามารถดึงข้อมูลได้อย่างไม่เชื่อถือในลักษณะที่เป็นการย่อยลงมาโดยใช้พิสูจน์การเก็บข้อมูล

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

การพิสูจน์การเก็บรักษาสามารถช่วยในการยืนยันว่าข้อมูลบางส่วนมีอยู่ในบล็อกประวัติย้อนหลังอย่างไร? นี้ต้องการการยืนยันสองสิ่ง

  • ขั้นตอนแรกคือตรวจสอบว่าบล็อกที่ระบุนี้เป็นส่วนหนึ่งของประวัติกฎหมายของบล็อกเชน นั้นคือ บล็อกเป็นส่วนหนึ่งที่ถูกต้องของประวัติของเชนต้นฉบับ
  • ขั้นตอนที่สองคือการตรวจสอบว่าข้อมูลที่เฉพาะเป็นส่วนหนึ่งของบล็อก กล่าวคือ ชิ้นของข้อมูล (เช่น ธุรกรรมที่เฉพาะ) เป็นส่วนหนึ่งของบล็อก (สามารถพิสูจน์ได้โดย Merkle รวมถึงพรูโฟ)

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

พูดง่ายๆก็คือหลักฐานการจัดเก็บรองรับการดึงข้อมูลในห่วงโซ่ประวัติศาสตร์ในลักษณะที่ลดความน่าเชื่อถือ นี่เป็นสิ่งสําคัญเพราะตามที่เราระบุไว้ในโพสต์แรกของเราเราจะเห็น web3 กลายเป็นพื้นที่หลายสายโซ่และหลายชั้นมากขึ้นในอีกไม่กี่ปีข้างหน้า การเกิดขึ้นของโปรโตคอลเลเยอร์ 1 หลายโปรโตคอล ชุดสะสม และเครือข่ายแอปพลิเคชันหมายความว่ากิจกรรมแบบ on-chain ของผู้ใช้อาจกระจัดกระจายอยู่ในหลายเชน สิ่งนี้เน้นย้ําถึงความจําเป็นในการลดความน่าเชื่อถือของโซลูชันการทํางานร่วมกันที่รักษาความสามารถในการทํางานร่วมกันของสินทรัพย์ผู้ใช้ข้อมูลประจําตัวและประวัติการทําธุรกรรมในหลายโดเมน นี่เป็นปัญหาที่การพิสูจน์การจัดเก็บสามารถช่วยแก้ปัญหาได้

การใช้งานของพิสูจน์การจัดเก็บ

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

เก็บพิสูจน์คือการพิสูจน์ข้อมูลประวัติศาสตร์ใด ๆ บนบล็อกเชนต้นฉบับได้

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

พรูฟสามารถส่งไปยังเชนเป้าหมายเพื่อปลดล็อกช่วงของกรณีการใช้งานร่วมกันข้ามเชน:

  1. เปิดให้ผู้ใช้โหวตเกี่ยวกับข้อเสนอเสนอการปกครองบนข้อตกลงชั้นที่ 2 ที่มีค่าใช้จ่ายต่ำ
  2. การอนุญาตให้เจ้าของ NFT ได้รับการพิมพ์ NFT ใหม่หรือผลประโยชน์จากชุมชนบนเครือข่ายใหม่
  3. ให้รางวัลผู้ใช้โดยอิงจากประวัติและการโต้ตอบกับ dApps ที่เฉพาะเจาะจง (เช่น ผ่านทาง airdrops)
  4. สินเชื่อที่ให้อัตราดอกเบี้ยที่กำหนดเองตามประวัติการทำธุรกรรมทั่วไปและประวัติเครดิตโดยรวมของผู้ใช้
  5. เรียกคืนบัญชีสำหรับบัญชีที่ไม่ได้ใช้งาน
  6. คำนวณประวัิณทางประวัติศาสตร์ของการแลกเปลี่ยนอนาคต TWAP
  7. คำนวณราคาสำรอง AMM ที่แม่นยำมากขึ้นโดยใช้งานกับสระน้ำเหล่าหลายๆ บนโซนแบบหลายๆ บล็อก

โดยหลัก, หลักฐานการเก็บรักษาช่วยให้แอปสามารถสอบถามและย้ายกิจกรรมและประวัติที่เกิดขึ้นบนเชนหลายๆ รายการเพื่อนำมาใช้ในสมาร์ทคอนแทรคหรือแอปพลิเคชันบนเชนอื่น

Storage proof use cases

เรามาดูตัวอย่างอย่างละเอียดเพื่อเข้าใจว่า storage proof ทำงานอย่างไร

การทำงานของพิสูจน์การจัดเก็บ: ตัวอย่างอย่างละเอียด

สมมติ “X,” ซึ่งเป็นโปรโตคอลดีไฟที่มีโทเค็นบนเอทีเธอเรียม มีข้อเสนอการจัดการที่กำลังจะเสนอ และพวกเขาต้องการส่งเสริมการลงคะแนนในเชนเป้าหมายที่มีค่าต่ำบนเชนต่าง ๆ ผู้ใช้สามารถลงคะแนนได้เฉพาะหากพวกเขาถือโทเค็น X บนเอทีเธอเรียมในจุดเวลาที่เฉพาะเฉพาะ (เราเรียกว่า “snapshot”) เช่น บล็อก #17,000,000

การลงคะแนนในขณะนี้ทำอย่างไรบนโซ่?

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

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

วิธีการพิสูจน์การจัดเก็บข้อมูลช่วยแก้ปัญหานี้อย่างไร?

เหมือนที่เราได้อธิบายในบทความ 2 การคำนวณที่แพงสามารถถูกโอนไปยังพิสูจน์ที่ไม่เปิดเผยบนเชือง

zk attestor จะสร้างพิสูจน์อย่างกระชับและส่งไปยังโซ่เป้าหมายเพื่อการตรวจสอบ สำหรับตัวอย่างความมีสิทธิ์ของผู้ลงคะแนน DAO ดังกล่าว ต่อไปนี้คือ:

  1. ผู้รับรองสร้างพิสูจน์ที่ไม่มีความรู้ว่าบล็อก #17,000,000 เป็นส่วนหนึ่งของประวัติของ Ethereum (เช่นในขั้นตอนแรก* ด้านบน)
  2. หลังจากพิสูจน์ความถูกต้องของบล็อกเราสามารถใช้ Merkle เพื่อรวมพิสูจน์ว่าผู้ใช้ถือโทเค็น DAO เมื่อบล็อกถูกสร้างเสร็จ (ตามขั้นตอนที่ 2 ข้างต้น*)

ตรวจสอบข้อมูลทางประวัสที่เป็นไปได้เพื่อเปิดใช้งานการลงคะแนน跨เชน

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

วิธีการนี้ได้แก้อีกหลายปัญหา ไม่ต้องการ:

信任存档节点提供者;

  1. ให้ข้อตกลงรักษารายชื่อผู้ลงคะแนนบนเชนที่แพง;
  2. สำหรับผู้ใช้ที่ต้องการโอนสินทรัพย์เข้าสู่เชนของวัตถุประสงค์

ต้องการการตั้งค่าอะไรสำหรับการพิสูจน์การจัดเก็บข้อมูล?

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

  1. Full chain zero-knowledge proof ("zk promise"): ผู้ให้บริการจัดกลุ่มบล็อกในอดีตทั้งหมดบนห่วงโซ่ต้นทางเป็น "บล็อก" ขนาดคงที่อย่างต่อเนื่อง (โดยใช้ต้นไม้ Merkle) และสร้างหลักฐานที่ไม่มีความรู้สําหรับแต่ละบล็อกซึ่งใช้ในการตรวจสอบการจัดกลุ่ม หลักฐานเหล่านี้จะถูกรวมเข้าด้วยกันซ้ําจนกว่าจะได้รับหลักฐานที่ไม่มีความรู้ขั้นสุดท้ายซึ่งเป็น "สัญญา zk" สําหรับห่วงโซ่ทั้งหมด นี่เป็นการพิสูจน์ว่าผู้ให้บริการได้จัดทําดัชนีประวัติทั้งหมดของห่วงโซ่อย่างถูกต้อง

“zk promise” อธิบายประวัติศาสตร์ทั้งหมดของ Ethereum

  • **Merkle Mountain Range: ** ผู้ให้บริการยังเก็บราก Merkle ของบล็อกของเชนต้นฉบับ (บล็อก) ที่จัดกลุ่มรวมกันในโครงสร้างข้อมูล on-chain ที่เรียกว่า Merkle Mountain Range (MMR) โครงสร้างข้อมูลนี้ถูกใช้เพราะมันง่ายต่อการค้นหาและอัพเดต และช่วยให้ผู้ให้บริการสามารถพิสูจน์ได้อย่างมีประสิทธิภาพว่าบล็อกที่กำหนดให้มีอยู่ในประวัติของเชน MMR ถูกสร้างขึ้นโดยใช้การแฮช Keccak256, แฮช Poseidon, หรือทั้งสองอย่าง Poseidon สามารถใช้งานกับ zero-knowledge ได้ดีกว่าและสนับสนุนการคำนวณข้อมูลประวัติ ความถูกต้องของข้อมูลและการคำนวณสามารถพิสูจน์ต่อภายหลังผ่าน zero-knowledge ได้

ภูเขาเมอร์เคิล (MMR) ภาพประกอบ

เมื่อบล็อกใหม่ถูกเพิ่มลงในโซร์ซ์เชน ผู้ให้บริการจะอัปเดต "การสร้างพันธบัตร zk" และ MMR อย่างสม่ำเสมอ (เช่นทุกชั่วโมงหรือทุกวัน) เพื่อทำให้ทันตามการเคลื่อนไหวของเชนนั้น ๆ การกระทำนี้ทำให้บล็อกในอดีตเชื่อมโยงกับหนึ่งใน 256 บล็อกที่สามารถเข้าถึงได้จาก EVM เสมอ นี้ทำให้ข้อมูลทางประวัติศาสตร์เชื่อมโยงกับหนึ่งในบล็อกที่สามารถใช้งานได้บน Ethereum

ในภาพด้านล่างเราได้แสดงรายละเอียดเกี่ยวกับวิธีการติดตั้งเสร็จสิ้น:

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

  1. ผู้ให้บริการสร้างและจัดเก็บ "สัญญา zk" สําหรับห่วงโซ่ทั้งหมด (เช่น ประวัติ Ethereum) และ MMR บนห่วงโซ่เป้าหมาย
  2. ผู้ให้บริการช่วยให้แอปพลิเคชันสามารถสอบถามข้อมูลประวัติบนเชื่อมต่อหรือไม่ที่มีผ่าน API
  3. แอปพลิเคชันโหวตบนเชนเป้าหมายส่งคำถามไปยังสัญญาสมาร์ทของผู้ให้บริการเพื่อหาว่าผู้ใช้มีโทเค็น DAO บนบล็อก #17,000,000 บน Ethereum

ผู้ให้บริการจะตรวจสอบสองสิ่ง

  1. บล็อกที่ถูกสอบถามเป็นส่วนหนึ่งของประวัติกฎหมายของ Ethereum (ขั้นตอนแรกด้านบน); ผู้ให้บริการจึงสร้างพิสูจน์ที่ไม่มีความรู้เกี่ยวกับเบล็อกผ่าน Merkle Mountain Range
  2. ผู้ใช้ถือโทเค็น DAO ในบล็อก #17 ,000,000 (ขั้นตอนที่ 2 ด้านบน); ผู้ให้บริการจากนั้นสร้างพิสูจน์ที่ไม่มีศูนย์เพื่อแสดงว่าผู้ใช้ถือโทเค็น DAO ภายในบล็อก
  3. ผู้ให้บริการรวบรวมพิสูจน์ที่สร้างขึ้นด้านบนเข้าไปในพิสูจน์ที่ไม่เป็นที่รู้
  4. พรูโฟรที่รวมกันจากนั้นถูกส่งกลับไปยังสัญญาฉลากฉลาก dApp บนเครือข่ายเป้าหมายเพื่อตรวจสอบพรูโฟรทและอนุญาตให้ผู้ใช้ลงคะแนนเมื่อการตรวจสอบสำเร็จ

การสร้างทีมในวงการนี้

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

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

โปรโตคอล Relicให้ทางทางเทคนิคที่คล้ายกับ Axiom และโปรโตคอลทำงานบน Ethereum และ zkSync Era Relic ใช้ Merkle inclusion proofs เพื่อพิสูจน์การรวมข้อมูล (ต่างจากวิธีการของ Axiom ที่ใช้ในการพิสูจน์การรวมข้อมูลในรูปแบบ zero knowledge)

Herodotusกำลังทำงานเพื่อให้ข้อมูลทางประวัติศาสตร์เกี่ยวกับ Ethereum สำหรับโปรโตคอลเลเยอร์ 2 ตอนนี้การประยุกต์ใช้ทดสอบพร้อมใช้งานบน Starknet และ zkSync Era ด้วยการสนับสนุนจาก OP Foundation เราคิดว่าเราทราบว่าทีมเฮโรโดทัสกำลังเดินหน้าไปที่ไหนต่อไป

Lagrange Labs Labsได้นำเสนอพิสูจน์ที่สามารถอัปเดตได้แบบเต็มผ่านนวัตกรรม ZK MapReduce (ZKMR) ล่าสุด โดยใช้คำสัญญาเวกเตอร์ใหม่ที่เรียกว่าRecproofsเพื่อขยายแนวคิดของความสามารถในการอัปเดตข้อมูลไปยังการคำนวณข้อมูล

ทีมที่ทำการรับรองการจัดเก็บข้อมูล

ตอนจบ

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

เนื่องจากมูลค่าที่ล็อกทั้งหมด (TVL) ยังคงย้ายจาก Ethereum ไปสู่ระบบ Tier 2 เราคาดการณ์ว่าจะเกิดแอปพลิเคชันที่มีความหลากหลายมากขึ้นที่ใช้ข้อมูลบนเชนในอดีตผ่านพิสูจน์การเก็บข้อมูล

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

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

ข้อความปฏิเสธความรับผิดชอบ:

  1. บทความนี้ถูกพิมพ์ซ้ำจาก [ กระจก]. All copyrights belong to the original author [Jacob, Hitesh, Ji Hao]. หากมีข้อขัดแย้งใด ๆ เกี่ยวกับการพิมพ์ซ้ำนี้ โปรดติดต่อทีม Gate Learngatelearn@gate.io)และพวกเขาจะดำเนินการโดยเร่งด่วน
  2. คำปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้น และไม่เป็นการให้คำแนะนำทางด้านการลงทุนใด ๆ
  3. การแปลบทความเป็นภาษาอื่นๆ ถูกดำเนินการโดยทีม Gate Learn หากไม่ได้กล่าวถึง การคัดลอก การแจกจ่าย หรือการลอกเลียนแบบบทความที่ถูกแปลนั้นถือเป็นการละเมิดลิขสิทธิ์

บล็อกเชนการทำงานร่วมกัน (ส่วน 2): พิสูจน์การเก็บรักษา — สนับสนุนกรณีการใช้ Cross-Chain ใหม่

ขั้นสูง12/17/2023, 5:02:55 PM
เอกสารฉบับนี้สำรวจพิสูจน์การเก็บรักษาและการประยุกต์ใช้ในการตรวจสอบประวัติการทำธุรกรรมบล็อกเชน และใช้แนวคิดของการตรวจสอบด้วยความเชื่อขั้นต่ำเพื่อตรวจสอบการทำธุรกรรมทางประวัติศาสตร์และกิจกรรมของผู้ใช้ ซึ่งจะปลดล็อกปริมาณมากของกรณีการใช้งาน跨ลําดับ ในเอกสารยังระบุว่าวิธีนี้ที่อาศัยพิสูจน์ด้วยศาสตร์ที่ไม่รู้เพียงเพียงศูนย์สามารถแก้ปัญหาการจัดเก็บข้อมูลที่เกิดขึ้นกับบางผู้ให้บริการบล็อกเชน L2 และผู้ให้บริการโหนดที่มีการจัดกลุ่มข้อมูล

ในโพสต์ก่อนหน้าของเรา ซึ่งจะเป็นไปได้ เราได้สนทนาถึง peran dari konsensus bukti metode kepercayaan minimization ini yang sedang muncul dalam memfasilitasi jembatan antara blockchain.

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

ในบล็อกเชน Gate.ioโพสต์ก่อนหน้า, เราได้เสนอ Proof of Consensus — วิธีการลดความเชื่อถือให้ต่ำสุดเพื่อสร้างสะพานเงินข้ามบล็อกเชน โดยที่ผู้ใช้สะพาน通常ต้องการให้เห็นการทำธุรกรรมเกิดขึ้นทันทีในช่วงเวลาล่าสุด การพิสูจน์ความเชื่อมักเป็นประโยชน์มากเนื่องจากพวกเขาตรวจสอบสถานะล่าสุดของบล็อกเชนอยู่ตลอดเวลาเนื่องจากมันเป็นการดำเนินการ

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

ดึงข้อมูลย้อนหลัง

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

วันนี้ เพื่อเข้าถึงข้อมูลประวัติศาสตร์ โปรโตคอลบ่อยครั้งสอบถามโหนดเก็บข้อมูลผู้ให้บริการ เช่น บริษัทบุคคลที่สาม เช่น Infura, Alchemy, หรือดัชนีอื่น ๆ นั้นหมายความว่าการเชื่อมั่นและพึ่งพาอยู่กับพวกเขาและข้อมูลของพวกเขา

ข้อมูลที่เกี่ยวข้องกับประวัติศาสตร์

ข้อมูลนี้อาจถูกผ่อนคลายได้ในรูปแบบที่น้อยลงในแบบที่น้อยที่มีความเชื่อมั่นมากขึ้น ผ่านการใช้พิสูจน์การจัดเก็บ

ข้อมูลทางประวัติศาสตร์

อย่างไรก็ตาม ข้อมูลเหล่านี้สามารถดึงข้อมูลได้อย่างไม่เชื่อถือในลักษณะที่เป็นการย่อยลงมาโดยใช้พิสูจน์การเก็บข้อมูล

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

การพิสูจน์การเก็บรักษาสามารถช่วยในการยืนยันว่าข้อมูลบางส่วนมีอยู่ในบล็อกประวัติย้อนหลังอย่างไร? นี้ต้องการการยืนยันสองสิ่ง

  • ขั้นตอนแรกคือตรวจสอบว่าบล็อกที่ระบุนี้เป็นส่วนหนึ่งของประวัติกฎหมายของบล็อกเชน นั้นคือ บล็อกเป็นส่วนหนึ่งที่ถูกต้องของประวัติของเชนต้นฉบับ
  • ขั้นตอนที่สองคือการตรวจสอบว่าข้อมูลที่เฉพาะเป็นส่วนหนึ่งของบล็อก กล่าวคือ ชิ้นของข้อมูล (เช่น ธุรกรรมที่เฉพาะ) เป็นส่วนหนึ่งของบล็อก (สามารถพิสูจน์ได้โดย Merkle รวมถึงพรูโฟ)

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

พูดง่ายๆก็คือหลักฐานการจัดเก็บรองรับการดึงข้อมูลในห่วงโซ่ประวัติศาสตร์ในลักษณะที่ลดความน่าเชื่อถือ นี่เป็นสิ่งสําคัญเพราะตามที่เราระบุไว้ในโพสต์แรกของเราเราจะเห็น web3 กลายเป็นพื้นที่หลายสายโซ่และหลายชั้นมากขึ้นในอีกไม่กี่ปีข้างหน้า การเกิดขึ้นของโปรโตคอลเลเยอร์ 1 หลายโปรโตคอล ชุดสะสม และเครือข่ายแอปพลิเคชันหมายความว่ากิจกรรมแบบ on-chain ของผู้ใช้อาจกระจัดกระจายอยู่ในหลายเชน สิ่งนี้เน้นย้ําถึงความจําเป็นในการลดความน่าเชื่อถือของโซลูชันการทํางานร่วมกันที่รักษาความสามารถในการทํางานร่วมกันของสินทรัพย์ผู้ใช้ข้อมูลประจําตัวและประวัติการทําธุรกรรมในหลายโดเมน นี่เป็นปัญหาที่การพิสูจน์การจัดเก็บสามารถช่วยแก้ปัญหาได้

การใช้งานของพิสูจน์การจัดเก็บ

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

เก็บพิสูจน์คือการพิสูจน์ข้อมูลประวัติศาสตร์ใด ๆ บนบล็อกเชนต้นฉบับได้

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

พรูฟสามารถส่งไปยังเชนเป้าหมายเพื่อปลดล็อกช่วงของกรณีการใช้งานร่วมกันข้ามเชน:

  1. เปิดให้ผู้ใช้โหวตเกี่ยวกับข้อเสนอเสนอการปกครองบนข้อตกลงชั้นที่ 2 ที่มีค่าใช้จ่ายต่ำ
  2. การอนุญาตให้เจ้าของ NFT ได้รับการพิมพ์ NFT ใหม่หรือผลประโยชน์จากชุมชนบนเครือข่ายใหม่
  3. ให้รางวัลผู้ใช้โดยอิงจากประวัติและการโต้ตอบกับ dApps ที่เฉพาะเจาะจง (เช่น ผ่านทาง airdrops)
  4. สินเชื่อที่ให้อัตราดอกเบี้ยที่กำหนดเองตามประวัติการทำธุรกรรมทั่วไปและประวัติเครดิตโดยรวมของผู้ใช้
  5. เรียกคืนบัญชีสำหรับบัญชีที่ไม่ได้ใช้งาน
  6. คำนวณประวัิณทางประวัติศาสตร์ของการแลกเปลี่ยนอนาคต TWAP
  7. คำนวณราคาสำรอง AMM ที่แม่นยำมากขึ้นโดยใช้งานกับสระน้ำเหล่าหลายๆ บนโซนแบบหลายๆ บล็อก

โดยหลัก, หลักฐานการเก็บรักษาช่วยให้แอปสามารถสอบถามและย้ายกิจกรรมและประวัติที่เกิดขึ้นบนเชนหลายๆ รายการเพื่อนำมาใช้ในสมาร์ทคอนแทรคหรือแอปพลิเคชันบนเชนอื่น

Storage proof use cases

เรามาดูตัวอย่างอย่างละเอียดเพื่อเข้าใจว่า storage proof ทำงานอย่างไร

การทำงานของพิสูจน์การจัดเก็บ: ตัวอย่างอย่างละเอียด

สมมติ “X,” ซึ่งเป็นโปรโตคอลดีไฟที่มีโทเค็นบนเอทีเธอเรียม มีข้อเสนอการจัดการที่กำลังจะเสนอ และพวกเขาต้องการส่งเสริมการลงคะแนนในเชนเป้าหมายที่มีค่าต่ำบนเชนต่าง ๆ ผู้ใช้สามารถลงคะแนนได้เฉพาะหากพวกเขาถือโทเค็น X บนเอทีเธอเรียมในจุดเวลาที่เฉพาะเฉพาะ (เราเรียกว่า “snapshot”) เช่น บล็อก #17,000,000

การลงคะแนนในขณะนี้ทำอย่างไรบนโซ่?

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

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

วิธีการพิสูจน์การจัดเก็บข้อมูลช่วยแก้ปัญหานี้อย่างไร?

เหมือนที่เราได้อธิบายในบทความ 2 การคำนวณที่แพงสามารถถูกโอนไปยังพิสูจน์ที่ไม่เปิดเผยบนเชือง

zk attestor จะสร้างพิสูจน์อย่างกระชับและส่งไปยังโซ่เป้าหมายเพื่อการตรวจสอบ สำหรับตัวอย่างความมีสิทธิ์ของผู้ลงคะแนน DAO ดังกล่าว ต่อไปนี้คือ:

  1. ผู้รับรองสร้างพิสูจน์ที่ไม่มีความรู้ว่าบล็อก #17,000,000 เป็นส่วนหนึ่งของประวัติของ Ethereum (เช่นในขั้นตอนแรก* ด้านบน)
  2. หลังจากพิสูจน์ความถูกต้องของบล็อกเราสามารถใช้ Merkle เพื่อรวมพิสูจน์ว่าผู้ใช้ถือโทเค็น DAO เมื่อบล็อกถูกสร้างเสร็จ (ตามขั้นตอนที่ 2 ข้างต้น*)

ตรวจสอบข้อมูลทางประวัสที่เป็นไปได้เพื่อเปิดใช้งานการลงคะแนน跨เชน

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

วิธีการนี้ได้แก้อีกหลายปัญหา ไม่ต้องการ:

信任存档节点提供者;

  1. ให้ข้อตกลงรักษารายชื่อผู้ลงคะแนนบนเชนที่แพง;
  2. สำหรับผู้ใช้ที่ต้องการโอนสินทรัพย์เข้าสู่เชนของวัตถุประสงค์

ต้องการการตั้งค่าอะไรสำหรับการพิสูจน์การจัดเก็บข้อมูล?

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

  1. Full chain zero-knowledge proof ("zk promise"): ผู้ให้บริการจัดกลุ่มบล็อกในอดีตทั้งหมดบนห่วงโซ่ต้นทางเป็น "บล็อก" ขนาดคงที่อย่างต่อเนื่อง (โดยใช้ต้นไม้ Merkle) และสร้างหลักฐานที่ไม่มีความรู้สําหรับแต่ละบล็อกซึ่งใช้ในการตรวจสอบการจัดกลุ่ม หลักฐานเหล่านี้จะถูกรวมเข้าด้วยกันซ้ําจนกว่าจะได้รับหลักฐานที่ไม่มีความรู้ขั้นสุดท้ายซึ่งเป็น "สัญญา zk" สําหรับห่วงโซ่ทั้งหมด นี่เป็นการพิสูจน์ว่าผู้ให้บริการได้จัดทําดัชนีประวัติทั้งหมดของห่วงโซ่อย่างถูกต้อง

“zk promise” อธิบายประวัติศาสตร์ทั้งหมดของ Ethereum

  • **Merkle Mountain Range: ** ผู้ให้บริการยังเก็บราก Merkle ของบล็อกของเชนต้นฉบับ (บล็อก) ที่จัดกลุ่มรวมกันในโครงสร้างข้อมูล on-chain ที่เรียกว่า Merkle Mountain Range (MMR) โครงสร้างข้อมูลนี้ถูกใช้เพราะมันง่ายต่อการค้นหาและอัพเดต และช่วยให้ผู้ให้บริการสามารถพิสูจน์ได้อย่างมีประสิทธิภาพว่าบล็อกที่กำหนดให้มีอยู่ในประวัติของเชน MMR ถูกสร้างขึ้นโดยใช้การแฮช Keccak256, แฮช Poseidon, หรือทั้งสองอย่าง Poseidon สามารถใช้งานกับ zero-knowledge ได้ดีกว่าและสนับสนุนการคำนวณข้อมูลประวัติ ความถูกต้องของข้อมูลและการคำนวณสามารถพิสูจน์ต่อภายหลังผ่าน zero-knowledge ได้

ภูเขาเมอร์เคิล (MMR) ภาพประกอบ

เมื่อบล็อกใหม่ถูกเพิ่มลงในโซร์ซ์เชน ผู้ให้บริการจะอัปเดต "การสร้างพันธบัตร zk" และ MMR อย่างสม่ำเสมอ (เช่นทุกชั่วโมงหรือทุกวัน) เพื่อทำให้ทันตามการเคลื่อนไหวของเชนนั้น ๆ การกระทำนี้ทำให้บล็อกในอดีตเชื่อมโยงกับหนึ่งใน 256 บล็อกที่สามารถเข้าถึงได้จาก EVM เสมอ นี้ทำให้ข้อมูลทางประวัติศาสตร์เชื่อมโยงกับหนึ่งในบล็อกที่สามารถใช้งานได้บน Ethereum

ในภาพด้านล่างเราได้แสดงรายละเอียดเกี่ยวกับวิธีการติดตั้งเสร็จสิ้น:

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

  1. ผู้ให้บริการสร้างและจัดเก็บ "สัญญา zk" สําหรับห่วงโซ่ทั้งหมด (เช่น ประวัติ Ethereum) และ MMR บนห่วงโซ่เป้าหมาย
  2. ผู้ให้บริการช่วยให้แอปพลิเคชันสามารถสอบถามข้อมูลประวัติบนเชื่อมต่อหรือไม่ที่มีผ่าน API
  3. แอปพลิเคชันโหวตบนเชนเป้าหมายส่งคำถามไปยังสัญญาสมาร์ทของผู้ให้บริการเพื่อหาว่าผู้ใช้มีโทเค็น DAO บนบล็อก #17,000,000 บน Ethereum

ผู้ให้บริการจะตรวจสอบสองสิ่ง

  1. บล็อกที่ถูกสอบถามเป็นส่วนหนึ่งของประวัติกฎหมายของ Ethereum (ขั้นตอนแรกด้านบน); ผู้ให้บริการจึงสร้างพิสูจน์ที่ไม่มีความรู้เกี่ยวกับเบล็อกผ่าน Merkle Mountain Range
  2. ผู้ใช้ถือโทเค็น DAO ในบล็อก #17 ,000,000 (ขั้นตอนที่ 2 ด้านบน); ผู้ให้บริการจากนั้นสร้างพิสูจน์ที่ไม่มีศูนย์เพื่อแสดงว่าผู้ใช้ถือโทเค็น DAO ภายในบล็อก
  3. ผู้ให้บริการรวบรวมพิสูจน์ที่สร้างขึ้นด้านบนเข้าไปในพิสูจน์ที่ไม่เป็นที่รู้
  4. พรูโฟรที่รวมกันจากนั้นถูกส่งกลับไปยังสัญญาฉลากฉลาก dApp บนเครือข่ายเป้าหมายเพื่อตรวจสอบพรูโฟรทและอนุญาตให้ผู้ใช้ลงคะแนนเมื่อการตรวจสอบสำเร็จ

การสร้างทีมในวงการนี้

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

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

โปรโตคอล Relicให้ทางทางเทคนิคที่คล้ายกับ Axiom และโปรโตคอลทำงานบน Ethereum และ zkSync Era Relic ใช้ Merkle inclusion proofs เพื่อพิสูจน์การรวมข้อมูล (ต่างจากวิธีการของ Axiom ที่ใช้ในการพิสูจน์การรวมข้อมูลในรูปแบบ zero knowledge)

Herodotusกำลังทำงานเพื่อให้ข้อมูลทางประวัติศาสตร์เกี่ยวกับ Ethereum สำหรับโปรโตคอลเลเยอร์ 2 ตอนนี้การประยุกต์ใช้ทดสอบพร้อมใช้งานบน Starknet และ zkSync Era ด้วยการสนับสนุนจาก OP Foundation เราคิดว่าเราทราบว่าทีมเฮโรโดทัสกำลังเดินหน้าไปที่ไหนต่อไป

Lagrange Labs Labsได้นำเสนอพิสูจน์ที่สามารถอัปเดตได้แบบเต็มผ่านนวัตกรรม ZK MapReduce (ZKMR) ล่าสุด โดยใช้คำสัญญาเวกเตอร์ใหม่ที่เรียกว่าRecproofsเพื่อขยายแนวคิดของความสามารถในการอัปเดตข้อมูลไปยังการคำนวณข้อมูล

ทีมที่ทำการรับรองการจัดเก็บข้อมูล

ตอนจบ

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

เนื่องจากมูลค่าที่ล็อกทั้งหมด (TVL) ยังคงย้ายจาก Ethereum ไปสู่ระบบ Tier 2 เราคาดการณ์ว่าจะเกิดแอปพลิเคชันที่มีความหลากหลายมากขึ้นที่ใช้ข้อมูลบนเชนในอดีตผ่านพิสูจน์การเก็บข้อมูล

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

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

ข้อความปฏิเสธความรับผิดชอบ:

  1. บทความนี้ถูกพิมพ์ซ้ำจาก [ กระจก]. All copyrights belong to the original author [Jacob, Hitesh, Ji Hao]. หากมีข้อขัดแย้งใด ๆ เกี่ยวกับการพิมพ์ซ้ำนี้ โปรดติดต่อทีม Gate Learngatelearn@gate.io)และพวกเขาจะดำเนินการโดยเร่งด่วน
  2. คำปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้น และไม่เป็นการให้คำแนะนำทางด้านการลงทุนใด ๆ
  3. การแปลบทความเป็นภาษาอื่นๆ ถูกดำเนินการโดยทีม Gate Learn หากไม่ได้กล่าวถึง การคัดลอก การแจกจ่าย หรือการลอกเลียนแบบบทความที่ถูกแปลนั้นถือเป็นการละเมิดลิขสิทธิ์
Lancez-vous
Inscrivez-vous et obtenez un bon de
100$
!