ผู้แต่ง: แฟรงค์ Foresight News

ผู้แต่ง: แฟรงค์ Foresight News

เมื่อวันที่ 12 ตุลาคม 2022 ตามเวลาปักกิ่ง Vitalik Buterin ได้เข้าร่วมในเหตุการณ์ Rollup Day ซึ่งจัดโดยโครงการขยาย Ethereum Scroll ในฐานะหนึ่งในกิจกรรมต่อพ่วงของ Devcon VI ในโบโกตา กิจกรรมนี้มุ่งเน้นไปที่หัวข้อของ Ethereum Rollup เป็นหลัก

ในวัน Rollup Day Vitalik ได้กล่าวสุนทรพจน์ในหัวข้อกลไกการพิสูจน์แบบหลายชั้น - "การเสริมความแข็งแกร่งด้วยการพิสูจน์แบบหลายชั้น"

Vitalik เชื่อว่าโซลูชัน Rollup เกือบทั้งหมดยังอยู่ในขั้นตอนของการใช้ "วงล้อฝึกหัด" ซึ่งหมายความว่า Rollup ในขั้นตอนนี้ยังไม่ได้รับความเชื่อถือหรือลดความไว้วางใจให้เหลือน้อยที่สุด

เหตุผลสำคัญที่ทำให้ Rollups เหล่านี้ยังคงใช้ "training wheel" คือโค้ดที่ซับซ้อนมากเกินไปจะเพิ่มพื้นผิวการโจมตีของระบบ ยกตัวอย่าง วงจร ZK-EVM ที่พัฒนาโดยทีม PSE โค้ดมี 34,469 บรรทัด

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

เขียนใหม่ของการกำกับดูแลเกณฑ์สูง

โซลูชันที่ 1 คือการใช้กลไกการกำกับดูแลที่มีขีดจำกัดสูงเพื่อตัดสินใจแทนที่โค้ด

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

การอ้างอิงหลายรายการ

ตัวเลือกที่สองคือมัลติโพรเวอร์

เรียนรู้จากกลไกหลายไคลเอนต์บน Ethereum และใช้ระบบพิสูจน์หลายตัว (การพิสูจน์การฉ้อโกงหลายครั้ง หรือการใช้งาน zkEVM หลายครั้ง) เพื่อป้องกันการหยุดทำงานของเครือข่าย

ถ้าใครส่งสองสถานะที่ขัดแย้งกันไปยังโปรแกรมพิสูจน์ และทั้งคู่ผ่าน โปรแกรมพิสูจน์จะถูกปิด หากไม่มีข้อความสำเร็จถูกส่งผ่านโปรแกรมพิสูจน์เฉพาะภายใน 7 วัน โปรแกรมพิสูจน์จะถูกปิด (ได้รับแรงบันดาลใจจากการออกแบบกระเป๋าเงินสัญญาอัจฉริยะ) .

ผู้รับรองสองคน + กลุ่มธรรมาภิบาล

ตัวเลือกที่สามคือผู้พิสูจน์สองคน (หลักฐานการฉ้อโกงเทียบกับหลักฐาน zk) บวกกับกลุ่มการกำกับดูแลเพื่อใช้กลไกการรับประกัน 2/3 (ผู้พิสูจน์สองคนบวกกับการผูกมัดการกำกับดูแล)

• ประโยชน์ของมันคือ:

• การกำกับดูแลไม่จำเป็นต้องเชื่อถือได้ (ไม่สามารถโต้แย้งได้โดยหลักฐาน)

• เมื่อพิสูจน์ได้ว่ามีช่องโหว่ในระบบ ระบบอื่นจะไม่ได้รับผลกระทบ

ตามหลักการแล้ว โปรแกรมพิสูจน์ทั้งสองควรมีโครงสร้างที่แตกต่างกันมากเพื่อลดโอกาสที่จะเกิดข้อบกพร่องพร้อมกัน

Vitalik ยังกล่าวอีกว่า "บล็อก ZK-Proving EVM ตอนนี้ใช้เวลาสองสามชั่วโมง แต่เทคโนโลยีจะดีขึ้นในอนาคต ผมเชื่อว่าคุณ เรา (ในอนาคต) จะได้รับการพิสูจน์ ZK Snarks ภายใน 12 วินาที"

นอกจากนี้ คนในวงการคนอื่นๆ ยังได้เข้าร่วมงาน Rollup Day และแบ่งปันความคิดเห็นของพวกเขา

ในหมู่พวกเขา Mark Tyneway ผู้ร่วมก่อตั้ง Optimism กล่าวว่า "ปัจจุบันไม่มี Rollup ใดที่ทนต่อการเซ็นเซอร์ ซึ่งหมายความว่า Rollup มีการเลือกตั้งผู้นำที่ไม่ได้รับอนุญาตและสัญญาอัจฉริยะที่ไม่สามารถอัปเกรดได้"

เกี่ยวกับปัญหา MEV ที่ได้รับความสนใจอย่างมาก ธารณ จิตรา ผู้ก่อตั้ง Gauntlet Networks กล่าวว่า "เมื่อพิจารณาถึงวิธีการย้ายไปสู่การกระจายอำนาจแบบรวมศูนย์และตัวเรียงลำดับแบบกระจายอำนาจเฉพาะ ปัญหาที่ไม่ได้กล่าวถึงกำลังสร้าง MEV จำนวนมาก"

Alex Obadia นักวิจัยของ Flashbots กล่าวว่า "ยังไม่ชัดเจนว่าการแยกตัวสร้างแบบฝังตัว (การแยกตัวสร้างข้อเสนอ, PBS) ควรใช้ในโปรโตคอล Ethereum และยังมีคำถามเปิดอยู่บางข้อเกี่ยวกับวิธีที่ PBS จะโต้ตอบกับตัวอื่น การเปลี่ยนแปลงโปรโตคอลที่อาจเกิดขึ้น คำถาม"

ลิงค์ต้นฉบับ

ลิงค์ต้นฉบับ