ZK Sync: ลิงค์สำคัญในการทำให้ Ethereum เป็นที่นิยม

หมายเหตุบรรณาธิการ: บทความนี้มาจากผู้ที่ชื่นชอบ Ethereum (ID: ethfans)ผู้ที่ชื่นชอบ Ethereum (ID: ethfans)

สรุป

ผู้แต่ง: Alex Gluchowski ผู้แปล & ผู้พิสูจน์อักษร: Min Min & A Jian ทำซ้ำโดย Odaily โดยได้รับอนุญาต

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

สรุป

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

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

วันนี้ เราซึ่งเป็นทีม Matter Labs รู้สึกตื่นเต้นที่จะประกาศวิสัยทัศน์ของ ZK Sync: โซลูชันการปรับขนาดและความเป็นส่วนตัวที่ไว้วางใจได้บน ZK Rollup ซึ่งออกแบบมาเพื่อมอบประสบการณ์ที่ยอดเยี่ยมแก่ผู้ใช้และนักพัฒนา นอกจากนี้ เรายังภูมิใจที่จะประกาศว่าเครือข่ายทดสอบสำหรับนักพัฒนาของ ZK Sync ใช้งานได้แล้ว

• ZK Sync ตั้งเป้าที่จะเพิ่มทรูพุตบน Ethereum เป็นธุรกรรมหลายพันรายการต่อวินาที เช่นเดียวกับ VISA ในขณะเดียวกันก็รับประกันว่าเงินจะปลอดภัยเหมือนกับที่เก็บไว้ในบัญชีอ้างอิง และรักษาระดับการต่อต้านการเซ็นเซอร์ในระดับสูง ลักษณะสำคัญอีกประการของโปรโตคอลคือเวลาแฝงที่ต่ำมาก: การทำธุรกรรมบน ZK Sync จะสิ้นสุดทางเศรษฐกิจในทันที

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

• คุณสมบัติ ZK Sync ได้อย่างรวดเร็ว:

• เท่ากับความปลอดภัยของ L1 อย่างเคร่งครัด

• ความเร็วในการยืนยันการทำธุรกรรมในเสี้ยววินาที

ต่อต้านการเซ็นเซอร์ ต่อต้านการโจมตี DoS

ความเป็นส่วนตัวรักษาสัญญาอัจฉริยะ

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

ความท้าทายที่ยิ่งใหญ่ที่สุดของการขยาย Blockchain

คุณค่าที่นำเสนอของแนวคิดบล็อกเชน เช่น สกุลเงินอินเทอร์เน็ต, DeFi และ Web 3.0 ไม่สามารถรับรู้ได้ในวงกว้างจนกว่าจะได้รับความนิยมอย่างแท้จริง

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

มาดูความท้าทายที่ยิ่งใหญ่ที่สุดสามประการในการนำการปฏิวัติบล็อกเชนมาสู่มวลชน

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

ในการขยายขนาดบล็อกเชนในชีวิตจริง ทรานแซกชันของบล็อกเชนที่มีการกระจายอำนาจมากที่สุดในปัจจุบันนั้นแย่กว่าเป็นลำดับ เครือข่าย Bitcoin สามารถประมวลผลได้ 7 รายการต่อวินาที เครือข่าย Ethereum สามารถประมวลผลได้ 15 รายการต่อวินาที และ VISA สามารถประมวลผลได้เฉลี่ย 2,000 รายการต่อวินาที

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

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

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

ความท้าทายที่สอง: การบรรลุความเป็นส่วนตัว

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

• นอกจากนี้ หากไม่มีการรักษาความลับบนเครือข่าย กฎระเบียบด้านความเป็นส่วนตัว เช่น General Data Protection Regulation (GDPR) และ California Consumer Privacy Act of 2018 (CCPA) สามารถขับเคลื่อนธุรกิจทั่วไปให้ห่างไกลจากเครือข่ายสาธารณะไปสู่ศูนย์กลางมากขึ้น ศูนย์กลางการชำระเงินและการเงินทั่วโลกกำลังเปลี่ยนเรามากขึ้นเรื่อยๆ สังคมไร้เงินสดกลายเป็นฝันร้ายของการเฝ้าระวัง

