Curve + zkSync L2: ZK Rollup Smart Contract ของ Ethereum

หมายเหตุบรรณาธิการ: บทความนี้มาจากชุมชนเติ้งเหลียนพิมพ์ซ้ำโดย Odaily โดยได้รับอนุญาต

พิมพ์ซ้ำโดย Odaily โดยได้รับอนุญาต

>>ทีมงาน Curve และ Matter Labs รู้สึกตื่นเต้นที่จะประกาศก้าวสำคัญสู่การปรับขนาด Ethereum ในลักษณะที่ปลอดภัยและกระจายอำนาจ: วันนี้ร่วมกับ Curve Finance เราได้เปิดตัวเครือข่ายทดสอบสัญญาอัจฉริยะ zkSync L2 ที่อาศัยใน dapp เป็นครั้งแรก<<

**สาธิต สาธิต!**[3]

เอกสารสังกะสี[5]

บรรณาธิการ mdnice

ทำไมต้องเลือก ZK Rollup?"ความสามารถในการปรับขนาดเป็นความต้องการเร่งด่วนสำหรับ Ethereum - มีแสงสว่างที่ปลายอุโมงค์ Vitalik Buterin เพิ่งประกาศว่า Rollup เป็น "ทางเลือกเดียว" สำหรับการปรับขนาด Ethereum ในขั้นตอนนี้ [6] โดยเน้นย้ำถึง กรอบ-b6b2f410f955") 。

การรับประกันความปลอดภัยที่เชื่อถือได้ไม่เหมือนใคร

ZK Rollup (ZKR) เป็นหนึ่งในสองเวอร์ชันที่มีอยู่ของ Rollup[7] ส่วนอีกเวอร์ชันคือ Optimistic Rollup (ตัวย่อ: OR)[8] ทั้งสองวิธีมีข้อแลกเปลี่ยน (ดู [9] สำหรับการเปรียบเทียบโดยละเอียด) นี่คือความแตกต่างหลักในทางปฏิบัติ:

ความปลอดภัย - แม้ว่าจะมีเครื่องมือตรวจสอบความถูกต้องเพียงเครื่องเดียว แต่ ZK Rollups ก็มีความปลอดภัยสูง เนื่องจากใช้การคำนวณทางคณิตศาสตร์ล้วนๆ แทนที่จะใช้สิ่งจูงใจทางเศรษฐกิจอย่างต่อเนื่องเพื่อรักษาความปลอดภัยให้กับเงินทุน นอกเหนือจากสมมติฐานการเข้ารหัสแล้ว ZKR ยังปลอดภัยเท่ากับ L1 พื้นฐาน นี่เป็นสิ่งสำคัญอย่างยิ่งสำหรับโปรโตคอลที่เกี่ยวข้องกับมูลค่าสินทรัพย์สูง เมื่อเปรียบเทียบกับ ZKR แล้ว Optimistic Rollup มีผลต่อต้านเครือข่ายที่แข็งแกร่ง: ความปลอดภัยจะลดลงตามสัดส่วนของค่าที่ล็อกไว้ ในทางปฏิบัติ เงินทุนสูงสุด (ในช่วงหลายหมื่นล้านดอลลาร์) จำเป็นต้องได้รับการควบคุมให้วางอย่างปลอดภัยในการรวมค่าปรับในแง่ดีเพียงรายการเดียวเพื่อรักษาความต้านทานต่อการโจมตีที่มีความเป็นไปได้สูงใน L1 [10] ตราบใดที่ Ethereum ยังคงเป็น ห่วงโซ่ PoW มันไม่สามารถคลายได้

ความสามารถในการโปรแกรม - รองรับความเข้ากันได้ของ EVM อย่างเต็มรูปแบบด้วย Optimistic Rollup ที่ง่ายกว่า โดยทั่วไปถือว่าวิธี OR เป็นวิธีเดียวที่เป็นไปได้ในการแนะนำ Ethereum smart contracts ที่มีอยู่ในเครือข่าย L2 (L2: Layer 2) อย่างไรก็ตามสิ่งนี้กำลังจะเปลี่ยนไป

บรรณาธิการ mdnice

ก่อนหน้านี้ การสนับสนุนสัญญาอัจฉริยะที่ผู้ใช้กำหนดโดยพลการใน ZK Rollup ถือเป็นงานที่ท้าทายอย่างยิ่ง แต่ทุกวันนี้ สิ่งต่าง ๆ ดำเนินไปอย่างรวดเร็วในด้านของการพิสูจน์ความรู้ที่ไม่มีความรู้ ปี 2020 นำความก้าวหน้าหลายอย่างที่ทำให้สิ่งนี้เป็นไปได้: Matter Labs เปิดตัวภาษาโปรแกรม Zinc และ Zinc VM ที่เป็นมิตรกับ SNARK และนำการตรวจสอบการพิสูจน์ PLONK แบบเรียกซ้ำของ Ethereum [12] การผสมผสานของเทคโนโลยีเหล่านี้จะผลักดันการดำเนินการตามสัญญาอัจฉริยะบน zkSync

