การตรวจสอบ AMA ล่าสุดของ Ethereum Foundation: ชุดเครื่องมือตรวจสอบ, หมายเลขสุ่ม, DVT, ทิศทางทางเทคนิค

การรวบรวมต้นฉบับ: GaryMa Wu กล่าวว่า blockchain

การรวบรวมต้นฉบับ: GaryMa Wu กล่าวว่า blockchain

เมื่อวันที่ 12 กรกฎาคม ทีมวิจัยของ Ethereum Foundation ดำเนินการ AMA ครั้งที่ 10 บนฟอรัม Reddit สมาชิกชุมชนสามารถโพสต์คำถามในโพสต์และสมาชิกในทีมวิจัยจะตอบคำถามเหล่านั้น Wu กล่าวว่าคำถาม/ประเด็นทางเทคนิคที่เกี่ยวข้องที่เกี่ยวข้องกับ AMA นี้ได้รับการสรุปและเรียบเรียงดังนี้:

1. ที่เกี่ยวข้องกับการออกจากโปรแกรมตรวจสอบ: อนุญาตให้โปรแกรมตรวจสอบถอนใบรับรองออกจากเลเยอร์การดำเนินการ (0x 01) เพื่อทริกเกอร์การออก หากยอดคงเหลือน้อยกว่า 16 ETH (การลงโทษจากการหย่อนหรือเหตุการณ์การยึดเกิดขึ้น) โปรแกรมตรวจสอบจะถูกไล่ออกจาก ข้อตกลงที่นี่ 16 ETH เกณฑ์ต่ำเกินไปหรือไม่?

สิ่งนี้เกี่ยวข้องกับร่าง EIP-7002 เป็นหลัก เป็นที่เข้าใจกันว่า Danny Ryan และนักพัฒนาการวิจัยอื่น ๆ ร่วมกันเปิดตัวร่าง EIP-7002 ซึ่งมีจุดมุ่งหมายเพื่อให้ผู้ตรวจสอบความถูกต้องสามารถถอนข้อมูลประจำตัวออกจากเลเยอร์การดำเนินการ (0x 01) เพื่อทริกเกอร์การออกไปยัง จดหมาย ห่วงโซ่ที่ทำเครื่องหมายไว้ เนื่องจากตัวตรวจสอบความถูกต้องมีสองคีย์ คือ คีย์ที่ใช้งานอยู่และใบรับรองการถอนเงิน แต่ในปัจจุบัน มีเพียงคีย์ที่ใช้งานอยู่เท่านั้นที่สามารถเริ่มต้นการออกจากเครื่องมือตรวจสอบได้ ซึ่งหมายความว่าในความสัมพันธ์เอสโครว์ที่ไม่ได้มาตรฐาน ผู้ถือใบรับรองการถอนไม่สามารถเลือกไม่ใช้ได้อย่างอิสระและ เริ่มกระบวนการถอนเงิน เพื่อให้แน่ใจว่าโทเค็นการถอนที่ถือโดย EOA และสัญญาอัจฉริยะสามารถควบคุม ETH ที่เดิมพันได้โดยไม่ต้องเชื่อถือ ข้อกำหนดนี้อนุญาตให้โทเค็นการถอน 0x 01 เพื่อทริกเกอร์การออก ข้อเสนอนี้จะเป็นประโยชน์ต่อการพัฒนาเส้นทาง เช่น การปักหลักของเหลวและการตรวจสอบแบบกระจาย ส่งเสริมการกระจายอำนาจของห่วงโซ่สัญญาณบีคอน และในขณะเดียวกันก็จัดการความเสี่ยงได้ดีขึ้น เช่น การสูญหายของคีย์ส่วนตัว หรือการสูญเสียตัวตรวจสอบ DVT โดยส่วนใหญ่ การเชื่อมต่อคีย์ที่ใช้ร่วมกัน ฯลฯ

2. ปัญหาตัวเลขสุ่ม: RANDAO + VDF

