เพื่อการศึกษาเท่านั้น ไม่ใช่คำแนะนำด้านการลงทุนหรือความปลอดภัย ความน่าเชื่อถือของหลักฐานความถูกต้องขึ้นอยู่กับข้อความที่พิสูจน์ การผูกอินพุตสาธารณะ ระบบพิสูจน์ ตัวตรวจสอบ เส้นทางข้อมูล สัญญา ผู้ดำเนินงาน ธรรมาภิบาล และเชนชำระราคา
คำตอบโดยตรง
หลักฐานความถูกต้องคือหลักฐานเชิงวิทยาการเข้ารหัสว่าการคำนวณที่อ้างเป็นไปตามความสัมพันธ์ที่กำหนดไว้อย่างแม่นยำ ตัวตรวจสอบจะตรวจหลักฐานกับคีย์ตรวจสอบและอินพุตสาธารณะ ในโรลอัป อินพุตเหล่านี้มักผูกรากสถานะเดิม รากใหม่ที่เสนอ และคอมมิตเมนต์ของธุรกรรมชุดหนึ่ง หากผ่านการตรวจ สัญญาชำระราคาสามารถรับรากใหม่โดยไม่ต้องรันทุกธุรกรรมซ้ำ
การรับประกันแคบกว่าคำว่า “ระบบถูกต้อง” เพราะขึ้นอยู่กับวิทยาการเข้ารหัส โปรแกรมหรือวงจร การเข้ารหัสอินพุต คีย์ และสัญญาที่ถูกต้อง การตรวจผ่านอย่างเดียวไม่ได้พิสูจน์ว่าดึงข้อมูลได้ ผู้พิสูจน์ยังทำงาน บล็อกสิ้นสุดแล้ว การอัปเกรดปลอดภัย หรือถอนเงินได้ หลักฐานอาจใช้ zero-knowledge แต่ความถูกต้องไม่ได้แปลว่ามีความเป็นส่วนตัว
เครื่องพิสูจน์จะดำเนินการชุดหรือการคำนวณและบันทึกการเปลี่ยนแปลงสถานะที่เกิดขึ้น
วิธีการทำงาน
- ระบุ deployment ให้แน่นอน: ID เชน L1 และ L2 รุ่นโรลอัป สัญญาอัปเดต ที่อยู่และ bytecode ของตัวตรวจสอบ hash คีย์ ระบบพิสูจน์ รุ่นวงจรหรือโปรแกรม โหมดข้อมูล สิทธิ์ผู้ดูแล สถานะหยุด และนโยบายความเป็นที่สุด คำว่า
validity proofไม่ใช่มาตรฐานร่วมทุกระบบ - กำหนดความสัมพันธ์ก่อนตีความ ภายใต้สมมติฐานความมั่นคง
Verify(vk, x, proof) = 1ควรหมายถึงมีพยานwที่ทำให้R(x, w) = 1โดยvkคือคีย์xคืออินพุตสาธารณะทั้งหมด และRคือกฎที่เข้ารหัส หลักฐานพิสูจน์เพียงความสัมพันธ์นี้ - สร้างอินพุตสาธารณะใหม่อย่างอิสระ ยืนยันว่ารากเดิมเป็นรากที่สัญญารับ แล้วอนุมานคอมมิตเมนต์ ID รากใหม่ รากข้อความหรือการถอน และพารามิเตอร์จากข้อมูลมาตรฐาน หลักฐานที่ผูกกับวัตถุผิดย่อมพิสูจน์ข้ออ้างผิด
- ตรวจหลักฐานและเส้นทางสัญญา รันตัวตรวจสอบอิสระ แล้วดูการเรียก onchain ใบเสร็จ เหตุการณ์ ชุดที่รับ และการเปลี่ยน storage ยืนยันว่าไม่มีการข้าม จำลอง หรือแทนผลด้วยอัปเกรดหรือสิทธิ์พิเศษ
- ตรวจความพร้อมใช้ของข้อมูลแยกต่างหาก ดึงธุรกรรม ผลต่างสถานะ blob sidecar หรือข้อมูลที่คณะกรรมการรับรอง ตรวจคอมมิตเมนต์และสร้างการเปลี่ยนสถานะหรือพยานทางออกใหม่ หลักฐานถูกต้องอาจอยู่คู่กับข้อมูลที่ดึงไม่ได้ โดยเฉพาะ validium
- แยกสถานะ: สร้าง ส่ง รวม ตรวจหลักฐาน รับสถานะ ชำระปลอดภัย ชำระสิ้นสุด และถอนเสร็จ วัดคิว ต้นทุน liveness การรวม L1 reorg ความล่าช้าของบริดจ์ forced inclusion และทางออก
- เก็บหลักฐานที่ทำซ้ำได้: ที่อยู่และ hash โค้ด hash คีย์และโปรแกรม อินพุตทั้งหมด ไบต์หลักฐานหรือแหล่งอ้างอิง ข้อมูลชุด คำสั่งและรุ่นซอฟต์แวร์ ใบเสร็จ บล็อกสิ้นสุด และการทดสอบทางออก ตรวจใหม่หลังอัปเกรด
ตัวอย่างคำนวณ
- ข้ออ้างของชุดข้อมูล โรลอัปประมวลผล
8,192 transfersและหลักฐานผูกR0,R1,B7การผ่านรองรับว่ามีพยานจากR0ไปR1สำหรับB7แต่ไม่พิสูจน์ว่าดึงไบต์B7ได้ รวมทุกธุรกรรม หรือR1สิ้นสุดแล้ว - การรวมแบบเวียนเกิด ตัวรวมตรวจ
16 child proofsในวงจรแม่และส่งหลักฐานแม่ ยังต้องตรวจลูกทุกตัว ลำดับ และการแมปอินพุต จำนวนหลักฐานไม่สร้างการผูกนี้เอง - บัญชี Gas สมมติ รันซ้ำใช้
24,000,000 gasตรวจใช้600,000 gasและเผยแพร่ข้อมูล180,000 gasรวม600,000 + 180,000 = 780,000 gasลดลงตามแบบจำลอง(24,000,000 - 780,000) / 24,000,000 = 96.75%ไม่รวมฮาร์ดแวร์ การรวม ความล้มเหลว storage บริดจ์ และการเก็บข้อมูล
ความเสี่ยง
- ตรวจเชน deployment ชุด ตัวตรวจสอบ คีย์ หรือวงจรผิด
- ระบบที่มั่นคงพิสูจน์วงจรที่ไม่ครบหรือผิดอย่างซื่อตรง
- อินพุตสาธารณะขาดหรือเข้ารหัส ID ราก ชุด โดเมน หรือพารามิเตอร์ผิด
- บั๊กในตัวตรวจสอบ precompile ไลบรารี หรือ implementation
- ข้อมูล setup รั่วหรือสมมติฐานวิทยาการเข้ารหัสล้มเหลว
- สัญญาอัปเกรดหรือธรรมาภิบาลเปลี่ยนตัวตรวจสอบ คีย์ โปรแกรม หรือกฎ
- ทางข้ามพิเศษ โหมดฉุกเฉิน การหยุด หรือ allowlist ทำให้เส้นทางอ่อนลง
- บั๊กสร้างหลักฐาน ความไม่กำหนด หรือพยานต่างกันระหว่างไคลเอนต์
- การรวมศูนย์ การเซ็นเซอร์ การหยุด คิว หรือฮาร์ดแวร์ทำให้อัปเดตหยุด
- ธุรกรรม ผลต่าง blob preimage หรือประวัติสูญหาย
- เข้าใจลายเซ็นคณะกรรมการหรือคอมมิตเมนต์ว่าเป็นการดึงข้อมูลได้ในปัจจุบัน
- รับหลักฐานจากบล็อกไม่ปลอดภัย ถูก reorg หรือไม่เป็นมาตรฐาน
- เข้าใจว่ารับหลักฐานแล้วถอนทันทีหรือมี finality ทางเศรษฐกิจ
- สร้างการเปลี่ยนสถานะ ยอดคงเหลือ ข้อความ หรือพยานทางออกซ้ำไม่ได้
- ประเมิน Gas ค่าข้อมูล เวลา บริดจ์ หรือการกู้คืนต่ำไป
- นำโมเดลโรลอัปหนึ่งไปใช้กับ deployment อื่น
ความเข้าใจผิดที่พบบ่อย
- หลักฐานที่ผ่านรับรองรายละเอียดทั้งหมดและยอดที่ผู้ใช้เห็น
- หลักฐานความถูกต้องทุกชนิดเป็น zero-knowledge และซ่อนธุรกรรม
- หลักฐานขจัดความเสี่ยงข้อมูล liveness ของซีเควนเซอร์ และการเซ็นเซอร์
- การตรวจทำให้การชำระสิ้นสุดและถอนได้ทันที
- หลักฐานเล็กหรือตัวตรวจเร็วทำให้ระบบปลอดภัยหรือถูกกว่าโดยอัตโนมัติ
หัวข้อที่เกี่ยวข้อง
แหล่งที่มา
- Zero-knowledge rollups - Ethereum.org (เข้าถึง: 2026-08-22)
- Zero-knowledge proofs - Ethereum.org (เข้าถึง: 2026-08-22)
- EIP-4844: Shard Blob Transactions - Ethereum Improvement Proposals (เข้าถึง: 2026-08-22)
- Sequencing and verification flows - Polygon Documentation (เข้าถึง: 2026-08-22)
- Data availability - StarkEx Documentation (เข้าถึง: 2026-08-22)