• ความเป็นส่วนตัวเป็นสิ่งจำเป็นสำหรับการทำให้บล็อกเชนเป็นที่นิยม

• ความเป็นส่วนตัวต้องเป็นการกำหนดค่าเริ่มต้นของโปรโตคอล ในคำพูดของ Vitalik Buterin "หากชุดการไม่เปิดเผยตัวตนของโมเดลความเป็นส่วนตัวมีขนาดปานกลาง จริงๆ แล้วจะมีขนาดเล็กมาก หากชุดการไม่เปิดเผยตัวตนของโมเดลความเป็นส่วนตัวมีขนาดเล็ก มันก็แทบจะเทียบเท่าไม่ได้เลย มีเพียงชุดการไม่เปิดเผยชื่อทั่วโลกเท่านั้นที่แข็งแกร่งอย่างแท้จริง และเชื่อถือได้”

เพื่อให้ธุรกรรมแอบแฝงเป็นตัวเลือกเริ่มต้น ค่าธรรมเนียมการทำธุรกรรมสำหรับธุรกรรมแอบแฝงจะต้องต่ำมาก แต่ในทางเทคนิคแล้ว ธุรกรรมแอบแฝงจะทำให้ต้นทุนการคำนวณสูงอย่างหลีกเลี่ยงไม่ได้

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

ความท้าทายที่ 3: บรรลุประสบการณ์ผู้ใช้ที่ต้องการ

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

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

คำมั่นสัญญาของ ZK Sync: เชื่อถือได้ฟรี เป็นความลับ รวดเร็ว

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

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

1. ความปลอดภัย: หยั่งรากใน ZK Rollup

1. ZK Sync สร้างขึ้นจากแนวคิดของ ZK Rollup

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

3. สถาปัตยกรรมนี้มีการรับประกันดังต่อไปนี้:

ตัวตรวจสอบความถูกต้องของ Rollup ไม่สามารถทำลายสถานะหรือขโมยเงินได้ (ไม่เหมือนกับ sidechains)

แม้ว่าตัวตรวจสอบความถูกต้องจะไม่ให้ความร่วมมือ ผู้ใช้สามารถกู้คืนเงินในค่าสะสมได้ เนื่องจากค่าสะสมมีความพร้อมใช้งานของข้อมูล (ไม่เหมือนกับพลาสมา)

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

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

• เพื่อความเข้าใจที่ดีขึ้นเกี่ยวกับแนวคิดนี้ โปรดดูการนำเสนอของเราที่ ZCon1 และ Dappcon พอดคาสต์เกี่ยวกับ Matter Labs บน zeroknowledge.fm และโพสต์อธิบายเทคโนโลยีก่อนหน้านี้ของเรา ผู้อ่านที่อยากรู้อยากเห็นสามารถอ่านบทความนี้ (ทีมบรรณาธิการ: ดู "การรวมค่า ZK ในแง่ดี ลองใช้ดู" ที่ส่วนท้ายของบทความเพื่อดูไฮเปอร์ลิงก์) เพื่อทำความเข้าใจความแตกต่างระหว่างค่าสะสม ZK และค่าสะสมค่าปรับที่เหมาะสม

• ด้วยเงินทุนจากมูลนิธิ Ethereum Matter Labs ได้ทำการวิจัยเทคโนโลยี ZK Rollup ในปีที่ผ่านมา นับตั้งแต่เปิดตัวต้นแบบตัวแรก เราได้เขียนสถาปัตยกรรมและวงจร ZK ใหม่ทั้งหมด รุ่นล่าสุดรวมข้อเสนอแนะที่เราได้รับจากชุมชนและดำเนินการปรับปรุงการใช้งานและประสิทธิภาพต่างๆ

