26 กุมภาพันธ์ TL; DC (ยาวเกินไปไม่โทร)
ข้อจำกัดความรับผิดชอบ: นี่คือการย่อยของหัวข้อที่กล่าวถึงในการเรียกร้องการวิจัย ETH1.X ที่เกิดขึ้นซ้ำ ๆ และไม่ได้เป็นตัวแทนของแผนการสรุปหรือข้อผูกพันในการอัพเกรดเครือข่าย
หัวข้อหลักของการโทรนี้คือ:
- แผนคร่าวๆสำหรับการประชุมสุดยอดการวิจัย 1.x ในปารีสหลังจาก ETHCC
- รูปแบบพยาน
- ‘ปัญหาการดึงข้อมูล’
โลจิสติกส์
การประชุมสุดยอดเพื่อหารือและทำงานร่วมกันเกี่ยวกับ Ethereum ไร้สัญชาตินั้นมีการวางแผนสำหรับวันหยุดสุดสัปดาห์หลังจาก ETHCC ซึ่งจะเป็นเวลาที่ขาดไม่ได้สำหรับการทำงานกับปัญหาที่สำคัญที่สุดและยังไม่ได้แก้ไขสำหรับความพยายามนี้
กำหนดการยังไม่ได้รับการแก้ไข แต่โครงร่างคร่าวๆกำลังมารวมกัน:
วันเสาร์ – หลังจากหนึ่งชั่วโมงของอาหารเช้าและการสนทนาฟรีเราจะมารวมกันเพื่อเห็นด้วยกับเป้าหมายและขอบเขตสำหรับการประชุมสุดยอด จากนั้นมีการสงวนไว้ประมาณ 4 ชั่วโมงสำหรับงานนำเสนอที่เป็นระเบียบและ ‘การดำน้ำลึก’ ในหัวข้อเฉพาะที่มีความสำคัญ ในช่วงบ่าย/เย็นจะมีเวลาว่างอีกชั่วโมง+ ของเวลาว่างและการอภิปรายอย่างไม่เป็นทางการ
วันอาทิตย์ – เช่นเดียวกับก่อนหน้านี้ แต่มีการนำเสนอที่มีโครงสร้างเพียง 2 ชั่วโมงเพื่อกระตุ้นให้ผู้เข้าร่วมประชุมแบ่งออกเป็นกลุ่มและทำงานในการวิจัยหรือหัวข้อการดำเนินการต่างๆสำหรับการประชุมสุดยอดที่เหลือ ในที่สุดจะมีการอภิปรายสรุปเพื่อทำแผนที่ขั้นตอนต่อไปและแก้ไขทรีเทคโนโลยี
ควรระบุว่าการประชุมสุดยอดการวิจัยครั้งนี้ไม่ได้มุ่งเน้นไปที่การมีส่วนร่วมของประชาชนหรือการมีส่วนร่วมทั่วไปเพื่อให้เกิดความก้าวหน้าที่มีความหมายในการทำงานล่วงหน้า นี่ไม่ได้หมายถึงการเป็นเหตุการณ์ของผู้ชมและแน่นอนว่ามีความคาดหวังว่าผู้เข้าร่วมประชุมจะ ‘ทำการบ้าน’ เพื่อให้เวลาสั้น ๆ สำหรับการอภิปรายใช้เวลาอย่างมีประสิทธิภาพ
การอภิปรายทางเทคนิค
รูปแบบพยาน
หัวข้อแรกของการสนทนาทางเทคนิคมีศูนย์กลางอยู่ที่การส่งเมื่อเร็ว ๆ นี้ ร่างข้อกำหนดพยานซึ่งจะช่วยกำหนดการใช้งานสำหรับทีมลูกค้าทั้งหมด
ข้อกำหนดพยานประกอบด้วยสองส่วน: ความหมายและรูปแบบ องค์กรนี้มีทรัพย์สินที่พึงประสงค์ในการแยกพยานสองด้านอย่างหมดจดซึ่งอาจมีเป้าหมายที่แตกต่างกัน
ความหมายเป็นเรื่องยากที่จะจับได้และมีความกังวลเพียงกับวิธีนามธรรมในการใช้วัตถุกลุ่มหนึ่งและเปลี่ยนเป็นวัตถุอื่น ๆ ความหมายของพยานอยู่ในภาษาที่เป็นทางการอย่างง่ายซึ่งอธิบายถึงวิธีการได้รับจากอินพุตไปยังเอาต์พุตออกจากรายละเอียดการใช้งานทั้งหมดที่ถูกแยกออกไป ตัวอย่างเช่นคำถามเกี่ยวกับการทำให้เป็นอนุกรมข้อมูลหรือการแยกวิเคราะห์ไม่เกี่ยวข้องกับความหมายของพยานเนื่องจากมีรายละเอียดการดำเนินการมากขึ้น เป้าหมายระดับสูงในการกำหนดความหมายของพยานในวิธีที่เป็นทางการคือการมีการอ้างอิงที่ไม่คลุมเครืออย่างสมบูรณ์สำหรับทีมลูกค้าที่จะนำไปใช้โดยไม่ต้องกลับไปกลับมา เป็นที่ยอมรับว่าเริ่มต้นด้วยความหมายอย่างเป็นทางการและการทำงานเพื่อดำเนินการ (แทนที่จะพูดว่าการเข้ารหัสการใช้งานอ้างอิง) เป็นการทดลอง แต่หวังว่าจะช่วยประหยัดความพยายามในระยะยาวและนำไปสู่การใช้งาน Ethereum ไร้สัญชาติที่แข็งแกร่งและหลากหลายมากขึ้น รูปแบบเป็นรูปธรรมมากขึ้นและระบุรายละเอียดจริงที่มีผลต่อการทำงานร่วมกันระหว่างการใช้งานที่แตกต่างกัน
รูปแบบพยานคือสิ่งที่ต้องกำหนดขนาดของรหัสรหัสและรูปแบบพยานที่ดีจะช่วยให้การใช้งานที่แตกต่างกันอยู่ระหว่างการดำเนินการและในแง่ทั่วไปอธิบายการเข้ารหัสและการถอดรหัสข้อมูล รูปแบบนี้ไม่ได้มุ่งเน้นไปที่การลดขนาดพยานโดยเฉพาะ แต่เพื่อให้การใช้งานลูกค้าใช้ประสิทธิภาพหน่วยความจำและเพิ่มประสิทธิภาพของการสร้างและการส่งผ่าน ตัวอย่างเช่นรูปแบบปัจจุบันสามารถคำนวณได้แบบเรียลไทม์ในขณะที่เดินผ่านรัฐ Trie โดยไม่ต้องบัฟเฟอร์หรือประมวลผลชิ้นทั้งหมดทำให้พยานถูกแบ่งออกเป็นชิ้นเล็ก ๆ และสตรีม
ในฐานะร่างแรกคาดว่าจะมีการปรับโครงสร้างใหม่ก่อนและหลังปารีสเนื่องจากนักวิจัยคนอื่นให้ข้อเสนอแนะและมีการร้องขอเนื้อหาเพิ่มเติมเกี่ยวกับแรงจูงใจในการออกแบบและคำอธิบายระดับสูงเกี่ยวกับเนื้อหาข้างต้น นอกจากนี้ยังมีข้อเสนอแนะในการเรียกว่ารูปแบบพยานจะเขียนเกี่ยวกับโพสต์ “ไฟล์ 1x” ที่กำลังจะมาถึงซึ่งดูเหมือนจะเป็นความคิดที่ดี (คอยติดตามในอีกไม่กี่สัปดาห์ข้างหน้า)
การตรวจสอบการทำธุรกรรมการสลับฉาก
การย้ายไปสู่หัวข้อที่เป็นรูปธรรมน้อยลงของการอภิปรายปัญหาพื้นฐานหนึ่งถูกนำขึ้นมาในการแชทที่รับประกันการอภิปราย: ปัญหาที่อาจเกิดขึ้นกับการตรวจสอบการทำธุรกรรมในกระบวนทัศน์ไร้สัญชาติ
ปัจจุบันโหนดดำเนินการตรวจสอบสองรายการเกี่ยวกับธุรกรรมทั้งหมดที่เห็นบนเครือข่าย ขั้นแรกการทำธุรกรรมที่ไม่ได้ถูกตรวจสอบให้สอดคล้องกับธุรกรรมทั้งหมดจากบัญชีนั้นและถูกทิ้งหากไม่ถูกต้อง ประการที่สองยอดคงเหลือในบัญชีจะถูกตรวจสอบเพื่อให้แน่ใจว่าบัญชีมีเงินแก๊สเพียงพอ ในกระบวนทัศน์ไร้สัญลักษณ์การตรวจสอบเหล่านี้ไม่สามารถดำเนินการได้โดยใครก็ตามที่ไม่มีรัฐซึ่งเปิดเวกเตอร์ที่มีศักยภาพสำหรับการโจมตี เป็นไปได้อย่างเด่นชัดว่ารูปแบบของพยานสามารถรวมถึงจำนวนข้อมูลสถานะขั้นต่ำที่จำเป็นในการตรวจสอบการทำธุรกรรมจากพยานเท่านั้น แต่สิ่งนี้จำเป็นต้องได้รับการพิจารณาเพิ่มเติม
ปัญหาการตรวจสอบการทำธุรกรรมนั้นเกี่ยวข้องกับปัญหาทั่วไปที่มากขึ้นที่ Ethereum ไร้สัญชาติต้องแก้ไขซึ่งเรียกว่า “ปัญหาการดึงข้อมูล” อย่างไม่แน่นอน การแก้ปัญหาสำหรับการดึงข้อมูลจะช่วยแก้ปัญหาการตรวจสอบการทำธุรกรรมดังนั้นเราจะหันไปใช้ตอนนี้
การดึงข้อมูลใน Ethereum ไร้สัญชาติ
ขอบเขตทั้งหมดของความท้าทายนี้มีการระบุไว้ ในโพสต์ฟอรัม Ethresearchแต่ความคิดค่อนข้างตรงไปตรงมาและสร้างขึ้นจากสมมติฐานสองสามข้อ:
เป็นไปได้ที่จะภายในปัจจุบัน ETH โปรโตคอลสร้างไคลเอนต์ไร้สัญชาติโดยใช้เครือข่ายดั้งเดิมที่มีอยู่ นี่คือ เรียงลำดับ สิ่งที่คานซิงค์คือความแตกต่างที่สำคัญที่คานซิงค์มีไว้เพื่อรักษาข้อมูลสถานะและ ‘ย้อนกลับ’ ในที่สุดก็กลายเป็นโหนดเต็ม ในทางตรงกันข้ามลูกค้าไร้สัญชาติทิ้งข้อมูลสถานะและต้องพึ่งพาพยานเพื่อเข้าร่วมในเครือข่าย
โปรโตคอลปัจจุบันและเครือข่ายดั้งเดิมสันนิษฐานว่ามีความน่าจะเป็นสูงที่เพื่อนร่วมงานที่เชื่อมต่อรักษาสถานะที่ถูกต้องเช่นที่เชื่อมต่อเพื่อนเป็นโหนดเต็ม สมมติฐานนี้มีอยู่ในขณะนี้เพราะโหนดส่วนใหญ่เป็นโหนดเต็มรูปแบบที่มีสถานะที่ถูกต้อง แต่สมมติฐานนี้ไม่สามารถพึ่งพาได้หากสัดส่วนที่สูงของเครือข่ายไร้สัญชาติ โปรโตคอลปัจจุบันก็ทำเช่นกัน ไม่ ระบุวิธีสำหรับโหนดที่เชื่อมต่อใหม่เพื่อดูว่าเพียร์ที่เชื่อมต่อมีหรือไม่มีข้อมูลสถานะที่จำเป็นหรือไม่
ไคลเอนต์ไร้สัญชาติมี UX ที่ดีกว่าโหนดเต็ม พวกเขาจะซิงค์ได้เร็วขึ้นและอนุญาตให้เชื่อมต่อกับเครือข่ายใกล้เคียงทันที ดังนั้นจึงมีเหตุผลที่จะสมมติว่าเมื่อเวลาผ่านไปโหนดมากขึ้นเรื่อย ๆ จะย้ายไปยังจุดสิ้นสุดไร้สัญชาติของสเปกตรัม หากเป็นกรณีนี้สมมติฐานของความพร้อมใช้งานของข้อมูลจะกลายเป็นเสียงน้อยลงและน้อยลงด้วยสัดส่วนที่สูงขึ้นของโหนดไร้สัญชาติบนเครือข่าย มี ‘จุดเปลี่ยน’ ทางทฤษฎีที่โหนดไร้สัญชาติมีจำนวนมากกว่าโหนดสถานะอยู่ไกลและการแบ่งประเภทแบบสุ่มของเพื่อนมีความน่าจะเป็นต่ำพอสมควรอย่างน้อยหนึ่งคนที่ถือชิ้นส่วนที่ต้องการของรัฐ ที่จุดนั้น (เชิงทฤษฎี) เครือข่ายจะแตก
นักเตะที่นี่คือ หากเครือข่ายอนุญาตให้รัฐได้รับตามความต้องการ (เช่นเดียวกับตอนนี้) ไคลเอนต์ไร้สัญชาติสามารถ (และจะ) ทำในโปรโตคอลเดียวกัน– การขยายเหตุผลนี้ให้เป็นเรื่องที่น่าทึ่งยิ่งขึ้น: ลูกค้าไร้สัญชาติหลีกเลี่ยงไม่ได้และปัญหาการดึงข้อมูลจะมาพร้อมกับพวกเขา ตามมาแล้วการเปลี่ยนแปลงที่สำคัญของไฟล์ ETH โปรโตคอลเครือข่ายจะต้องทำเพื่อป้องกันไม่ให้เครือข่ายไปถึงจุดเปลี่ยนนั้นหรืออย่างน้อยก็ผลักดันให้ไกลออกไปผ่านการเพิ่มประสิทธิภาพไคลเอ็นต์
มีหัวข้อปลายเปิดมากมายที่จะพูดคุยที่นี่และที่สำคัญมีความขัดแย้งในหมู่นักวิจัย 1X เกี่ยวกับความใดที่เครือข่ายมาจากจุดแตกหักทางทฤษฎีหรือถ้าจุดแตกหักอยู่เลย สิ่งนี้เน้นถึงความจำเป็นในการใช้วิธีการจำลองเครือข่ายที่ซับซ้อนยิ่งขึ้นรวมถึงความจำเป็นในการกำหนดปัญหาอย่างชัดเจนในการประชุมสุดยอดการวิจัยก่อนที่จะทำงานเพื่อแก้ปัญหา
à tout à l’heure!
สิ่งที่น่าตื่นเต้นจะเกิดขึ้นอย่างไม่ต้องสงสัยอันเป็นผลมาจากการวิจัยด้วยตนเองที่จะดำเนินการในปารีสในสัปดาห์ที่จะถึงนี้และอีกไม่กี่งวดถัดไปของ “ไฟล์ 1.x” จะทุ่มเทให้กับการจัดทำเอกสารและจัดสรรงานนั้นอย่างชัดเจน
การประชุมสุดยอดในปารีสนั้นเกือบจะเต็มความสามารถดังนั้นหากคุณยังไม่ได้กรอกแบบฟอร์ม RSVP เพื่อเข้าร่วมโปรดติดต่อกับ Piper เพื่อดูว่ามีพื้นที่ว่างหรือไม่
เช่นเคยหากคุณสนใจที่จะเข้าร่วมในความพยายามในการวิจัย Ethereum ไร้สัญชาติมาร่วมกับเราที่ ethresear.ch รับเชิญไปยังกลุ่มโทรเลขและติดต่อกับ @gichiba และ/หรือ @Jhancock บน Twitter