RANDAO เป็นวิธีการสร้างตัวเลขสุ่ม สมมติว่ามีนักเรียน 10 คนในชั้นเรียน และครูต้องการสุ่มเลือกนักเรียนเพื่อให้รางวัลแก่เขา วิธีการเลือกที่อาจารย์ให้ไว้คือนักเรียนทุกคนให้เลขสุ่มพร้อมกัน ครูจะบวกเลขสุ่มที่ได้รับ 10 ตัว และเลขสุดท้ายที่ได้คือเศษของ 10 และเลขที่เหลือคือนักเรียนที่ควร ได้รับการคัดเลือก อย่างไรก็ตาม จริงๆ แล้วปัญหาสามารถพบได้จากกระบวนการดำเนินการ RANDAO ข้างต้น หากเพื่อนร่วมชั้นโกงและสุ่มตัวเลขให้เพื่อนร่วมชั้น 9 คน เขาสามารถเลือกตัวเลขที่เป็นประโยชน์ต่อตัวเองมากที่สุดโดยพิจารณาจากข้อมูลตัวเลขสุ่มที่เพื่อนร่วมชั้น 9 คนให้ไว้ เพื่อให้ผลลัพธ์สุดท้ายชี้ไปที่ตัวเขาเอง ดังนั้นการดำเนินงานที่มีประสิทธิภาพของ RANDAO จึงจำเป็นต้องมีกลไกป้องกันการโกง กล่าวคือ จำเป็นต้องมีวิธีการบางอย่างเพื่อให้แน่ใจว่าทุกคนจะให้คำตอบในเวลาเดียวกัน VDF ก็มีประโยชน์เช่นกัน ชื่อเต็มของ VDF คือ Verifiable Delay Function คุณสมบัติที่สำคัญของฟังก์ชันนี้คือกระบวนการคำนวณเพื่อให้ได้ผลลัพธ์ไม่สามารถคำนวณแบบคู่ขนานได้ กล่าวคือ ไม่สามารถเร่งได้ อย่างไรก็ตามหลังจากได้ผลลัพธ์แล้วปริมาณการคำนวณเพื่อยืนยันผลลัพธ์จะมีน้อยมาก VDF เกิดขึ้นได้จากฟังก์ชันแฮช และลักษณะของการคำนวณที่ช้าและการตรวจสอบฟังก์ชันแฮชที่รวดเร็วก็สอดคล้องกับธรรมชาติของ VDF เช่นกัน

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

3. SSV (Secret Shared Verifier) ​​​​และ DVT (Distributed Verifier Technology) จำเป็น สำหรับ Ethereum หรือไม่

ด้วยการเดิมพัน Ethereum ที่เกิน 20% และเผชิญกับความเสี่ยงในการรวมศูนย์ของผู้ดำเนินการโหนดที่มีศักยภาพ สมาชิกในทีมวิจัยสองคนกล่าวว่าเทคโนโลยีดังกล่าวอาจเป็นวิธีแก้ปัญหาที่ ต้อง ในระยะสั้นถึงระยะกลาง

Justin Drake กล่าวว่าความคิดล่าสุดของเขาเปลี่ยนไปบางส่วน เพราะในระยะยาว หากใช้ลายเซ็น One-shot ความสำคัญของความท้าทายด้านความเสี่ยงเหล่านี้จะลดลงอย่างมาก อย่างไรก็ตาม การลงนามเพียงครั้งเดียวอาจใช้เวลาหลายสิบปีจึงจะบรรลุผล ดังนั้น DVT จะเป็นโซลูชันที่มีประสิทธิภาพมากกว่าในระยะสั้นถึงปานกลาง

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

4. ยอดคงเหลือที่มีประสิทธิภาพสูงสุด: การเพิ่มขีดจำกัดบนของคำมั่นสัญญาของผู้ตรวจสอบ (32 ETH) สามารถลดจำนวนผู้ตรวจสอบในเครือข่าย เพื่อให้บรรลุการทำธุรกรรมขั้นสุดท้ายได้เร็วขึ้น (ขั้นสุดท้ายของสล็อตเดียว) เช่น: 1) ส่วนบน ขีดจำกัด 32 ETH ไม่มีการเปลี่ยนแปลง แต่จำกัดขีดจำกัดบนของจำนวนผู้ตรวจสอบเครือข่าย 2) ไม่ว่าจะพิจารณาจำนวนการยืนยันของผู้ตรวจสอบ (การรับรอง) ลงในน้ำหนักการลงคะแนนหรือไม่

ตัวเลือกที่ 1 จะส่งผลให้เกิดตลาดสำหรับการซื้อขายคุณสมบัติผู้ตรวจสอบความถูกต้องที่มีอยู่ ทำให้เกิดความเสี่ยงด้านความปลอดภัยที่ร้ายแรง

ตัวเลือกที่ 2 จะเปลี่ยนรูปแบบความปลอดภัยของโปรโตคอล และจะลดความยากสำหรับผู้โจมตีในการจัดระเบียบห่วงโซ่ใหม่

