Vitalik เปิดตัวบทความสอน GKR: แนวรับโปรโตคอล "Batch × Layer" ที่สนับสนุนการพิสูจน์ ZK ที่รวดเร็วมาก

PANews 20 ตุลาคม รายงานว่า Vitalik Buterin ได้เขียนบทความล่าสุด อธิบายว่า GKR (Goldreich–Kahan–Rothblum) โปรโตคอลถูกใช้เพื่อเร่ง ZK การพิสูจน์ ปรับให้เข้ากับโครงสร้างการคำนวณ “แบทช์×หลายชั้น” เพื่อลดการรับรองชั้นกลางอย่างมีนัยสำคัญ โดยทำการรับรองเฉพาะที่การป้อนข้อมูลและผลลัพธ์ บทความนี้ใช้แฮช Poseidon2 เป็นตัวอย่าง อธิบายกระบวนการพิสูจน์ซ้ำที่มี sumcheck เป็นแกนหลัก และเสนอการปรับปรุง (Gruen’s trick, การประมวลผลแบบแบทช์เชิงเส้น, ส่วนของรอบเฉพาะที่เป็นพหุนามแรก) ในสถานการณ์การรับรองพหุนามสามารถรวมกับ BaseFold หรือ FRI ผู้เขียนกล่าวว่าค่าใช้จ่ายจริงต่ำกว่าค่าทางทฤษฎีของ STARK แบบดั้งเดิมประมาณ 100 เท่า ค่าใช้จ่ายระดับหลักเดียวสามารถเป็นไปได้ และเตือนว่าความท้าทาย Fiat–Shamir ต้องป้องกันความเสี่ยงจากการคาดเดาได้ในวงจร.