บรรณาธิการ mdnice

Zinc VM ทำงานอย่างไร

• สัญญาเขียนและรวบรวมในภาษาโปรแกรมสังกะสี เอาต์พุตคอมไพเลอร์เป็นสองเท่า:
• รหัสไบต์ของเครื่องเสมือน Zinc

รหัสยืนยัน SNARK ของสัญญา

ดังนั้นสัญญาอัจฉริยะของ Zinc บน zkSync จึงสืบทอดการรับประกันความปลอดภัยที่เข้มงวดในการพิสูจน์ความถูกต้อง

บรรณาธิการ mdnice

จะเขียนสัญญาอัจฉริยะสำหรับ zkSync ได้อย่างไร?

ขณะนี้ Zinc อยู่ในช่วงการพัฒนาแบบปิด (closed beta) หากคุณสนใจที่จะทดลองใช้สำหรับโครงการของคุณ โปรดติดต่อเรา [15]

บรรณาธิการ mdnice

Zinc แตกต่างจาก Solidity/Vyper อย่างไร? ฉันสามารถพอร์ตซอร์สโค้ดที่มีอยู่ได้หรือไม่

Zinc เป็นไปตามไวยากรณ์ของ Rust ที่เรียบง่าย แต่ยืมองค์ประกอบและโครงสร้างสัญญาอัจฉริยะทั้งหมดของ Solidity นักพัฒนา Solidity/Vyper ที่มีประสบการณ์ทุกคนสามารถเลือกใช้งานได้ภายในเวลาไม่กี่วัน

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

Vyper ซึ่งเป็นภาษา ETH smart contract ที่ได้รับความนิยมเป็นอันดับสอง ยังไม่เสร็จสมบูรณ์เช่นกัน ดังนั้น ทุกวันนี้ โปรแกรม Vyper ใดๆ จึงสามารถแปลงเป็นสังกะสีในรูปแบบ isomorphic ได้ นี่คือวิธีการทำงานของ Curve บน zkSync: Matter Labs ช่วยทีม Curve เขียนสัญญา Curve ที่มีอยู่ใหม่เป็นเวอร์ชัน Zinc มันเกือบจะเหมือนกันกับต้นฉบับต้นฉบับทีละบรรทัด

นอกจากนี้ เรายังมีข่าวดีเพิ่มเติม: Matter Labs กำลังดำเนินการเพื่อทำให้ Zinc Turing เสร็จสมบูรณ์ในอนาคตอันใกล้นี้ ก่อนหน้านั้น เรายินดีที่จะสนับสนุนทีมของคุณในการสร้าง Solidity code ที่มีอยู่ให้พกพาได้ กรุณาติดต่อ [16]

บรรณาธิการ mdnice

สัญญาทั้งหมดบนเครือข่าย zkSync L2 จะสามารถโทรหากันแบบปรมาณูในลักษณะเดียวกับบน Ethereum mainnet

บรรณาธิการ mdnice

จะจัดการคีย์ผู้ใช้ได้อย่างไร?

ในการเป็นผู้สนับสนุน Gitcoin รอบที่ 7 [17] zkSync ถูกรวมเข้ากับกระบวนการชำระเงินโดยตรง ซึ่งจำเป็นต้องเชื่อถือเว็บไซต์ Gitcoin ในการสาธิตนี้ คีย์ส่วนตัว zkSync จะไม่ละทิ้งขอบเขตของ connect.zksync.dev[18] การผสานรวมประเภทนี้คล้ายกับแผนการยืนยันตัวตนแบบลงชื่อเข้าใช้ครั้งเดียวในโลกของ Web2 ซึ่งใช้กันอย่างแพร่หลายสำหรับการเข้าสู่ระบบ Google/Apple/Facebook ซึ่งหมายความว่าตอนนี้ zkSync สามารถใช้กับกระเป๋าเงิน Ethereum และ dapps ที่ไม่น่าเชื่อถือจำนวนเท่าใดก็ได้

ในขณะเดียวกัน เรากำลังทำงานร่วมกับทีมอื่นๆ เพื่อพัฒนามาตรฐานลายเซ็น Ethereum L2 ร่วมกัน ซึ่งจะทำให้ประสบการณ์ของผู้ใช้ในการโต้ตอบกับสัญญา L2 น่าพึงพอใจยิ่งขึ้น

บรรณาธิการ mdnice

ข้อจำกัดของ Zinc Alef คืออะไร?

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