จัดระเบียบ: ห้าสิบซู, การเงินสีทอง
วันที่ 8 เมษายน 2568 ผู้ก่อตั้งอีเธอเรียม Vitalik จะพูดในงานสัมมนานักวิจัย Web3 ปี 2568 เนื้อหาการบรรยายจะถูกรวบรวมโดย Jinse Finance ดังนี้
! c6IWD5wcjs585el116TgkbKAvbwA43Kqgzsvk4aS.jpeg
ตอนนี้ การถอนตัวจาก Optimism หรือ Arbitrum ต้องใช้เวลาถอนตัว 1 สัปดาห์ ซึ่งจะก่อให้เกิดปัญหามากมาย.
ทำไมเราถึงต้องสนใจเรื่องนี้? ทำไมต้องสนใจการเชื่อมต่อที่เร็วขึ้นระหว่าง L2 และ L1? ฉันคิดว่ามีสองเหตุผล สำหรับฉัน หนึ่งในนั้นคือ ประสบการณ์ของผู้ใช้ เราต้องการให้ผู้ใช้มีประสบการณ์ที่ดีกว่า การรอ 1 สัปดาห์เป็นประสบการณ์ที่แย่มาก อีกเหตุผลคือ เราต้องการระบบนิเวศที่มีการรวมกันมากขึ้น เราจำเป็นต้องทำบางสิ่งเพื่อปรับปรุง Optimism, Arbitrum, Polygon อย่างแท้จริง.
สิ่งเหล่านี้เหมือนกับส่วนต่างๆ ของโลก Ethereum พวกมันไม่ได้แยกจากกัน
ปัจจุบัน การทำงานร่วมกันระหว่าง L1 และ L2 เป็นไปอย่างรวดเร็ว แต่ต้องใช้ Gas มาก เราเริ่มให้ความสนใจกับปัญหานี้ตั้งแต่ฤดูร้อนปีที่แล้ว สิ่งที่เราสนใจสองอย่างคือ: ที่อยู่เฉพาะของบล็อกเชนและโครงการที่ตั้งใจ ฉันหวังว่าการย้าย Optimism ไปยัง Arbitrum จะไม่ใช้เวลานานถึงหนึ่งสัปดาห์ และฉันหวังว่าฉันจะสามารถใส่ Optimism ไว้ในสมาร์ทคอนแทรกต์ได้
ในสัญญาอัจฉริยะ หากใครก็ตามสามารถแสดงหลักฐานได้ก่อนว่าได้ส่งเงินไปยังที่อยู่ปลายทางใด ๆ ผ่านสัญญา มันจะกระโดดไปยังขั้นตอนนี้โดยอัตโนมัติ ดังนั้น เราจึงหวังว่าจะหาวิธีที่เหมาะสมเพื่อลดเวลารอคอยหนึ่งสัปดาห์ให้ต่ำที่สุดเท่าที่จะเป็นไปได้.
ทำไมเราจึงมีหน้าต่างการถอนเงินเป็นเวลา 1 สัปดาห์? เพราะ Rollup ของ Optimism ต้องรอเวลา 1 สัปดาห์เพื่อดูว่ามีใครตั้งคำถามเกี่ยวกับแฮชของมันหรือไม่ หากไม่มีใครตั้งคำถาม คุณจึงจะสามารถยอมรับแฮชได้ ข้อดีของ Optimism คือเทคโนโลยีที่พึ่งพานั้นมีความระมัดระวังมาก แต่ราคาของมันคือการรอเวลา 1 สัปดาห์.
ถ้าเราไม่อยากรอ 1 สัปดาห์ เราจำเป็นต้องสร้างระบบที่สามารถใช้ระบบการพิสูจน์ที่ไม่ใช่ Optimism ในการจัดทำบล็อกได้อย่างสมบูรณ์ เช่น การรวมกันของ ZK+TEE+OP — นี่คือแผนการออกแบบที่เรานำเสนอ.
! DgiWcMrcMkwxgOfjSfT9BcXQXFNajasojnfkTkPt.jpeg
ในสถานการณ์ปกติ เมื่อเกิดการทำธุรกรรม L2 สถานะจะถูกยืนยันใน L1 ภายในหนึ่งชั่วโมง ซึ่งจะลดเวลาจาก 1 ชั่วโมงเหลือ 12 วินาที ซึ่งในพื้นฐานแล้วเป็นปัญหาด้านประสิทธิภาพ ดังนั้นนี่คือเป้าหมายแรก เป้าหมายที่สองคือเราหวังว่า L2 จะไม่ต้องอาศัยความเชื่อใจ เราหวังว่าระบบจะสามารถกำหนดสถานะที่ถูกต้องและบันทึกสถานะที่ผิดพลาดได้ แม้ว่าจะมีการทำลายส่วนประกอบที่ต้องอาศัยความเชื่อใจ ดังนั้นในวันนี้ Rollup จะอยู่ในระยะที่เป็นศูนย์หรือระยะที่หนึ่ง ซึ่งหมายความว่าพวกเขาจะต้องมีความเชื่อใจในระดับหนึ่งหรือทั้งหมดในคณะกรรมการความมั่นคงบางประเภท คุณต้องเชื่อว่าผู้ผลิตสามารถออกแบบมันได้อย่างถูกต้อง คุณต้องเชื่อว่าผู้ผลิตจะไม่เก็บสำเนาไว้ในกุญแจสถานที่เอง.
! ncHxzOasQPGl1fjBSG8cycQLUYzCU1kQkjmpevq6.jpeg
และคุณต้องเชื่อว่ากลไกฮาร์ดแวร์ไม่ใช่สิ่งที่ผู้ถือฮาร์ดแวร์คนใดคนหนึ่งสามารถทำลายได้ คุณต้องเชื่อว่าพวกเขาไม่สามารถหาวิธีเช่นเลเซอร์ หรือการสแกนอินฟราเรดในฮาร์ดแวร์เพื่อดึงข้อมูลโดยไม่ทำลายภาพได้
ตอนนี้ เราไม่ต้องการวางความไว้วางใจทั้งหมดไว้ที่ ZK
คุณจะกระจายความไว้วางใจไปยังกลไกสามประเภทที่แตกต่างกัน ซึ่งทำงานตามประเภทตรรกะที่แตกต่างกันมาก หากเรามีการออกแบบแบบนี้ คุณก็สามารถลดระยะเวลาที่กำหนดจาก 1 ชั่วโมงเป็น 1 สัปดาห์ถึง 1 ชั่วโมง โดยบังเอิญ อีกวิธีหนึ่งคือ มุมมองของฉันเกี่ยวกับระบบกลุ่มก่อนหน้านี้ ฉันแบ่งมันออกเป็นสองประเภท โดยประเภทหนึ่งคือความไว้วางใจจากองค์กร และอีกประเภทหนึ่งคือความไว้วางใจจากการเข้ารหัส
มิติอีกอย่างคือเร็วและช้า สิ่งที่รวดเร็วสามารถอนุมัติได้ทันที ในขณะที่สิ่งที่ช้าต้องรออยู่ระยะหนึ่ง ที่น่าสนใจคือ เหมือนกับสี่สิ่งที่นี่ พวกมันเป็นส่วนประกอบของระบบการพิสูจน์ 4 ประเภทที่ผู้คนใช้หรือคิดในบริบทของ L2 ใช่ไหม? ถ้าเราสามารถใส่พวกมันลงในกล่องได้ มันก็พอดีกับ 2×2.
ขั้นตอนแรก โดยพื้นฐานแล้ว เราได้ลดระยะเวลาการเดินทางของปีศาจจาก 1 สัปดาห์เป็น 1 ชั่วโมง นี่หมายความว่าอย่างไร? โดยพื้นฐานแล้วหมายความว่า หากคุณใช้การเชื่อมต่อแบบพื้นเมืองในการโอนสินทรัพย์โดยตรง เวลารอของคุณจะลดลงจาก 1 สัปดาห์เป็น 1 ชั่วโมง หากคุณใช้การเชื่อมต่อที่อิงตามเจตนา การเชื่อมต่อที่อิงตามเจตนาจะเป็นทันที แต่ผู้ให้บริการสภาพคล่องไม่จำเป็นต้องรอ 1 ชั่วโมง แต่ต้องรอ 1 ชั่วโมง ค่าใช้จ่ายในการให้สภาพคล่องลดลง 168 เท่า ดังนั้นค่าธรรมเนียมที่คุณต้องจ่ายจะลดลงสูงสุดถึง 168 เท่า.
L2s สามารถใช้ lowlookahead ในการอ่านแบบอะซิงโครนัส L1 นี่คือฟังก์ชันที่ L2 มีอยู่แล้ว เพราะพวกเขาต้องสามารถจัดการกับการฝากเงินได้ เรานำสถานะที่ใช้ในการอ่านการฝากเงินไปใช้ และเปิดเผยให้กับ L1SLOADopcode การสนับสนุนการอ่านข้อมูลของ L1 oracle, กระเป๋าเงิน key store และแอปพลิเคชันอื่น ๆ อีกมากมาย เป็นสิ่งที่มีค่ามาก เพราะหนึ่งในความท้าทายที่ L2 มักเผชิญคือพวกเขาต้องจ่ายเงินจำนวนมาก.
! 4ZTnBOtkTIBfxYOBykB3r2sM9Y8960iNQpjEVHVb.jpeg
ดังนั้น ฉันจึงได้รับแอปพลิเคชันที่กำหนดเองหลายประเภท การรวมเฉพาะเจาะจง นี่ช่วยลดต้นทุนได้จริง เพราะในหลายกรณี ทางเลือกจะสามารถอ่านสำเนาแอปพลิเคชันที่มีอยู่ในแอปพลิเคชันหนึ่งได้โดยตรง ซึ่งเหมาะสำหรับการจัดการข้อมูล มันเหมาะสำหรับบางสิ่งบางอย่าง แต่ไม่เหมาะสำหรับสิ่งที่ต้องการเขียนให้กับใครบางคน
กระเป๋าเก็บกุญแจเป็นอีกแนวคิดที่น่าสนใจใช่ไหม? แนวคิดของกระเป๋าเก็บกุญแจพื้นฐานคือ ในด้านความปลอดภัยของเครือข่ายทั่วไป คุณต้องการเปลี่ยนกุญแจ และคุณไม่ต้องการให้กุญแจมีอายุการใช้งานที่ไม่สิ้นสุด Neo เป็นส่วนหนึ่งของเป้าหมายการทำให้บัญชีเป็นนามธรรม วันนี้ฉันจะพูดคุยเกี่ยวกับเป้าหมายนี้.
แต่ฉันได้พูดถึงหลายครั้งแล้วว่าพื้นฐานก็คือการสร้างบัญชีที่มีตรรกะใด ๆ ก็ได้ ซึ่งคุณสามารถทำสิ่งต่าง ๆ ได้ เช่น เปลี่ยนอัลกอริธึมการเข้ารหัส เปลี่ยนกุญแจ ทำให้พวกเขามีความต้านทานมากมาย และทำให้พวกเขาใช้ snark ที่ถูกเพิ่มเข้ามาแบบวิธีการกู้คืน ตอนนี้ ความท้าทายอย่างหนึ่งคือ ถ้าคุณสามารถเปลี่ยนกุญแจได้ คุณจะมีผลลัพธ์หลังการเปลี่ยนแปลงหนึ่งร้อยรายการ ดังนั้นคุณต้องเปลี่ยนบันทึกกุญแจปัจจุบันใน 100 จุด
คุณจะแก้ปัญหานี้ได้อย่างไร? เราจะแก้ปัญหานี้โดยการเก็บบันทึกของคีย์ปัจจุบันไว้ในสัญญากลาง จากนั้นคุณจะมีสำเนากระเป๋าเงินที่ปรากฏในแต่ละ L2 เพียงแค่อ่านจาก L1 เท่านั้น นี่ทำให้แนวทางปฏิบัติด้านความปลอดภัยในการทำให้เป็นหลักทรัพย์ที่สมเหตุสมผลและคล้ายคลึงกันมากมายในโลกของ L2 เป็นไปได้และใช้งานได้จริงมากขึ้น.
ข้อดีอีกอย่างคือ มันทำให้การทำงานที่มีทั้ง L2 และ L1 พร้อมกันเป็นเรื่องที่ง่ายและเป็นธรรมชาติมากขึ้นสำหรับนักพัฒนา เราไม่ได้พูดถึงแค่ทฤษฎีหรือชุดของเชนที่แยกจากกันอย่างสิ้นเชิง แต่เราแทบจะพูดถึงทฤษฎี L1 ที่ยังคงเป็นหัวใจสำคัญของประสบการณ์ผู้ใช้ของแอปพลิเคชันและผู้คน
ขั้นตอนที่สามคือการพิสูจน์การรวมกลุ่ม. ก่อนหน้านี้ฉันได้กล่าวถึงว่า หากเราใช้วิธีการที่มีพื้นฐานจากสองหรือสามวิธี หรือในอนาคต หากเราได้ทำการตรวจสอบความถูกต้องในรูปแบบที่ดีมาก เราก็สามารถพึ่งพา ZK ได้ เราจะสามารถลดระยะเวลาการส่งจาก 1 สัปดาห์เป็น 1 ชั่วโมงได้ ทำไมเป็น 1 ชั่วโมง? ทำไมไม่เป็น 12 วินาที? มีสองเหตุผลที่เราสามารถแก้ไขเหตุผลทั้งสองนี้. เหตุผลแรกคือค่าใช้จ่ายในการส่ง. ดังนั้น การส่งหลักฐานไปยัง L1 จำเป็นต้องใช้ค่าใช้จ่ายเพิ่มเติม ประมาณ 500,000 gas และค่าใช้จ่ายของ AA นั้นสูงมาก.
ตอนนี้ ถ้าคุณนึกภาพว่าทุกช่วงเวลาคุณต้องส่งหลักฐาน ก็จะมีช่วงเวลา 2.5 ล้านช่วงในหนึ่งปี เราต้องใช้ค่าใช้จ่าย 27.5 ล้านดอลลาร์ต่อปีเพียงเพื่อรักษาค่าความสัมพันธ์ นี่มันบ้าจริงๆ ใครที่ยอมจ่าย 27 ล้านดอลลาร์ต่อปี แต่ถ้าคุณส่งทุกนาที แทนที่จะส่งทุก 12 วินาที ค่าใช้จ่าย 27 ล้านดอลลาร์ต่อปีจะลดลงเหลือ 5.5 ล้านดอลลาร์ จากนั้นถ้าคุณส่งทุกชั่วโมง มันจะลดลงต่ำกว่า 100,000 ดอลลาร์ต่อปี นี่มันควบคุมได้จริงๆ วิธีแก้ปัญหาธรรมชาติคือการรวมหลักฐาน.
! Rbld5A07Dvj7MocDpMKcbzb1tz923MsbGM7f3LBG.jpeg
หากเรามีเครื่องมือที่แตกต่างกันจํานวนมากเครื่องมือเหล่านั้นไม่จําเป็นต้องส่งไปยังกลุ่มต่างๆเป็นรายบุคคลสามารถจัดกลุ่มการพิสูจน์ลูกโซ่กลุ่มสามารถส่งหลักฐานของพวกเขาไปยังส่วนรวมจากนั้นการรวมสามารถส่ง SNARK แยกต่างหากเพื่อพิสูจน์การมีอยู่ของ SNARKs อื่น ๆ ค่าใช้จ่ายในการตรวจสอบ SNARK เป็นเพียงต้นทุนก๊าซ 500,000 เพียงครั้งเดียว สิ่งที่เกิดขึ้นที่นี่เป็นพื้นสิ่งที่อยู่ในแผนภาพนี้หรือไม่ ขวา โดยทั่วไปคุณมีหลักฐานมากมายและหลักฐานเหล่านั้นยังระบุด้วยว่าสัญญาใด เราอยู่ในบล็อก จากนั้นคุณมีหลักฐานรวม หลักฐานรวมได้รับการตรวจสอบแล้ว การรับรองการรวมประกอบด้วยข้อมูลทั้งหมดของการรวมเดียวเป็นอินพุตทั่วไปจากนั้นการรับรองจะเกิดขึ้นเพียงครั้งเดียว สัญญานี้จะโทรเพียงครั้งเดียวต่อการยกเลิกและสิ่งเดียวที่การโทรทําคือสําหรับการยกเลิกแต่ละครั้ง มันเพิ่งโหลดแยกต่างหาก ค่าใช้จ่ายต่อการเยี่ยมชมลดลงจาก 500,000 ก๊าซเหลือน้อยกว่า 10,000 ก๊าซ
ตอนนี้ยังมี ขั้นตอนที่สี่ คือการลดความล่าช้าในการพิสูจน์. การคำนวณการพิสูจน์ต้องใช้เวลานานกว่าและต้องการพลังการคำนวณมากกว่าการคำนวณปกติ โดยค่าเริ่มต้นการคำนวณนี้จะไม่ทำให้ระบบล่ม คุณต้องขยายมันและคุณต้องทำการคำนวณที่เข้มข้นนี้.
! VthFsqHrhyIZegJNNmzkb6wxoqmLsBlAMQL0Ttip.jpeg
ดังนั้น ผลลัพธ์คือ ในสภาวะสมดุล การสร้างบล็อกที่ใช้เวลา 5 วินาที ยังคงต้องใช้เวลา 500 วินาทีในการพิสูจน์ ใช่ไหม? นี่คือปัญหา ดังนั้นปัญหาคือ เราจะแก้ไขปัญหานี้ได้อย่างไร? มีสองความคิด หนึ่งคือ เราสามารถใช้ฮาร์ดแวร์เฉพาะเพื่อปรับปรุงมัน มีบริษัทบางแห่งที่ทำเช่นนี้อยู่ หากคุณได้ปัจจัยการเร่งฮาร์ดแวร์ 100 เท่า คุณก็สามารถพิสูจน์ได้แบบเรียลไทม์ อีกความคิดคือการพิสูจน์ที่สามารถทำให้ระบบล้มเหลวได้อย่างรุนแรง ดังนั้นจากมุมมองทางคณิตศาสตร์ นี่จริงๆ แล้วง่ายมาก โดยพื้นฐานแล้ว คุณจะคำนวณการแยกย่อยออกเป็นหลายขั้นตอน จากนั้นคุณจะสร้างการพิสูจน์ของแต่ละขั้นตอนในอุปกรณ์ที่แตกต่างกันในแบบขนาน
ถ้ายังไม่พอ การปรับปรุงฮาร์ดแวร์เฉพาะจะเร็วขึ้น และต้นทุนการปรับปรุงก็จะต่ำลง ดังนั้นเราจึงมีตัวเลือกมากมาย.
หากคุณใช้ Intensive Optimism และ Arbitrum ซึ่งทั้งสองมีช่วงเวลาที่รวดเร็วกว่ามาก คุณก็สามารถทำได้ภายใน 2 วินาที ดังนั้นจะมีค่าใช้จ่ายที่ถูกมาก ดังนั้นหากคุณใช้ Intensive คุณจะสามารถโอนอีเธอเรียมในปริมาณที่ไม่จำกัดด้วยต้นทุนที่ต่ำ ดังนั้น นี่หมายความว่าเราสามารถสร้างความเชื่อมโยงที่แน่นแฟ้นยิ่งขึ้นระหว่าง L1 และ L2 เราได้รับโลกที่มีความเป็นหนึ่งเดียวกันมากขึ้น ทุกอย่างจึงง่ายและรวดเร็วขึ้นสำหรับทุกคน ขอบคุณครับ/ค่ะ.
218k โพสต์
181k โพสต์
138k โพสต์
79k โพสต์
66k โพสต์
61k โพสต์
60k โพสต์
56k โพสต์
52k โพสต์
51k โพสต์
Vatilik：ทำไมต้องเร่งความเร็วในการยืนยัน L2? จะเร่งได้อย่างไร?
จัดระเบียบ: ห้าสิบซู, การเงินสีทอง
วันที่ 8 เมษายน 2568 ผู้ก่อตั้งอีเธอเรียม Vitalik จะพูดในงานสัมมนานักวิจัย Web3 ปี 2568 เนื้อหาการบรรยายจะถูกรวบรวมโดย Jinse Finance ดังนี้
! c6IWD5wcjs585el116TgkbKAvbwA43Kqgzsvk4aS.jpeg
ตอนนี้ การถอนตัวจาก Optimism หรือ Arbitrum ต้องใช้เวลาถอนตัว 1 สัปดาห์ ซึ่งจะก่อให้เกิดปัญหามากมาย.
ทำไมเราถึงต้องสนใจเรื่องนี้? ทำไมต้องสนใจการเชื่อมต่อที่เร็วขึ้นระหว่าง L2 และ L1? ฉันคิดว่ามีสองเหตุผล สำหรับฉัน หนึ่งในนั้นคือ ประสบการณ์ของผู้ใช้ เราต้องการให้ผู้ใช้มีประสบการณ์ที่ดีกว่า การรอ 1 สัปดาห์เป็นประสบการณ์ที่แย่มาก อีกเหตุผลคือ เราต้องการระบบนิเวศที่มีการรวมกันมากขึ้น เราจำเป็นต้องทำบางสิ่งเพื่อปรับปรุง Optimism, Arbitrum, Polygon อย่างแท้จริง.
สิ่งเหล่านี้เหมือนกับส่วนต่างๆ ของโลก Ethereum พวกมันไม่ได้แยกจากกัน
ปัจจุบัน การทำงานร่วมกันระหว่าง L1 และ L2 เป็นไปอย่างรวดเร็ว แต่ต้องใช้ Gas มาก เราเริ่มให้ความสนใจกับปัญหานี้ตั้งแต่ฤดูร้อนปีที่แล้ว สิ่งที่เราสนใจสองอย่างคือ: ที่อยู่เฉพาะของบล็อกเชนและโครงการที่ตั้งใจ ฉันหวังว่าการย้าย Optimism ไปยัง Arbitrum จะไม่ใช้เวลานานถึงหนึ่งสัปดาห์ และฉันหวังว่าฉันจะสามารถใส่ Optimism ไว้ในสมาร์ทคอนแทรกต์ได้
ในสัญญาอัจฉริยะ หากใครก็ตามสามารถแสดงหลักฐานได้ก่อนว่าได้ส่งเงินไปยังที่อยู่ปลายทางใด ๆ ผ่านสัญญา มันจะกระโดดไปยังขั้นตอนนี้โดยอัตโนมัติ ดังนั้น เราจึงหวังว่าจะหาวิธีที่เหมาะสมเพื่อลดเวลารอคอยหนึ่งสัปดาห์ให้ต่ำที่สุดเท่าที่จะเป็นไปได้.
ทำไมเราจึงมีหน้าต่างการถอนเงินเป็นเวลา 1 สัปดาห์? เพราะ Rollup ของ Optimism ต้องรอเวลา 1 สัปดาห์เพื่อดูว่ามีใครตั้งคำถามเกี่ยวกับแฮชของมันหรือไม่ หากไม่มีใครตั้งคำถาม คุณจึงจะสามารถยอมรับแฮชได้ ข้อดีของ Optimism คือเทคโนโลยีที่พึ่งพานั้นมีความระมัดระวังมาก แต่ราคาของมันคือการรอเวลา 1 สัปดาห์.
ถ้าเราไม่อยากรอ 1 สัปดาห์ เราจำเป็นต้องสร้างระบบที่สามารถใช้ระบบการพิสูจน์ที่ไม่ใช่ Optimism ในการจัดทำบล็อกได้อย่างสมบูรณ์ เช่น การรวมกันของ ZK+TEE+OP — นี่คือแผนการออกแบบที่เรานำเสนอ.
! DgiWcMrcMkwxgOfjSfT9BcXQXFNajasojnfkTkPt.jpeg
ในสถานการณ์ปกติ เมื่อเกิดการทำธุรกรรม L2 สถานะจะถูกยืนยันใน L1 ภายในหนึ่งชั่วโมง ซึ่งจะลดเวลาจาก 1 ชั่วโมงเหลือ 12 วินาที ซึ่งในพื้นฐานแล้วเป็นปัญหาด้านประสิทธิภาพ ดังนั้นนี่คือเป้าหมายแรก เป้าหมายที่สองคือเราหวังว่า L2 จะไม่ต้องอาศัยความเชื่อใจ เราหวังว่าระบบจะสามารถกำหนดสถานะที่ถูกต้องและบันทึกสถานะที่ผิดพลาดได้ แม้ว่าจะมีการทำลายส่วนประกอบที่ต้องอาศัยความเชื่อใจ ดังนั้นในวันนี้ Rollup จะอยู่ในระยะที่เป็นศูนย์หรือระยะที่หนึ่ง ซึ่งหมายความว่าพวกเขาจะต้องมีความเชื่อใจในระดับหนึ่งหรือทั้งหมดในคณะกรรมการความมั่นคงบางประเภท คุณต้องเชื่อว่าผู้ผลิตสามารถออกแบบมันได้อย่างถูกต้อง คุณต้องเชื่อว่าผู้ผลิตจะไม่เก็บสำเนาไว้ในกุญแจสถานที่เอง.
! ncHxzOasQPGl1fjBSG8cycQLUYzCU1kQkjmpevq6.jpeg
และคุณต้องเชื่อว่ากลไกฮาร์ดแวร์ไม่ใช่สิ่งที่ผู้ถือฮาร์ดแวร์คนใดคนหนึ่งสามารถทำลายได้ คุณต้องเชื่อว่าพวกเขาไม่สามารถหาวิธีเช่นเลเซอร์ หรือการสแกนอินฟราเรดในฮาร์ดแวร์เพื่อดึงข้อมูลโดยไม่ทำลายภาพได้
ตอนนี้ เราไม่ต้องการวางความไว้วางใจทั้งหมดไว้ที่ ZK
คุณจะกระจายความไว้วางใจไปยังกลไกสามประเภทที่แตกต่างกัน ซึ่งทำงานตามประเภทตรรกะที่แตกต่างกันมาก หากเรามีการออกแบบแบบนี้ คุณก็สามารถลดระยะเวลาที่กำหนดจาก 1 ชั่วโมงเป็น 1 สัปดาห์ถึง 1 ชั่วโมง โดยบังเอิญ อีกวิธีหนึ่งคือ มุมมองของฉันเกี่ยวกับระบบกลุ่มก่อนหน้านี้ ฉันแบ่งมันออกเป็นสองประเภท โดยประเภทหนึ่งคือความไว้วางใจจากองค์กร และอีกประเภทหนึ่งคือความไว้วางใจจากการเข้ารหัส
มิติอีกอย่างคือเร็วและช้า สิ่งที่รวดเร็วสามารถอนุมัติได้ทันที ในขณะที่สิ่งที่ช้าต้องรออยู่ระยะหนึ่ง ที่น่าสนใจคือ เหมือนกับสี่สิ่งที่นี่ พวกมันเป็นส่วนประกอบของระบบการพิสูจน์ 4 ประเภทที่ผู้คนใช้หรือคิดในบริบทของ L2 ใช่ไหม? ถ้าเราสามารถใส่พวกมันลงในกล่องได้ มันก็พอดีกับ 2×2.
ขั้นตอนแรก โดยพื้นฐานแล้ว เราได้ลดระยะเวลาการเดินทางของปีศาจจาก 1 สัปดาห์เป็น 1 ชั่วโมง นี่หมายความว่าอย่างไร? โดยพื้นฐานแล้วหมายความว่า หากคุณใช้การเชื่อมต่อแบบพื้นเมืองในการโอนสินทรัพย์โดยตรง เวลารอของคุณจะลดลงจาก 1 สัปดาห์เป็น 1 ชั่วโมง หากคุณใช้การเชื่อมต่อที่อิงตามเจตนา การเชื่อมต่อที่อิงตามเจตนาจะเป็นทันที แต่ผู้ให้บริการสภาพคล่องไม่จำเป็นต้องรอ 1 ชั่วโมง แต่ต้องรอ 1 ชั่วโมง ค่าใช้จ่ายในการให้สภาพคล่องลดลง 168 เท่า ดังนั้นค่าธรรมเนียมที่คุณต้องจ่ายจะลดลงสูงสุดถึง 168 เท่า.
L2s สามารถใช้ lowlookahead ในการอ่านแบบอะซิงโครนัส L1 นี่คือฟังก์ชันที่ L2 มีอยู่แล้ว เพราะพวกเขาต้องสามารถจัดการกับการฝากเงินได้ เรานำสถานะที่ใช้ในการอ่านการฝากเงินไปใช้ และเปิดเผยให้กับ L1SLOADopcode การสนับสนุนการอ่านข้อมูลของ L1 oracle, กระเป๋าเงิน key store และแอปพลิเคชันอื่น ๆ อีกมากมาย เป็นสิ่งที่มีค่ามาก เพราะหนึ่งในความท้าทายที่ L2 มักเผชิญคือพวกเขาต้องจ่ายเงินจำนวนมาก.
! 4ZTnBOtkTIBfxYOBykB3r2sM9Y8960iNQpjEVHVb.jpeg
ดังนั้น ฉันจึงได้รับแอปพลิเคชันที่กำหนดเองหลายประเภท การรวมเฉพาะเจาะจง นี่ช่วยลดต้นทุนได้จริง เพราะในหลายกรณี ทางเลือกจะสามารถอ่านสำเนาแอปพลิเคชันที่มีอยู่ในแอปพลิเคชันหนึ่งได้โดยตรง ซึ่งเหมาะสำหรับการจัดการข้อมูล มันเหมาะสำหรับบางสิ่งบางอย่าง แต่ไม่เหมาะสำหรับสิ่งที่ต้องการเขียนให้กับใครบางคน
กระเป๋าเก็บกุญแจเป็นอีกแนวคิดที่น่าสนใจใช่ไหม? แนวคิดของกระเป๋าเก็บกุญแจพื้นฐานคือ ในด้านความปลอดภัยของเครือข่ายทั่วไป คุณต้องการเปลี่ยนกุญแจ และคุณไม่ต้องการให้กุญแจมีอายุการใช้งานที่ไม่สิ้นสุด Neo เป็นส่วนหนึ่งของเป้าหมายการทำให้บัญชีเป็นนามธรรม วันนี้ฉันจะพูดคุยเกี่ยวกับเป้าหมายนี้.
แต่ฉันได้พูดถึงหลายครั้งแล้วว่าพื้นฐานก็คือการสร้างบัญชีที่มีตรรกะใด ๆ ก็ได้ ซึ่งคุณสามารถทำสิ่งต่าง ๆ ได้ เช่น เปลี่ยนอัลกอริธึมการเข้ารหัส เปลี่ยนกุญแจ ทำให้พวกเขามีความต้านทานมากมาย และทำให้พวกเขาใช้ snark ที่ถูกเพิ่มเข้ามาแบบวิธีการกู้คืน ตอนนี้ ความท้าทายอย่างหนึ่งคือ ถ้าคุณสามารถเปลี่ยนกุญแจได้ คุณจะมีผลลัพธ์หลังการเปลี่ยนแปลงหนึ่งร้อยรายการ ดังนั้นคุณต้องเปลี่ยนบันทึกกุญแจปัจจุบันใน 100 จุด
คุณจะแก้ปัญหานี้ได้อย่างไร? เราจะแก้ปัญหานี้โดยการเก็บบันทึกของคีย์ปัจจุบันไว้ในสัญญากลาง จากนั้นคุณจะมีสำเนากระเป๋าเงินที่ปรากฏในแต่ละ L2 เพียงแค่อ่านจาก L1 เท่านั้น นี่ทำให้แนวทางปฏิบัติด้านความปลอดภัยในการทำให้เป็นหลักทรัพย์ที่สมเหตุสมผลและคล้ายคลึงกันมากมายในโลกของ L2 เป็นไปได้และใช้งานได้จริงมากขึ้น.
ข้อดีอีกอย่างคือ มันทำให้การทำงานที่มีทั้ง L2 และ L1 พร้อมกันเป็นเรื่องที่ง่ายและเป็นธรรมชาติมากขึ้นสำหรับนักพัฒนา เราไม่ได้พูดถึงแค่ทฤษฎีหรือชุดของเชนที่แยกจากกันอย่างสิ้นเชิง แต่เราแทบจะพูดถึงทฤษฎี L1 ที่ยังคงเป็นหัวใจสำคัญของประสบการณ์ผู้ใช้ของแอปพลิเคชันและผู้คน
ขั้นตอนที่สามคือการพิสูจน์การรวมกลุ่ม. ก่อนหน้านี้ฉันได้กล่าวถึงว่า หากเราใช้วิธีการที่มีพื้นฐานจากสองหรือสามวิธี หรือในอนาคต หากเราได้ทำการตรวจสอบความถูกต้องในรูปแบบที่ดีมาก เราก็สามารถพึ่งพา ZK ได้ เราจะสามารถลดระยะเวลาการส่งจาก 1 สัปดาห์เป็น 1 ชั่วโมงได้ ทำไมเป็น 1 ชั่วโมง? ทำไมไม่เป็น 12 วินาที? มีสองเหตุผลที่เราสามารถแก้ไขเหตุผลทั้งสองนี้. เหตุผลแรกคือค่าใช้จ่ายในการส่ง. ดังนั้น การส่งหลักฐานไปยัง L1 จำเป็นต้องใช้ค่าใช้จ่ายเพิ่มเติม ประมาณ 500,000 gas และค่าใช้จ่ายของ AA นั้นสูงมาก.
ตอนนี้ ถ้าคุณนึกภาพว่าทุกช่วงเวลาคุณต้องส่งหลักฐาน ก็จะมีช่วงเวลา 2.5 ล้านช่วงในหนึ่งปี เราต้องใช้ค่าใช้จ่าย 27.5 ล้านดอลลาร์ต่อปีเพียงเพื่อรักษาค่าความสัมพันธ์ นี่มันบ้าจริงๆ ใครที่ยอมจ่าย 27 ล้านดอลลาร์ต่อปี แต่ถ้าคุณส่งทุกนาที แทนที่จะส่งทุก 12 วินาที ค่าใช้จ่าย 27 ล้านดอลลาร์ต่อปีจะลดลงเหลือ 5.5 ล้านดอลลาร์ จากนั้นถ้าคุณส่งทุกชั่วโมง มันจะลดลงต่ำกว่า 100,000 ดอลลาร์ต่อปี นี่มันควบคุมได้จริงๆ วิธีแก้ปัญหาธรรมชาติคือการรวมหลักฐาน.
! Rbld5A07Dvj7MocDpMKcbzb1tz923MsbGM7f3LBG.jpeg
หากเรามีเครื่องมือที่แตกต่างกันจํานวนมากเครื่องมือเหล่านั้นไม่จําเป็นต้องส่งไปยังกลุ่มต่างๆเป็นรายบุคคลสามารถจัดกลุ่มการพิสูจน์ลูกโซ่กลุ่มสามารถส่งหลักฐานของพวกเขาไปยังส่วนรวมจากนั้นการรวมสามารถส่ง SNARK แยกต่างหากเพื่อพิสูจน์การมีอยู่ของ SNARKs อื่น ๆ ค่าใช้จ่ายในการตรวจสอบ SNARK เป็นเพียงต้นทุนก๊าซ 500,000 เพียงครั้งเดียว สิ่งที่เกิดขึ้นที่นี่เป็นพื้นสิ่งที่อยู่ในแผนภาพนี้หรือไม่ ขวา โดยทั่วไปคุณมีหลักฐานมากมายและหลักฐานเหล่านั้นยังระบุด้วยว่าสัญญาใด เราอยู่ในบล็อก จากนั้นคุณมีหลักฐานรวม หลักฐานรวมได้รับการตรวจสอบแล้ว การรับรองการรวมประกอบด้วยข้อมูลทั้งหมดของการรวมเดียวเป็นอินพุตทั่วไปจากนั้นการรับรองจะเกิดขึ้นเพียงครั้งเดียว สัญญานี้จะโทรเพียงครั้งเดียวต่อการยกเลิกและสิ่งเดียวที่การโทรทําคือสําหรับการยกเลิกแต่ละครั้ง มันเพิ่งโหลดแยกต่างหาก ค่าใช้จ่ายต่อการเยี่ยมชมลดลงจาก 500,000 ก๊าซเหลือน้อยกว่า 10,000 ก๊าซ
ตอนนี้ยังมี ขั้นตอนที่สี่ คือการลดความล่าช้าในการพิสูจน์. การคำนวณการพิสูจน์ต้องใช้เวลานานกว่าและต้องการพลังการคำนวณมากกว่าการคำนวณปกติ โดยค่าเริ่มต้นการคำนวณนี้จะไม่ทำให้ระบบล่ม คุณต้องขยายมันและคุณต้องทำการคำนวณที่เข้มข้นนี้.
! VthFsqHrhyIZegJNNmzkb6wxoqmLsBlAMQL0Ttip.jpeg
ดังนั้น ผลลัพธ์คือ ในสภาวะสมดุล การสร้างบล็อกที่ใช้เวลา 5 วินาที ยังคงต้องใช้เวลา 500 วินาทีในการพิสูจน์ ใช่ไหม? นี่คือปัญหา ดังนั้นปัญหาคือ เราจะแก้ไขปัญหานี้ได้อย่างไร? มีสองความคิด หนึ่งคือ เราสามารถใช้ฮาร์ดแวร์เฉพาะเพื่อปรับปรุงมัน มีบริษัทบางแห่งที่ทำเช่นนี้อยู่ หากคุณได้ปัจจัยการเร่งฮาร์ดแวร์ 100 เท่า คุณก็สามารถพิสูจน์ได้แบบเรียลไทม์ อีกความคิดคือการพิสูจน์ที่สามารถทำให้ระบบล้มเหลวได้อย่างรุนแรง ดังนั้นจากมุมมองทางคณิตศาสตร์ นี่จริงๆ แล้วง่ายมาก โดยพื้นฐานแล้ว คุณจะคำนวณการแยกย่อยออกเป็นหลายขั้นตอน จากนั้นคุณจะสร้างการพิสูจน์ของแต่ละขั้นตอนในอุปกรณ์ที่แตกต่างกันในแบบขนาน
ถ้ายังไม่พอ การปรับปรุงฮาร์ดแวร์เฉพาะจะเร็วขึ้น และต้นทุนการปรับปรุงก็จะต่ำลง ดังนั้นเราจึงมีตัวเลือกมากมาย.
หากคุณใช้ Intensive Optimism และ Arbitrum ซึ่งทั้งสองมีช่วงเวลาที่รวดเร็วกว่ามาก คุณก็สามารถทำได้ภายใน 2 วินาที ดังนั้นจะมีค่าใช้จ่ายที่ถูกมาก ดังนั้นหากคุณใช้ Intensive คุณจะสามารถโอนอีเธอเรียมในปริมาณที่ไม่จำกัดด้วยต้นทุนที่ต่ำ ดังนั้น นี่หมายความว่าเราสามารถสร้างความเชื่อมโยงที่แน่นแฟ้นยิ่งขึ้นระหว่าง L1 และ L2 เราได้รับโลกที่มีความเป็นหนึ่งเดียวกันมากขึ้น ทุกอย่างจึงง่ายและรวดเร็วขึ้นสำหรับทุกคน ขอบคุณครับ/ค่ะ.