Zk-SNARK คืออะไร?

zk-SNARK คืออะไร?

Zk-SNARK เป็นตัวย่อที่ย่อมาจาก “Zero-Knowledge Succinct Non-Interactive Argument of Knowledge” zk-SNARK คือ หลักฐานการเข้ารหัสที่ช่วยให้ฝ่ายหนึ่งสามารถพิสูจน์ได้ว่ามีข้อมูลบางอย่างโดยไม่ต้องเปิดเผยว่า ข้อมูล. หลักฐานนี้สามารถทำได้โดยใช้รหัสลับที่สร้างขึ้นก่อนการทำธุรกรรม ใช้เป็นส่วนหนึ่งของโปรโตคอลสำหรับสกุลเงินดิจิตอล Zcash.

ทำความเข้าใจ zk-SNARK

สำหรับสมาชิกดั้งเดิมจำนวนมากของชุมชนคริปโตเคอเรนซี—โดยหลักแล้วคือชุมชน Bitcoin—ความเป็นส่วนตัวคือจุดมุ่งหมายและคุณสมบัติของ สกุลเงินดิจิตอล. อย่างไรก็ตาม ความเป็นส่วนตัวมักเป็นปัญหาอันดับสองเสมอ เนื่องจากคริปโตเคอเรนซีจำเป็นต้องสร้างระบบที่ "ไม่น่าเชื่อถือ" เพื่อรับประกันความสมบูรณ์ของสกุลเงินอิเล็กทรอนิกส์และธุรกรรมดิจิทัล

ในช่วงต้นปี พ.ศ. 2553 Bitcoin บางครั้งผู้ใช้สันนิษฐานว่าธุรกรรมของพวกเขาไม่ระบุตัวตนเนื่องจากตัวตนออฟไลน์ของพวกเขาไม่เชื่อมโยงกับกุญแจสาธารณะของผู้ใช้ แต่ในช่วงปลายทศวรรษ ความร่วมมือของนักวิทยาศาสตร์ด้านข้อมูล แฮ็กเกอร์ และหน่วยงานบังคับใช้กฎหมายได้พิสูจน์แล้วว่าไม่เพียงแต่เป็นไปได้เท่านั้น ง่ายต่อการระบุตัวบุคคลอีกครั้ง ที่ได้ให้ข้อมูลนามแฝงแก่หลายแหล่ง

เนื่องจากการขาดความเป็นส่วนตัวของ cryptocurrencies ดั้งเดิมบางอย่างเช่น Bitcoin นักพัฒนาจึงเริ่มทำงานกับเหรียญที่เน้นความเป็นส่วนตัว NS โดดเด่นที่สุด ของเหล่านี้คือ Zcashซึ่งได้รับการสนับสนุนโดยเทคโนโลยีที่เรียกว่า zk-SNARKs

หลักฐานความรู้ที่เป็นศูนย์

NS zk-SNARK ("ศูนย์ความรู้รวบรัดอาร์กิวเมนต์ที่ไม่ใช่แบบโต้ตอบของความรู้") ใช้แนวคิดที่เรียกว่า "การพิสูจน์ความรู้ที่เป็นศูนย์" แนวคิดเบื้องหลังสิ่งเหล่านี้ หลักฐาน ได้รับการพัฒนาครั้งแรกในทศวรรษ 1980 พูดง่ายๆ คือ การพิสูจน์ความรู้เป็นศูนย์คือสถานการณ์ที่ทั้งสองฝ่ายในการทำธุรกรรมสามารถตรวจสอบได้ ว่ากันมีชุดข้อมูลเฉพาะ ขณะเดียวกันก็ไม่เปิดเผยข้อมูลนั้น ๆ เป็น.

สำหรับหลักฐานประเภทอื่นๆ ส่วนใหญ่ อย่างน้อยหนึ่งในสองฝ่ายต้องมีสิทธิ์เข้าถึงข้อมูลทั้งหมด หลักฐานดั้งเดิมสามารถเปรียบเทียบได้กับรหัสผ่านที่ใช้ในการเข้าถึงเครือข่ายออนไลน์ ผู้ใช้ส่งรหัสผ่าน และเครือข่ายเองจะตรวจสอบเนื้อหาของรหัสผ่านเพื่อยืนยันว่าถูกต้อง ในการดำเนินการนี้ เครือข่ายต้องมีสิทธิ์เข้าถึงเนื้อหาของรหัสผ่านด้วย

