ชาร์ลส์ ฮอสกิ้นสัน ได้ปล่อยคู่มือเกี่ยวกับการพิสูจน์ความรู้ที่ไม่มีการเปิดเผยข้อมูลขนาด 337 หน้า ฟรีบน GitHub โดยมุ่งเป้าไปที่นักพัฒนาเทคโนโลยีความเป็นส่วนตัวของ Midnight และผู้สร้างในพื้นที่ ZK.
ชาร์ลส์ ฮอสกิ้นสัน ได้เผยแพร่หนังสือเทคนิคขนาด 337 หน้าเกี่ยวกับระบบการพิสูจน์ความรู้ที่ไม่มีการเปิดเผยข้อมูล ฟรี บน GitHub เปิดให้ทุกคนอ่าน ปรับปรุง หรือสร้างต่อ
ผู้ก่อตั้ง Cardano และ IOG ได้แชร์การปล่อยหนังสือใน X ในชื่อ @IOHK_Charles ยืนยันว่าหนังสือมีชื่อว่า “The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems.” ฮอสกิ้นสันโพสต์เมื่อสองวันที่แล้ว ที่เก็บข้อมูลนี้มีไฟล์ PDF เต็มรูปแบบ แหล่งที่มาของ Markdown และกระบวนการสร้างอยู่ในที่เดียว
หนังสือเปิดด้วยประโยคเดียวจากฮอสกิ้นสันที่ตั้งโทนทั้งหมด การพิสูจน์ ZK ช่วยให้คุณพิสูจน์ว่าสิ่งใดจริงโดยไม่ต้องเปิดเผยว่าทำไมมันถึงจริง ความคิดเดียวนี้ เขาเขียน ไว้ในอุตสาหกรรมมูลค่า 2 ล้านล้านดอลลาร์ คณิตศาสตร์สี่ทศวรรษ และปัญหาที่ผู้คนส่วนใหญ่ยังอธิบายไม่ชัดเจน
สิ่งที่อยู่ใน 337 หน้า
สิบสี่บท สามส่วน ประมาณ 5,280 บรรทัดของ Markdown ก่อนที่จะกลายเป็น PDF
ส่วนที่ I ครอบคลุมพื้นฐาน สิ่งที่การพิสูจน์ ZK ทำ ทำไมมันถึงสำคัญในขณะนี้ และการตัดสินใจออกแบบจริงครั้งแรกที่ระบบ ZK ใด ๆ ต้องเผชิญ — การตั้งค่าที่เชื่อถือได้กับการตั้งค่าที่โปร่งใส ส่วนที่ II เจาะลึกไปยังแกนเทคนิค บทหนึ่งต่อชั้น: ภาษาโปรแกรม การสร้างพยาน การคำนวณ การพิสูจน์ ระบบ การเข้ารหัสลับ และการตรวจสอบบนเชน
ส่วนที่เกี่ยวกับภาษาโปรแกรมไม่ใช่การอ่านแบบสบาย ๆ ฮอสกิ้นสันตั้งข้อสังเกตถึงสิ่งที่เขาเรียกว่า ปัญหาวงจรที่มีข้อจำกัดน้อย — ซึ่งเป็นสาเหตุของ 67% ของช่องโหว่ ZK ในโลกจริง ตัวเลขนั้นเพียงอย่างเดียวทำให้ส่วนที่ II คุ้มค่ากับเวลาสำหรับนักพัฒนาที่ทำงานใกล้กับระบบ ZK
ส่วนที่ III จัดการกับภาพรวมที่ใหญ่กว่า การแยกความไว้วางใจอย่างเต็มรูปแบบพร้อมกับสถานการณ์การล้มเหลวเจ็ดรายการ การเปรียบเทียบภูมิทัศน์ zkVM การวิเคราะห์ตลาดในหกกลุ่ม และคำถามวิจัยที่เปิดอยู่เจ็ดข้อ ไม่มีการแก้ไขที่ชัดเจน แค่คำถามที่ยากซึ่งสนามยังไม่ได้ตอบ
กรณีศึกษา Midnight อยู่ภายในส่วนที่ III นั่นไม่ใช่หมายเหตุอ้างอิง — แต่มันคือบทเต็ม
ข้อโต้แย้งหลักของหนังสือ
การพิสูจน์ ZK ไม่ได้กำจัดความไว้วางใจ แต่จะแบ่งมันออกเป็นเจ็ดชิ้นที่อ่อนแอกว่า
แต่ละชิ้นสามารถทดสอบได้อย่างอิสระ แต่ละชิ้นสามารถเปลี่ยนได้อย่างอิสระ แต่ละชิ้นสามารถล้มเหลวได้อย่างอิสระ การแยกนี้ ฮอสกิ้นสันโต้แย้งผ่าน README ของที่เก็บ GitHub คือกลเม็ดจริงที่เทคโนโลยีนี้ทำ — ไม่ใช่เวทมนตร์ แต่เป็นการลดความเสี่ยงที่มีโครงสร้างให้เป็นส่วนที่จัดการได้
บทที่ 2 และ 10 คือสิ่งที่เขาเรียกว่าผนังรับน้ำหนัก บทที่ 2 จัดการการตั้งค่า บทที่ 10 ทำงานผ่านการแยกความไว้วางใจอย่างเต็มที่ ข้ามสองบทนี้ไปและส่วนที่เหลือของหนังสือจะสูญเสียพื้นฐาน
เส้นทางการอ่านที่สร้างขึ้นในหนังสือสะท้อนให้เห็นว่าผู้คนเข้าหาสิ่งนี้อย่างไรที่แตกต่างกัน สี่สิบห้านาทีสำหรับผู้บริหารที่ครอบคลุมแค่ไฮไลต์ สองชั่วโมงสำหรับวิศวกรที่ทำงานผ่านส่วนที่ I และ II สี่ชั่วโมงขึ้นไปสำหรับนักวิจัยที่ตรวจสอบทุกอย่าง รวมถึงคำถามเปิดเจ็ดข้อในบทที่ 14
Midnight คือบริบทที่แท้จริงที่นี่
ฮอสกิ้นสันได้วางตำแหน่ง Midnight เป็นเลเยอร์ความเป็นส่วนตัวข้ามเชนที่สร้างขึ้นบน Cardano โดยใช้การเข้ารหัสลับที่ไม่มีการเปิดเผยข้อมูลเป็นกระดูกสันหลังข้าม Bitcoin, XRP และเครือข่ายอื่น ๆ ฐานนักพัฒนาที่ไม่เข้าใจหลักการพื้นฐานของ ZK ไม่สามารถสร้างได้อย่างมั่นใจบนโครงสร้างพื้นฐานนั้น
บริบทนี้ทำให้หนังสือเล่มนี้เป็นการลงทุนทางเทคนิคโดยตรงในอนาคตของ Midnight ไม่ใช่การตลาด ฐานข้อมูลทางเทคนิคขนาด 337 หน้า สำหรับใครก็ตามที่แสดงตัวเพื่อสร้าง
หนังสือเล่มนี้ใช้ตัวอย่างเดียวเพื่อยึดทฤษฎี หลักฐาน Sudoku ขนาด 4×4 เชื่อมโยงจากโปรแกรมไปยังพยานไปยังข้อจำกัดไปยังใบรับรองที่ปิดผนึกข้ามทุกชั้น การคำนวณเดียวติดตามตลอดทาง มันคืออุปกรณ์ที่แยกหนังสือที่เขียนขึ้นเพื่อสร้างความประทับใจออกจากหนังสือที่เขียนขึ้นเพื่อสอนจริง ๆ
การถกเถียงเกี่ยวกับความไว้วางใจ ZK และความเชื่อถือได้ของสถาบันกำลังร้อนแรงในพื้นที่นี้ ผู้ก่อตั้ง zkSync เพิ่งตอบโต้คำวิจารณ์สาธารณะของ Canton เกี่ยวกับความปลอดภัยของการพิสูจน์ ZK ในการเงินของสถาบันอย่างหนัก — โต้แย้งว่าโครงสร้างที่มีชั้นช่วยจับความล้มเหลวก่อนที่จะกระจาย ฮอสกิ้นสันกรอบการแยกความไว้วางใจในบทที่ 10 ตอบคำถามประเภทเดียวกันจากมุมมองที่แตกต่าง
ฟรี มีใบอนุญาต และพร้อมสำหรับการสร้างจาก
PDF เต็มรูปแบบสามารถดูได้ที่ github.com/CharlesHoskinson/sevenlayer มีใบอนุญาตภายใต้ Creative Commons Attribution 4.0 International การใช้งานเชิงพาณิชย์ได้รับอนุญาต ข้อกำหนดเพียงอย่างเดียวคือการให้เครดิต
PDF ถูกสร้างขึ้นสำหรับหน้าจอ โหมดมืด หัวข้อ Outfit การเน้นไวยากรณ์ที่กำหนดเอง การไล่ระดับสีจากสีน้ำเงินไปยังสีม่วง ไม่ได้ปรับให้เหมาะสมสำหรับการพิมพ์ โค้ดต้นฉบับในการสร้างด้วยตนเอง — Python, Pandoc, XeLaTeX — รวมอยู่ในที่เก็บเดียวกัน
