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

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

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

เมื่อ A ขาย NFT ให้ B B จำเป็นต้องส่งเงินไปยังที่อยู่ของ A ก่อน และ A โอน NFT ไปยังที่อยู่ของ B หลังจากการยืนยัน ซึ่งจะทำให้เกิดปัญหาความไม่ไว้วางใจในข้อมูล และ A จำเป็นต้องเผยแพร่ทรัพย์สินในที่อยู่กระเป๋าเงินไปยัง แจ้งให้ B ทราบ ในหมู่พวกเขาคือ NFT ที่เขาต้องการ แต่ข้อมูลทรัพย์สินของ A ถูกเปิดเผยต่อการมองเห็นของ B หาก B มีเจตนาร้ายหรือแฮ็กเกอร์ในเวลานี้ A จะตกอยู่ในโอกาสในการฉ้อโกง

ชื่อระดับแรก

Zero Knowledge Proof (ZKP) คืออะไร

Zero-knowledge Proof หมายความว่าสามารถพิสูจน์ได้อย่างเต็มที่ว่าตนเป็นเจ้าของสิทธิ์และผลประโยชน์บางอย่างตามกฎหมายโดยไม่ต้องเปิดเผยข้อมูลที่เกี่ยวข้อง Zero-knowledge Proof สามารถตรวจสอบความถูกต้องของชุดข้อมูลบางชุดและปกป้องความเป็นส่วนตัวของข้อมูลได้ในเวลาเดียวกัน

ชื่อระดับแรก

ตัวอย่างง่ายๆ

A ต้องพิสูจน์ให้ B เห็นว่าเขาเป็นเจ้าของห้องนี้ โดยสมมติว่าห้องนี้เปิดได้ด้วยกุญแจดอกเดียวเท่านั้น และไม่สามารถเปิดด้วยวิธีอื่นได้ ขณะนี้มี 2 วิธี:

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

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

ชื่อระดับแรก

ชื่อเรื่องรอง

SNARK

ชื่อเรื่องรอง

STARK

ชื่อเต็มของ STARK คือ "zero-knowledge scalable transparent argument of knowledge" (ภาษาจีนคือ "zero-knowledge scalable, transparent knowledge proof") การพิสูจน์การเข้ารหัสนี้แทบไม่ต้องมีการโต้ตอบระหว่างผู้พิสูจน์และผู้ตรวจสอบ ข้อได้เปรียบที่ใหญ่ที่สุดของ STARK ที่เหนือกว่า SNARK คือเวลาในการพิสูจน์จะสั้นกว่าและขยายได้ง่ายกว่า นอกจากนี้ เนื่องจาก STARK ใช้ฟังก์ชันแฮช พวกมันจึงทนทานต่อการโจมตีแบบควอนตัม

พวกเขาแต่ละคนมีข้อดีและข้อเสียที่แตกต่างกัน นี่คือข้อแตกต่างหลักระหว่างการพิสูจน์ ZK ทั้งสอง:

• ขนาดหลักฐาน: STARK มีขนาดใหญ่กว่า SNARK ซึ่งหมายความว่าการตรวจสอบบน Ethereum มีราคาแพงกว่า เนื่องจากการพิสูจน์ที่ใหญ่กว่า = การคำนวณที่มากขึ้น = ค่าก๊าซที่สูงขึ้น

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

• ระบบนิเวศและโครงการ: มีโครงการมากมายที่ใช้ SNARK มากกว่า STARK เนื่องจาก SNARK มีมายาวนานกว่านั้น

• การเรียกซ้ำ: SNARK รองรับการเรียกซ้ำ - คุณสามารถสร้าง SNARK พาเรนต์ที่พิสูจน์ SNARK ลูกหลายตัว ซึ่งเป็นคุณสมบัติหลักที่ใช้โดยโซลูชันการปรับขนาดจำนวนมาก STARK ไม่รองรับการเรียกซ้ำ

• ปลอดภัยด้วยควอนตัม: SNARK ใช้การเข้ารหัสแบบโค้งวงรี ซึ่งไม่ปลอดภัยด้วยควอนตัม ความก้าวหน้าของควอนตัมคอมพิวเตอร์อาจทำให้ระบบที่ใช้ SNARK เสี่ยงต่อการถูกโจมตี STARK ไม่มีช่องโหว่เนื่องจากรูปแบบการเข้ารหัสอาศัยฟังก์ชันแฮช

• ชื่อระดับแรก

ชื่อเรื่องรอง

โครงการที่ใช้ zk-STARK

StarkEx: StarkEx เป็นโซลูชันการขยายเลเยอร์ 2 บน Ethereum โดยใช้การพิสูจน์ STARK เพื่อตรวจสอบธุรกรรมที่โฮสต์ในตัวเอง และพัฒนาธุรกรรมและแอปพลิเคชันการชำระเงินบนนั้น โครงการที่ใช้ StarkEx ได้แก่ DeversiFi, Sorare และ dYdX ซึ่งได้ทำธุรกรรมหลายร้อยล้านรายการและบรรลุปริมาณธุรกรรมหลายแสนล้านดอลลาร์ อย่างไรก็ตาม StarkEx ไม่รองรับฟังก์ชันสัญญาอัจฉริยะ ดังนั้นจึงไม่สามารถใช้งาน dApp ที่ทำงานได้อย่างสมบูรณ์

