การทำให้การพิสูจน์ความรู้เป็นศูนย์ (ZKP) “เป็นที่เข้าใจและเข้าถึงได้” สำหรับผู้คนนั้นเป็นสิ่งจำเป็นเพื่อให้ระบบนิเวศ Ethereum “เปิดกว้างและยินดีต้อนรับ” สำหรับผู้ที่ไม่มีวุฒิทางคณิตศาสตร์ Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum ทวีตเมื่อวันที่ 26 ต.ค.
ZKP มักถูกเรียกว่า "คณิตศาสตร์ดวงจันทร์" เนื่องจากความซับซ้อน
ฉันดีใจมากที่ Ethereum มีวัฒนธรรมที่แข็งแกร่งในการพยายามทำให้คณิตศาสตร์ดวงจันทร์ทั้งหมดของเราเป็นที่เข้าใจและเข้าถึงได้สำหรับผู้คนมากที่สุด https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) ตุลาคม 26, 2022
Buterin เสริมว่า "การกระจายอำนาจต้องไม่ยอมแพ้และโบกมือให้ปริญญาเอกว่า "มันเป็นกล่องดำ เราฉลาด เชื่อเรา"
Scroll โซลูชันการปรับสเกล Ethereum เลเยอร์ 2 ที่ไม่มีความรู้อธิบายไว้ใน บล็อก แผนการผูกมัดพหุนาม ซึ่งเป็นส่วนสำคัญของ ZKP หลายตัว ทำงานอย่างไร และสามารถช่วยขยาย Ethereum ได้อย่างไร
พหุนามคือนิพจน์ทางคณิตศาสตร์ที่แสดงคำศัพท์เกี่ยวกับพีชคณิตมากกว่าสองคำ ตามบล็อกของ Scroll พหุนามสามารถช่วยแสดงข้อมูลขนาดใหญ่ได้อย่างมีประสิทธิภาพ
โครงการข้อผูกมัดเป็นโปรโตคอลการเข้ารหัสซึ่งหนึ่งยอมรับข้อความและซ่อนไว้ แต่สามารถเปิดเผยข้อความได้ในภายหลัง อย่างไรก็ตาม ผู้มอบสัญญาไม่สามารถเปลี่ยนข้อความได้เมื่อเขาได้ให้คำมั่นแล้ว ซึ่งทำให้แผนสัญญาผูกมัดมีผลผูกพัน
ในโครงการผูกมัดพหุนาม หนึ่งผูกมัดกับพหุนามแทนข้อความ โครงการผูกมัดพหุนามตรงตามคุณสมบัติทั้งหมดของแผนการผูกมัดตามปกติ แต่มีคุณสมบัติเพิ่มเติมที่ช่วยให้ผู้มอบอำนาจพิสูจน์ได้ว่าเขาผูกมัดกับพหุนามบางตัวที่ตรงตามคุณสมบัติที่ต้องการโดยไม่เปิดเผยตัวพหุนามเอง
KZG ในการปรับขนาด Ethereum
แม้ว่าจะมีแผนการผูกมัดพหุนามที่แตกต่างกัน เคท-ซาเวอรุชา-โกลด์เบิร์ก (KZG) เป็นที่นิยมในพื้นที่บล็อคเชนและถูกใช้โดยระบบพิสูจน์ของสโครล นอกจากนี้ KZG ยังถูกรวมเข้ากับ Ethereum ด้วย Proto-Danksharding เพื่อดำเนินการผ่าน อีไอพี-4844ซึ่งเสนอในเดือนกุมภาพันธ์ พ.ศ. 2022
Proto-Danksharding เป็นวิธีแก้ปัญหาแบบ stop-gap จนกระทั่งสามารถใช้ Danksharding ได้ ซึ่งอาจทำให้มีราคาถูกลงในการใช้ rollups Proto-Danksharding แนะนำประเภทธุรกรรมใหม่ที่เรียกว่า ธุรกรรมเหล่านี้มี data blob ขนาด 128kb ซึ่งไม่สามารถเข้าถึงได้จากเลเยอร์การดำเนินการ Ethereum แต่จะเข้าถึงได้เฉพาะข้อผูกมัดต่อ data blob จาก Ethereum แทน
data blob ถูกแสดงเป็นพหุนาม และใช้แผนพันธะพหุนาม KZG เพื่อสร้างการผูกมัดกับข้อมูล ซึ่งช่วยให้สามารถตรวจสอบคุณสมบัติของ data blob ได้โดยไม่ต้องเปิดเผย data blob ทั้งหมด
ดังนั้น การใช้ KZG จึงสามารถเปิดใช้งานการสุ่มตัวอย่างความพร้อมใช้งานของข้อมูล (DAS) ซึ่งจะถูกนำไปใช้ในเส้นทางสู่ Danksharding แบบเต็ม DAS ช่วยให้ผู้ตรวจสอบความถูกต้องเป็นหลักเพื่อให้แน่ใจว่า data blob นั้นพร้อมใช้งานและถูกต้อง โดยไม่ต้องอ่าน data blob ทั้งหมด
ในทางกลับกัน สิ่งนี้สามารถช่วยเพิ่มความสามารถในการปรับขนาดของ Ethereum ได้อย่างมาก เนื่องจากผู้ตรวจสอบความถูกต้องจำเป็นต้องจัดการกับข้อมูลน้อยลง
ที่มา: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/