รายการอภิธานศัพท์

zk-STARK

infrastructure

zk-STARK คือการพิสูจน์ zero-knowledge แบบโปร่งใส ไม่ต้องมี trusted setup และทนควอนตัม แลกกับขนาดหลักฐานที่ใหญ่กว่า

คำจำกัดความ

zk-STARK คือการพิสูจน์แบบ zero-knowledge ที่ขยายขนาดได้และโปร่งใส กล่าวคือไม่ต้องมี trusted setup แต่อาศัยเพียงฟังก์ชันแฮชและค่าสุ่มสาธารณะแทนพารามิเตอร์ลับ จุดนี้ช่วยขจัดความเสี่ยงเรื่องขยะพิษที่ผูกกับ zk-SNARK และสมมติฐานเบื้องหลังมักถูกมองว่าทนต่อการโจมตีด้วยคอมพิวเตอร์ควอนตัม เพราะไม่ได้พึ่งเส้นโค้งวงรี ข้อแลกเปลี่ยนคือขนาด หลักฐานแบบ STARK มีขนาดใหญ่กว่ามาก การส่งขึ้นเชนและตรวจสอบจึงมีต้นทุนสูงกว่า แม้การตรวจสอบยังคงประหยัดกว่าการประมวลผลงานซ้ำอย่างมาก rollup บน Ethereum หลายรายใช้ STARK เพื่อพิสูจน์ชุดธุรกรรม ในทางปฏิบัติ การเลือกระหว่าง SNARK กับ STARK เป็นการตัดสินใจเชิงวิศวกรรมเรื่องขนาดหลักฐาน ต้นทุนการสร้างหลักฐาน สมมติฐานการตั้งค่า และความเสี่ยงทางวิทยาการเข้ารหัสในระยะยาว

ขั้นต่อไป

เกรดทั้งหมดบัญชีเกรดดูว่าเอ็กซ์เชนจ์ทุกแห่งที่เราให้เกรดทำได้อย่างไรในการตรวจสอบข้อนี้ และอีกสี่ข้อที่เหลือเปิด

คำที่เกี่ยวข้อง

หลักฐานความถูกต้อง (Validity Proof) →การพิสูจน์แบบไม่เปิดเผยข้อมูล (Zero-Knowledge Proof) →ZK-Rollup →zk-SNARK →

เพิ่มเติมใน infrastructure

โหนดจดหมายเหตุ เครื่องขุด ASIC การลงคะแนนยืนยัน (Attestation)ธุรกรรมบล็อบ Block Explorer (ตัวสำรวจบล็อก)รางวัลบล็อก (Block Reward)บริดจ์ออราเคิลบล็อกเชน บูตสแตรปโหนด (Bootstrap Node)รหัสเชน (Chain ID)Chain Reorg (การจัดเรียงเชนใหม่)การจัดเรียงเชนใหม่ (Chain Reorganization)

← อภิธานศัพท์