StarkNet: StarkNet เป็นแพลตฟอร์มอเนกประสงค์ที่นักพัฒนาสามารถใช้เพื่อปรับใช้สัญญาอัจฉริยะบน zk-rollup ของ Ethereum dApps Aave และ Maker กระแสหลักของ Ethereum ต่างก็วางแผนที่จะเปิดตัวบน StarkNet เป็นที่น่าสังเกตว่า zk-rollup ของ StarkEx สามารถเผยแพร่บน StarkNet เพื่อปรับปรุงความสามารถในการปรับขนาดของแอปพลิเคชัน

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

Immutable X: Immutable X เป็นแพลตฟอร์ม NFT สำหรับการขุดและซื้อขาย NFT และโทเค็น แพลตฟอร์มนี้ใช้ StarkEx เพื่อสร้าง zk-rollup ของตัวเอง ปริมาณการขุดและการซื้อขาย NFT บนแพลตฟอร์ม Immutable X สูงถึงหลายล้าน และต้นทุนสามารถรักษาให้ต่ำได้แม้ในช่วงที่เครือข่าย Ethereum แออัด

ชื่อเรื่องรอง

โครงการที่ใช้ zk-SNARKs

Zcash: Zcash เดิมชื่อ ZeroCash "ศูนย์" ในชื่อหมายถึงการใช้เทคโนโลยีการพิสูจน์ความรู้เป็นศูนย์เพื่อให้บรรลุธุรกรรมส่วนตัว Zerocash เป็นหนึ่งในโครงการ crypto ยุคแรกๆ ที่ผลักดันการยอมรับเทคโนโลยีการพิสูจน์ความรู้เป็นศูนย์ในอุตสาหกรรม

การวนซ้ำ: การวนซ้ำเป็น DEX บน Ethereum ที่รองรับธุรกรรมการสั่งซื้อหนังสือและไม่โฮสต์สินทรัพย์ของผู้ใช้ Loopring เชื่อมต่อกับ Chainlink Price Feeds ซึ่งให้บริการผู้ใช้หลายแสนรายด้วยธุรกรรมหลายพันล้านรายการ

zkSync 1.0: zkSync 1.0 คือการยกเลิกบน Ethereum เช่นเดียวกับ StarkEx รองรับการโอนและแลกเปลี่ยนโทเค็น แต่ไม่รองรับสัญญาอัจฉริยะ โปรโตคอลได้รับการพัฒนาโดย Matter Labs

zkSync 2.0: เช่นเดียวกับ StarkNet zkSync 2.0 ยังเป็นโซลูชันการขยายเลเยอร์ 2 สำหรับ Ethereum โครงสร้างพื้นฐาน volition ถูกนำมาใช้เพื่อรองรับสัญญาอัจฉริยะ zkSync ใช้ zk-SNARK เพื่อตรวจสอบธุรกรรม และใช้ระบบ PoS zkPorter เพื่อให้แน่ใจว่าข้อมูลมีอยู่จริง ข้อแตกต่างที่สำคัญระหว่าง zkSync 2.0 และ StarkNet คือ ก่อนหน้านี้เข้ากันได้กับ EVM นอกเหนือจากการพิสูจน์ความถูกต้อง 1inch, Alchemix และ Curve ทั้งหมดมีกำหนดจะปล่อยบน zkSync 2.0

ZigZag: ZigZag เป็นแพลตฟอร์มการซื้อขายแบบกระจายอำนาจที่ใช้โมเดลสมุดคำสั่งซื้อเพื่อแลกเปลี่ยนโทเค็น ERC-20 ในทางตรงกันข้าม DEX ส่วนใหญ่ใช้โมเดลผู้ดูแลสภาพคล่องอัตโนมัติ (AMM) โหมดหนังสือสั่งซื้อของ ZigZag ได้รับประโยชน์จากความสามารถในการปรับขนาดอันทรงพลังของ zk-rollup โทเค็นใดๆ ในการลงทะเบียน zkSync สามารถซื้อขายได้ใน ZigZag ขณะนี้โปรโตคอลกำลังทำงานบน zkSync 1.0 แต่มีการวางแผนสำหรับการเผยแพร่บน zkSync 2.0 และ StarkNet

ชื่อระดับแรก

บทบาทโครงสร้างพื้นฐานของการพิสูจน์ความรู้เป็นศูนย์

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

• ความเป็นส่วนตัว: ลดจำนวนข้อมูลที่เปิดเผยเมื่อดำเนินกิจกรรมบนบล็อกเชน

• ความสามารถในการขยายขนาด: ช่วยให้การประมวลผลแบบเข้มข้นสามารถดำเนินการนอกเครือข่าย ทำให้มีราคาถูกลงในการสร้างหลักฐานสั้นๆ ว่าการคำนวณนั้นดำเนินการอย่างตรงไปตรงมา ซึ่งสามารถเผยแพร่บนเครือข่ายได้

โดยเฉพาะอย่างยิ่งในแง่ของข้อดีด้านความสามารถในการขยายขนาดและราคา มันสามารถปรับปรุงประสิทธิภาพของ DAPP จำนวนมาก เช่น:

• ข้อมูลการตลาดที่ถูกต้อง

• หมายเลขสุ่มที่ตรวจสอบได้

• ระบบสัญญาอัตโนมัติอัจฉริยะ

• หนังสือรับรองการสำรอง

• สรุป

สรุป

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

ที่มาบทความ