บทสัมภาษณ์กับ StarkWare PM Gal Ron

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

ในขณะที่นักพัฒนา Ethereum กำลังหาวิธีปรับขนาดเครือข่ายแบบเนทีฟ พลังของโซลูชันเลเยอร์สองเพิ่งเริ่มปรากฏให้เห็นเท่านั้น

แนวคิดเช่นการพิสูจน์ความรู้เป็นศูนย์กำลังกลายเป็นความจริงที่ใช้งานได้จริง แต่สำหรับหลาย ๆ คน แนวคิดเหล่านี้ยังคงเป็นแนวคิดที่แปลกมาก เพื่อช่วยให้เราเข้าใจมากขึ้นเกี่ยวกับอนาคตของการปรับขนาด Ethereum Gal Ron – ผู้จัดการผลิตภัณฑ์และนักวิจัยบล็อกเชนที่ StarkWare – บริษัทที่มุ่งเน้นเรื่องนี้เป็นหลัก

ปัญหาเกี่ยวกับ Ethereum

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

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

เช่นเดียวกับ Ethereum ในสถานะปัจจุบัน ความจำเป็นในเรื่องนี้มาจากข้อเท็จจริงที่ว่า Ethereum ต้องตอบสนองความต้องการ "ความน่าเชื่อถือ"

เมื่อพูดถึงเรื่องนี้รอนอธิบายว่า:

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

โดยพื้นฐานแล้ว สิ่งนี้ทำให้ Ethereum ถูกจำกัดความสามารถตามคำนิยาม

แนวทางของ StarkWare: ZK-Proof คืออะไร

Ron อธิบายว่ามีทางเลือกสองสามทางในการจัดการกับปัญหาข้อจำกัดของ Ethereum หนึ่งในนั้นคือการประดิษฐ์สิ่งอื่น

อย่างไรก็ตาม StarkWare ได้ใช้แนวทางที่แตกต่างในการ “ปรับขนาด Ethereum จาก Ethereum และไม่สร้างเชนอื่น” พวกเขาทำผ่าน StarkNet และ StarkEx ดังนั้นมาดูกัน

StarkNet ถูกอธิบายว่าเป็น ZK-โรลอัพ” มันทำงานเป็นเครือข่าย L2 (เลเยอร์สอง) บน Ethereum และมีจุดมุ่งหมายเพื่อให้แอพพลิเคชั่นแบบกระจายอำนาจ (dApp) ใด ๆ เพื่อให้ได้ขนาดที่ไม่จำกัดสำหรับการคำนวณ สิ่งนี้ทำได้โดยไม่สูญเสียความปลอดภัยและความสามารถในการรวมของเลเยอร์หลัก – Ethereum – เนื่องจาก StarkNet อาศัยระบบพิสูจน์การเข้ารหัสที่เรียกว่า STARK

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

“ด้วย Ethereum โหนดทั้งหมดจะต้องเรียกใช้ธุรกรรมทั้งหมดอีกครั้ง ก่อนหน้า ZK (ความรู้เป็นศูนย์) ไม่มีวิธีอื่นใดที่จะไว้วางใจได้ว่ามีคนอื่นดำเนินการคำนวณด้วยความซื่อสัตย์ ถ้าฉันเป็นโหนดบน Ethereum ฉันเห็นว่าโหนดอื่นรายงานอะไรให้ฉันบ้างในแง่ของสถานะของระบบที่ควรจะเป็น ไม่มีทางที่ฉันจะไว้ใจพวกเขาได้นอกจากเรียกใช้การคำนวณเดิมที่พวกเขาเพิ่งเรียกใช้ซ้ำ

ความมหัศจรรย์ของ ZK คือการสร้างกระบวนทัศน์ใหม่ในการไว้วางใจหน่วยงานอื่น ๆ โดยไม่ต้องเรียกใช้การคำนวณที่พวกเขาเพิ่งทำใหม่อีกครั้ง” - รอนกล่าว

โดยพื้นฐานแล้ว การเลิกใช้ ZK เช่น StarkNet จะลดจำนวนงานด้านการคำนวณที่โหนดบน Ethereum ต้องใส่ลงไปมาก ซึ่งจะเป็นการเพิ่มทรูพุตของเครือข่าย

ทั้งหมดนี้ทำโดยไม่สูญเสียความปลอดภัยของเลเยอร์หลัก ในการทำเช่นนั้น StarkWare ได้คิดค้น ZK-STARK ซึ่งช่วยให้บล็อกเชนย้ายการคำนวณไปยังเครื่องพิสูจน์ STARK แบบออฟไลน์เพียงเครื่องเดียว จากนั้นจึงตรวจสอบความสมบูรณ์ของการคำนวณเหล่านั้นโดยใช้ STARK Verifier บนเครือข่าย

Gal Ron อธิบายว่าทั้ง Prover และ Sequencer ทำงานอย่างไร ดังนั้นสำหรับรายละเอียดเพิ่มเติม โปรดดูวิดีโอด้านบน

นอกจากนี้เรายังพิจารณาให้ละเอียดยิ่งขึ้นว่าโรลอัพคืออะไร StarkEx คืออะไร และแผนของ StarkWare ในอนาคตคืออะไร