ช่วงแรก ๆ ของบล็อกเชนเต็มไปด้วยความตื่นเต้น อย่างไรก็ตามเมื่อผู้คนจํานวนมากเริ่มใช้งานและปริมาณธุรกรรมเพิ่มขึ้นปัญหาสําคัญก็เกิดขึ้น: ความสามารถในการปรับขนาด ควบคู่ไปกับปัญหาความสามารถในการปรับขนาดอื่น ๆ เช่นความปลอดภัยและการกระจายอํานาจ ความท้าทายนี้เรียกว่า "blockchain trilemma" แสดงให้เห็นว่าเป็นการยากที่จะบรรลุคุณลักษณะทั้งสามพร้อมกัน
Bitcoin, บล็อกเชนแรกสามารถจัดการดำเนินการได้เพียงไม่กี่รายการต่อวินาทีเท่านั้น และ Ethereum ก็ไม่ดีขึ้นมากนัก สิ่งนี้เป็นที่ทำให้มีความต้องการสูงขึ้นสำหรับการแก้ปัญหาที่สามารถเพิ่มความสามารถในการขยายของบล็อกเชน
ความต้องการนี้ก่อให้เกิด ZK Proofs
"ความรู้ศูนย์" ถูกนำเสนอครั้งแรกในเรื่องวิจัยปี 1985 โดย Shafi Goldwasser, Silvio Micali, และ Charles Rackoff ในเรื่องที่ชื่อว่า ความ复杂ของระบบพิสูจน์แบบโต้ตอบเอกสารนี้อธิบายพิสูจน์ที่ไม่สามารถรู้ถึง (zero-knowledge proofs) ก่อนที่จะมีการเกิดสกุลเงินดิจิตอล
ตามที่บทความ
ศิษย์ศาสตร์ที่ไม่รู้เรื่องเป็นวิธีสำหรับฝ่ายหนึ่ง (ผู้สร้างพิสูจน์) เพื่อพิสูจน์ต่อฝ่ายอื่น (ผู้ตรวจสอบ) ว่าคำบอกเล่านั้นเป็นจริงโดยไม่เปิดเผยข้อมูลเพิ่มเติมใด ๆ นอกจากความจริงของคำบอกเล่าเฉพาะนั้น
กล่าวอีกอย่าง หลักการที่ไม่มีความรู้ใด ๆ ที่ถูกนำไปสู่ผู้พิสูจน์นอกจากคำกล่าวถูกต้อง
การใช้สมการอนุญาตเพื่อแสดงให้เห็นถึงการทำงานของ ZK Proofs สามารถอธิบายได้ด้วยการใช้สมการอนุญาตเพื่อแสดงให้เห็นถึงการทำงานของ ZK Proofs ได้ดี
สถานการณ์: มีถ้ำที่มีทางเลือกสองทางคือ A และ B ที่เชื่อมต่อกันและเจอประตูล็อคอยู่ที่จุดเดียวกัน จะน (ผู้พิสูจน์) รู้รหัสลับในการเปิดประตูและพอล (ผู้ตรวจสอบ) ต้องการให้จะนโชควิดว่ารู้รหัสโดยไม่ต้องเรียนรู้รหัสเอง
กระบวนการ:
เจนเข้าถ้ำและเลือกเส้นทาง A หรือ B อย่างสุ่ม
พอลรอข้างนอก โดยไม่รู้ว่าเจนเลือกเส้นทางไหน
ที่มา:Mighty Block
พอลจึงเข้าถ้ำและเรียกเสียงเส้นทางที่เขาต้องการเจนให้กลับมา (Enten A หรือ B)
ถ้าเจนรู้รหัส พวกเขาสามารถเปิดประตูและกลับมาผ่านเส้นทางที่เลือก
กระบวนการนี้ (1-5) จะถูกทำซ้ำหลายครั้งเพื่อให้แน่ใจว่าเจนไม่ได้เดาถูกโดยบังเอิญ
หากหลังจากการทำซ้ำหลายครั้ง จาน กลับมาผ่านเส้นทางที่ถูกต้องอย่างต่อเนื่อง พอลสามารถมั่นใจได้ว่า จานรู้รหัสโดยไม่เคยเรียนรู้รหัสเอง
ZK Proofs มีจุดประสงค์เพื่อให้ความเป็นส่วนตัวและความปลอดภัย โดยรักษาข้อมูลที่เป็นสิ่งที่ละเอียดอ่อนเป็นส่วนตัวในขณะที่ยังอนุญาตให้ผู้อื่นตรวจสอบความถูกต้องของมัน นอกจากนี้ยังช่วยในการรักษาข้อมูลที่สำคัญอย่างปลอดภัยตลอดจนพิสูจน์ว่ามันถูกต้องโดยไม่เปิดเผยรายละเอียด
แนวคิดของ ZK Proofs ยังได้ชั้น การพัฒนาเทคนิคลับล้ำและการประยุกต์ใช้ที่หลากหลาย เช่น ZK Rollups และ ZK Compressions
ในปี 2018 Barry Whitehat ที่ไม่ระบุชื่อได้อัปโหลดรีพอสิทอรี่ GitHub ที่ชื่อว่า “roll_up” ซึ่งนำเสนอแนวคิดของ rollups ไม่นานหลังจากนั้น ผู้สร้าง Ethereum Vitalik Buterin ได้พัฒนาแนวคิดนี้ออกมาอีกต่อไปและเกิด zk-Rollups
Zk-Rollups, ย่อมาจาก zero-knowledge rollups, เป็นโซลูชันการขยายมิติชั้นที่ 2 ที่ออกแบบมาเพื่อเพิ่มประสิทธิภาพของ Ethereum mainnet โดยการขยายมิติชั้นขึ้น โดยการย้ายการคำนวณและการเก็บ state ออกจากเชน
เลเยอร์-2 เป็นโปรโตคอลรองที่สร้างขึ้นบนบล็อกเชนเพื่อเพิ่มประสิทธิภาพในการขยายขอบเขต ความเร็ว และลดค่าธรรมเนียมการทำธุรกรรม
ในวันที่ 21 มิถุนายน Light Protocol, ชั้นความเป็นส่วนตัวที่มีใช้ Solana, ประกาศว่าได้ร่วมงานกับทีมพัฒนา Solana, Helius Labs, เพื่อเปิดตัวเทสเน็ตสำหรับโซลูชั่นการขยายที่เรียกว่า “ZK Compression” เพื่อลดต้นทุนการคำนวณ on-chain อย่างมีนัยยะ
ในขณะที่ zk-Rollups และ zk-Compression ใช้พลังงานของพิสูจน์ที่ไม่รู้เพื่อปรับปรุงเทคโนโลยีบล็อกเชน แต่พวกเขามีวัตถุประสงค์ที่แตกต่างกันและถูกนำมาใช้อย่างแตกต่าง
แม้ว่า มีการโต้แย้งและวิวาทจากชุมชน Ethereum และ Solana เกิดขึ้นอย่างต่อเนื่องเกี่ยวกับอันไหนดีกว่ากัน
ตัวอย่างเช่น สมาชิกชุมชน ETHเรียกการบีบอัด ZK "L2 อีกอัน"
หลังจากนี้การตอบจากเมิร์ต (CEO ของ heliuslabs) ถึงทวีตด้านบน ชุมชน Solana ตอบโต้ด้วยวิดีโอ diss ที่สร้างสรรค์เป้าหมาย Ethereum
Theวิดีโอแสดงภาพหมอที่รักษาผู้ป่วย "ETH Maximysis" มีบรรทัดจากวิดีโอกล่าวว่า
“มันเป็นปฏิกิริยาที่พบบ่อยโดย ETH Maxis พวกเขาไม่สามารถทำงานได้โดยไม่มีชั้นอื่น ชั้น 3! ชั้น 4!”
การแข่งขันต่อเนื่องระหว่างบล็อกเชนเหล่านี้เป็นเรื่องที่ชัดเจน ดังนั้นบทความนี้มีจุดมุ่งหมายที่จะให้การเปรียบเทียบอย่างชัดเจนและเป็นรายละเอียดเกี่ยวกับโซลูชันในเรื่องของความสามารถในการขยายขนาด โดดเด่นที่แตกต่างกันและการใช้งานในทางปฏิบัติ
ในพื้นฐานของมัน ZK Rollups เป็นโซลูชันในการขยายขอบที่ 2 ที่ออกแบบเพื่อปรับปรุงประสิทธิภาพและความสามารถในการขยายของเครือข่ายบล็อกเชน
ความคิดความง่ายคือ: แทนที่จะประมวลผลธุรกรรมแต่ละรายการโดยตรงบนบล็อกเชนหลัก ZK-Rollups รวมธุรกรรมหลายรายการเข้าด้วยกันในหลักฐานเดียว หลักฐานที่รวมกันนี้จากนั้นจะถูกส่งให้บล็อกเชนเพื่อการตรวจสอบ
แหล่งที่มา: Datawallet
การดำเนินการนี้เพิ่มประสิทธิภาพในการทำธุรกรรมอย่างมีนัยสำคัญ (จำนวนของการทำธุรกรรมที่เครือข่ายสามารถจัดการได้ในระยะเวลาที่กำหนด) โดยไม่เสี่ยงความปลอดภัยของเครือข่าย
เพื่อเข้าใจอย่างถูกต้อง
ลองนึกภาพตัวเองจัดคอนเสิร์ต แทนที่จะปล่อยให้ผู้เข้าร่วมแต่ละคนเข้ามาทีละคนผ่านประตูแคบ ๆ (บล็อกเชนหลัก) ซึ่งอาจทําให้เกิดความแออัดและความล่าช้าคุณใช้ระบบที่กลุ่มผู้เข้าร่วมได้รับการตรวจสอบร่วมกันที่จุดตรวจ แต่ละกลุ่มมีตั๋วใบเดียวที่พิสูจน์ว่าทุกคนในกลุ่มได้รับการตรวจสอบและยอมรับอย่างถูกต้อง ด้วยวิธีนี้คุณจะรักษาความปลอดภัยและประสิทธิภาพโดยการลดการอุดตันที่ทางเข้า
ZK Rollups เพิ่มประสิทธิภาพโดยประมวลผลธุรกรรมออกเชนและรักษาด้วยเทคนิคการเข้ารหัสขั้นสูงเช่น ZK-SNARKs หรือ ZK-STARKs นี้จะให้ความแน่ใจว่าธุรกรรมถูกต้องและเป็นส่วนตัว ซึ่งจะช่วยเพิ่มประสิทธิภาพโดยรวมและความปลอดภัยสำหรับผู้ใช้
zk-SNARKs คือ zk พิสูจน์ที่ให้พิสูจน์อย่างกระชับ (คือ ขนาดพิสูจน์สั้นและมีประสิทธิภาพในการตรวจสอบ) พวกเขาเหมาะสำหรับการใช้ในแอปพลิเคชันที่ขนาดพิสูจน์และเวลาการตรวจสอบมีความสำคัญ
zk-STARKs เป็นการพิสูจน์ zk ที่อนุญาตให้มีการพิสูจน์ที่ใหญ่ขึ้นและซับซ้อนมากขึ้น ทำให้เหมาะสำหรับการใช้ในงานตรวจสอบทางการเงินขนาดใหญ่ ความเป็นส่วนตัวของข้อมูล และการตรวจสอบการคำนวณ
ZK Rollups เป็นวิธีการขยายมาตราส่วนที่สมบูรณ์สำหรับเครือข่ายบล็อกเชน เช่น Ethereum เนื่องจากพวกเขารวมรายการธุรกรรมอยู่ในส่วนนอกเพื่อลดข้อมูลที่โพสต์โดยตรงไปยัง Ethereum
ZK-rollups ใช้เทคนิคทางคริปโตเกราฟิกเพื่อรวมรวมและตรวจสอบธุรกรรมแบบออฟเชน ทำให้มีความสามารถในการขยายขนาดและลดต้นทุนบนบล็อกเชน Ethereum
แหล่งกำเนิด:Maple Block
นี่คือการอธิบายขั้นตอนการทำงานของ ZK-rollups อย่างละเอียด
นี่คือบางข้อดีของ ZK Rollups:
ในขณะที่ ZK Rollups มีข้อดีมากมาย แต่พวกเขาก็มาพร้อมกับข้อเสียและความท้าทาย
นี่คือบางข้อเสีย:
โครงการ ZK Rollup ใหม่ๆ กำลังเริ่มต้นขึ้นทุกวัน นี่คือบางส่วนของโครงการ ZK-Rollup
Source: Moralis
โครงการเช่น Starkware(ซึ่งพัฒนาการขอสิทธิและปรับแต่งการขยาย L2)เครือข่าย Aztec(การสร้างการเข้ารหัสบล็อกเชนโดยใช้ zkSNARKs),Argent (กระเป๋าเงินที่ไม่ใช่ความไว้วางใจที่ผนวกกับ zkSync) Immutable Xและ (แพลตฟอร์มการสร้างและซื้อขาย NFT) และLoopring (โปรโตคอลการแลกเปลี่ยนและชำระเงินด้วย zk-rollup บน Ethereum) ทั้งหมดใช้ ZK Rollups.
นี่คือวิธีที่ ZK Rollups ใช้:
การบีบอัด ZK เป็นพื้นฐานที่สร้างและเปิดตัวโดยโปรโตคอลแสงและHelius Labs. ลดค่าใช้จ่ายในเครือข่ายโดยใช้พิสูจน์ที่ไม่รู้จักและการบีบอัดเพื่อลดปริมาณข้อมูลที่เก็บไว้ในเครือข่ายและลดความต้องการในการคำนวณที่วางบน Solana ผ่านธุรกรรม
พื้นฐานคืออัลกอริทึมเข้ารหัสระดับต่ำที่ใช้เป็นพื้นฐานหรือบล็อกการสร้างโดยอัลกอริทึมเข้ารหัสระดับสูง
เพื่อเข้าใจ ZK Compression ได้ดียิ่งขึ้น การเข้าใจโครงสร้างพิเศษของ Solana และความท้าทายที่เกิดขึ้นนั้นสำคัญ
ไม่เหมือนกับ Ethereum ที่มีสัญญาอัจฉริยะและข้อมูลเชื่อมโยงอย่างแน่นหนา Solana ใช้โมเดลที่ข้อมูลถูกเก็บไว้ใน "บัญชี" ต่างหาก บัญชีเหล่านี้สามารถเป็นตั้งแต่รหัสที่สามารถให้ทำงานได้ไปจนถึงยอดคงเหลือของโทเคน
ทุกอย่างบน Solana เป็นบัญชี
แม้ว่าโมเดลนี้จะทำให้ซอลาน่ามีประสิทธิภาพสูงและประมวลผลแบบพร้อมกัน แต่มันมาพร้อมค่าใช้จ่าย: ผู้ตรวจสอบต้องเก็บบัญชีทุกบัญชีที่ใช้งานอยู่ในหน่วยความจำเพื่อเข้าถึงได้อย่างรวดเร็ว (RAM) ซึ่งมีราคาแพง
เพื่อป้องกันการใช้งานที่ไม่เหมาะสมและชดเชยผู้ตรวจสอบ Solana ใช้ระบบ "เช่า" ในนั้นผู้ใช้ต้องล็อค SOL ขึ้นเพื่อให้บัญชีของพวกเขาใช้งานอยู่ โดยจำนวนเช่าเชื่อมโยงโดยตรงกับขนาดของข้อมูลที่เก็บไว้
แหล่งที่มา: 0XMert’s 𝕏
เมื่อ Solana เพิ่มความนิยม ต้นทุนในการสร้างและบริหารบัญชีเหล่านี้ก็เป็นอุปสรรคที่สำคัญต่อกระบวนการขยายขึ้น และความต้องการในการหาทางออกก็เช่นกัน — การบีบอัด ZK
ด้วยการเปิดตัว ZK Compression ค่าใช้จ่ายในการสร้างบัญชี Solana ใหม่จะลดลงอย่างมีนัยสำคัญ อาจจะลดลงได้แทบจะ 'อย่างมาก'
หากบางสิ่งทำให้ถูกลดลงโดย "ลำดับของขนาด" หมายความว่าค่าใช้จ่ายหรือความพยายามที่เกี่ยวข้องลดลงอย่างมาก ๆ โดยทั่วไปโดยเปรียบเทียบกับจำนวนก่อนหน้านี้อย่างมากกว่าสิบเท่า
นี่หมายความว่าการสร้างบัญชีผู้ใช้ที่บีบอัด 100 บัญชีซึ่งมีและติดตามยอดคงเหลือเงินสกุลดิจิทัล (ที่เรียกว่าบัญชีโทเค็น) จะถูกลดลง 5,000 เท่า หากเปรียบเทียบกับการสร้าง 100 บัญชีโทเค็นปกติ
คิดในแง่นี้: การบีบอัดเกี่ยวข้องกับการบีบอัดสิ่งที่คุณจนจะเรียกได้ว่ามีพื้นที่น้อยลง การบีบอัด ZK นี้ใช้หลักการนี้ โดยที่ 'ZK' หมายถึงความเป็นส่วนตัวของข้อมูลที่ถูกบีบอัดยังคงไม่เสี่ยง
โดยพื้นฐานแล้วการบีบอัด ZK จะจัดเก็บเฉพาะ "ลายนิ้วมือ" (แฮช) ของข้อมูลที่บีบอัดเท่านั้น วิธีนี้ช่วยลดต้นทุนการจัดเก็บในขณะที่รักษาความเป็นส่วนตัวของข้อมูล
น้อยกว่าที่คู่แข่งกล่าวไว้ ZK Compression ไม่ใช่เส้นใยระดับที่ 2 บน Solana; มันเป็นการอัพเกรดเพื่อปรับปรุงการเก็บข้อมูลของ Solana และลดต้นทุนอย่างมากสำหรับนักพัฒนา
การบีบอัด ZK ได้รับการจัดการกับอุปสรรคนี้อย่างตรงไปตรงมาโดยการอนุญาตให้นักพัฒนาบีบอัดสถานะบัญชีหลายรายการเข้าไปในบัญชีบนเชนเดียวกัน
Source: 0xSumanth’s 𝕏
นี่คือวิธีทำงาน
นวัตกรรมสำคัญอยู่ที่การใช้ศาสตร์พิสูจน์ที่รู้เพียงศูนย์ โดยเฉพาะ SNARKs (Succinct Non-interactive Arguments of Knowledge) เพื่อบีบอัดพิสูจน์ Merkle ที่ใช้ในกระบวนการนี้
ที่มา:0xMert’s 𝕏
การบีบอัดนี้ลดขนาดพิสูจน์จากบางครั้งอาจมีขนาดร้อยไบท์ถึง 128 ไบท์คงที่ โดยไม่ว่าจะมีจำนวนบัญชีเท่าใดที่ถูกบีบอัด
การลดขนาดข้อมูลอย่างต่อเนื่องนี้ช่วยให้นักพัฒนาสามารถทำงานอยู่ภายใต้ขีดจำกัดขนาดธุรกรรมของ Solana ในขณะที่ยังสามารถทำงานร่วมกับบัญชีที่ถูกบีบอัดหลายรายการในธุรกรรมเดียว
นี่คือข้อดีของการบีบอัด ZK สู่ระบบโซลาน่า:
นี่คือข้อเสียของการบีบอัด ZK สำหรับ Solana:
นี่คือบางกรณีการใช้ที่เป็นไปได้ของการบีบอัด zk:
การใช้งานปัจจุบันสำหรับ ZK Rollups
กรณีใช้งานของการบีบอัด ZK ที่เป็นไปได้
ไม่ว่าคุณจะเป็นผู้ที่เป็น Eth Maximysis หรือเป็นผู้ที่เชื่อใน Solana อย่างเข้มงวดเหมือนฉัน สิ่งสำคัญที่สุดคือการใช้บล็อกเชนที่เหมาะกับความต้องการของคุณในช่วงเวลาที่กำหนด
ฉันพบว่า ZK Rollups เหมาะที่สุดสำหรับโครงการที่ต้องการความปลอดภัยสูง และได้รับประโยชน์จากนิเวศที่เป็นที่ยอมรับของ Ethereum เนื่องจากพวกเขาให้วิธีที่เชื่อถือได้ในการขยายขอบเขตของ Ethereum พร้อมกับการรักษาโครงสร้างที่กระจายของมัน
อย่างไรก็ตาม, ด้วยการบีบอัด ZK, Solana สามารถจัดการกับการทำธุรกรรมได้มากขึ้นโดยไม่ติดขัด, แม้กระทั่งราคา SOL เพิ่มขึ้น ดังนั้น, ฉันเชื่อว่าการบีบอัด ZK บน Solana เหมาะสำหรับแอปพลิเคชันที่ให้ความสำคัญกับความเร็ว ประสิทธิภาพ และความคุ้มค่าทางด้านต้นทุน.
ความสามารถของ Solana ในการสนับสนุนแอปพลิเคชันที่ไม่มีการกำหนดค่าใช้จ่ายและมีประสิทธิภาพสูง (dApps) มีความน่าสนใจในอนาคตเพราะความเร็วและค่าใช้จ่ายเป็นสิ่งสำคัญสำหรับการใช้เทคโนโลยีบล็อกเชนได้อย่างแพร่หลาย
ในที่สุดการใช้ ZK Rollups และ ZK Compression สามารถช่วยทำให้ธุรกรรมเร็วขึ้น ถูกกว่า และจึงสามารถขยายขอบเขตได้มากขึ้น
S. Goldwasser, S. Micali, และ C. Rackoff, 1985. “ความซับซ้อนของระบบพิสูจน์แบบปฏิสัมพันธ์”
Bagikan
ช่วงแรก ๆ ของบล็อกเชนเต็มไปด้วยความตื่นเต้น อย่างไรก็ตามเมื่อผู้คนจํานวนมากเริ่มใช้งานและปริมาณธุรกรรมเพิ่มขึ้นปัญหาสําคัญก็เกิดขึ้น: ความสามารถในการปรับขนาด ควบคู่ไปกับปัญหาความสามารถในการปรับขนาดอื่น ๆ เช่นความปลอดภัยและการกระจายอํานาจ ความท้าทายนี้เรียกว่า "blockchain trilemma" แสดงให้เห็นว่าเป็นการยากที่จะบรรลุคุณลักษณะทั้งสามพร้อมกัน
Bitcoin, บล็อกเชนแรกสามารถจัดการดำเนินการได้เพียงไม่กี่รายการต่อวินาทีเท่านั้น และ Ethereum ก็ไม่ดีขึ้นมากนัก สิ่งนี้เป็นที่ทำให้มีความต้องการสูงขึ้นสำหรับการแก้ปัญหาที่สามารถเพิ่มความสามารถในการขยายของบล็อกเชน
ความต้องการนี้ก่อให้เกิด ZK Proofs
"ความรู้ศูนย์" ถูกนำเสนอครั้งแรกในเรื่องวิจัยปี 1985 โดย Shafi Goldwasser, Silvio Micali, และ Charles Rackoff ในเรื่องที่ชื่อว่า ความ复杂ของระบบพิสูจน์แบบโต้ตอบเอกสารนี้อธิบายพิสูจน์ที่ไม่สามารถรู้ถึง (zero-knowledge proofs) ก่อนที่จะมีการเกิดสกุลเงินดิจิตอล
ตามที่บทความ
ศิษย์ศาสตร์ที่ไม่รู้เรื่องเป็นวิธีสำหรับฝ่ายหนึ่ง (ผู้สร้างพิสูจน์) เพื่อพิสูจน์ต่อฝ่ายอื่น (ผู้ตรวจสอบ) ว่าคำบอกเล่านั้นเป็นจริงโดยไม่เปิดเผยข้อมูลเพิ่มเติมใด ๆ นอกจากความจริงของคำบอกเล่าเฉพาะนั้น
กล่าวอีกอย่าง หลักการที่ไม่มีความรู้ใด ๆ ที่ถูกนำไปสู่ผู้พิสูจน์นอกจากคำกล่าวถูกต้อง
การใช้สมการอนุญาตเพื่อแสดงให้เห็นถึงการทำงานของ ZK Proofs สามารถอธิบายได้ด้วยการใช้สมการอนุญาตเพื่อแสดงให้เห็นถึงการทำงานของ ZK Proofs ได้ดี
สถานการณ์: มีถ้ำที่มีทางเลือกสองทางคือ A และ B ที่เชื่อมต่อกันและเจอประตูล็อคอยู่ที่จุดเดียวกัน จะน (ผู้พิสูจน์) รู้รหัสลับในการเปิดประตูและพอล (ผู้ตรวจสอบ) ต้องการให้จะนโชควิดว่ารู้รหัสโดยไม่ต้องเรียนรู้รหัสเอง
กระบวนการ:
เจนเข้าถ้ำและเลือกเส้นทาง A หรือ B อย่างสุ่ม
พอลรอข้างนอก โดยไม่รู้ว่าเจนเลือกเส้นทางไหน
ที่มา:Mighty Block
พอลจึงเข้าถ้ำและเรียกเสียงเส้นทางที่เขาต้องการเจนให้กลับมา (Enten A หรือ B)
ถ้าเจนรู้รหัส พวกเขาสามารถเปิดประตูและกลับมาผ่านเส้นทางที่เลือก
กระบวนการนี้ (1-5) จะถูกทำซ้ำหลายครั้งเพื่อให้แน่ใจว่าเจนไม่ได้เดาถูกโดยบังเอิญ
หากหลังจากการทำซ้ำหลายครั้ง จาน กลับมาผ่านเส้นทางที่ถูกต้องอย่างต่อเนื่อง พอลสามารถมั่นใจได้ว่า จานรู้รหัสโดยไม่เคยเรียนรู้รหัสเอง
ZK Proofs มีจุดประสงค์เพื่อให้ความเป็นส่วนตัวและความปลอดภัย โดยรักษาข้อมูลที่เป็นสิ่งที่ละเอียดอ่อนเป็นส่วนตัวในขณะที่ยังอนุญาตให้ผู้อื่นตรวจสอบความถูกต้องของมัน นอกจากนี้ยังช่วยในการรักษาข้อมูลที่สำคัญอย่างปลอดภัยตลอดจนพิสูจน์ว่ามันถูกต้องโดยไม่เปิดเผยรายละเอียด
แนวคิดของ ZK Proofs ยังได้ชั้น การพัฒนาเทคนิคลับล้ำและการประยุกต์ใช้ที่หลากหลาย เช่น ZK Rollups และ ZK Compressions
ในปี 2018 Barry Whitehat ที่ไม่ระบุชื่อได้อัปโหลดรีพอสิทอรี่ GitHub ที่ชื่อว่า “roll_up” ซึ่งนำเสนอแนวคิดของ rollups ไม่นานหลังจากนั้น ผู้สร้าง Ethereum Vitalik Buterin ได้พัฒนาแนวคิดนี้ออกมาอีกต่อไปและเกิด zk-Rollups
Zk-Rollups, ย่อมาจาก zero-knowledge rollups, เป็นโซลูชันการขยายมิติชั้นที่ 2 ที่ออกแบบมาเพื่อเพิ่มประสิทธิภาพของ Ethereum mainnet โดยการขยายมิติชั้นขึ้น โดยการย้ายการคำนวณและการเก็บ state ออกจากเชน
เลเยอร์-2 เป็นโปรโตคอลรองที่สร้างขึ้นบนบล็อกเชนเพื่อเพิ่มประสิทธิภาพในการขยายขอบเขต ความเร็ว และลดค่าธรรมเนียมการทำธุรกรรม
ในวันที่ 21 มิถุนายน Light Protocol, ชั้นความเป็นส่วนตัวที่มีใช้ Solana, ประกาศว่าได้ร่วมงานกับทีมพัฒนา Solana, Helius Labs, เพื่อเปิดตัวเทสเน็ตสำหรับโซลูชั่นการขยายที่เรียกว่า “ZK Compression” เพื่อลดต้นทุนการคำนวณ on-chain อย่างมีนัยยะ
ในขณะที่ zk-Rollups และ zk-Compression ใช้พลังงานของพิสูจน์ที่ไม่รู้เพื่อปรับปรุงเทคโนโลยีบล็อกเชน แต่พวกเขามีวัตถุประสงค์ที่แตกต่างกันและถูกนำมาใช้อย่างแตกต่าง
แม้ว่า มีการโต้แย้งและวิวาทจากชุมชน Ethereum และ Solana เกิดขึ้นอย่างต่อเนื่องเกี่ยวกับอันไหนดีกว่ากัน
ตัวอย่างเช่น สมาชิกชุมชน ETHเรียกการบีบอัด ZK "L2 อีกอัน"
หลังจากนี้การตอบจากเมิร์ต (CEO ของ heliuslabs) ถึงทวีตด้านบน ชุมชน Solana ตอบโต้ด้วยวิดีโอ diss ที่สร้างสรรค์เป้าหมาย Ethereum
Theวิดีโอแสดงภาพหมอที่รักษาผู้ป่วย "ETH Maximysis" มีบรรทัดจากวิดีโอกล่าวว่า
“มันเป็นปฏิกิริยาที่พบบ่อยโดย ETH Maxis พวกเขาไม่สามารถทำงานได้โดยไม่มีชั้นอื่น ชั้น 3! ชั้น 4!”
การแข่งขันต่อเนื่องระหว่างบล็อกเชนเหล่านี้เป็นเรื่องที่ชัดเจน ดังนั้นบทความนี้มีจุดมุ่งหมายที่จะให้การเปรียบเทียบอย่างชัดเจนและเป็นรายละเอียดเกี่ยวกับโซลูชันในเรื่องของความสามารถในการขยายขนาด โดดเด่นที่แตกต่างกันและการใช้งานในทางปฏิบัติ
ในพื้นฐานของมัน ZK Rollups เป็นโซลูชันในการขยายขอบที่ 2 ที่ออกแบบเพื่อปรับปรุงประสิทธิภาพและความสามารถในการขยายของเครือข่ายบล็อกเชน
ความคิดความง่ายคือ: แทนที่จะประมวลผลธุรกรรมแต่ละรายการโดยตรงบนบล็อกเชนหลัก ZK-Rollups รวมธุรกรรมหลายรายการเข้าด้วยกันในหลักฐานเดียว หลักฐานที่รวมกันนี้จากนั้นจะถูกส่งให้บล็อกเชนเพื่อการตรวจสอบ
แหล่งที่มา: Datawallet
การดำเนินการนี้เพิ่มประสิทธิภาพในการทำธุรกรรมอย่างมีนัยสำคัญ (จำนวนของการทำธุรกรรมที่เครือข่ายสามารถจัดการได้ในระยะเวลาที่กำหนด) โดยไม่เสี่ยงความปลอดภัยของเครือข่าย
เพื่อเข้าใจอย่างถูกต้อง
ลองนึกภาพตัวเองจัดคอนเสิร์ต แทนที่จะปล่อยให้ผู้เข้าร่วมแต่ละคนเข้ามาทีละคนผ่านประตูแคบ ๆ (บล็อกเชนหลัก) ซึ่งอาจทําให้เกิดความแออัดและความล่าช้าคุณใช้ระบบที่กลุ่มผู้เข้าร่วมได้รับการตรวจสอบร่วมกันที่จุดตรวจ แต่ละกลุ่มมีตั๋วใบเดียวที่พิสูจน์ว่าทุกคนในกลุ่มได้รับการตรวจสอบและยอมรับอย่างถูกต้อง ด้วยวิธีนี้คุณจะรักษาความปลอดภัยและประสิทธิภาพโดยการลดการอุดตันที่ทางเข้า
ZK Rollups เพิ่มประสิทธิภาพโดยประมวลผลธุรกรรมออกเชนและรักษาด้วยเทคนิคการเข้ารหัสขั้นสูงเช่น ZK-SNARKs หรือ ZK-STARKs นี้จะให้ความแน่ใจว่าธุรกรรมถูกต้องและเป็นส่วนตัว ซึ่งจะช่วยเพิ่มประสิทธิภาพโดยรวมและความปลอดภัยสำหรับผู้ใช้
zk-SNARKs คือ zk พิสูจน์ที่ให้พิสูจน์อย่างกระชับ (คือ ขนาดพิสูจน์สั้นและมีประสิทธิภาพในการตรวจสอบ) พวกเขาเหมาะสำหรับการใช้ในแอปพลิเคชันที่ขนาดพิสูจน์และเวลาการตรวจสอบมีความสำคัญ
zk-STARKs เป็นการพิสูจน์ zk ที่อนุญาตให้มีการพิสูจน์ที่ใหญ่ขึ้นและซับซ้อนมากขึ้น ทำให้เหมาะสำหรับการใช้ในงานตรวจสอบทางการเงินขนาดใหญ่ ความเป็นส่วนตัวของข้อมูล และการตรวจสอบการคำนวณ
ZK Rollups เป็นวิธีการขยายมาตราส่วนที่สมบูรณ์สำหรับเครือข่ายบล็อกเชน เช่น Ethereum เนื่องจากพวกเขารวมรายการธุรกรรมอยู่ในส่วนนอกเพื่อลดข้อมูลที่โพสต์โดยตรงไปยัง Ethereum
ZK-rollups ใช้เทคนิคทางคริปโตเกราฟิกเพื่อรวมรวมและตรวจสอบธุรกรรมแบบออฟเชน ทำให้มีความสามารถในการขยายขนาดและลดต้นทุนบนบล็อกเชน Ethereum
แหล่งกำเนิด:Maple Block
นี่คือการอธิบายขั้นตอนการทำงานของ ZK-rollups อย่างละเอียด
นี่คือบางข้อดีของ ZK Rollups:
ในขณะที่ ZK Rollups มีข้อดีมากมาย แต่พวกเขาก็มาพร้อมกับข้อเสียและความท้าทาย
นี่คือบางข้อเสีย:
โครงการ ZK Rollup ใหม่ๆ กำลังเริ่มต้นขึ้นทุกวัน นี่คือบางส่วนของโครงการ ZK-Rollup
Source: Moralis
โครงการเช่น Starkware(ซึ่งพัฒนาการขอสิทธิและปรับแต่งการขยาย L2)เครือข่าย Aztec(การสร้างการเข้ารหัสบล็อกเชนโดยใช้ zkSNARKs),Argent (กระเป๋าเงินที่ไม่ใช่ความไว้วางใจที่ผนวกกับ zkSync) Immutable Xและ (แพลตฟอร์มการสร้างและซื้อขาย NFT) และLoopring (โปรโตคอลการแลกเปลี่ยนและชำระเงินด้วย zk-rollup บน Ethereum) ทั้งหมดใช้ ZK Rollups.
นี่คือวิธีที่ ZK Rollups ใช้:
การบีบอัด ZK เป็นพื้นฐานที่สร้างและเปิดตัวโดยโปรโตคอลแสงและHelius Labs. ลดค่าใช้จ่ายในเครือข่ายโดยใช้พิสูจน์ที่ไม่รู้จักและการบีบอัดเพื่อลดปริมาณข้อมูลที่เก็บไว้ในเครือข่ายและลดความต้องการในการคำนวณที่วางบน Solana ผ่านธุรกรรม
พื้นฐานคืออัลกอริทึมเข้ารหัสระดับต่ำที่ใช้เป็นพื้นฐานหรือบล็อกการสร้างโดยอัลกอริทึมเข้ารหัสระดับสูง
เพื่อเข้าใจ ZK Compression ได้ดียิ่งขึ้น การเข้าใจโครงสร้างพิเศษของ Solana และความท้าทายที่เกิดขึ้นนั้นสำคัญ
ไม่เหมือนกับ Ethereum ที่มีสัญญาอัจฉริยะและข้อมูลเชื่อมโยงอย่างแน่นหนา Solana ใช้โมเดลที่ข้อมูลถูกเก็บไว้ใน "บัญชี" ต่างหาก บัญชีเหล่านี้สามารถเป็นตั้งแต่รหัสที่สามารถให้ทำงานได้ไปจนถึงยอดคงเหลือของโทเคน
ทุกอย่างบน Solana เป็นบัญชี
แม้ว่าโมเดลนี้จะทำให้ซอลาน่ามีประสิทธิภาพสูงและประมวลผลแบบพร้อมกัน แต่มันมาพร้อมค่าใช้จ่าย: ผู้ตรวจสอบต้องเก็บบัญชีทุกบัญชีที่ใช้งานอยู่ในหน่วยความจำเพื่อเข้าถึงได้อย่างรวดเร็ว (RAM) ซึ่งมีราคาแพง
เพื่อป้องกันการใช้งานที่ไม่เหมาะสมและชดเชยผู้ตรวจสอบ Solana ใช้ระบบ "เช่า" ในนั้นผู้ใช้ต้องล็อค SOL ขึ้นเพื่อให้บัญชีของพวกเขาใช้งานอยู่ โดยจำนวนเช่าเชื่อมโยงโดยตรงกับขนาดของข้อมูลที่เก็บไว้
แหล่งที่มา: 0XMert’s 𝕏
เมื่อ Solana เพิ่มความนิยม ต้นทุนในการสร้างและบริหารบัญชีเหล่านี้ก็เป็นอุปสรรคที่สำคัญต่อกระบวนการขยายขึ้น และความต้องการในการหาทางออกก็เช่นกัน — การบีบอัด ZK
ด้วยการเปิดตัว ZK Compression ค่าใช้จ่ายในการสร้างบัญชี Solana ใหม่จะลดลงอย่างมีนัยสำคัญ อาจจะลดลงได้แทบจะ 'อย่างมาก'
หากบางสิ่งทำให้ถูกลดลงโดย "ลำดับของขนาด" หมายความว่าค่าใช้จ่ายหรือความพยายามที่เกี่ยวข้องลดลงอย่างมาก ๆ โดยทั่วไปโดยเปรียบเทียบกับจำนวนก่อนหน้านี้อย่างมากกว่าสิบเท่า
นี่หมายความว่าการสร้างบัญชีผู้ใช้ที่บีบอัด 100 บัญชีซึ่งมีและติดตามยอดคงเหลือเงินสกุลดิจิทัล (ที่เรียกว่าบัญชีโทเค็น) จะถูกลดลง 5,000 เท่า หากเปรียบเทียบกับการสร้าง 100 บัญชีโทเค็นปกติ
คิดในแง่นี้: การบีบอัดเกี่ยวข้องกับการบีบอัดสิ่งที่คุณจนจะเรียกได้ว่ามีพื้นที่น้อยลง การบีบอัด ZK นี้ใช้หลักการนี้ โดยที่ 'ZK' หมายถึงความเป็นส่วนตัวของข้อมูลที่ถูกบีบอัดยังคงไม่เสี่ยง
โดยพื้นฐานแล้วการบีบอัด ZK จะจัดเก็บเฉพาะ "ลายนิ้วมือ" (แฮช) ของข้อมูลที่บีบอัดเท่านั้น วิธีนี้ช่วยลดต้นทุนการจัดเก็บในขณะที่รักษาความเป็นส่วนตัวของข้อมูล
น้อยกว่าที่คู่แข่งกล่าวไว้ ZK Compression ไม่ใช่เส้นใยระดับที่ 2 บน Solana; มันเป็นการอัพเกรดเพื่อปรับปรุงการเก็บข้อมูลของ Solana และลดต้นทุนอย่างมากสำหรับนักพัฒนา
การบีบอัด ZK ได้รับการจัดการกับอุปสรรคนี้อย่างตรงไปตรงมาโดยการอนุญาตให้นักพัฒนาบีบอัดสถานะบัญชีหลายรายการเข้าไปในบัญชีบนเชนเดียวกัน
Source: 0xSumanth’s 𝕏
นี่คือวิธีทำงาน
นวัตกรรมสำคัญอยู่ที่การใช้ศาสตร์พิสูจน์ที่รู้เพียงศูนย์ โดยเฉพาะ SNARKs (Succinct Non-interactive Arguments of Knowledge) เพื่อบีบอัดพิสูจน์ Merkle ที่ใช้ในกระบวนการนี้
ที่มา:0xMert’s 𝕏
การบีบอัดนี้ลดขนาดพิสูจน์จากบางครั้งอาจมีขนาดร้อยไบท์ถึง 128 ไบท์คงที่ โดยไม่ว่าจะมีจำนวนบัญชีเท่าใดที่ถูกบีบอัด
การลดขนาดข้อมูลอย่างต่อเนื่องนี้ช่วยให้นักพัฒนาสามารถทำงานอยู่ภายใต้ขีดจำกัดขนาดธุรกรรมของ Solana ในขณะที่ยังสามารถทำงานร่วมกับบัญชีที่ถูกบีบอัดหลายรายการในธุรกรรมเดียว
นี่คือข้อดีของการบีบอัด ZK สู่ระบบโซลาน่า:
นี่คือข้อเสียของการบีบอัด ZK สำหรับ Solana:
นี่คือบางกรณีการใช้ที่เป็นไปได้ของการบีบอัด zk:
การใช้งานปัจจุบันสำหรับ ZK Rollups
กรณีใช้งานของการบีบอัด ZK ที่เป็นไปได้
ไม่ว่าคุณจะเป็นผู้ที่เป็น Eth Maximysis หรือเป็นผู้ที่เชื่อใน Solana อย่างเข้มงวดเหมือนฉัน สิ่งสำคัญที่สุดคือการใช้บล็อกเชนที่เหมาะกับความต้องการของคุณในช่วงเวลาที่กำหนด
ฉันพบว่า ZK Rollups เหมาะที่สุดสำหรับโครงการที่ต้องการความปลอดภัยสูง และได้รับประโยชน์จากนิเวศที่เป็นที่ยอมรับของ Ethereum เนื่องจากพวกเขาให้วิธีที่เชื่อถือได้ในการขยายขอบเขตของ Ethereum พร้อมกับการรักษาโครงสร้างที่กระจายของมัน
อย่างไรก็ตาม, ด้วยการบีบอัด ZK, Solana สามารถจัดการกับการทำธุรกรรมได้มากขึ้นโดยไม่ติดขัด, แม้กระทั่งราคา SOL เพิ่มขึ้น ดังนั้น, ฉันเชื่อว่าการบีบอัด ZK บน Solana เหมาะสำหรับแอปพลิเคชันที่ให้ความสำคัญกับความเร็ว ประสิทธิภาพ และความคุ้มค่าทางด้านต้นทุน.
ความสามารถของ Solana ในการสนับสนุนแอปพลิเคชันที่ไม่มีการกำหนดค่าใช้จ่ายและมีประสิทธิภาพสูง (dApps) มีความน่าสนใจในอนาคตเพราะความเร็วและค่าใช้จ่ายเป็นสิ่งสำคัญสำหรับการใช้เทคโนโลยีบล็อกเชนได้อย่างแพร่หลาย
ในที่สุดการใช้ ZK Rollups และ ZK Compression สามารถช่วยทำให้ธุรกรรมเร็วขึ้น ถูกกว่า และจึงสามารถขยายขอบเขตได้มากขึ้น
S. Goldwasser, S. Micali, และ C. Rackoff, 1985. “ความซับซ้อนของระบบพิสูจน์แบบปฏิสัมพันธ์”