เช่นเคย มีสิ่งต่างๆ มากมายเกิดขึ้นที่แนวหน้า eth2 นอกเหนือจากการอัปเดตที่เป็นลายลักษณ์อักษร (ตรวจสอบโพสต์ State of Eth2 ด้านล่าง) และบทสรุปสาธารณะอื่นๆ ทีมลูกค้า ผู้ร่วมให้ข้อมูล และสมาชิกชุมชน/ผู้มีแนวโน้มจะเป็นผู้ตรวจสอบยังยุ่งอยู่!
วันนี้เราจะพูดถึงข่าวสัญญาการฝากเงินที่สำคัญ และขั้นตอนสำคัญในการดำเนินการตามข้อกำหนดเวอร์ชัน v0.12
tl;ดร
สัญญาการฝากความมั่นคงและการตรวจสอบอย่างเป็นทางการ
วันนี้ เราอยากจะประกาศเวอร์ชันใหม่และปลอดภัยยิ่งขึ้นของ สัญญาการฝากเงิน eth2 เขียนด้วยความแข็งแกร่ง! สัญญานี้ยังคงอินเทอร์เฟซสาธารณะแบบเดิม (โดยมีการเพิ่มไฟล์ อีไอพี 165 รองรับอินเทอร์เฟซ ฟังก์ชั่น) และด้วยเหตุนี้จึงเป็นทั้งหมด โปร่งใส การเปลี่ยนแปลงสำหรับไคลเอนต์และเครื่องมือ dev ที่มีอยู่ทั้งหมด ในความเป็นจริง รหัส Solidity ส่วนใหญ่เป็นการแปลสัญญา Vyper ต้นฉบับทีละบรรทัดเพื่อช่วยในการตรวจสอบและการตรวจสอบยืนยันอย่างเป็นทางการ
ในช่วงไม่กี่เดือนที่ผ่านมา สัญญาการฝากเงิน eth2 ได้ถูกเขียนขึ้นใหม่ใน Solidity โดย อเล็กซ์ เบเรกซาสซี่ตรวจสอบโดยผู้เชี่ยวชาญด้าน Solidity กลุ่มเล็กๆ และ ตรวจสอบอย่างเป็นทางการ โดย Runtime Verification ส่วนใหญ่จะนำ Okay-spec ที่เดิมเขียนขึ้นสำหรับสัญญาเวอร์ชัน Vyper กลับมาใช้ใหม่เป็นส่วนใหญ่
แม้ว่าสัญญา Vyper ก่อนหน้านี้จะได้รับการทดสอบ ตรวจสอบ และตรวจสอบอย่างเป็นทางการอย่างหนัก แต่ก็ยังมีข้อกังวลที่แฝงอยู่เกี่ยวกับความปลอดภัยของคอมไพเลอร์ Vyper ในปัจจุบัน ในระหว่างการตรวจสอบรหัสไบต์ของ Vyper ดั้งเดิม พบข้อบกพร่องของคอมไพเลอร์หลายตัว (และแก้ไขแล้ว) นอกเหนือจากการตรวจสอบอย่างเป็นทางการแล้ว ซูฮาเบ บูกรารา (ConsenSys R&D) ดำเนินการ รีวิว ของสัญญาการฝากเงินของ Vyper และการตรวจสอบอย่างเป็นทางการ ซึ่งนำไปสู่การปรับแต่งหลายประการในข้อกำหนดอย่างเป็นทางการ (ในท้ายที่สุดก็ช่วยให้ง่ายต่อการตรวจสอบสัญญา Solidity อีกครั้ง) แม้ว่าการตรวจสอบจะได้รับการประเมินว่าใช้งานได้ดี แต่ Suhabe ไม่สามารถแนะนำรหัสไบต์ที่ปลอดภัยได้ตราบเท่าที่ยังใช้คอมไพเลอร์ Vyper
พร้อมกันนั้น ความขยันหมั่นเพียรของ ConsenSys และ เส้นทางของ Bits ทำรายงานความปลอดภัยเชิงสืบสวนเกี่ยวกับคอมไพเลอร์ Vyper ค้นหาจุดบกพร่องอื่นๆ อีกมากมาย และแจ้งข้อกังวลเกี่ยวกับปัญหาทางระบบกับโค้ดเบสของคอมไพเลอร์
แม้จะมีการค้นพบเหล่านี้ Vyper ยังคงเป็นภาษาที่น่าหวังมาก คอมไพเลอร์ที่ใช้ภาษาไพธอนยังคงได้รับการพัฒนาต่อไป และผู้มีส่วนร่วมจำนวนหนึ่งกำลังมองหาการทำให้ภาษาเป็นทางการและตรวจสอบคอมไพเลอร์ทางเลือก
แม้ว่าจะมั่นใจในโค้ดไบต์ที่ผ่านการตรวจสอบอย่างเป็นทางการแล้ว แต่ปัญหาที่พบในคอมไพเลอร์ Vyper ทำให้เกิดการพึ่งพาการตรวจสอบโค้ดไบต์เป็นอย่างมาก เป็นการดีกว่าที่จะเริ่มต้นด้วยคอมไพเลอร์ที่ตกลงโดยทั่วไปว่าปลอดภัยและเพื่อตรวจสอบรหัสไบต์จากที่นั่น แทนที่จะเริ่มต้นด้วยคอมไพเลอร์ที่มีปัญหาที่ทราบ และเพื่อตรวจสอบว่าไม่มีปัญหาที่ทราบ (หรือไม่ทราบ) เหล่านี้เกิดขึ้นจริงในรหัสไบต์
เพื่อหลีกเลี่ยงข้อสงสัยใดๆ เกี่ยวกับความปลอดภัยของสิ่งนี้ วิกฤต เราขอแนะนำให้ใช้สัญญา Solidity ใหม่สำหรับ eth2 mainnet และเรายินดีรับสัญญา Solidity และผู้เชี่ยวชาญรหัสไบต์ EVM เพื่อตรวจสอบ สัญญา และที่เกี่ยวข้อง การตรวจสอบอย่างเป็นทางการ– ปัญหาใด ๆ ที่พบมีคุณสมบัติเหมาะสมสำหรับ โปรแกรมรางวัล Eth2 เฟส 0–
หมายเหตุสั้นๆ — สัญญาฉบับใหม่ยังไม่ได้ดำเนินการใน ซื้อคืนข้อมูลจำเพาะ– ฉันจะรวม Solidity Contract ใหม่ในสัปดาห์นี้และเผยแพร่เป็นเวอร์ชันรองในเร็วๆ นี้ ฉันต้องการประกาศทันทีเพื่อให้ชุมชนมีเวลาตรวจสอบมากมาย
เน็ตทดสอบ Altona v0.12
นับตั้งแต่เปิดตัวเวอร์ชั่นสเป็ค v0.12ทีมงานลูกค้าได้ทำงานอย่างหนักในการอัปเดตและทดสอบโค้ดเบสของตนเพื่อเตรียมพร้อมสำหรับเทสเน็ตสาธารณะ
ฉันได้เห็นคำถามมากมายจากชุมชน (ใน Discord, Reddit ฯลฯ) ว่าเหตุใดการอัปเดตที่ดูเหมือนเล็กน้อยจึงต้องใช้เวลาพอสมควรในการดำเนินการให้เสร็จสิ้น แม้ว่าฐานรหัสของลูกค้าแต่ละรายและความท้าทายที่เกี่ยวข้องจะแตกต่างกัน แต่ทีมก็กำลังดำเนินการอยู่ v0.12 มาก อย่างจริงจัง. แม้ว่าการอัปเดตข้อมูลจำเพาะจะไม่ยุ่งยากเกินไป แต่ก็ต้องใช้เวลาเพิ่มเติมในการรักษาความปลอดภัยให้รัดกุม เพิ่มประสิทธิภาพการทำงาน และโดยทั่วไปทำให้ไคลเอนต์แข็งตัวก่อนที่จะนำออกมาใช้กับสิ่งที่ตั้งใจจะเป็นเวอร์ชันกึ่งหลักสุดท้ายก่อนเปิดตัว .
ใกล้ถึงเวลาแล้วสำหรับเทสเน็ตสาธารณะแบบหลายไคลเอนต์ครั้งแรกของ v0.12 – อัลโตน่า โดยคาดว่าจะเปิดตัวในอีกเจ็ดวันข้างหน้า เน็ตนี้จะเริ่มควบคุมโดยทีมลูกค้าที่เป็นส่วนประกอบ (วางแผน Lighthouse, Nimbus, Prysm และ Teku), Afri และสมาชิกในทีม EF บางส่วน หลังจากเปิดตัวครั้งแรก ที่อยู่สัญญาเงินฝากจะถูกเปิดเผยเพื่อให้ประชาชนมีส่วนร่วมอย่างเปิดเผย
เช่นเดียวกับเครือข่ายทดสอบหลายไคลเอนต์ก่อนหน้านี้จนถึงปัจจุบัน Altona มีมากกว่า เดฟเน็ต กว่าเทสเน็ตที่เน้นผู้ใช้ปลายทาง นั่นคือ Altona คือสิ่งแรกและสำคัญที่สุดสำหรับทีมลูกค้าในการตรวจสอบสุขภาพจิต v0.12 ซอฟต์แวร์ในการตั้งค่าการใช้งานจริงและสำหรับวิศวกร eth2 โดยรวมในการทำงานผ่านจุดบกพร่องใดๆ ที่อาจเกิดขึ้นในการตั้งค่าแบบหลายไคลเอนต์เท่านั้น อย่างไรก็ตาม เรายินดีต้อนรับคุณให้เข้าร่วมและทำให้ Altona เติบโตเมื่อเวลาผ่านไป ขั้นตอนถัดไป (สมมติว่าประสบความสำเร็จโดยทั่วไปกับ Altona) คือเครือข่ายทดสอบที่ใหญ่กว่าและเน้นชุมชน โดยมีการกำหนดค่า mainnet ของผู้ตรวจสอบความถูกต้องขั้นต่ำ 16,384 คนเพื่อเริ่มต้น
โอ้! และ Altona จะใช้สัญญาเงินฝาก Solidity ใหม่ที่กล่าวถึงข้างต้น อย่างที่ฉันบอกไป นี่เป็นการเปลี่ยนแปลงที่โปร่งใส 100% กับซอฟต์แวร์ไคลเอ็นต์ eth2 เนื่องจากอินเทอร์เฟซสาธารณะเหมือนกัน ตื่นเต้นที่จะทดสอบในการผลิตอย่างไรก็ตาม
เงินช่วยเหลือสำหรับ Sigma Prime’s บีคอนฝอย
เรารู้สึกตื่นเต้นที่จะประกาศการให้ทุนต่อเนื่องสำหรับความพยายามในการคลุมเครือส่วนต่างลูกค้าหลายรายของ Sigma Prime — บีคอนฝอย– จนถึงปัจจุบันโครงการนี้ประสบความสำเร็จอย่างมากในการค้นหา ข้อบกพร่อง ใน ทั้งหมด ของลูกค้าที่เข้ามาในระบบ
คุณสามารถตรวจสอบได้ที่ บล็อกซิกมาไพรม์ เพื่อติดตามความคืบหน้า จับตาดูการขยายเวลา “คลุมเครือที่บ้าน” ที่วางแผนไว้ของ บีคอนฝอย เพื่อเข้าไปมีส่วนร่วมและอาจพบข้อบกพร่องในเครื่องที่บ้านของคุณ!
โพสต์บล็อก eth2 ที่ยืดเยื้อของฉัน
หากคุณไม่มีโอกาสได้อ่านบล็อกโพสต์ของฉันเมื่อสองสัปดาห์ก่อน ยังไม่สายเกินไป! เช็คเอาท์ สถานะของ Eth2 มิถุนายน 2020 เพื่อรับภาพรวมระดับสูงและความเข้าใจว่าโครงการ eth2 ยืนอยู่ตรงไหนในปัจจุบัน และเหมาะสมกับ Ethereum โดยรวมอย่างไร 🚀