มีข้อเสนอของชุมชนเมื่อเร็วๆ นี้ให้เพิ่มยอดคงเหลือของเครื่องมือตรวจสอบที่ใช้งานอยู่สูงสุดจาก 32 ETH เป็น 2048 ETH เพื่อช่วยลดการเติบโตของชุดเครื่องมือตรวจสอบที่ใช้งานอยู่

5. ความคืบหน้าของการเลือกตั้งผู้นำ SSLE/ซิงเกิลลับในปัจจุบันเป็นอย่างไร?

Vitalik กล่าวว่า SSLE ยังอยู่ในขั้นตอนการวิจัย เนื่องจากการรักษาความลับของผู้นำไม่ได้รับการพิสูจน์ว่าเป็นปัญหา ลำดับความสำคัญของ SSLE จึงค่อนข้างต่ำ

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

6. มีการอัพเดตแผนงานทางเทคนิคในปัจจุบันของ Ethereum หรือไม่?

Vitalik กล่าวว่าส่วนใหญ่กำลังดำเนินการตามกำหนดเวลา แน่นอนว่า ยังมีลำดับความสำคัญที่ปรับใหม่ด้วย ตัวอย่างเช่น ในเดือนเมษายน เนื่องจากช่องโหว่ Mev-Boost ผู้ตรวจสอบที่เป็นอันตรายจึงโจมตี MEV Bots ในปัจจุบัน PBS ภายในระดับโปรโตคอลจะเป็น ปรับปรุง (การแยกผู้เสนอและผู้ก่อสร้าง) ความกังวลเกี่ยวกับความเสี่ยงด้านความปลอดภัยที่อาจเกิดขึ้นจากการเดิมพันใหม่ (การเดิมพันใหม่) จะเพิ่มลำดับความสำคัญในการเพิ่มประสิทธิภาพและทำให้ประสบการณ์การเดิมพันเดี่ยวง่ายขึ้น

นอกจากนี้ ตามทิศทางทั่วไป สิ่งที่ต้องจัดลำดับความสำคัญคือการช่วยให้สิ่งต่าง ๆ ระดับระบบนิเวศได้อย่างมีประสิทธิภาพ เช่น กระเป๋าเงินอัจฉริยะ ERC-4337 จำเป็นต้องบรรลุ cross-L2 ที่เป็นมิตร และปรับปรุงประสิทธิภาพของก๊าซ

7. EIP 4844 สามารถแก้ปัญหาการกระจายตัวของสภาพคล่องของ L1 และ L2 ได้หรือไม่

ความสามารถในการประกอบทันทีของ zk-rollups (ซึ่งอาจเป็นไปไม่ได้ระหว่าง OP Rollups) ไม่ได้ขึ้นอยู่กับความสมบูรณ์ของ EIP 4844 พื้นที่ออกแบบสำหรับการประสานงานแบบรวมได้ระหว่าง zk-rollup นั้นมีขนาดใหญ่มาก ตัวอย่างเช่น หนึ่งในวิธีแก้ปัญหาที่เป็นไปได้คือการมี zk-rollup ขั้นต่ำเฉพาะเป็นการรวมสภาพคล่อง

8. Justin Drake เสนอแนวคิดที่เรียกว่า Based Rollups เพื่อแก้ปัญหาการเรียงลำดับของ Rollups (การเรียงลำดับใน L1) ได้มีการนำไปใช้แล้วหรือยัง?

การโรลอัปแบบอิง (หรือโรลอัปที่เรียกว่าการเรียงลำดับ L1) หมายความว่าการเรียงลำดับของเครือข่าย Rollup จะเกิดขึ้นบน L1 ที่อิงตาม (ในกรณีส่วนใหญ่จะเป็นเครือข่าย Ethereum) โดยเฉพาะอย่างยิ่ง ในกรณีของ Ethereum หมายความว่าผู้ค้นหา ผู้สร้าง และผู้เสนอบนเครือข่ายทั้งหมดมีส่วนร่วมในการเรียงลำดับเครือข่าย Rollup

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

Taiko ซึ่งเป็นหนึ่งในโปรเจ็กต์ Layer 2 zkEVM จะเปิดตัวในรูปแบบของ Based Rollups

บางคนอาจสับสนและคิดว่า Based Rollups จะใช้พูลหน่วยความจำที่แชร์กับ L1 แต่ไม่ใช่ Rollups จะมีพูลหน่วยความจำของตัวเอง

