การปฏิวัติการขยายขนาดของ Ethereum เริ่มต้นแล้ว

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

เจาะลึกเทคโนโลยีเบื้องหลัง

สิ่งที่น่าทึ่งคือการนำ zkEVM มาใช้ - ความมหัศจรรย์ทางคริปโตกราฟีที่ดำเนินการสัญญาอัจฉริยะพร้อมสร้างข้อพิสูจน์ความรู้เป็นศูนย์ สิ่งที่น่าสนใจที่สุดคือวิธีที่พวกเขารักษาความเข้ากันได้กับ EVM ในขณะที่เพิ่มประสิทธิภาพสำหรับการสร้างข้อพิสูจน์

ส่วนประกอบหลักประกอบด้วย:

• ชุดคำสั่ง zkEVM ที่สมบูรณ์
• คอมไพเลอร์จาก Solidity/Zinc เป็น bytecode ของ zkEVM
• การบูรณาการโหนดเต็มสำหรับการปรับใช้งานสัญญา

สิ่งที่นักพัฒนาควรรู้

แม้การทำงานส่วนใหญ่จะคุ้นเคยสำหรับนักพัฒนา Ethereum แต่มีบางอย่างที่แตกต่าง:

1. การยกเว้นชั่วคราวบางอย่างเช่น ADDMOD/SMOD
2. KECCAK256 จะถูกแทนที่ด้วยทางเลือกอื่นชั่วคราว
3. ไม่มี SELFDESTRUCT (ตามแนวทางของ Ethereum)

แบบจำลองแก๊สนวัตกรรมนี้ปรับเปลี่ยนตามราคาแก๊ส L1 และต้นทุนการสร้าง ZKP ซึ่งนักพัฒนาที่คุ้นเคยกับ Ethereum อาจต้องปรับตัว

เคล็ดลับสำคัญ: การบูรณาการ zkPorter

zkPorter ให้ระบบความพร้อมใช้งานข้อมูลนอกเชนที่เพิ่มปริมาณงานได้มาก เหมือนกับการมีบัญชีสองประเภทในต้นไม้สถานะเดียวกัน:

• บัญชี zkRollup (ความปลอดภัยสูงสุด)
• บัญชี zkPorter (ต้นทุนต่ำกว่า)

เทคโนโลยีคริปโตกราฟีเบื้องลึก

ระบบประกอบด้วย:

• ระบบพิสูจน์ PLONK ที่ผ่านการทดสอบ
• ประตูและตารางค้นหาที่กำหนดเอง (UltraPLONK)
• เส้นโค้ง BN-254 ของ Ethereum

ทิศทางต่อไป

ทีมกำลังมุ่งเน้น:

1. ความแข็งแกร่งของคอมไพเลอร์
2. การรวมข้อพิสูจน์แบบเรียกซ้ำ
3. การพัฒนา Zinc language
4. ส่วนหน้า Rust compiler ที่อาจเกิดขึ้น