สถานการณ์นี้เวอร์ชันการพิสูจน์โดยปราศจากความรู้จะเกี่ยวข้องกับผู้ใช้ที่แสดงต่อเครือข่าย (ผ่านการพิสูจน์ทางคณิตศาสตร์) ว่าพวกเขามีรหัสผ่านที่ถูกต้องโดยไม่ต้องเปิดเผยรหัสผ่านจริงๆ ตัวเอง. ข้อได้เปรียบด้านความเป็นส่วนตัวและความปลอดภัยในสถานการณ์นี้ชัดเจน: หากเครือข่ายไม่ได้จัดเก็บรหัสผ่านไว้ที่ใดที่หนึ่งเพื่อวัตถุประสงค์ในการตรวจสอบ รหัสผ่านจะไม่สามารถขโมยได้

พื้นฐานทางคณิตศาสตร์ของ zk-SNARKS นั้นซับซ้อน อย่างไรก็ตาม การพิสูจน์ประเภทนี้ทำให้ฝ่ายหนึ่งสามารถแสดงให้เห็นว่าไม่เพียงแต่มีข้อมูลบางส่วนเท่านั้น แต่ยังทำให้ฝ่ายที่มีปัญหามีความตระหนักในข้อมูลนั้นด้วย ในกรณีของ Zcash zk-SNARK สามารถตรวจสอบได้เกือบจะในทันที และโปรโตคอลไม่ต้องการการโต้ตอบใดๆ ระหว่างผู้พิสูจน์และผู้ตรวจสอบ

คำติชมของ zk-SNARKs

แน่นอนว่ามีข้อกังวลที่เกี่ยวข้องกับ zk-SNARK ตัวอย่างเช่น ถ้ามีคนสามารถเข้าถึงคีย์ส่วนตัวที่เป็น ใช้ในการสร้างพารามิเตอร์ของโปรโตคอลการพิสูจน์ พวกเขาสามารถสร้างการพิสูจน์เท็จที่ยังคงดูถูกต้องสำหรับ ผู้ตรวจสอบ ซึ่งจะทำให้บุคคลนั้นสามารถสร้างโทเค็นใหม่ของ Zcash ผ่านกระบวนการปลอมแปลงได้ เพื่อป้องกันไม่ให้สิ่งนี้เกิดขึ้น Zcash ได้รับการออกแบบในลักษณะที่จะทำให้โปรโตคอลการพิสูจน์ซับซ้อนและกระจายไปทั่วหลายฝ่าย

ในขณะที่การสร้างกระบวนการพิสูจน์ Zcash เสร็จสมบูรณ์ในลักษณะที่จะลดความเป็นไปได้ของ การปลอมแปลงโทเค็นผ่านการพิสูจน์เท็จ มีข้อกังวลอื่น ๆ อีกอย่างน้อยหนึ่งข้อที่เกี่ยวข้องกับสกุลเงินดิจิทัลเช่นกัน Zcash ถูกสร้างขึ้นโดยมี "ภาษี" 20% ที่เรียกเก็บจากบล็อคทั้งหมดที่สร้างขึ้นในช่วงปีแรกของโทเค็น ภาษีนี้เรียกว่า "ภาษีของผู้ก่อตั้ง" และใช้เพื่อชดเชยนักพัฒนาของสกุลเงินดิจิทัล

นักวิจารณ์ได้แนะนำว่าผู้ก่อตั้งอาจใช้แง่มุมของระบบนี้เพื่อสร้างโทเค็น Zcash จำนวนอนันต์โดยไม่มีใครรู้ว่าโทเค็นเหล่านั้นมีอยู่จริง ด้วยเหตุผลดังกล่าว จึงไม่สามารถทราบจำนวนที่แน่นอนของโทเค็น Zcash ที่มีอยู่ ณ จุดนี้

ตั้งแต่ปี 2019 นักพัฒนาซอฟต์แวร์บางรายได้พยายามปรับปรุง zk-SNARK โดยนำการตั้งค่าที่เชื่อถือได้ออก ทีมงานชื่อ สึเทรุสุ ฮา ได้พัฒนาระบบ เรียกว่า zK-ConSNARK ที่อ้างว่าสามารถทำงานได้โดยไม่ต้องมีการตั้งค่าที่เชื่อถือได้ สามารถให้การปกป้องความเป็นส่วนตัวสำหรับบล็อคเชนกระแสหลัก เช่น Bitcoin และมีอัตราเงินเฟ้อต่ำที่สุดสำหรับสกุลเงินดิจิทัลที่ยังหลงเหลืออยู่