ในโพสต์ก่อนหน้าของเรา ซึ่งจะเป็นไปได้ เราได้สนทนาถึง 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, หรือดัชนีอื่น ๆ นั้นหมายความว่าการเชื่อมั่นและพึ่งพาอยู่กับพวกเขาและข้อมูลของพวกเขา
ข้อมูลนี้อาจถูกผ่อนคลายได้ในรูปแบบที่น้อยลงในแบบที่น้อยที่มีความเชื่อมั่นมากขึ้น ผ่านการใช้พิสูจน์การจัดเก็บ
อย่างไรก็ตาม ข้อมูลเหล่านี้สามารถดึงข้อมูลได้อย่างไม่เชื่อถือในลักษณะที่เป็นการย่อยลงมาโดยใช้พิสูจน์การเก็บข้อมูล
หลักฐานการเก็บรักษาเป็นหลักฐานที่ใช้เทคโนโลยีซูโค่นอเลจเพื่อให้สามารถตรวจสอบข้อมูลประวัติที่เก็บไว้ในบล็อกเชน โดยเฉพาะอย่างยิ่ง หลักฐานการเก็บรักษาสามารถใช้เพื่อพิสูจน์ถึงความมีอยู่ของสถานะที่เฉพาะเจาะจงในบล็อกบางตัวในอดีตวิธีนี้ไม่ต้องการความไว้วางใจในฝ่ายที่สามหรือออรัคเคิล; แทนที่จะเชื่อมั่นในพื้นที่จัดเก็บ
การพิสูจน์การเก็บรักษาสามารถช่วยในการยืนยันว่าข้อมูลบางส่วนมีอยู่ในบล็อกประวัติย้อนหลังอย่างไร? นี้ต้องการการยืนยันสองสิ่ง
หลังจากได้รับและตรวจสอบพิสูจน์แล้ว ผู้รับ (เช่นสมาร์ทคอนแทรคบนโซ่เป้าหมาย) มีความเชื่อในความถูกต้องของข้อมูลและสามารถดำเนินชุดคำสั่งที่เกี่ยวข้องได้ แนวคิดสามารถขยายไปได้อีกได้: สามารถเรียกใช้การคำนวณออฟเชนเพิ่มเติมได้ด้วยข้อมูลที่ได้รับการตรวจสอบ จากนั้นสร้างพิสูจน์ที่ไม่เปิดเผยเพื่อพิสูจน์ข้อมูลและการคำนวณ
พูดง่ายๆก็คือหลักฐานการจัดเก็บรองรับการดึงข้อมูลในห่วงโซ่ประวัติศาสตร์ในลักษณะที่ลดความน่าเชื่อถือ นี่เป็นสิ่งสําคัญเพราะตามที่เราระบุไว้ในโพสต์แรกของเราเราจะเห็น web3 กลายเป็นพื้นที่หลายสายโซ่และหลายชั้นมากขึ้นในอีกไม่กี่ปีข้างหน้า การเกิดขึ้นของโปรโตคอลเลเยอร์ 1 หลายโปรโตคอล ชุดสะสม และเครือข่ายแอปพลิเคชันหมายความว่ากิจกรรมแบบ on-chain ของผู้ใช้อาจกระจัดกระจายอยู่ในหลายเชน สิ่งนี้เน้นย้ําถึงความจําเป็นในการลดความน่าเชื่อถือของโซลูชันการทํางานร่วมกันที่รักษาความสามารถในการทํางานร่วมกันของสินทรัพย์ผู้ใช้ข้อมูลประจําตัวและประวัติการทําธุรกรรมในหลายโดเมน นี่เป็นปัญหาที่การพิสูจน์การจัดเก็บสามารถช่วยแก้ปัญหาได้
การพิสูจน์การจัดเก็บช่วยให้สมาร์ทคอนแทรคสามารถตรวจสอบธุรกรรมหรือข้อมูลทางประวัติใด ๆ เป็นเงื่อนไขพื้นฐาน สิ่งนี้ทำให้การออกแบบแอปพลิเคชัน跨เชนเป็นไปได้โดยมีความยืดหยุ่นมากขึ้น
เก็บพิสูจน์คือการพิสูจน์ข้อมูลประวัติศาสตร์ใด ๆ บนบล็อกเชนต้นฉบับได้
พรูฟสามารถส่งไปยังเชนเป้าหมายเพื่อปลดล็อกช่วงของกรณีการใช้งานร่วมกันข้ามเชน:
โดยหลัก, หลักฐานการเก็บรักษาช่วยให้แอปสามารถสอบถามและย้ายกิจกรรมและประวัติที่เกิดขึ้นบนเชนหลายๆ รายการเพื่อนำมาใช้ในสมาร์ทคอนแทรคหรือแอปพลิเคชันบนเชนอื่น
Storage proof use cases
เรามาดูตัวอย่างอย่างละเอียดเพื่อเข้าใจว่า storage proof ทำงานอย่างไร
สมมติ “X,” ซึ่งเป็นโปรโตคอลดีไฟที่มีโทเค็นบนเอทีเธอเรียม มีข้อเสนอการจัดการที่กำลังจะเสนอ และพวกเขาต้องการส่งเสริมการลงคะแนนในเชนเป้าหมายที่มีค่าต่ำบนเชนต่าง ๆ ผู้ใช้สามารถลงคะแนนได้เฉพาะหากพวกเขาถือโทเค็น X บนเอทีเธอเรียมในจุดเวลาที่เฉพาะเฉพาะ (เราเรียกว่า “snapshot”) เช่น บล็อก #17,000,000
วิธีการปัจจุบันคือการสอบถามโหนดเก็บข้อมูลเพื่อรับรายชื่อเต็มของผู้ถือโทเค็นที่มีสิทธิ์ทั้งหมดที่บล็อก #17,000,000 จากนั้นผู้ดูแล DAO จะเก็บรายชื่อนั้นในสัญญาอัจฉริยะบนเชนเป้าหมายเพื่อกำหนดใครสามารถลงคะแนนเสียงได้ มีข้อจำกัดบางประการในวิธีการนี้:
เหมือนที่เราได้อธิบายในบทความ 2 การคำนวณที่แพงสามารถถูกโอนไปยังพิสูจน์ที่ไม่เปิดเผยบนเชือง
zk attestor จะสร้างพิสูจน์อย่างกระชับและส่งไปยังโซ่เป้าหมายเพื่อการตรวจสอบ สำหรับตัวอย่างความมีสิทธิ์ของผู้ลงคะแนน DAO ดังกล่าว ต่อไปนี้คือ:
ตรวจสอบข้อมูลทางประวัสที่เป็นไปได้เพื่อเปิดใช้งานการลงคะแนน跨เชน
พรูฟจะถูกส่งไปยังสมาร์ทคอนแทร็คบนเชนเป้าหมายเพื่อทำการยืนยัน หากการยืนยันสำเร็จ ก็จะทำให้สมาร์ทคอนแทร็คบนโปรโตคอลเลเยอร์ 2 อนุญาตให้ผู้ใช้โหวต
วิธีการนี้ได้แก้อีกหลายปัญหา ไม่ต้องการ:
信任存档节点提供者;
ต้องการการตั้งค่าอะไรสำหรับการพิสูจน์การจัดเก็บข้อมูล?
จนถึงตอนนี้เราได้รวบรวมบางส่วนของความซับซ้อนของพิสูจน์การจัดเก็บไว้ อย่างไรก็ตาม การใช้งานพวกเขา ยังต้องการการติดตั้งเริ่มแรกที่ระมัดระวังโดยผู้ให้บริการเพื่อให้แน่ใจว่าพวกเขาสามารถใช้งานได้โดยไม่ต้องไว้วางใจผู้ให้บริการ มีสองสิ่งที่ถูกสร้างขึ้นและจัดเก็บบนเชนในระหว่างกระบวนการนี้
“zk promise” อธิบายประวัติศาสตร์ทั้งหมดของ Ethereum
ภูเขาเมอร์เคิล (MMR) ภาพประกอบ
เมื่อบล็อกใหม่ถูกเพิ่มลงในโซร์ซ์เชน ผู้ให้บริการจะอัปเดต "การสร้างพันธบัตร zk" และ MMR อย่างสม่ำเสมอ (เช่นทุกชั่วโมงหรือทุกวัน) เพื่อทำให้ทันตามการเคลื่อนไหวของเชนนั้น ๆ การกระทำนี้ทำให้บล็อกในอดีตเชื่อมโยงกับหนึ่งใน 256 บล็อกที่สามารถเข้าถึงได้จาก EVM เสมอ นี้ทำให้ข้อมูลทางประวัติศาสตร์เชื่อมโยงกับหนึ่งในบล็อกที่สามารถใช้งานได้บน Ethereum
ในภาพด้านล่างเราได้แสดงรายละเอียดเกี่ยวกับวิธีการติดตั้งเสร็จสิ้น:
สรุปได้ว่า ต่อไปนี้แสดงวิธีการใช้พิสูจน์การจัดเก็บเมื่อการตั้งค่าเสร็จสมบูรณ์ภายใต้ตัวอย่างการลงคะแนน DAO ที่เราได้พูดถึงไว้ก่อนหน้านี้:
ผู้ให้บริการจะตรวจสอบสองสิ่ง
บางผู้เข้าร่วมกำลังก่อสร้างสัญญาอัจฉริยะที่อนุญาตให้สัญญาอัจฉริยะสามารถเข้าถึงข้อมูลบนเชนประวัติอย่างที่ลดการเชื่อถือ
ปัจจุบัน,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 เราคาดการณ์ว่าจะเกิดแอปพลิเคชันที่มีความหลากหลายมากขึ้นที่ใช้ข้อมูลบนเชนในอดีตผ่านพิสูจน์การเก็บข้อมูล
ในขณะที่เทคโนโลยีที่ไม่รู้เรื่องกำลังกลายเร็วขึ้นและถูกลดลง การสร้างพิสูจน์การเก็บรักษาอย่างต่อเนื่องเพื่อทำให้สามารถทนทานต่อค่าใช้จ่ายที่เกี่ยวข้องกับการอยู่บนเชนยังเป็นความท้าทาย ความสามารถในการทำกำไรของบริการเช่นนี้จะขึ้นอยู่กับปริมาณคิวรี่ที่ถูกสร้างขึ้นโดยแอปพลิเคชั่นคิวรี่
นับถึงความท้าทาย ความสำคัญของการเห็นพ้องและการเก็บรักษาที่รองรับด้วยเทคโนโลยีซีโร่นอาจยังไม่เพียงพอ พวกเราตั้งหวังว่าจะได้เห็นว่าเทคโนโลยีเหล่านี้จะถูกใช้ในการสร้างอนาคตแบบหลายโซนที่มีความเชื่อมั่นต่ำลง
ในโพสต์ก่อนหน้าของเรา ซึ่งจะเป็นไปได้ เราได้สนทนาถึง 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, หรือดัชนีอื่น ๆ นั้นหมายความว่าการเชื่อมั่นและพึ่งพาอยู่กับพวกเขาและข้อมูลของพวกเขา
ข้อมูลนี้อาจถูกผ่อนคลายได้ในรูปแบบที่น้อยลงในแบบที่น้อยที่มีความเชื่อมั่นมากขึ้น ผ่านการใช้พิสูจน์การจัดเก็บ
อย่างไรก็ตาม ข้อมูลเหล่านี้สามารถดึงข้อมูลได้อย่างไม่เชื่อถือในลักษณะที่เป็นการย่อยลงมาโดยใช้พิสูจน์การเก็บข้อมูล
หลักฐานการเก็บรักษาเป็นหลักฐานที่ใช้เทคโนโลยีซูโค่นอเลจเพื่อให้สามารถตรวจสอบข้อมูลประวัติที่เก็บไว้ในบล็อกเชน โดยเฉพาะอย่างยิ่ง หลักฐานการเก็บรักษาสามารถใช้เพื่อพิสูจน์ถึงความมีอยู่ของสถานะที่เฉพาะเจาะจงในบล็อกบางตัวในอดีตวิธีนี้ไม่ต้องการความไว้วางใจในฝ่ายที่สามหรือออรัคเคิล; แทนที่จะเชื่อมั่นในพื้นที่จัดเก็บ
การพิสูจน์การเก็บรักษาสามารถช่วยในการยืนยันว่าข้อมูลบางส่วนมีอยู่ในบล็อกประวัติย้อนหลังอย่างไร? นี้ต้องการการยืนยันสองสิ่ง
หลังจากได้รับและตรวจสอบพิสูจน์แล้ว ผู้รับ (เช่นสมาร์ทคอนแทรคบนโซ่เป้าหมาย) มีความเชื่อในความถูกต้องของข้อมูลและสามารถดำเนินชุดคำสั่งที่เกี่ยวข้องได้ แนวคิดสามารถขยายไปได้อีกได้: สามารถเรียกใช้การคำนวณออฟเชนเพิ่มเติมได้ด้วยข้อมูลที่ได้รับการตรวจสอบ จากนั้นสร้างพิสูจน์ที่ไม่เปิดเผยเพื่อพิสูจน์ข้อมูลและการคำนวณ
พูดง่ายๆก็คือหลักฐานการจัดเก็บรองรับการดึงข้อมูลในห่วงโซ่ประวัติศาสตร์ในลักษณะที่ลดความน่าเชื่อถือ นี่เป็นสิ่งสําคัญเพราะตามที่เราระบุไว้ในโพสต์แรกของเราเราจะเห็น web3 กลายเป็นพื้นที่หลายสายโซ่และหลายชั้นมากขึ้นในอีกไม่กี่ปีข้างหน้า การเกิดขึ้นของโปรโตคอลเลเยอร์ 1 หลายโปรโตคอล ชุดสะสม และเครือข่ายแอปพลิเคชันหมายความว่ากิจกรรมแบบ on-chain ของผู้ใช้อาจกระจัดกระจายอยู่ในหลายเชน สิ่งนี้เน้นย้ําถึงความจําเป็นในการลดความน่าเชื่อถือของโซลูชันการทํางานร่วมกันที่รักษาความสามารถในการทํางานร่วมกันของสินทรัพย์ผู้ใช้ข้อมูลประจําตัวและประวัติการทําธุรกรรมในหลายโดเมน นี่เป็นปัญหาที่การพิสูจน์การจัดเก็บสามารถช่วยแก้ปัญหาได้
การพิสูจน์การจัดเก็บช่วยให้สมาร์ทคอนแทรคสามารถตรวจสอบธุรกรรมหรือข้อมูลทางประวัติใด ๆ เป็นเงื่อนไขพื้นฐาน สิ่งนี้ทำให้การออกแบบแอปพลิเคชัน跨เชนเป็นไปได้โดยมีความยืดหยุ่นมากขึ้น
เก็บพิสูจน์คือการพิสูจน์ข้อมูลประวัติศาสตร์ใด ๆ บนบล็อกเชนต้นฉบับได้
พรูฟสามารถส่งไปยังเชนเป้าหมายเพื่อปลดล็อกช่วงของกรณีการใช้งานร่วมกันข้ามเชน:
โดยหลัก, หลักฐานการเก็บรักษาช่วยให้แอปสามารถสอบถามและย้ายกิจกรรมและประวัติที่เกิดขึ้นบนเชนหลายๆ รายการเพื่อนำมาใช้ในสมาร์ทคอนแทรคหรือแอปพลิเคชันบนเชนอื่น
Storage proof use cases
เรามาดูตัวอย่างอย่างละเอียดเพื่อเข้าใจว่า storage proof ทำงานอย่างไร
สมมติ “X,” ซึ่งเป็นโปรโตคอลดีไฟที่มีโทเค็นบนเอทีเธอเรียม มีข้อเสนอการจัดการที่กำลังจะเสนอ และพวกเขาต้องการส่งเสริมการลงคะแนนในเชนเป้าหมายที่มีค่าต่ำบนเชนต่าง ๆ ผู้ใช้สามารถลงคะแนนได้เฉพาะหากพวกเขาถือโทเค็น X บนเอทีเธอเรียมในจุดเวลาที่เฉพาะเฉพาะ (เราเรียกว่า “snapshot”) เช่น บล็อก #17,000,000
วิธีการปัจจุบันคือการสอบถามโหนดเก็บข้อมูลเพื่อรับรายชื่อเต็มของผู้ถือโทเค็นที่มีสิทธิ์ทั้งหมดที่บล็อก #17,000,000 จากนั้นผู้ดูแล DAO จะเก็บรายชื่อนั้นในสัญญาอัจฉริยะบนเชนเป้าหมายเพื่อกำหนดใครสามารถลงคะแนนเสียงได้ มีข้อจำกัดบางประการในวิธีการนี้:
เหมือนที่เราได้อธิบายในบทความ 2 การคำนวณที่แพงสามารถถูกโอนไปยังพิสูจน์ที่ไม่เปิดเผยบนเชือง
zk attestor จะสร้างพิสูจน์อย่างกระชับและส่งไปยังโซ่เป้าหมายเพื่อการตรวจสอบ สำหรับตัวอย่างความมีสิทธิ์ของผู้ลงคะแนน DAO ดังกล่าว ต่อไปนี้คือ:
ตรวจสอบข้อมูลทางประวัสที่เป็นไปได้เพื่อเปิดใช้งานการลงคะแนน跨เชน
พรูฟจะถูกส่งไปยังสมาร์ทคอนแทร็คบนเชนเป้าหมายเพื่อทำการยืนยัน หากการยืนยันสำเร็จ ก็จะทำให้สมาร์ทคอนแทร็คบนโปรโตคอลเลเยอร์ 2 อนุญาตให้ผู้ใช้โหวต
วิธีการนี้ได้แก้อีกหลายปัญหา ไม่ต้องการ:
信任存档节点提供者;
ต้องการการตั้งค่าอะไรสำหรับการพิสูจน์การจัดเก็บข้อมูล?
จนถึงตอนนี้เราได้รวบรวมบางส่วนของความซับซ้อนของพิสูจน์การจัดเก็บไว้ อย่างไรก็ตาม การใช้งานพวกเขา ยังต้องการการติดตั้งเริ่มแรกที่ระมัดระวังโดยผู้ให้บริการเพื่อให้แน่ใจว่าพวกเขาสามารถใช้งานได้โดยไม่ต้องไว้วางใจผู้ให้บริการ มีสองสิ่งที่ถูกสร้างขึ้นและจัดเก็บบนเชนในระหว่างกระบวนการนี้
“zk promise” อธิบายประวัติศาสตร์ทั้งหมดของ Ethereum
ภูเขาเมอร์เคิล (MMR) ภาพประกอบ
เมื่อบล็อกใหม่ถูกเพิ่มลงในโซร์ซ์เชน ผู้ให้บริการจะอัปเดต "การสร้างพันธบัตร zk" และ MMR อย่างสม่ำเสมอ (เช่นทุกชั่วโมงหรือทุกวัน) เพื่อทำให้ทันตามการเคลื่อนไหวของเชนนั้น ๆ การกระทำนี้ทำให้บล็อกในอดีตเชื่อมโยงกับหนึ่งใน 256 บล็อกที่สามารถเข้าถึงได้จาก EVM เสมอ นี้ทำให้ข้อมูลทางประวัติศาสตร์เชื่อมโยงกับหนึ่งในบล็อกที่สามารถใช้งานได้บน Ethereum
ในภาพด้านล่างเราได้แสดงรายละเอียดเกี่ยวกับวิธีการติดตั้งเสร็จสิ้น:
สรุปได้ว่า ต่อไปนี้แสดงวิธีการใช้พิสูจน์การจัดเก็บเมื่อการตั้งค่าเสร็จสมบูรณ์ภายใต้ตัวอย่างการลงคะแนน DAO ที่เราได้พูดถึงไว้ก่อนหน้านี้:
ผู้ให้บริการจะตรวจสอบสองสิ่ง
บางผู้เข้าร่วมกำลังก่อสร้างสัญญาอัจฉริยะที่อนุญาตให้สัญญาอัจฉริยะสามารถเข้าถึงข้อมูลบนเชนประวัติอย่างที่ลดการเชื่อถือ
ปัจจุบัน,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 เราคาดการณ์ว่าจะเกิดแอปพลิเคชันที่มีความหลากหลายมากขึ้นที่ใช้ข้อมูลบนเชนในอดีตผ่านพิสูจน์การเก็บข้อมูล
ในขณะที่เทคโนโลยีที่ไม่รู้เรื่องกำลังกลายเร็วขึ้นและถูกลดลง การสร้างพิสูจน์การเก็บรักษาอย่างต่อเนื่องเพื่อทำให้สามารถทนทานต่อค่าใช้จ่ายที่เกี่ยวข้องกับการอยู่บนเชนยังเป็นความท้าทาย ความสามารถในการทำกำไรของบริการเช่นนี้จะขึ้นอยู่กับปริมาณคิวรี่ที่ถูกสร้างขึ้นโดยแอปพลิเคชั่นคิวรี่
นับถึงความท้าทาย ความสำคัญของการเห็นพ้องและการเก็บรักษาที่รองรับด้วยเทคโนโลยีซีโร่นอาจยังไม่เพียงพอ พวกเราตั้งหวังว่าจะได้เห็นว่าเทคโนโลยีเหล่านี้จะถูกใช้ในการสร้างอนาคตแบบหลายโซนที่มีความเชื่อมั่นต่ำลง