การเปลี่ยนแปลงใน Ethereum ด้วยโปรโตคอล GKR
Vitalik Buterin ได้แชร์งานวิจัยใหม่ที่อาจเปลี่ยนแปลงวิธีที่ Ethereum เข้าถึงการตรวจสอบการพิสูจน์และการขยายตัวในอนาคต โดย Buterin ได้แนะนำ โปรโตคอล GKR ซึ่งเป็นระบบการพิสูจน์ที่ก้าวหน้า ออกแบบมาเพื่อทำให้การคำนวณแบบไม่มีความรู้ (zero-knowledge) เร็วขึ้นและมีประสิทธิภาพมากขึ้น
บทความนี้เผยแพร่เมื่อวันที่ 20 ตุลาคม บนบล็อกส่วนตัวของเขาที่ vitalik.eth.limo โดยอธิบายเกี่ยวกับโปรโตคอล Goldwasser–Kalai–Rothblum วิธีการรวมการพิสูจน์แบบวนซ้ำนี้มีศักยภาพที่จะเปลี่ยนแปลงวิธีที่ Ethereum (ETH) จัดการกับการขยายตัวและการตรวจสอบอย่างสิ้นเชิง
กรอบงาน GKR
กรอบงาน GKR ตรวจสอบการคำนวณขนาดใหญ่ด้วยค่าใช้จ่ายบนเชนที่น้อย ทำให้การพิสูจน์ทางคณิตศาสตร์ที่ซับซ้อนง่ายขึ้น Buterin อธิบายว่า GKR ประมวลผลการพิสูจน์ในเวลาเชิงลอการิธึมโดยไม่ต้องการการมอบหมายที่มีค่าใช้จ่ายสูงในระหว่างขั้นตอน ทำให้มีประสิทธิภาพมากกว่าระบบ ZK-SNARK หรือ STARK แบบดั้งเดิม
“มันเหมาะสมอย่างเป็นธรรมชาติสำหรับการพิสูจน์ชุดแฮชขนาดใหญ่และการคำนวณแบบเครือข่ายประสาท”
เขาเน้นความเหมาะสมสำหรับทั้งบล็อกเชนและงาน AI เนื่องจากการออกแบบของโปรโตคอล ผู้พิสูจน์สามารถละเว้นการมอบหมายในระยะกลาง ซึ่งช่วยลดค่าใช้จ่ายและภาระการคำนวณ
ความสามารถในการขยายตัว
แม้ว่า GKR จะไม่ใช่ zero-knowledge เอง แต่สามารถห่อหุ้มในชั้น ZK-SNARK หรือ STARK เพื่อความเป็นส่วนตัว โดยรวมความกระชับกับความลับ GKR สอดคล้องกับวิสัยทัศน์ที่กว้างขึ้นของ Buterin สำหรับ “Lean Ethereum” การออกแบบเครือข่ายที่เรียบง่ายและต้านทานควอนตัม
มันสนับสนุนการเคลื่อนไหวของ Ethereum ไปสู่ความเร็วในการยืนยันที่เร็วขึ้น การรวมการพิสูจน์สำหรับ rollups และการขยายตัวที่อิงจาก zero-knowledge
โครงการที่เกี่ยวข้อง
การเปิดตัวนี้ตามมาด้วยหลายโครงการที่เกี่ยวข้องจาก Buterin เช่น ข้อเสนอสำหรับเครื่องมือการทำงานร่วมกันขั้นสูงระหว่างเครือข่ายเลเยอร์ 2 ลูกค้าส่วนที่ไม่มีสถานะเพื่อช่วยลดการจัดเก็บของโหนด และการบริหารจัดการที่เปิดใช้งานโดย ZK
โดยรวมแล้วพวกเขามุ่งหวังที่จะทำให้ Ethereum มีประสิทธิภาพมากขึ้น เป็นส่วนตัวมากขึ้น และเข้าถึงได้มากขึ้น
อนาคตของ Ethereum
โครงสร้างพื้นฐานทางคณิตศาสตร์ของ Ethereum อาจเบาลงและเร็วขึ้นเมื่อผู้พัฒนเริ่มทดลองกับระบบที่ใช้ GKR ซึ่งจะช่วยให้บรรลุเป้าหมายระยะยาวของ Buterin ในการคำนวณที่สามารถขยายได้และได้รับการตรวจสอบแล้ว
