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

ระบบพิสูจน์ศูนย์สารภาพที่โดดเด่นที่สุดคือ SNARK และ STARK ในบทความนี้เราจะศึกษาลึกเกี่ยวกับสิ่งที่พวกเขาคืออย่างไร การทำงานของพวกเขา และความแตกต่างสำคัญของพวกเขา

SNARK คืออะไร?

[zk-SNARKsSNARK หมายถึงการยืนยันความรู้ที่กระชับและไม่ต้องมีการโต้ตอบของภูมิคุ้มกัน ถูกนำเสนอในเอกสารที่เขียนโดย Nir Bitansky, Ran Canetti, Alessandro Chiesa, และ Eran Tromer ในปี 2012 SNARK ช่วยให้ฝ่ายหนึ่งสามารถพิสูจน์ความรู้ของตัวลับโดยไม่ต้องเปิดเผยตัวลับเอง zk-SNARKs สามารถนำมาประยุกต์ใช้เป็นโปรโตคอลการพิสูจน์ความรู้ที่ไม่เปิดเผยในโซลูชั่นสมุดรายการกระจายเพื่อเพิ่มประสิทธิภาพและความเป็นส่วนตัว

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

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

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

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

ข้อ จํากัด อีกประการหนึ่งของ SNARKs บางตัวคือไม่ถือว่าปลอดภัยหลังควอนตัม ผู้สนับสนุน SNARKs ยืนยันว่าหากคอมพิวเตอร์ควอนตัมกลายเป็นภัยคุกคามต่อ SNARKs สาขาการเข้ารหัสจะเผชิญกับความท้าทายที่ยิ่งใหญ่กว่า นอกจากนี้ SNARKs บางตัวอาจอัปเกรดเป็นความทนทานต่อควอนตัมในอนาคต

STARK คืออะไร?

[ZK - STARK] stands for Zero-Knowledge Scalable Transparent Argument of Knowledge and is a zero-knowledge proof system introduced as an alternative to SNARKs in a paper published by Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, and Michael Riabzev in 2018. STARK (and ZKPs more broadly) can bring significant benefits to society:

"ข้อมูลส่วนบุคคล เช่น ข้อมูลทางการแพทย์และนิติวิทยาศาสตร์จําเป็นต้องเก็บไว้เป็นส่วนตัว เนื่องจากเป็นเรื่องของศักดิ์ศรีความเป็นมนุษย์ อย่างไรก็ตามหน้ากากที่ออกแบบมาเพื่อปกป้องความเป็นส่วนตัวอาจถูกละเมิดโดยสถาบันที่ได้รับความไว้วางใจจากข้อมูลเพื่อซ่อนการโกหกและการหลอกลวงทําร้ายประชาชนอย่างไม่เป็นธรรมและทําลายความไว้วางใจในหน่วยงานกลาง ระบบพิสูจน์ความรู้เป็นศูนย์ (ZK) เป็นโซลูชันการเข้ารหัสที่ชาญฉลาดซึ่งจัดการกับความตึงเครียดระหว่างความเป็นส่วนตัวของแต่ละบุคคลและความสมบูรณ์ของสถาบันเสริมสร้างความเข้มแข็งให้กับระบบหลังโดยไม่กระทบต่ออดีต"

STARK รองรับ [StarkWare’s]เทคโนโลยีขยายของพื้นที่ที่ทำให้นักพัฒนาสามารถดำเนินการเก็บรักษาและคำนวณออกจากเชือก นี้ทำให้การขยายของพื้นที่ดียิ่งขึ้น เนื่องจากพิสูจน์ STARK ที่ยืนยันการคำนวณออกจากเชือกสามารถสร้างขึ้นโดยบริการออกจากเชือกและจากนั้นเผยแพร่บนเชือก

STARK ช่วยให้บล็อกเชนสามารถย้ายการคำนวณไปยัง STARK provers นอกเชนและใช้ STARK verifiers บนเชนเพื่อยืนยันความคงเชื่อของการคำนวณเหล่านี้ Layer-2 networks สามารถบรรลุประสิทธิภาพในการสามารถใช้ STARKs เพื่อคำนวณจำนวนมากของธุรกรรมในแต่ละชุดแล้วยืนยันความถูกต้องของธุรกรรมเหล่านี้บนเชนโดยใช้ STARK proof เดียวลดค่า gas สำหรับทุก ๆ ธุรกรรมบนเครือข่ายชั้นที่สอง

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

เปรียบเทียบ SNARKs และ STARKs

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

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

STARKs ไม่ต้องการการตั้งค่าที่เชื่อถือได้ ซึ่งทำให้มีความปลอดภัยมากขึ้น แต่อาจใช้เวลาในการยืนยันนานขึ้น ทำให้มีประสิทธิภาพต่ำลง ขนาดข้อมูลพิสูจน์ของ STARKs ใหญ่กว่าของ SNARKs ซึ่งหมายความว่าการยืนยัน STARKs อาจใช้เวลามากขึ้นและใช้แก๊สมากขึ้น ในทางกลับกัน STARKs สามารถที่จะถูกยืนยันได้โดยไม่ต้องพึ่งพารามิเตอร์ภายนอก ซึ่งทำให้ง่ายต่อการตรวจสอบ แม้ว่านี้อาจขึ้นอยู่กับการปฏิบัติที่เฉพาะเจาะจง ในขณะที่ส่วนใหญ่ของ SNARKs STARKs ขึ้นอยู่กับฟังก์ชันแฮชที่ถือว่าต้านทานทางควอนตัม

เหตุผลหนึ่งที่ SNARKs ได้รับการนำมาใช้มากกว่า STARKs ตอนแรกคือการพัฒนาของพวกเขาเริ่มต้นก่อน 6 ปี ซึ่งทำให้พวกเขามีเวลาเริ่มต้นก่อนในการนำมาใช้

หลักฐานที่ไม่เปิดเผยช่วยให้มีความสามารถในการขยายขนาดแบบเรขาคณิต

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

Feel free to follow Chainlink’s oracle และเข้าร่วมชุมชนนักพัฒนาผ่านข้อความโดยตรงสำหรับการเรียนรู้มากมายเกี่ยวกับสัญญาอัจฉริยะและหัวข้อเกี่ยวกับบล็อกเชน!

ข้อความปฏิเสธความรับผิดชอบ：

1. บทความนี้ถูกพิมพ์โดย [ARChainlink]. All copyrights belong to the original author [Chainlink]. If there are objections to this reprint, please contact the เกตเรียนทีม และพวกเขาจะดำเนินการให้โดยด่วน
2. คำปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้น และไม่เป็นการให้คำแนะนำในการลงทุนใดๆ
3. การแปลบทความเป็นภาษาอื่นๆ ทำโดยทีม Gate Learn หากไม่ได้กล่าวถึง การคัดลอก การแจกจ่าย หรือการลอกเลียนแบบบทความที่ถูกแปล ถูกห้าม