ผู้เขียน: โคลอี้

โซลูชันการขยายปัจจุบันที่อิงตามหลักฐานที่ไม่มีความรู้ของ Ethereum คือ ZK-rollup แต่จริงๆ แล้วมีโซลูชันอื่นอีกสองโซลูชัน ได้แก่ Validium และ Volitions

บทความนี้แนะนำโครงร่างการขยายตัวสามแบบข้างต้นโดยสังเขปโดยยึดตามการพิสูจน์ที่ไม่มีความรู้

ZK rollup

การดำเนินการของ ZK-rollup เป็นเพียงการรวบรวมธุรกรรมหลายรายการเข้าด้วยกันและเผยแพร่บน L1 และในขณะเดียวกันก็ออกหลักฐาน (โดยใช้เทคโนโลยี Zero-knowledge Proof) เพื่ออ้างว่าธุรกรรมเหล่านี้ถูกต้อง เมื่อตรวจสอบบน L1 แล้ว zk - สถานะของการยกเลิกได้รับการปรับปรุง

กลไกการพิสูจน์ชุดนี้เรียกอีกอย่างว่า "การพิสูจน์ ความใช้ได้" ในปัจจุบัน กลไกการพิสูจน์หลักที่ใช้โดย ZK-rollup คือ zkSNARK และ zkSTARK

โดยเฉพาะอย่างยิ่ง zk-SNARK นั้นถูกใช้อย่างแพร่หลายที่สุด และ zk-SNARK เป็นเวอร์ชันที่ปรับปรุงแล้ว และปัจจุบันมีผู้ใช้ไม่มากนัก

zk-SNARK ย่อมาจาก zero-knowledge succinct non-interactive argument on knowledge (concise non-interactive zero-knowledge proof) ซึ่งเป็นหลักฐานที่เข้ารหัสด้วยไฟล์ขนาดเล็กและการตรวจสอบที่ง่ายดาย และความเรียบง่ายนั้นอยู่ที่การไม่โต้ตอบ

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

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

อย่างไรก็ตาม SNARK สร้างสตริงการอ้างอิงสาธารณะล่วงหน้าเพื่อปรับปรุงประสิทธิภาพ แต่ก็ทิ้งอันตรายที่ซ่อนอยู่ไว้ด้วย - จะเกิดอะไรขึ้นหากสตริงอ้างอิงสาธารณะรั่วไหล STARK จึงถือกำเนิดขึ้น

STARK เป็นหลักฐานเชิงโต้ตอบ แต่เป็นการพิสูจน์เชิงโต้ตอบที่ชาญฉลาด - ความปลอดภัยได้รับการรับประกันโดยการชนกันของฟังก์ชันแฮช (วิธีการพิสูจน์ความน่าจะเป็น) ดังนั้นจึงมีประสิทธิภาพมากกว่า (แต่ก็ยังไม่มีประสิทธิภาพเท่ากับ SNARK)

Validiums

ZK-rollup คือการส่งธุรกรรมไปยัง L1 เป็นชุดเพื่อดำเนินการ เป็น "การรักษาความปลอดภัยแบบกำหนดเอง" ประเภทหนึ่งที่ไม่ต้องการความเชื่อถือ

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

ดังนั้นความสามารถในการปรับขนาดของ Validiums จึงสูงกว่าของ ZK-rollup (ปัจจุบัน TPS สูงสุดสามารถเข้าถึงมากกว่า 20,000) แต่เป็น "การขยายตัวของความไว้วางใจที่อ่อนแอ" ที่ถ่ายโอนความไว้วางใจไปยังบุคคลที่สามนอกห่วงโซ่ มันจะถูกโจมตี และทำให้ข้อมูลไม่พร้อมใช้งานหรือผู้ใช้ไม่สามารถถอนเงินได้

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

โครงการตัวแทนที่ใช้โซลูชัน Validiums ในปัจจุบันคือ Immutable X ซึ่งเป็นโซลูชันส่วนขยายที่มีศูนย์กลางอยู่ที่ NFT

Vitalik เชื่อว่า Validiums นั้นถูกประเมินต่ำไปอย่างมาก เพราะ Dapps ส่วนใหญ่สามารถตอบสนองความต้องการในการปฏิบัติงานด้วย Validiums ได้แล้ว

Volitions

เมื่อรวม ZK-rollup และValiumium เข้าด้วยกัน ทีม StarkWare ได้เปิดตัวโซลูชัน Volitions อย่างสร้างสรรค์ ซึ่งตามชื่อที่แนะนำ คือ "ความสามารถในการตัดสินใจ"

โดยพื้นฐานแล้วโซลูชัน Volitions จะให้บริการ ZK-rollup และ validium พร้อมๆ กัน โดยจะใช้สถานะรูทเดียวกัน (state root) ร่วมกัน และผู้ใช้สามารถเลือกโหมด DA ของแต่ละธุรกรรมได้ด้วยตัวเอง แม้ว่าส่วน Validium จะถูกบุกรุก แต่เงินใน ZK-rollup ก็ยังคงปลอดภัย

บทส่งท้าย

บทส่งท้าย

สงครามการขยายตัวของ Ethereum ยังเพิ่งเริ่มต้น ปัจจุบัน ค่าย Optimistic rollups ได้เปรียบ พวกเขาสามารถเข้ากันได้กับ EVM หรือแม้แต่เทียบเท่าอย่างสมบูรณ์ นอกจากนี้ ความสามารถในการดำเนินการของชุมชนยังแข็งแกร่งมาก

ความหายนะของ ZK-rollup ส่วนใหญ่เกิดจากความจำเป็นในการปรับแต่ง VM ตั้งแต่เริ่มต้น ซึ่งหมายความว่าโค้ดจาก EVM จะต้องเขียนใหม่ทั้งหมด (แม้ว่าจะยากน้อยลงเรื่อยๆ)

อย่างไรก็ตาม ในระยะยาว เมื่อเปรียบเทียบกับการเลิกใช้ Optimistic การเลิกใช้ ZK มีข้อได้เปรียบด้านความเป็นส่วนตัวและความปลอดภัยในตัว และความเข้ากันได้ของ EVM ในอนาคตมีแนวโน้มที่จะมีประสิทธิภาพดีกว่าการเลิกใช้ Optimistic

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

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