รายการอภิธานศัพท์
หลักฐานความถูกต้อง (Validity Proof)
infrastructureValidity proof พิสูจน์ทางคณิตศาสตร์ว่าชุดธุรกรรมของ rollup ประมวลผลถูกต้อง เลเยอร์ 1 จึงยอมรับได้โดยไม่ต้องมีช่วงโต้แย้ง
คำจำกัดความ
หลักฐานความถูกต้อง หรือ validity proof คือหลักฐานเชิงวิทยาการเข้ารหัสที่ส่งไปพร้อมกับชุดธุรกรรมของเลเยอร์ 2 เพื่อแสดงว่าสถานะใหม่ถูกคำนวณจากสถานะเดิมอย่างถูกต้อง สัญญาบนเลเยอร์ 1 จะตรวจสอบหลักฐานนี้ทางคณิตศาสตร์ จึงไม่ต้องเชื่อผู้ให้บริการหรือประมวลผลธุรกรรมซ้ำเอง นี่คือสิ่งที่นิยาม ZK rollup เพราะความถูกต้องถูกพิสูจน์ล่วงหน้า การถอนกลับสู่เลเยอร์ 1 จึงเสร็จสิ้นได้ทันทีที่หลักฐานผ่านการยอมรับ โดยไม่ต้องรอช่วงเวลาโต้แย้งหลายวันแบบ optimistic rollup อย่างไรก็ตาม ความถูกต้องครอบคลุมเฉพาะการประมวลผล ไม่ใช่เจตนา หลักฐานยืนยันว่าทำตามกฎ แต่ไม่ได้ยืนยันว่าสัญญาออกแบบมาดี หรือผู้จัดลำดับจัดคิวธุรกรรมของคุณอย่างเป็นธรรม
ขั้นต่อไป