• ความไม่ไว้วางใจอย่างสมบูรณ์

มีการรับประกันความปลอดภัยเช่นเดียวกับห่วงโซ่พื้นฐาน (Ethereum)

ความแน่นอนในการได้รับการรับรองจาก Ethereum หลังจากการยืนยันครั้งแรก

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

2. การใช้งาน: การทำธุรกรรมตามเวลาจริง

เราคาดว่าการพัฒนาล่าสุดในเทคโนโลยี ZK Proof จะย่นเวลาการพิสูจน์ ทำให้เวลาการสร้างบล็อก ZK Rollup เหลือไม่ถึงหนึ่งนาที เมื่อหลักฐานการบล็อกถูกส่งไปยังห่วงโซ่หลักและตรวจสอบใน Rollup smart contract แล้ว ธุรกรรมทั้งหมดในบล็อกนี้จะได้รับการสรุปและได้รับการปกป้องโดยความสามารถของ Layer-1 ในการต่อต้านการปรับโครงสร้างห่วงโซ่

อย่างไรก็ตาม การบล็อกล่าช้าเพียง 15 วินาทีบน Ethereum นั้นใช้เวลานานสำหรับการขายปลีกและการชำระเงินออนไลน์ เราจะทำได้ดีกว่านี้ได้อย่างไร?

วิธีแก้ไขคือแนะนำการรับธุรกรรมทันที (ใบเสร็จ tx ทันที) ใน ZK Sync

ผู้ตรวจสอบที่เลือกเข้าร่วมในการผลิตบล็อก ZK Sync จะต้องส่งเงินประกันจำนวนมากไปยังสัญญาสมาร์ท ZK Sync บน mainnet การได้รับฉันทามติจากผู้ตรวจสอบความถูกต้องช่วยให้ผู้ใช้ได้รับการยืนยันภายในเวลาไม่กี่วินาทีว่าธุรกรรมของพวกเขารวมอยู่ในบล็อก ZK Sync ถัดไปและลงนามโดยผู้เข้าร่วมฉันทามติส่วนใหญ่ (2/3) (ถ่วงน้ำหนักตามสัดส่วนการถือหุ้น)

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

ส่วนหนึ่งของจำนวนเงินที่ถูกริบจะถูกใช้เพื่อชดเชยผู้รับธุรกรรม และส่วนที่เหลือจะถูกเผา

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

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

2. มีเวลาเพียงไม่กี่นาทีในการใช้จ่ายสองเท่าของการทำธุรกรรมการยืนยันเป็นศูนย์บน ZK Sync ก่อนที่หลักฐานการบล็อกจะถูกเผยแพร่ไปยังเครือข่ายหลัก นอกจากนี้ หากผู้ตรวจสอบที่เป็นอันตรายต้องการหลอกให้ผู้ใช้เชื่อว่าธุรกรรมของพวกเขากลายเป็นธุรกรรมที่ไม่มีการยืนยัน พวกเขาจะต้องเตรียมเงินสำรอง 1/6 ของเงินสำรองที่จะถูกยึด

3. จากมุมมองของผู้ซื้อและผู้ขาย ธุรกรรมที่ไม่มีการยืนยันคือ:

เวลาจริง

มีความเป็นไปได้ที่จะกลับตัว แต่เพียงไม่กี่นาที

• ย้อนกลับได้ก็ต่อเมื่อโจมตีผู้ขายหลายพันรายพร้อมกันแทนที่จะเป็นรายบุคคล

• เมื่อเทียบกับการชำระเงินด้วยบัตรเครดิต ZK Sync ได้ปรับปรุงประสบการณ์ผู้ใช้และความปลอดภัยอย่างมาก!

ทีนี้ลองดูจากมุมมองของผู้เล่นที่แตกต่างกัน:

ร้านค้าออนไลน์ที่ขายสินค้าจับต้องได้จะยืนยันคำสั่งซื้อแก่ผู้ใช้ทันที แต่จะไม่ได้รับผลกระทบจากการโจมตีเนื่องจากผู้ขายจะรอการยืนยันทั้งหมดก่อนที่จะทำการจัดส่ง

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

• มาเจาะลึกกันอีกหน่อย ในการหาปริมาณความเสี่ยง เราสามารถเปรียบเทียบการรับประกันทางเศรษฐกิจที่จัดทำโดยมาร์จิ้นกับการรับประกันการตั้งถิ่นฐานที่จัดทำโดยบล็อกเชน PoW (ดูบทความที่เขียนโดย Nic Carter ที่นี่) ตัวอย่างเช่น ต้องใช้เวลายืนยันการทำธุรกรรม 35 ครั้งก่อนที่ Coinbase จะยอมรับการฝากเงิน Ethereum หากการโจมตี 51% เริ่มขึ้นโดยการเช่า GPU ผ่านบริการคลาวด์ของ Amazon จะใช้เวลา 10 นาทีในการถอนธุรกรรม และมีค่าใช้จ่ายประมาณ 60,000 ดอลลาร์ สมมติว่ามีเงินประกันหลายล้านดอลลาร์ ค่าใช้จ่ายในการถอนใบเสร็จ ZK Sync ทันทีจะสูงกว่ามาก ดังนั้น ความแน่นอนทางเศรษฐกิจของการรับทันทีเหล่านี้จึงมากพอๆ กับ Ethereum

• สรุป: การซื้อขายสด

ความแน่นอนทางเศรษฐกิจของการยืนยันการทำธุรกรรมในเสี้ยววินาทีเทียบได้กับ Ethereum

รับรองโดย Ethereum ในไม่กี่นาที

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

3. ปฏิกิริยา: ต่อต้านการเซ็นเซอร์และต่อต้านการโจมตี DoS

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

เพื่อแก้ปัญหานี้ ZK Sync แนะนำสองบทบาทที่แตกต่างกันในการออกแบบ: ผู้ตรวจสอบและผู้พิทักษ์

ตรวจสอบความถูกต้อง

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

ผู้ตรวจสอบความถูกต้องจะได้รับรางวัลเป็นค่าธรรมเนียมการทำธุรกรรม โดยจ่ายเป็นโทเค็นที่กำลังซื้อขาย (ความสะดวกสูงสุดสำหรับผู้ใช้ปลายทาง)

เพื่อให้บรรลุฉันทามติของ ZK Sync อย่างรวดเร็ว จำนวนผู้ตรวจสอบจะถูกจำกัด (ตามการวิเคราะห์ของเรา จะเหมาะสมกว่าระหว่าง 30 ถึง 100) แต่อย่าลืมว่าตัวตรวจสอบความถูกต้องของ ZK Rollup นั้นไม่น่าเชื่อถืออย่างสมบูรณ์ บน ZK Sync ผู้ตรวจสอบที่เป็นอันตรายไม่สามารถทำลายความปลอดภัยของระบบหรือหลอกผู้ตรวจสอบที่ซื่อสัตย์เพื่อกระตุ้นกลไกการฟันได้ ดังนั้น ผู้พิทักษ์ของระบบ (Guardian) สามารถแทนที่ผู้ตรวจสอบจำนวนเล็กน้อยได้ ซึ่งแตกต่างจากการยกเลิกในแง่ดี ในขณะเดียวกัน รับประกันความคงอยู่ตราบเท่าที่ 2/3 ของผู้ตรวจสอบความถูกต้องที่ได้รับการเสนอชื่อมีความซื่อสัตย์และปฏิบัติงานได้

ผู้พิทักษ์