9. กังวลเกี่ยวกับความเสี่ยงจากการรวมศูนย์สำหรับผู้สร้างบล็อกหรือไม่?

Justin Drake กล่าวว่าตลาดผู้สร้างในปัจจุบันเป็นแบบรวมศูนย์มาก (ดู https://www.relayscan.io/ สำหรับรายละเอียด) ความเสี่ยงหลักของการรวมศูนย์กลางของผู้สร้างคือการเซ็นเซอร์ และวิธีแก้ปัญหาที่ดีกว่าคือการประมูลบล็อกบางส่วน เช่น รายการรวม , คำต่อท้ายของผู้เสนอ, การแก้ไขคำต่อท้ายของผู้เสนอ: พูลหน่วยความจำที่เข้ารหัสไว้ล่วงหน้าและที่เข้ารหัส, การทำลาย MEV เป็นต้น

10.หากจำนวนผู้ตรวจสอบเกิน 1 ล้านคนในปีนี้ เครือข่ายหลักจะสามารถทำงานได้อย่างเสถียรหรือไม่? ปัจจุบัน mainnet รองรับผู้ตรวจสอบความถูกต้องได้กี่คน?

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

11. Ethereum Foundation จะถูกยุบหรือไม่? จุดจบของมูลนิธิจะเป็นอย่างไร?

Justin Drake กล่าวว่า Ethereum Foundation ไม่มีรายได้ และการประชุมบางแห่งมักไม่แสวงหาผลกำไร และจะไม่ใช้ ETH ในคลังเพื่อสัญญาว่าจะสร้างรายได้ หากคลัง Ethereum Foundation หมดลง เงินทุนอาจมาจากสองแหล่ง:

● โครงสร้างพื้นฐานการจัดหาเงินทุนผลิตภัณฑ์สาธารณะภายในระบบนิเวศ

● งบประมาณ Ethereum L1 ค่อนข้างต่ำ

12. ในปัจจุบัน ยังไม่มีวิธีแก้ปัญหาทางเทคนิคที่สมบูรณ์สำหรับการดำเนินการธุรกรรมแบบรวมย่อย คุณมีความคิดเห็นและข้อเสนอแนะอย่างไร

Vitalik กล่าวว่าเขาไม่คิดว่ากรณีการใช้งานของการดำเนินการธุรกรรม cross-rollups แบบซิงโครนัสนั้นสูง และการดำเนินการธุรกรรม cross-rollups แบบอะซิงโครนัสเป็นที่ยอมรับได้ และมีกรณีการใช้งานมากมาย การดำเนินการค้าขายแบบซิงโครนัสใน Rollups ให้ความรู้สึกเหมือนเป็นขอบเขตของคำจำกัดความที่ลึกลับ และหากเราเข้าใจแล้ว มันจะปรับปรุงประสิทธิภาพของตลาดได้อย่างแน่นอน แต่มิฉะนั้น เราก็สามารถทำได้โดยไม่ต้องใช้มันเลย

13. หากประสิทธิภาพของ Rollups ตกอยู่ในคอขวดในอนาคต เป็นไปได้ไหมที่การแบ่งส่วนสองครั้งในขั้นตอนก่อนหน้าของ Ethereum จะกลับมาที่ขั้นตอนนั้นอีกครั้ง?

ตราบใดที่ L1 EVM ใช้ SNARKified (ระยะ Verge ของแผนงาน Ethereum) ดังนั้น Ethereum ก็จะมี enshrined rollup (การ Rollup ที่เพลิดเพลินกับการบูรณาการฉันทามติบางประเภทบน L1) นอกจากนี้ยังอาจกล่าวได้ว่า Ethereum มี Rollup ที่ประดิษฐานอยู่ ที่ระดับฉันทามติ L1 ดำเนินการแบ่งส่วน เมื่อการทำงานหนักของ SNARKifying เสร็จสิ้น จะค่อนข้างง่ายใน L1 EVM ที่จะเปิดเผยตรรกะการตรวจสอบ SNARK ว่าเป็น opcode ของ EVM ด้วยวิธีนี้ ทำให้สามารถรับรู้ Rollup ที่ประดิษฐานได้ไม่จำกัดจำนวน ในระดับฉันทามติของ Ethereum การ Rollup ที่ประดิษฐานไว้เหล่านี้เป็นเหมือนการแบ่งส่วนการดำเนินการของเครือข่ายหลักที่มีความสามารถในการปรับขนาดและความปลอดภัยเช่นเดียวกับเครือข่ายหลัก

ลิงค์เดิม