zk-STARK
zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) คือระบบการพิสูจน์เชิงการเข้ารหัสที่ช่วยให้ผู้พิสูจน์ (prover) สามารถยืนยันความถูกต้องของการคำนวณกับผู้ตรวจสอบ (verifier) ได้ โดยไม่ต้องมีการตั้งค่าที่เชื่อถือได้ (trusted setup) หรือเปิดเผยรายละเอียดของการคำนวณ Ben-Sasson และคณะได้นำเสนอ zk-STARKs ในปี 2018 เพื่อแก้ไขข้อจำกัดสำคัญของ zk-SNARKs นั่นคือ zk-SNARKs ต้องการขั้นตอนการเตรียมการล่วงหน้า (preprocessing phase) ซึ่งอาจเสี่ยงต่อความเสียหาย แต่แทนที่ STARKs จะอาศัยเพียงฟังก์ชันแฮชเชิงการเข้ารหัส (cryptographic hash functions) ทำให้มีความเรียบง่าย โปร่งใส และเชื่อกันว่ามีความปลอดภัยต่อควอนตัมในอนาคต (post-quantum secure)
อ่านวิธีฉบับเต็ม
เข้าสู่ระบบด้วยบัญชีฟรีเพื่ออ่านส่วนนี้
Method map
The neighbourhood of related methods — select a node to explore.
แหล่งอ้างอิง
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
วิธีอ้างอิงหน้านี้
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/th/cryptography/zk-stark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- การเข้ารหัสลับฐานแลตทิซวิทยาการเข้ารหัสลับ↔ compare
- การเข้ารหัสลับหลังควอนตัม (Kyber)วิทยาการเข้ารหัสลับ↔ compare
- zk-SNARKวิทยาการเข้ารหัสลับ↔ compare