คำพูดล่าสุดของ V God: Ethereum 2.0 คืออะไรกันแน่?
หมายเหตุบรรณาธิการ: บทความนี้มาจากค่าห่วงโซ่คาร์บอนหมายเหตุบรรณาธิการ: บทความนี้มาจาก
ค่าห่วงโซ่คาร์บอน
(ID: cc-value), ผู้แต่ง: Vitalik, ผู้รวบรวม: Elisa, Min Min, A Jian เผยแพร่โดยได้รับอนุญาต
บทความนี้เป็นการแปลสุนทรพจน์ของ Vitalik ที่ Devcon4 ข้อความต้นฉบับภาษาอังกฤษอ้างอิงจากการบันทึก และอาจมีความไม่แน่นอนในการแปล โปรดยกโทษให้ฉัน
ขอแสดงความยินดีกับการครบรอบ 10 ปีของข้อตกลง Nakamoto!
หัวข้อสุนทรพจน์ของฉันในวันนี้คือ Ethereum 2.0 แต่ฉันหวังว่าจะไม่นำเสนอเฉพาะประเด็นทางเทคนิคของ Ethereum 2.0 เท่านั้น แต่ยังอธิบายว่าทำไมเราต้องส่งเสริมการอัปเกรด Ethereum การอัปเกรดที่เราจะทำ และสิ่งที่เราพยายามทำเพื่อให้ได้มา ถึงวันนี้
แล้ว Ethereum 2.0 คืออะไร?
ในช่วงไม่กี่ปีที่ผ่านมาเราได้พูดคุยและวิจัยคุณสมบัติบางอย่างของระบบอย่างไม่รู้จักเหน็ดเหนื่อยและยังได้ลงทุนพลังงานจำนวนมากในการพัฒนา App ในที่สุดพวกเขาก็มารวมกันเพื่อสร้างโลกที่กลมกลืนกัน คุณสมบัติเหล่านี้รวมถึงอัลกอริธึมการพิสูจน์การเดิมพัน Casper ความสามารถในการปรับขนาด การแบ่งส่วน การอัปเกรดเครื่องเสมือน EWASM การปรับปรุงสัญญาข้ามสายโซ่ การปรับปรุงรูปแบบทางเศรษฐกิจของโปรโตคอล และการปรับปรุงมากมายที่นำไปสู่การกระจายอำนาจของเลเยอร์ตรรกะ มีหัวข้อสำคัญมากมาย
PoS
ชื่อเรื่องรอง
การวิจัยเกี่ยวกับ Proof of Stake (PoS) เริ่มขึ้นในปี 2014 บล็อกโพสต์นี้ที่ฉันเผยแพร่ในเดือนมกราคม (Slasher: Punitive Proof-of-Stake Algorithm) อธิบายอัลกอริทึมที่เรียกว่า Slasher ซึ่งแนะนำแนวคิดพื้นฐานที่สุดในอัลกอริทึมการพิสูจน์การเดิมพัน: หากคุณละเมิดข้อตกลงและถูกพบ , (ซึ่ง สามารถพิสูจน์ได้) คุณจะถูกลงโทษ วิธีนี้สามารถใช้เพื่อปรับปรุงความปลอดภัย แต่ในขณะนั้น อย่างที่คุณเห็นในสไลด์ ฉันเชื่อว่า Slasher เป็นโครงสร้างที่มีประโยชน์มากในการทำให้ "การขุด" แบบ Proof of Stake สมบูรณ์ขึ้น และให้เหตุผลที่ชัดเจนยิ่งขึ้นแก่เราในการเปลี่ยนไปใช้ Proof of Stake แน่นอนว่าเรายังไม่ได้ทำ
ความสามารถในการปรับขนาด
ดังนั้น ณ เวลานั้นจึงยังไม่ชัดเจนว่า PoS ควรจะเป็นทิศทางของเราหรือไม่ แต่เมื่อเวลาผ่านไป มันก็ชัดเจนขึ้นมาก
ความสามารถในการปรับขนาด
ในปี 2014 อันดับแรก เราได้สำรวจชุดของแนวคิดที่น่าสนใจและสำคัญ เช่น "หลักฐานการพิสูจน์การทำงาน" ซึ่งเป็นข้อเสนอเพื่อปรับปรุงความสามารถในการปรับขนาด "โมเดลโซ่แบบฮับและซี่ล้อ (โซ่แบบฮับและซี่ล้อ)" ให้โซ่เส้นเดียว เป็นศูนย์กลางและเครือข่ายหลายเครือเชื่อมโยงกัน จริง ๆ แล้วนี่เป็นข้อเสนอ scalability และ sharding ในยุคแรก ๆ มันพยายามปรับปรุงความสามารถในการปรับขนาดของธุรกรรมในภูมิภาคแต่ไม่สามารถปรับปรุงธุรกรรมทั่วโลกได้ (นั่นคือ จากเชนเป็น เชนอื่น); "ไฮเปอร์คิวบ์" โดยที่ลูกบาศก์มี 12 มิติแทนที่จะเป็น 3 มิติ ดังนั้นเราจึงสามารถขยายขนาดได้มากกว่าโมเดลแบบฮับและซี่ล้อ
ตอนนี้แนวคิดเหล่านั้นกำลังถูกละทิ้งด้วยเหตุผลหลายประการ อย่างไรก็ตาม มีคนทำ ICO ขนาดใหญ่เพื่อพัฒนามัน ดังนั้น ดีใจที่มีคนเต็มใจที่จะลอง (ผู้ชมหัวเราะ)
เรามีความคืบหน้าที่ถูกต้องในปี 2014 หรือไม่?
ความก้าวหน้าในปี 2557
บาง. เราได้แนวคิดที่เรียกว่า "ตัวตนที่อ่อนแอ (ตัวตนที่อ่อนแอ)" ในระดับหนึ่ง นี่คือแบบจำลองความปลอดภัยกึ่งทางการ โดยพยายามสำรวจเงื่อนไขการยึดเงินมัดจำของ PoS และภายใต้เงื่อนไขใดที่ PoS ปลอดภัย ในขณะเดียวกัน เราก็มั่นใจมากขึ้นเรื่อย ๆ ว่าอัลกอริทึม PoS ที่มีคุณสมบัติด้านความปลอดภัยที่แข็งแกร่งกว่านั้นมีอยู่จริง ดังนั้น Peercoin และตัวแปรของมันจึงเป็นไปได้จริง ๆ นอกจากนี้ เรายังค่อยๆ ตระหนักว่ามีกลยุทธ์ความสามารถในการปรับขนาดที่สามารถใช้ร่วมกับอัลกอริธึมการพิสูจน์สัดส่วนการเดิมพันผ่านการสุ่มตัวอย่าง แต่เราไม่รู้ว่าจะทำอย่างไร
ในเวลานั้น เราได้กำหนดแผนงาน และ Vinay Gupta ได้เขียนบล็อกโพสต์ที่ยอดเยี่ยมในเดือนมีนาคม 2015 โดยแสดงรายการ 4 ขั้นตอนหลักของแผนงาน Ethereum ในเวลานั้น ระยะที่ 1: Frontier ซึ่งเป็นจุดที่เราเริ่มโครงการ ระยะที่ 2: Homestead จากอัลฟ่าถึงเบต้า Mist โต้ตอบกับอินเทอร์เฟซผู้ใช้และปรับปรุงประสบการณ์ผู้ใช้ แต่ตั้งแต่นั้นมา ความสนใจของเราได้เปลี่ยนไปใช้การรองรับการเข้ารหัสที่แข็งแกร่งขึ้น และการปรับปรุงอินเทอร์เฟซก็กลายเป็นเป้าหมายคู่ขนานกัน ขั้นตอนที่สี่: ความสงบสุข ตระหนักถึงการพิสูจน์สิทธิและผลประโยชน์ จากนี้ไป ฉันยินดีที่จะเรียกมันว่า Ethereum 2.0 และแน่นอนว่าฉันจะไม่ปฏิเสธที่จะใช้ Shasper เพื่ออ้างถึงมัน เพื่อหลีกเลี่ยงความสับสน เราเรียกมันว่า "ความสงบ" ก็ได้
2015-16: จุดต่ำสุด
จากนั้นเราก็ถึงจุดตกต่ำ: เรามีความล้มเหลวหลายครั้งในการแก้ปัญหาหลักบางอย่างใน PoS, ความสามารถในการขยายขนาด และ Vlad ก็ระงับงานทั้งหมดของเขาใน Casper CBC อย่างเงียบๆ
หนึ่งในแนวคิดที่น่าสนใจที่สุดที่เราได้รับคือ "ฉันทามติโดยการเดิมพัน": ผู้เข้าร่วมเดิมพันว่าบล็อกใดจะได้ข้อสรุปในครั้งต่อไปและเมื่อมีคนเดิมพัน ความจริงที่ว่าพวกเขาเดิมพันเองจะกลายเป็นพื้นฐานสำหรับคนอื่นๆ ในการเดิมพัน ปัจจัยการพิจารณาสำหรับคนที่จะ วางเดิมพัน ด้วยวิธีนี้ ในแง่หนึ่ง เราได้สร้างสูตรแบบเรียกซ้ำ เมื่อเวลาผ่านไป ผู้คนจำนวนมากขึ้นวางเดิมพัน และจะชัดเจนมากขึ้นเรื่อย ๆ ว่าบล็อกใดจะได้ข้อสรุป หลังจากรอบลอการิทึม ทุกคนจะลงทุนทั้งหมด สิทธิและผลประโยชน์ของพวกเขา ดังนั้น เราจึงได้รับการตัดสิทธิ์ เราดำเนินการตามแนวความคิดนั้นค่อนข้างไกล โดยสร้างหลักฐานที่สมบูรณ์ของแนวคิดสำหรับแนวคิดนั้น และคุณสามารถดู (บนสไลด์) กระบวนการกำหนด และฟังก์ชันลายเซ็น และทั้งหมดนั้น ฉันหมายถึง เราใช้เวลาส่วนใหญ่ที่นี่ แต่แล้วความคิดทั้งหมดก็หยุดลง ส่วนใหญ่เป็นเพราะเราตระหนักว่าอัลกอริธึมฉันทามติที่ได้รับแรงบันดาลใจจาก BFT สามารถทำงานได้อย่างปลอดภัยจริง ๆ
เช่าห้องเก็บของ
แนวคิดของ Rent คือ: แทนที่จะเรียกเก็บค่าธรรมเนียมสูงเพียงครั้งเดียวสำหรับการใช้พื้นที่จัดเก็บ เราสามารถเรียกเก็บเงินส่วนเพิ่มได้ ดังนั้น เมื่อพื้นที่จัดเก็บบางส่วนเต็ม คุณต้องจ่าย ETH จำนวนหนึ่งสำหรับพื้นที่ดังกล่าวเป็นรายวัน ต่อบล็อกหรือตามเกณฑ์อื่นๆ ที่นี่เขียนว่า EIP 103 แต่จริงๆ แล้วควรเป็น EIP 35 เนื่องจาก 35 เป็นหมายเลขที่ออก นี่เป็นแนวคิดเบื้องต้น พยายามสร้างแนวคิดที่เป็นทางการ ตั้งแต่นั้นมา เราได้ย้ำหลายครั้งถึงวิธีใช้ประโยชน์จากค่าเช่าให้ได้มากที่สุด
กระดาษวัดความสามารถในการปรับขนาดจากปี 2015
เป้าหมายของบทความนี้คือการสร้างแนวคิดของการแบ่งกลุ่มแบบสมการกำลังสองและการแบ่งกลุ่มแบบกำลังสองขั้นสุด แต่จริงๆ แล้วซับซ้อนเกินไป มันจะเกี่ยวข้องกับเกมยกระดับที่ซับซ้อนมาก แนวคิดทั้งหมดได้รับแรงบันดาลใจจากบทบาทของการยกระดับในระบบกฎหมาย (ฉันรู้ว่าปรัชญาของโจเซฟชอบใช้การเปรียบเทียบนี้มาก) แต่ฉันกำลังพยายามลงลึกถึงชั้นฐาน นอกจากนี้ยังรวมถึง "deep state reversal" ซึ่งหมายความว่าหากมีบางอย่างผิดพลาดจริงๆ สถานะจำนวนมากสามารถย้อนกลับได้ในอนาคต มันซับซ้อนจริงๆ
ความจริงแล้ว หนึ่งในปัญหาพื้นฐานที่เราไม่สามารถเข้าใจได้ทั้งหมด แต่กำลังเข้ามาเรื่อยๆ คือปัญหาที่เรียกว่า "ภาวะที่กลืนไม่เข้าคายไม่ออกของชาวประมง" นี่เป็นแนวคิดพื้นฐานอย่างมากในการวิจัยการแบ่งกลุ่ม โดยอธิบายถึงความแตกต่างอย่างมากระหว่างการดำเนินการปรับขนาดของสถานะ การปรับขนาดการดำเนินการของโปรแกรม และการปรับขนาดความพร้อมใช้งานของข้อมูล ปัญหาพื้นฐานคือ: หากคุณต้องการเรียกใช้โปรแกรม คุณสามารถให้ผู้อื่นยอมรับคำตอบ จากนั้นคุณสามารถใช้เกมท้าทาย ใช้การค้นหาแบบไบนารีเพื่อตัดสินว่าใครผิดในขั้นตอนใด (หมายเหตุผู้แปล: นั่น คือเรียกใช้เพียงครึ่งเดียวของขั้นตอนการคำนวณและเปรียบเทียบผลลัพธ์เพื่อดูว่าทั้งสองฝ่ายทำผิดขั้นตอนใด) และหลังจากยืนยันข้อเท็จจริงแล้วคุณสามารถลงโทษผู้ที่ตอบผิดได้ และปัญหาเกี่ยวกับความพร้อมใช้งานของข้อมูลก็คือ ไม่ว่าเกมท้าทายจะทำงานอย่างไร คุณก็สามารถโกงได้ เพราะคุณไม่สามารถเปิดเผยข้อมูลใดๆ ได้เลยจนกว่ากลไกจะตรวจสอบว่าคุณได้เปิดเผยข้อมูลหรือไม่ จากนั้นคุณจะต้องเปิดเผยเฉพาะส่วนของ ข้อมูลที่กลไกตรวจสอบขึ้น
แล้วก็มีเหตุการณ์ The DAO (ผู้ฟังหัวเราะ) ไม่เป็นไร ไม่มีอะไรอื่น รอสักครู่ มี "การโจมตี Shanghai DoS" อีกครั้ง (ผู้ชมตอบสนองช้าเล็กน้อย)
สรุปแล้ว เหตุการณ์ DAO และการโจมตี DoS ทำให้เหตุการณ์และพลังงานของผู้คนจำนวนมากล่าช้าออกไป แม้ว่าจะนานถึง 6 เดือนก็ตาม อย่างไรก็ตาม เรายังคงก้าวไปข้างหน้า EWASM กำลังก้าวหน้า การวิจัยเกี่ยวกับเครื่องเสมือนกำลังก้าวหน้า และเรายังได้สร้าง EVM1.5 เวอร์ชันทางเลือกอีกด้วย และทุกคนยังมีความเข้าใจเชิงลึกมากขึ้นเกี่ยวกับรูปร่างของอัลกอริทึมบล็อกเชนที่ดีขึ้นจากหลายมุมมอง
ชื่อเรื่องรอง
Casper FFG
เคลื่อนไปข้างหน้า
จากนั้นเราก็ก้าวหน้าอย่างรวดเร็ว ในช่วงเวลานี้ เราได้เรียนรู้ในด้านการวิจัยต่างๆ มากมาย: บางส่วนเกี่ยวกับการพิสูจน์การเดิมพัน โดยหวังว่าจะทำให้ชั้นฉันทามติของเรามีประสิทธิภาพมากขึ้น บางส่วนเกี่ยวกับความสามารถในการปรับขนาด โดยหวังว่าจะทำให้ฉันทามติในชั้นฐานของเราสามารถแบ่งส่วนได้ บางส่วนพยายามปรับปรุงประสิทธิภาพของระบบเสมือน เครื่องจักรบางตัวอยู่รอบ ๆ นามธรรมของบัญชีซึ่งอนุญาตให้ผู้ใช้เลือกรูปแบบลายเซ็นที่จะใช้ซึ่งจะได้รับความปลอดภัยในยุคหลังควอนตัมและทำให้โซลูชั่นความเป็นส่วนตัวง่ายขึ้น และอีกอันที่หมุนรอบแบบจำลองทางเศรษฐกิจของชั้นโปรโตคอล แน่นอนว่าทั้งหมดนี้ยังคงเติบโต
แนวคิดพื้นฐานมีดังนี้: บล็อกใหม่จะถูกสร้างขึ้นอย่างต่อเนื่องบนบล็อกเชน และคุณสามารถได้รับประสิทธิภาพเวอร์ชันไปป์ไลน์ผ่านการผสานและการสังเกตอย่างต่อเนื่อง: ในตอนเริ่มต้นของแต่ละรอบ คุณจะเพิ่มข้อมูลสำหรับรอบนี้ และใน ในรอบต่อไป ผู้คนสามารถยืนยันข้อมูลเหล่านี้บางส่วนได้ เราจะได้รับการปรับปรุงประสิทธิภาพอย่างมากจากข้อมูลดังกล่าว บล็อกหลักของบล็อกได้รับการสรุปแล้ว)
การกระจายตัว
ในตอนแรก มีเงื่อนไขการลงโทษขั้นต่ำ 6 ข้อ จากนั้นฉันก็ลดเหลือ 4 ข้อ และอีกหนึ่งปีต่อมาเราก็หยุดการรวมการเตรียมการและการกระทำ นี่คือ Casper Friendly Finality Gadget (FFG, friendly deterministic gadget)
Casper CBC
การกระจายตัว
Casper FFG POC
ที่ Devcon ปีที่แล้ว ฉันได้สาธิตการออกแบบ Sharding ใหม่นี้ ซึ่งจะทำให้ Main Chain ไม่เปลี่ยนแปลง จากนั้นสร้าง Shard เป็นระบบ Layer-2 ในแง่หนึ่ง และติดตั้งบน Main Chain ที่มีอยู่ ยืนยันว่าเพียงพอแล้ว หลังจากเชื่อถือได้แล้ว จะได้รับการอัปเกรดเป็น Layer-1
จากนั้นก็มีกระดาษ Casper CBC ~ จาก Vlad
Shasper
เมื่อเวลา 23:40 น. ของวันที่ 31 ธันวาคม 2560 ตามเวลาประเทศไทย เราบังเอิญอยู่ในประเทศไทย ณ เวลานั้น และการพิสูจน์แนวคิดของ Casper FFG ก็เกิดขึ้น ในเวลานั้น เราต้องการทราบว่ารายละเอียดทางเทคนิคของข้อตกลงแบบไฮบริดของ PoW/PoS จะมีลักษณะอย่างไร และฉันทามติแบบไฮบริดนี้จะใช้แนวคิดบางอย่างจาก Casper FFG และฉันทามติแบบทนต่อข้อผิดพลาดแบบไบแซนไทน์แบบดั้งเดิม แนวคิดที่ได้รับแรงบันดาลใจ และโหลด ในห่วงโซ่การพิสูจน์งานที่มีอยู่ นี่จะเป็นกลไกที่ช่วยให้เราสามารถย้ายไปยังฉันทามติแบบผสมผสานได้อย่างรวดเร็วโดยมีการหยุดชะงักน้อยที่สุดกับบล็อกเชนที่มีอยู่ และในทางทฤษฎีแล้ว เราจะสามารถอัปเกรดเป็น Proof-of-stake ได้อย่างสมบูรณ์
เรามาไกลบนเส้นทางนี้แล้ว เรายังสร้างไคลเอ็นต์ทดสอบ Python โดยใช้ VPS เซิร์ฟเวอร์ และการสื่อสารผ่านคอมพิวเตอร์ที่แตกต่างกันสำหรับการทดสอบ
ในเวลาเดียวกัน เรามีความคืบหน้าอย่างมากในการแยกชิ้นส่วน เรายังคงปรับปรุงรายละเอียดทางเทคนิคของการชาร์ดดิ้ง และในที่สุดเราก็จัดแบ่งกลุ่มในไทเปในเดือนมีนาคม 2018 ความคิดมากมายเริ่มปรากฏขึ้นที่นี่ และวิธีการใช้งานบล็อกเชนแบบแยกชิ้นส่วนดูเหมือนจะชัดเจน ใช่มันดูชัดเจนขึ้น
ในเดือนมิถุนายน เราได้ทำการตัดสินใจที่ยากลำบากมาก แต่การตัดสินใจนั้นโดยส่วนตัวแล้วฉันคิดว่าจะให้ผลตอบแทนที่ดีในระยะยาว เราพบว่า: เฮ้ ที่นี่เรามีหลายทีมที่กำลังใช้การพิสูจน์การเดิมพันแบบผสมผสาน พวกเขากำลังพยายามพัฒนา Casper FFG เป็นสัญญาที่ชาญฉลาดในห่วงโซ่ที่มีอยู่ และปรับกฎการเลือกส้อม อีกด้านหนึ่ง มีหลายทีม ที่แยกออกจากกันโดยสิ้นเชิง ทีมงานจะพัฒนา Validator หรือ Manager Contract (ภายหลังเปลี่ยนชื่อเป็น On-chain Shard Manager Contract) และพัฒนาระบบ Sharding บนพื้นฐานนี้ ไม่มีการสื่อสารระหว่างกัน ในด้านการแตกย่อย ในที่สุดก็เป็นที่ชัดเจนว่าการวางแกนของระบบการแบ่งย่อยบนห่วงโซ่ PoS จะทำให้เรามีประสิทธิภาพมากขึ้น การเป็นสัญญาบนห่วงโซ่ PoW เราจะต้องจัดการกับค่าใช้จ่ายของ EVM รับมือกับแก๊ส กลไกและการรับมือกับเวลาบล็อก PoW ที่คาดเดาไม่ได้ การชาร์ดดิ้ง PoS+ สามารถก่อให้เกิดประโยชน์มากมาย เช่น เวลาบล็อกเร็วขึ้น
แล้วเราก็ได้รู้ว่าเหตุใดจึงมีทีมพัฒนา PoS ที่นี่ และมีโครงการ PoS อีกแห่งที่นั่น ทำไมเราต้องทำงานซ้ำซาก? จากนั้นเราตัดสินใจที่จะรวมงานของทั้งสองฝ่าย การตัดสินใจครั้งนี้เปรียบเสมือนโทษประหารสำหรับผลงานก่อนหน้านี้หลายชิ้น แต่ความสำคัญนั้นลึกซึ้ง เราจะทำงานร่วมกัน พัฒนาข้อกำหนดทางเทคนิคเดียวกัน โปรโตคอลเดียวกัน และเราสามารถสร้าง Casper PoS และ Sharding เสริมซึ่งกันและกันได้ในเวลาเดียวกัน
สรุปแล้ว แทนที่จะมีจุดประสงค์หนึ่งที่นี่และอีกจุดประสงค์หนึ่งที่นั่น แล้วพยายามหาวิธีรวมทั้งสองเข้าด้วยกัน เราอาจใช้เวลาเพิ่มขึ้นอีกเล็กน้อยที่จุดเริ่มต้น และไปสู่ชุดของการพิสูจน์ เดิมพันและบล็อกเชนที่แยกย่อย (เสียงปรบมือ)
อื่น
ในเวลาเดียวกัน เราใช้เวลามากมายในการพูดคุยเกี่ยวกับกฎการเลือกส้อม และในที่สุด เราก็เข้าใกล้มากขึ้นและเข้าใจกฎการเลือกส้อมมากขึ้น แม้ว่าเดิมอัลกอริทึม GHOST ได้รับการออกแบบมาสำหรับการพิสูจน์ปริมาณงาน เนื่องจากสำหรับชุดของ เหตุผล เราเสนอใหม่เพื่อพิสูจน์การเดิมพัน
นอกจากนี้ เรายังพัฒนาแนวคิดเพิ่มเติมเกี่ยวกับวิธีการนำสิ่งที่เป็นนามธรรมและค่าเช่าไปใช้ ด้วยเหตุผลบางประการ เราจึงตัดสินใจเปลี่ยนชื่อการจัดเก็บค่าเช่าเป็นค่าบำรุงรักษาการจัดเก็บ
ในแง่ของการวิจัย เรากำลังศึกษาธุรกรรมข้ามชาร์ด เช่น csoss-shard-yanking เรากำลังสรุปแนวคิดบางอย่างในระบบกระจายแบบดั้งเดิมและใช้ในสภาพแวดล้อมข้ามชาร์ดแบบอะซิงโครนัส นอกจากนี้ยังมีเอกสารเกี่ยวกับการกำหนดราคาทรัพยากร รวมถึง เพิ่มประสิทธิภาพตลาดค่าธรรมเนียม วิธีคิดค่าธรรมเนียมการบำรุงรักษาพื้นที่จัดเก็บ และการแลกเปลี่ยนระหว่างการออกแบบต่างๆ เคซีย์ยังเขียนโพสต์นี้เกี่ยวกับธุรกรรมข้ามชาร์ดภายใต้สมมติฐานการซิงโครไนซ์ แน่นอน การวิจัยของ CBC ยังได้ขยายไปถึงสาขาของ sharding อย่างไรก็ตาม นี่ไม่ได้เรียกว่า Valding จริงๆ วลาดเกลียดคำนี้มาก นอกจากนี้ยังมีการพัฒนากลยุทธ์ที่เราใช้ในการพัฒนา Ethereum 2.0 คือการติดตามการพัฒนาแบบกระจายอำนาจหลายไคลเอนต์ที่สร้างสรรค์ นี่ไม่ใช่เพียงเพราะเราแสวงหาการกระจายอำนาจ แต่ยังเป็นกลยุทธ์ที่ใช้งานได้จริง ซึ่งก็คือการเดิมพันว่าทีมอื่นจะไม่ดีเท่าคุณ นอกจากนี้ เหตุการณ์ที่เซี่ยงไฮ้ทำให้เราตระหนักว่าหากลูกค้าบางรายล้มเหลว มีปัญหาและไคลเอนต์อื่น ๆ ไม่ทำงาน เครือข่ายทั้งหมดสามารถทำงานได้ดีขึ้น ยังไงก็ตาม มันยังทำให้การพัฒนาระบบนิเวศทั้งหมดขึ้นอยู่กับรากฐานน้อยลงด้วย ไคลเอนต์ที่มูลนิธิพัฒนาจริงคือไคลเอนต์ Python และ Python มีข้อจำกัดโดยธรรมชาติในด้านประสิทธิภาพ ซึ่งทำให้ผู้คนมีแรงจูงใจในการเรียกใช้ไคลเอนต์ที่สร้างโดย Prysmatic, Lighthouse, Status และ Pegasus และอื่นๆ ที่ผุดขึ้นในไคลเอนต์ที่พัฒนาโดยทีม
ชื่อเรื่องรอง
เซเรนิตี้ที่กำลังจะมาถึง
ฉันต้องบอกว่าตอนลงมา เรียกแชสเปอร์ไม่ได้ ความสงบกำลังจะออกเดินทาง!
ความสงบสุขคืออะไร?
ก่อนอื่น Serenity เป็นด่านที่สี่รองจาก Frontier, Homestead และ Metropolis แน่นอน มหานครแบ่งออกเป็นสองช่วง ไบแซนเทียมและคอนสแตนติโนเปิล และการอัปเกรดคอนสแตนติโนเปิลกำลังจะเริ่มขึ้น
ประการที่สอง เป็นผลสรุปของการวิจัยสี่ปีที่เราดำเนินการในพื้นที่ต่างๆ เหล่านี้ รวมถึง Casper (ไม่ใช่แค่ฉันทามติแบบผสม แต่เป็น Casper บริสุทธิ์ 100%) การแบ่งส่วนข้อมูล EWASM และแนวคิดการวิจัยโปรโตคอลทั้งหมดนี้
นี่คือบล็อกเชนรูปแบบใหม่ สิ่งนี้เป็นจริงในแง่ของโครงสร้างข้อมูล แต่จะรักษาการเชื่อมต่อบางอย่างกับ blockchain ที่พิสูจน์แล้วในปัจจุบัน จากนั้น ตัวอย่างเช่น สายโซ่ PoS สามารถรับรู้ค่าแฮชบล็อกของสายโซ่ PoW และคุณสามารถถ่ายโอนอีเธอร์จากสายโซ่ PoW ไปยังสายโซ่ PoS นี่คือระบบใหม่และระบบที่เชื่อมต่อกัน เป้าหมายระยะยาวคือ: เมื่อระบบใหม่มีเสถียรภาพเพียงพอ แอปพลิเคชัน blockchain ที่มีอยู่ทั้งหมดสามารถจัดเก็บไว้ในชาร์ดหนึ่งในระบบใหม่ สัญญา จากนั้นจะมีตัวแปล EVM เขียนใน EWASM นี่ยังไม่สรุป แต่ ณ จุดนี้ มันเกือบจะเป็นแผนงานของเราแล้ว
อีกครั้ง Serenity จะกลายเป็นคอมพิวเตอร์โลก ไม่เหมือนสมาร์ทโฟนในปี 1999 ที่สามารถประมวลผลได้เพียง 15 รายการต่อวินาที แทบจะไม่สามารถเล่น Snake ได้
ในท้ายที่สุด Serenity จะยังคงมีการกระจายอำนาจ และเราหวังว่าในบางมิติ จะสามารถกระจายอำนาจได้มากกว่าบล็อกเชนที่มีอยู่ ตัวอย่างเช่น ในฐานะผู้ตรวจสอบความถูกต้องของ beacon chain ความต้องการพื้นที่เก็บข้อมูลของคุณ (ปัจจุบัน) อาจน้อยกว่า 1GB เมื่อเทียบกับ 8GB ที่คุณต้องการในปัจจุบันเพื่อจัดเก็บสถานะ หรือจัดเก็บ Ethereum ตามข่าวลือบนอินเทอร์เน็ตว่า blockchain ต้องการ 1.8TB ซึ่งจะดีขึ้นมาก
ขั้นตอนที่คาดหวัง
ขั้นตอนที่ 0: ห่วงโซ่สัญญาณพิสูจน์การเดิมพัน จากมุมมองหนึ่ง PoS beacon chain เป็นคลังสินค้าบล็อกเชนที่เก็บข้อมูลทั้งหมด แต่ตัวมันเองกลับเงียบ จะมีตัวตรวจสอบบางอย่างบน beacon chain และตัวตรวจสอบความถูกต้องเหล่านี้จะเรียกใช้อัลกอริทึม PoS มันเหมือนกับบางสิ่งที่อยู่ระหว่าง testnet และ mainnet ไม่ใช่ testchain แน่นอน เพราะคุณสามารถเดิมพัน Ether จริงและรับรางวัล Ether จริง แต่ก็ไม่ใช่ห่วงโซ่หลักเช่นกัน เนื่องจากไม่มีแอปพลิเคชัน ดังนั้นหากเกิดขัดข้อง ผู้คนจะไม่ร้องไห้เหมือนตอนที่มีการโจมตี Shanghai DoS
ขั้นตอนที่ 1: Shard chain เป็นห่วงโซ่ข้อมูล นี่คือบทบาทที่เศษจะมี นี่เป็นเวอร์ชันที่เรียบง่าย ซึ่งหมายความว่าเราจะไม่แบ่งส่วนสถานะ แต่แบ่งส่วนข้อมูล คุณสามารถใส่ข้อมูลลงในเชนและลองรันเอ็นจิ้นการดำเนินการสถานะของคุณเอง ในความเป็นจริงแล้ว สิ่งที่ง่ายที่สุดในการแบ่งย่อยคือข้อมูล ดังนั้นหากคุณต้องการทำแอปพลิเคชันแบบกระจายอำนาจบนบล็อกเชน ตอนนี้คุณมีความสามารถในการปรับขนาด แต่คุณไม่มีความสามารถในการบังคับใช้ของรัฐในการพัฒนาแอปพลิเคชันสัญญาอัจฉริยะและสิ่งที่ซับซ้อนมากเหล่านั้น (หมายเหตุผู้แปล: ประโยคนี้ควรสงสัย ในนาทีที่ 23 ของวิดีโอแนบมากับลิงก์ต้นฉบับ)
ขั้นตอนที่ 2: รองรับการเปลี่ยนสถานะของ EWASM ซึ่งรวมถึง: การสนับสนุนสำหรับเครื่องเสมือน, การสนับสนุนสำหรับบัญชี, สัญญา, การถ่ายโอนอีเธอร์ระหว่างชาร์ด และอื่นๆ
ระยะที่ 3 และหลังจากนั้น: การทำซ้ำอย่างต่อเนื่อง เพิ่มเทคโนโลยีใหม่
ลักษณะที่ต้องการ
ฉันทามติ Pure PoS
เวลายืนยันการซิงค์เร็วขึ้น (8-16 วินาที) โปรดทราบว่าเนื่องจากกฎการเลือกส้อมและกลไกลายเซ็นของ beacon chain การยืนยันบน beacon chain จึงรวมข้อความที่ส่งผ่านระหว่างผู้ตรวจสอบหลายร้อยคน จากมุมมองของความน่าจะเป็น จริง ๆ แล้วเทียบเท่ากับการยืนยัน Ethereum ที่มีอยู่หลายร้อยครั้งบน a บล็อกเชนพิสูจน์การทำงาน ภายใต้สมมติฐานของการส่งข้อความแบบซิงโครนัส มันสามารถถือเป็นการสิ้นสุดการบล็อก
การดำเนินการเครื่องเสมือนที่เร็วขึ้นผ่าน EWASM
ตามหลักการแล้ว ความสามารถในการปรับขนาดทำได้ 1,000 เท่า
ชื่อเรื่องรอง
นวัตกรรมหลังความสงบ
เสริมสร้างการปกป้องความเป็นส่วนตัว เราได้ทำงานมากมาย ตัวอย่างเช่น ในเฟสไบแซนไทน์ เราเปิดใช้งานการคอมไพล์ล่วงหน้าของการดำเนินการเส้นโค้งวงรีและการจับคู่เส้นโค้งวงรี Barry White ทำงานได้ดีมากโดยใช้ Layer-2 เพื่อปกป้องความเป็นส่วนตัวในการโอนโทเค็น การลงคะแนน และระบบชื่อเสียง งานเหล่านี้สามารถยืมได้ทั้งหมด
ธุรกรรมข้ามชาร์ด
เครือกึ่งเอกชน. แนวคิดคือถ้าคุณต้องการพัฒนาแอปพลิเคชันบางอย่างและเก็บข้อมูลส่วนตัวของผู้ใช้บางคน คุณยังคงสามารถใส่ข้อมูลทั้งหมดลงในห่วงโซ่สาธารณะได้ แต่คุณใส่ข้อมูลในรูปแบบการเข้ารหัส หรืออัปโหลดแฮชค่า Hive และการพิสูจน์ที่ไม่มีความรู้ สามารถตัดสินใจได้ด้วยตัวเอง
นวัตกรรมในการพิสูจน์การเดิมพัน นี่เป็นสิ่งที่เรากังวลอยู่เสมอ เมื่อ Casper CBC ประหยัดเพียงพอ มันจะถูกเพิ่มเข้าไปในแผนงานของเรา
รูปแบบการทำธุรกรรมข้ามส่วนที่แข็งแกร่งยิ่งขึ้น
ยืนยันโสดเร็วขึ้น ลดเวลาการยืนยันจาก 8 วินาทีเป็นต่ำกว่า
ชื่อเรื่องรอง
เป้าหมายระยะกลาง
ทำให้การทำงานของ Layer-1 เสถียรในที่สุด
มีความเห็นเป็นเอกฉันท์มากขึ้นเกี่ยวกับการรับประกันและคุณสมบัติที่ผู้คนต้องการให้ชั้นโปรโตคอลมีให้
พิจารณาปัญหาธรรมาภิบาล
ชื่อเรื่องรอง
การอัปเดตที่จะเกิดขึ้นเราจะทำการอัปเดตอะไรอีกบ้างก่อนการเปิดตัวครั้งสุดท้าย
ขั้นแรก ให้สรุปข้อมูลจำเพาะของโปรโตคอลเลเยอร์บรรดาผู้ที่ติดตาม ethereum และ 2.0 main spec, beacon chain spec และอื่นๆ บน GitHub ควรทราบว่าชั้นของ protocol กำลังพัฒนาอย่างรวดเร็ว แต่เราจะทำให้มันเสถียรในเร็วๆ นี้
ดำเนินการพัฒนาและทดสอบต่อไปการใช้งานโปรโตคอล Ethereum 2.0 แปดรายการกำลังอยู่ในระหว่างการพัฒนา
เครือข่ายทดสอบข้ามไคลเอนต์
บางคนแสดงความปรารถนาอย่างยิ่งที่จะเห็นเครือข่ายทดสอบข้ามไคลเอนต์ทำงานในเดือนมกราคมปีหน้า แน่นอนว่าฉันมีความสุขมากเช่นกันที่ได้เห็นความหวังในเดือนสิงหาคมปีนี้ นี่คือการทบทวนโดยย่อเกี่ยวกับกระบวนการพัฒนาของ Ethereum 1.0 ตั้งแต่แนวคิดที่เสนอในเอกสารไวท์เปเปอร์ไปจนถึงการเปิดตัวอย่างเป็นทางการ มีช่วงเวลา 19 เดือน ส่วนหนึ่งของเหตุผลที่ใช้เวลานานเช่นนี้คือเราพยายามสร้างความเข้ากันได้ข้ามไคลเอนต์ก่อนที่ข้อกำหนดทางเทคนิคจะสิ้นสุด เรา ตกลงที่จะทดสอบและปล่อย Testnet รอการเปลี่ยนแปลงโปรโตคอล ตกลงที่จะเปิดตัว testnet ใหม่ จากนั้นรอการเปลี่ยนแปลงโปรโตคอลเพิ่มเติม กลับไปกลับมา 5 ครั้ง เราได้เรียนรู้บทเรียนในเรื่องนี้แล้ว เราไม่จำเป็นต้องเน้นที่ความเข้ากันได้ข้ามไคลเอ็นต์อย่างเต็มที่ และเราสามารถรอจนกว่าเราจะสรุปข้อกำหนดทางเทคนิคให้เสร็จสิ้นจริงๆ ฉันไม่คิดว่าเรายังห่างไกลเกินไปที่จะเผยแพร่ผู้สมัครเพื่อรับบันทึกทางเทคนิค อย่างน้อยก็ในส่วนที่ไม่รวมถึงการบังคับใช้ของรัฐ
ในที่สุดก็มีการตรวจสอบความปลอดภัย ใครบ้างในกลุ่มผู้ฟังที่คิดว่าการตรวจสอบความปลอดภัยมีความสำคัญ? (เสียงจากผู้ชม) ผู้ชมคนไหนคิดว่า Security Audit ไม่สำคัญ? (เงียบ) ใครคิดว่าโลกถูกควบคุมโดยลิซาร์ดแมน? (เสียงหัวเราะจากผู้ชม) อืม คนในภาคสามหัวเราะเป็นครั้งที่สอง ซึ่งยอดเยี่ยมมาก
