ให้มันมา
tldr;
การตรวจสอบการตรวจสอบรันไทม์และการตรวจสอบสัญญาเงินฝาก
การตรวจสอบรันไทม์เพิ่งเสร็จสิ้นการตรวจสอบและ การตรวจสอบอย่างเป็นทางการ ของ สัญญาเงินฝาก ETH2 Bytecode นี่เป็นเหตุการณ์สำคัญที่ทำให้เราใกล้ชิดกับ ETH2 เฟส 0 Mainnet มากขึ้น ตอนนี้งานนี้เสร็จสมบูรณ์ฉันขอรีวิวและแสดงความคิดเห็นโดยชุมชน หากมีช่องว่างหรือข้อผิดพลาดในข้อกำหนดที่เป็นทางการโปรดโพสต์ปัญหาเกี่ยวกับ eth2 specs repo–
ความหมายอย่างเป็นทางการที่ระบุไว้ใน Okay Framework กำหนดพฤติกรรมที่แม่นยำที่ EVM bytecode ควรจะ exibit และพิสูจน์ว่าพฤติกรรมเหล่านี้มีอยู่ เหล่านี้รวมถึงการตรวจสอบการป้อนข้อมูลการอัปเดตของแผนผัง Merkle ซ้ำบันทึกและอื่น ๆ ลุวกดู ที่นี่ สำหรับการอภิปรายระดับสูง (กึ่ง) เกี่ยวกับสิ่งที่ระบุไว้และขุดลึกลงไป ที่นี่ สำหรับข้อกำหนด Okay อย่างเป็นทางการเต็มรูปแบบ
ฉันต้องการขอบคุณ Daejun Park (การตรวจสอบรันไทม์) สำหรับความพยายามและ Martin Lundfall และ Carl Beekhuizen สำหรับข้อเสนอแนะและการตรวจสอบอย่างมากตลอดทาง
อีกครั้งหากสิ่งนี้เป็นถ้วยชาของคุณตอนนี้เป็นเวลาที่จะให้ข้อมูลและข้อเสนอแนะเกี่ยวกับการตรวจสอบอย่างเป็นทางการ – โปรดดู
คำพูดของเดือนคือ “การเพิ่มประสิทธิภาพ”
เดือนที่ผ่านมาเป็นเรื่องเกี่ยวกับการเพิ่มประสิทธิภาพ
แม้ว่าการเพิ่มประสิทธิภาพ 10x ที่นี่และการเพิ่มประสิทธิภาพ 100x แต่ก็ไม่รู้สึกเป็นรูปธรรมต่อชุมชน Ethereum ในวันนี้การพัฒนาขั้นตอนนี้มีความสำคัญเท่ากับอื่น ๆ ในการพาเราไปสู่เส้นชัย
การเพิ่มประสิทธิภาพโซ่ Beacon เป็นสิ่งสำคัญ
(ทำไมเราไม่สามารถหาเครื่องจักรของเราได้สูงสุดด้วยห่วงโซ่ Beacon)
ห่วงโซ่ Beacon – แกนกลางของ ETH2 – เป็นองค์ประกอบที่จำเป็นสำหรับส่วนที่เหลือของระบบที่ถูกทำลาย เพื่อซิงค์ Shard ใด ๆ – ไม่ว่าจะเป็น Shard เดียวหรือหลายคนลูกค้า ต้อง ซิงค์ห่วงโซ่สัญญาณ ดังนั้นเพื่อให้สามารถเรียกใช้ห่วงโซ่สัญญาณและเศษหนึ่งกำมือบนเครื่องผู้บริโภคจึงเป็นสิ่งสำคัญยิ่งที่ห่วงโซ่สัญญาณมีการใช้ทรัพยากรค่อนข้างต่ำแม้ว่าการมีส่วนร่วมของตัวตรวจสอบความถูกต้องสูง (~ 300K+ ตัวตรวจสอบ)
ด้วยเหตุนี้ความพยายามอย่างมากของทีมลูกค้า ETH2 ในเดือนที่ผ่านมาได้ทุ่มเทให้กับการเพิ่มประสิทธิภาพ – ลดความต้องการทรัพยากรของเฟส 0 ซึ่งเป็นห่วงโซ่ Beacon
ฉันยินดีที่จะรายงานว่าเราเห็นความคืบหน้าอย่างยอดเยี่ยม สิ่งต่อไปนี้คือ ไม่ ครอบคลุม แต่เป็นแทน เหลือบ เพื่อให้คุณมีความคิดเกี่ยวกับงาน
Lighthouse ใช้ตัวตรวจสอบตัวตรวจสอบ 100K เหมือนสายลม
Lighthouse ได้นำ Testnet ตรวจสอบความถูกต้อง ~ 16K ไปสองสามสัปดาห์ที่ผ่านมาหลังจากการทดสอบการถ่ายทอดซุบซิบนินทาทำให้โหนดเป็นหลัก Sigma Prime ได้ทำการแก้ไขข้อผิดพลาดนี้อย่างรวดเร็วและมองไปที่สิ่งที่ใหญ่กว่าและดีกว่า – เช่น Testnet ผู้ตรวจสอบความถูกต้อง 100K! สองสัปดาห์ที่ผ่านมาได้ทุ่มเทให้กับการปรับให้เหมาะสมเพื่อให้ Testnet สเกลในโลกแห่งนี้เป็นจริง
เป้าหมายของแต่ละประภาคาร Progressive Lighthouse Testnet คือเพื่อให้แน่ใจว่าผู้ตรวจสอบหลายพันคนสามารถทำงานบน VPs ขนาดเล็กที่จัดเตรียมด้วย 2 ซีพียูและ RAM 8GB การทดสอบเบื้องต้นด้วยตัวตรวจสอบความถูกต้อง 100K เห็นลูกค้าใช้ RAM 8GB ที่สอดคล้องกัน แต่หลังจากการปรับให้เหมาะสมไม่กี่วันพอลก็สามารถลดสิ่งนี้ให้อยู่ในระดับ 2.5GB ที่มั่นคงด้วยแนวคิดบางอย่างที่จะลดลงในไม่ช้า ประภาคารยังทำกำไรได้ 70% ในการแฮชของรัฐซึ่งพร้อมกับการตรวจสอบลายเซ็น BLS นั้นพิสูจน์ให้เห็นว่าเป็นคอขวดหลักในการคำนวณในลูกค้า ETH2
การเปิดตัว Lighthouse Testnet ใหม่คือ ใกล้– ผุดขึ้นมา ความไม่ลงรอยกันของพวกเขา เพื่อติดตามความคืบหน้า
prysmatic testnet ยังคง chugging และซิงค์ปรับปรุงอย่างหนาแน่น
สองสามสัปดาห์ที่ผ่านมา Prysm Testnet ปัจจุบัน เฉลิมฉลองสล็อตที่ 100,000 ของพวกเขา มีการตรวจสอบความถูกต้องมากกว่า 28K วันนี้ TestNet ผ่านสล็อต 180K และมีตัวตรวจสอบตัวตรวจสอบที่ใช้งานมากกว่า 35K การรักษา Testnet สาธารณะในขณะเดียวกันก็มีการอัพเดทการปรับปรุงการเพิ่มประสิทธิภาพแพตช์เสถียร ฯลฯ เป็นความสำเร็จ
มีความคืบหน้าอย่างต่อเนื่องมากมายใน PRYSM ฉันได้พูดคุยกับผู้ตรวจสอบจำนวนมากในช่วงไม่กี่เดือนที่ผ่านมาและจากมุมมองของพวกเขาลูกค้ายังคงปรับปรุงอย่างชัดเจน หนึ่งรายการที่น่าตื่นเต้นเป็นพิเศษคือการปรับปรุงความเร็วการซิงค์ ทีม prysmatic ปรับการซิงค์ลูกค้าของพวกเขาจาก ~ 0.3 บล็อก/วินาทีเป็นมากกว่า 20 บล็อก/วินาที สิ่งนี้ช่วยปรับปรุงการตรวจสอบความถูกต้อง UX อย่างมากทำให้พวกเขาสามารถเชื่อมต่อและเริ่มมีส่วนร่วมกับเครือข่ายได้เร็วขึ้นมาก
อีกหนึ่งที่น่าตื่นเต้นสำหรับ PRYSM TestNet คือ Alethio’s การตรวจสอบโหนด ETH2 ใหม่ – eth2stats.io– นี่คือบริการที่เลือกใช้ที่อนุญาตให้โหนดรวมสถิติในที่เดียว สิ่งนี้จะช่วยให้เราเข้าใจสถานะของ testnets และในที่สุด Eth2 Mainnet
อย่าเชื่อฉัน! ดึงมันลงแล้วลองด้วยตัวคุณเอง–
ทุกคนรัก Proto_Array
ข้อมูลจำเพาะ Core ETH2 บ่อยครั้ง (อย่างรู้เท่าทัน) ระบุพฤติกรรมที่คาดหวังไม่ได้ดีที่สุด รหัสข้อมูลจำเพาะนั้นได้รับการปรับให้เหมาะสมสำหรับการอ่านความตั้งใจมากกว่าสำหรับประสิทธิภาพ
ข้อมูลจำเพาะอธิบายพฤติกรรมที่ถูกต้องของระบบในขณะที่อัลกอริทึมเป็นขั้นตอนสำหรับการดำเนินการพฤติกรรมที่ระบุ อัลกอริทึมที่แตกต่างกันมากมายสามารถใช้ข้อกำหนดเดียวกันได้อย่างซื่อสัตย์ ดังนั้นข้อมูลจำเพาะ ETH2 ช่วยให้การใช้งานที่แตกต่างกันหลากหลายของแต่ละองค์ประกอบเป็นทีมลูกค้าคำนึงถึงจำนวนการแลกเปลี่ยนที่แตกต่างกันจำนวนมาก (เช่นความซับซ้อนในการคำนวณการใช้หน่วยความจำความซับซ้อนในการนำไปใช้ ฯลฯ )
ตัวอย่างหนึ่งดังกล่าวคือ ทางเลือกส้อม – ข้อมูลจำเพาะที่ใช้ในการค้นหาหัวของโซ่ ข้อมูลจำเพาะ ETH2 ระบุพฤติกรรมโดยใช้อัลกอริทึมที่ไร้เดียงสาเพื่อแสดงชิ้นส่วนที่เคลื่อนไหวและเคสขอบอย่างชัดเจน – เช่นวิธีการอัปเดตน้ำหนักเมื่อการยืนยันใหม่เข้ามาสิ่งที่ต้องทำเมื่อบล็อกใหม่สิ้นสุดลง อัลกอริทึม Spec จะไม่ตอบสนองความต้องการการผลิตของ ETH2 ทีมลูกค้าต้องคิดอย่างลึกซึ้งยิ่งขึ้นเกี่ยวกับการแลกเปลี่ยนการคำนวณในบริบทของการดำเนินงานของลูกค้าและใช้อัลกอริทึมที่ซับซ้อนยิ่งขึ้นเพื่อตอบสนองความต้องการเหล่านั้น
โชคดีสำหรับทีมลูกค้าประมาณ 12 เดือนที่ผ่านมา Protolambda ดำเนินการ อัลกอริทึมตัวเลือกส้อมที่แตกต่างกันบันทึกผลประโยชน์และการแลกเปลี่ยนของแต่ละคน เมื่อเร็ว ๆ นี้ Paul จาก Sigma Prime ได้สังเกตคอขวดสำคัญในอัลกอริทึม Fork Alternative ของประภาคารและไปซื้อของใหม่ เขาค้นพบ Proto_Array ในรายการเก่าของ Proto
ต้องทำงานบางอย่างไปที่พอร์ต Proto_Array เพื่อให้พอดีกับข้อมูลจำเพาะล่าสุด แต่เมื่อรวมเข้าด้วยกัน Proto_Array พิสูจน์แล้วว่า “ทำงานตามคำสั่งของขนาดเวลาน้อยลงและดำเนินการอ่านฐานข้อมูลน้อยลงอย่างมีนัยสำคัญ” หลังจากการรวมเข้าสู่ประภาคารมันถูกหยิบขึ้นมาอย่างรวดเร็วโดย prysmatic เช่นกันและมีให้ในรุ่นล่าสุดของพวกเขา ด้วยความได้เปรียบที่ชัดเจนของอัลกอริทึมนี้มากกว่าทางเลือกอื่น Proto_Array กำลังกลายเป็นคนโปรดอย่างรวดเร็วและฉันคาดหวังอย่างเต็มที่ว่าจะได้เห็นทีมอื่นมารับมันเร็ว ๆ นี้!
การวิจัยระยะที่ 2 อย่างต่อเนื่อง – ผ้าห่ม, ewasm และตอนนี้ txrx
ขั้นตอนที่ 2 ของ ETH2 เป็นการเพิ่มรัฐและการดำเนินการในจักรวาล ETH2 แม้ว่าหลักการสำคัญบางประการจะมีการกำหนดค่อนข้างมาก (เช่นการสื่อสารระหว่างเศษผ่าน crosslinks และการพิสูจน์ Merkle) ภูมิทัศน์การออกแบบระยะที่ 2 ยังคงค่อนข้างกว้าง ผ้าห่ม (ทีมวิจัย Consensys) และ การพูดจาโผงผาง (ทีมวิจัย EF) ใช้เวลาส่วนใหญ่ในการค้นคว้าในปีที่ผ่านมา
ด้วยเหตุนี้จึงมีกิจกรรมการโทรสาธารณะการอภิปรายและ ethresear.ch โพสต์ มีแหล่งข้อมูลที่ดีบางอย่างที่จะช่วยให้ได้ที่ดิน ต่อไปนี้เป็นเพียงตัวอย่างเล็ก ๆ :
นอกจากผ้าห่มและ ewasm แล้วสิ่งที่เพิ่งเกิดขึ้น txrx (ทีมวิจัยร่วมกัน) กำลังอุทิศส่วนหนึ่งของความพยายามของพวกเขาที่มีต่อการวิจัยระยะที่ 2 เช่นกันโดยเริ่มต้นที่การทำความเข้าใจความซับซ้อนของการทำธุรกรรมข้ามแชร์ที่ดีขึ้นเช่นเดียวกับการค้นคว้าและการสร้างต้นแบบเส้นทางที่เป็นไปได้สำหรับการรวม ETH1 เข้ากับ ETH2
การวิจัยและพัฒนาระยะที่ 2 ทั้งหมดเป็นสนามที่ค่อนข้างเขียว มีโอกาสมากมายที่นี่ที่จะขุดลึกลงไปและสร้างผลกระทบ ตลอดปีนี้คาดว่าจะมีข้อกำหนดที่เป็นรูปธรรมมากขึ้นรวมถึงสนามเด็กเล่นเพื่อพัฒนาฟันของคุณ
WhiteBlock ปล่อยผลการทดสอบ Gossipsub Libp2p
สัปดาห์นี้ บล็อกสีขาว ปล่อย libp2p ผลการทดสอบ Gossipsub เป็นสุดยอดของเงินช่วยเหลือที่ได้รับการสนับสนุนโดย เข้าร่วม และมูลนิธิ Ethereum งานนี้มีวัตถุประสงค์เพื่อตรวจสอบอัลกอริทึม Gossipsub สำหรับการใช้ ETH2 และเพื่อให้ข้อมูลเชิงลึกเกี่ยวกับขอบเขตของประสิทธิภาพเพื่อช่วยในการทดสอบการติดตามและการปรับปรุงอัลกอริทึม
TL; DR คือผลลัพธ์ของคลื่นการทดสอบนี้ดูแข็งแกร่ง แต่ควรทำการทดสอบเพิ่มเติมเพื่อให้สังเกตได้ดีขึ้นว่าการเสนอข้อความที่มีขนาดเครือข่ายได้ดีขึ้น ตรวจสอบไฟล์ รายงานฉบับเต็ม รายละเอียดวิธีการโทโพโลยีการทดลองและผลลัพธ์!
สปริงซ้อนกัน!
ฤดูใบไม้ผลินี้เต็มไปด้วยการประชุมที่น่าตื่นเต้นแฮ็คฮ็อต, eth2 bounties และอื่น ๆ ! จะมีกลุ่มนักวิจัยและวิศวกร ETH2 ในแต่ละเหตุการณ์เหล่านี้ กรุณามาแชท! เราชอบที่จะพูดคุยกับคุณเกี่ยวกับความคืบหน้าทางวิศวกรรมการตรวจสอบความถูกต้องเกี่ยวกับ testnets สิ่งที่คาดหวังในปีนี้และสิ่งอื่นใดที่อาจอยู่ในใจของคุณ
ตอนนี้เป็นเวลาที่ดีในการเข้าร่วม! ลูกค้าจำนวนมากอยู่ในช่วง TestNet ดังนั้นจึงมีเครื่องมือทุกประเภทในการสร้างการทดลองที่จะทำงานและสนุกที่จะได้รับ
นี่คือเหลือบของเหตุการณ์ต่าง ๆ ที่กำหนดให้มีการเป็นตัวแทน ETH2 ที่เป็นของแข็ง:
