เป้าหมายระดับสูง: ต้นไม้ Verkle (ต้นไม้ Merkle โดยใช้เวกเตอร์เชิงพีชคณิตในแต่ละระดับแทนที่จะเป็นแฮช) ที่มีความลึก ง ที่ฉันสามารถพิสูจน์การมีอยู่ของ น คู่คีย์/ค่าในแผนภูมิ สมมติว่าผู้ตรวจสอบมีความมุ่งมั่นของทรีรูตและคู่คีย์/ค่าอยู่แล้ว ฉันต้องการให้ขนาดการพิสูจน์เพิ่มเติมเป็นซับลิเนียร์ในทั้งสองอย่าง ง หรือ นหรือนึกคิดทั้งสองอย่าง ไม่จำเป็นต้องมีความรู้เป็นศูนย์
ฉันได้ตรวจสอบโพสต์ของ Vitalik และ Dankrad เกี่ยวกับการโต้แย้งผลิตภัณฑ์ภายในแบบ Bulletproofs และการรวมพันธสัญญาพหุนามของ KZG ที่ https://vitalik.ca/general/2021/06/18/verkle.html และ https://dankradfeist.de/ethereum/2021/06/18/pcs-multiproofs.html.
ถ้าฉันเข้าใจถูกต้องแล้วให้พิสูจน์ n ความสัมพันธ์ของแบบฟอร์ม f_i(x_i) = y_iสมมติว่าตัวตรวจสอบมี x_i/y_i แต่ละตัวอยู่แล้ว การพิสูจน์ประกอบด้วยหนึ่งข้อผูกมัดสำหรับแต่ละพหุนาม f_iเช่นเดียวกับค่าคงที่ (เทียบกับ n) การพิสูจน์แบบแบทช์ขนาด ความมุ่งมั่นต่อโหนดเป็นค่าใช้จ่ายหลักที่นี่และหมายความว่าเราสามารถบรรลุการปรับปรุงแบนด์วิดท์อย่างคร่าวๆ (ความลึกของ Merkle Tree / ความลึกของ Verkle Tree ~= 8x)
โปรดทราบว่าสำหรับแต่ละเส้นทาง ความสัมพันธ์เหล่านี้มีคุณสมบัติที่ f_i(x_i) = F_{i+1}, ที่ไหน ฉ แสดงถึงความมุ่งมั่น ดูเหมือนว่าอาจช่วยบีบอัดการพิสูจน์สำหรับแต่ละเส้นทาง แต่ฉันไม่มีแนวคิดที่เป็นรูปธรรม
การอ้างอิง / เอกสารที่เกี่ยวข้องใด ๆ จะเป็นประโยชน์ ขอบคุณ!
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