ผู้ถือโทเค็น ZK Sync ส่วนใหญ่ที่เสนอชื่อผู้ตรวจสอบโดยการเดิมพันส่วนแบ่งโทเค็นจะกลายเป็นผู้พิทักษ์ จุดประสงค์ของ Guardians คือการตรวจสอบทราฟฟิกการทำธุรกรรมแบบ peer-to-peer ตรวจจับการเซ็นเซอร์ และตรวจสอบให้แน่ใจว่าผู้ตรวจสอบการเซ็นเซอร์ไม่ได้ถูกเสนอชื่อ เพื่อปกป้องหลักประกันจากการถูกฟัน ผู้ปกครองต้องแน่ใจว่า ZK Sync นั้นทนทานต่อ DoS และปราศจากการเซ็นเซอร์

• แม้ว่าโดยทั่วไปแล้วคีย์การลงคะแนนเสียงจะเก็บออนไลน์ไว้ แต่วิธีนี้ไม่มีความเสี่ยงในการฟันหรือขโมยต่อผู้ปกครองบน ​​ZK Sync (คีย์ความเป็นเจ้าของจะถูกเก็บไว้ที่เย็น) จากนั้นผู้ปกครองสามารถเลือกที่จะตรวจสอบการรับส่งข้อมูลเพียงส่วนเล็กๆ ดังนั้นโหนดผู้พิทักษ์สามารถทำงานบนแล็ปท็อปทั่วไปหรือเซิร์ฟเวอร์คลาวด์ นั่นคือไม่จำเป็นต้องให้บริการตรวจสอบเฉพาะ

• ผู้พิทักษ์จะได้รับรางวัลเป็นค่าธรรมเนียมผู้ตรวจสอบความถูกต้องในรูปของโทเค็นเนทีฟ ZK Sync รายได้และเงินฝากจะถูกล็อคเป็นระยะเวลานานขึ้น ซึ่งจะเป็นการส่งเสริมการแข็งค่าในระยะยาวของโทเค็น ZK Sync

• สองบทบาท: ผู้ตรวจสอบความถูกต้องและผู้พิทักษ์ ซึ่งทั้งคู่ได้รับแรงจูงใจจากค่าธรรมเนียมการทำธุรกรรม

ผู้ตรวจสอบความถูกต้องใช้กลไกที่เป็นเอกฉันท์และสร้างข้อพิสูจน์

ป้องกันการเซ็นเซอร์โดย Guardians ที่ทำงานบนฮาร์ดแวร์สินค้าโภคภัณฑ์

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

4.1 RedShift: SNARK สากลแบบโปร่งใส

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

• นี่เป็นหนึ่งในแรงจูงใจหลักของเราในการพัฒนา RedShift: เพื่อให้ได้ SNARK ประเภทใหม่ที่โปร่งใส มีประสิทธิภาพ และรัดกุมจากแผนความมุ่งมั่นแบบพหุนามตามโปรโตคอล FRI ขณะนี้เรากำลังอยู่ระหว่างการตรวจสอบโดยเพื่อนและข้อเสนอแนะจากชุมชนก่อนที่จะปรับใช้ RedShift เป็นส่วนหลักของ ZK Sync

• Redshift เป็น SNARK อเนกประสงค์ที่ช่วยให้เราสามารถแปลงโปรแกรมตามอำเภอใจให้เป็นวงจร ZK ที่พิสูจน์ได้ วงจรที่แตกต่างกัน (เช่น สัญญาอัจฉริยะที่แตกต่างกัน) สามารถประกอบขึ้นใน SNARK ในลักษณะเรียกซ้ำ RedShift ใช้เฉพาะฟังก์ชันแฮชที่ป้องกันการชนกันเท่านั้น จึงถือว่าปลอดภัยหลังควอนตัม

• โปร่งใส: ไม่จำเป็นต้องตั้งค่าที่เชื่อถือได้

ถือได้ว่าปลอดภัยหลังควอนตัม: ขึ้นอยู่กับการเข้ารหัสที่ได้รับการพิสูจน์แล้ว

Universal: เหมาะสำหรับโปรแกรมทั่วไป (ตรงกันข้ามกับ STARK)

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

• 4.2 สังกะสี: Zero-Knowledge Smart Contract Framework

• ในการออกแบบโมเดลที่ตั้งโปรแกรมได้ของ ZK Sync เรามุ่งมั่นที่จะบรรลุเป้าหมายต่อไปนี้:

ปรับขนาดได้สูง

รองรับสัญญาอัจฉริยะสาธารณะและสัญญาอัจฉริยะส่วนตัว

จุดที่สำคัญที่สุด: เส้นโค้งการเรียนรู้ที่เรียบและกระบวนการพัฒนาที่ง่าย

โครงการที่ยอดเยี่ยมหลายโครงการบรรลุเป้าหมายเหล่านี้หลายประการ แต่จนถึงขณะนี้ยังไม่มีโครงการใดที่สามารถบรรลุเป้าหมายข้างต้นได้ทั้งหมด ตัวอย่างเช่น ZkVM ให้บริการเครื่องเสมือนสำหรับสัญญาอัจฉริยะสำหรับวัตถุประสงค์ทั่วไป แต่เป็นแบบกันกระสุนและไม่รองรับการรวมหลักฐานรวบรัด ZEXE มีการออกแบบการปกป้องความเป็นส่วนตัวที่ยอดเยี่ยม แต่จำเป็นต้องมีความเข้าใจอย่างลึกซึ้งในรายละเอียดเฉพาะและการแลกเปลี่ยนวงจรการพิสูจน์ความรู้ที่ไม่มีศูนย์ ดังนั้นเกณฑ์สำหรับโปรแกรมเมอร์จึงสูงมาก กรอบการเขียนโปรแกรมแบบ Zero-Knowledge Proof ที่ง่ายกว่าอื่นๆ ขาดความชัดเจนและฟังก์ชันที่จำเป็นสำหรับการพัฒนาสัญญาอัจฉริยะที่ปลอดภัย

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

ลำดับความสำคัญในการออกแบบของ SyncVM คือความปลอดภัยและความเป็นมิตรกับนักพัฒนาเป็นหลัก ภาษาการเขียนโปรแกรมสำหรับการกำหนดสัญญาเป็นไปตามไวยากรณ์ของ Rust ที่ง่ายขึ้นอย่างเคร่งครัด และยืมองค์ประกอบการเขียนโปรแกรมสัญญาอัจฉริยะจาก Solidity และ Libra's Move นักพัฒนาไม่จำเป็นต้องมีความเข้าใจอย่างลึกซึ้งในรายละเอียดทางเทคนิคของช่องพิสูจน์ความรู้เป็นศูนย์เพื่อเขียนโปรแกรมที่มีประสิทธิภาพและปลอดภัย อันที่จริงแล้ว นักพัฒนาที่มีพื้นฐานด้านภาษาการเขียนโปรแกรม เช่น Rust, Solidity และ C++ สามารถเข้าใจ Zinc ได้ภายในเวลาเพียงวันเดียว

• การเปรียบเทียบระหว่างการเขียนโปรแกรมส่วนหนึ่งใน Rust สำหรับ Bellman framework (ZEXE ใช้ API ที่คล้ายกัน) กับการเขียนโปรแกรมเดียวกันสำหรับ Zinc มีดังนี้

• Zinc เวอร์ชัน 0.1 จะเผยแพร่ในเดือนมกราคม 2020

• กรอบการเขียนโปรแกรมที่ปลอดภัยและแสดงออก

เครื่องเสมือนแซนด์บ็อกซ์ที่สร้างการพิสูจน์ความรู้เป็นศูนย์ในลักษณะที่ได้รับมอบสิทธิ์

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

เครือข่ายผู้พัฒนาเวอร์ชัน ZK Sync 0.1 ออนไลน์อยู่ เวอร์ชันนี้จำกัดเฉพาะการโอนโทเค็น ETH และ ERC20 ในสภาพแวดล้อมของผู้ให้บริการรายเดียว

ลองดู SDK ของ ZK Sync

เรียกดูโค้ดบน Github

การสาธิตประสบการณ์

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

ข้อความ