โปรโตคอล Gossip อย่างง่ายสำหรับการกำหนดเส้นทางคิว ICMP

บนโครงสร้างต้นใหม่ (ใบ) ข

การประกาศส่วนหัวบล็อกเชนใหม่ของโหนด (เพียร์) k

k จากโมดูล t อยู่ใน Queue message m

คำจำกัดความของโหนดเพียร์เลเยอร์ (เพียร์) k บน 〖อนุญาต〗_k (m)

• เป็นระยะ

• การปรับปรุงในอนาคต

ในเครือข่าย Polkadot เราจำเป็นต้องส่งข้อมูลไปยังบางเอนทิตี ขั้นแรก ให้เราแยกแยะประเภทของเอนทิตีเหล่านี้โดยสังเขป: (1) ผู้ใช้ (2) นักสะสม (3) ผู้ตรวจสอบ

ข้อมูลทั้งหมดเกี่ยวกับพาราเชนตอนรันไทม์มาจาก

แหล่งที่มาของตัวเลือกนี้สร้างขึ้นโดยการตรวจสอบความถูกต้องของบล็อกตัวเลือก parachain และรวมอยู่ในบล็อกของรีเลย์ ผู้สมัครมีหลายสนาม นี่คือบางส่วนที่เกี่ยวข้อง:

รากขาออก:

เมื่อรวมบล็อกโซ่รีเลย์ B ไว้ในพาราเชน p ค่าแฮชแต่ละค่าที่จับคู่กับพาราเชน y ที่ไม่ซ้ำกันคือ R(E_(p,y)^B)

เมื่อข้อมูลที่ได้รับเป็นของ parachain p ใหม่

ค่า. รันไทม์พิจารณาค่าที่ได้รับจากกลุ่มตัวเลือกของพาราเชนที่ใกล้ที่สุดเป็นค่าปัจจุบัน ค่าดั้งเดิมของ B ในบล็อกใดๆ ที่มีผู้สมัครต้องสูงเท่ากับค่าก่อนหน้าของลายน้ำ p เป็นอย่างน้อย

(ปล้น: ไม่อนุญาตการเข้าออกที่รอดำเนินการในรายการว่าง)

ทั้งผู้ตรวจสอบและผู้รวบรวมพยายามรวบรวมข้อมูลบล็อกคิวในบล็อก B หรือผู้ตรวจสอบเพียงแค่เรียก 〖Ingress〗_(B,P) และค้นหาข้อความที่เกี่ยวข้องในกลุ่มเผยแพร่ รอข้อความที่ยังไม่ได้เผยแพร่ เป้าหมายของ collator บน P คือการสร้างบนรีเลย์เชนพาเรนต์ B เพื่อให้ได้คำนำหน้าเป็น P_INGRESS (B,P) ให้ได้มากที่สุด

R(P_INGRESS (B,วิธีที่ง่ายที่สุดคือการใช้ . ข้อความถูกซุบซิบจากเครือข่ายพาราเชนหนึ่งไปยังอีกเครือข่ายหนึ่ง หากมีโหนดร่วมกันระหว่างสองเครือข่ายนี้ที่เผยแพร่ข้อความ ข้อความนั้นจะทำให้ลิงก์ขนานที่รับข้อความได้รับข้อความ อย่างไรก็ตาม หากตัวตรวจสอบความถูกต้องของ Parachain เป้าหมายทราบว่าข้อความไม่ได้เผยแพร่บนตัวรับของ Parachain พวกเขาจะร้องขอข้อความอีกครั้งจากโหนดตัวตรวจสอบความถูกต้องของ Parachain ที่ส่งข้อความ จากนั้นพวกเขาจะรับข้อความบน parachain ตัวเอง อุปกรณ์ในการขยายพันธุ์

P)) มีอยู่ทุกบล็อก B และ parachain p ที่รันไทม์

ความพร้อมใช้งานของ parachain p และบล็อก B นั้นเกิดจากการที่ p และ B เป็นรายการขาเข้าของรากขาเข้าที่รอดำเนินการของบล็อก และแต่ละรายการและรูทจะถูกจับคู่ครั้งแรกกับหมายเลขบล็อกที่กำหนดเส้นทาง ละเว้น R(∅) จากรายการขาเข้า และละเว้นรายการว่างและจัดเรียงตามหมายเลขบล็อกจากน้อยไปหามาก โดยหมายเลขบล็อกทั้งหมดน้อยกว่า num(B) และอ้างอิงถึงบล็อกในสายเดียวกัน

รหัสหลอกใน RUST (สิ่งที่ต้องทำ: ถอดความเป็น LaTeX)

ข้อมูลจากคิวขาออกสำหรับ B และ p ที่กำหนดยังคงมีอยู่ในรันไทม์ ภายใต้ข้อจำกัดเดียวกันกับรายการขาเข้าที่มีการเรียงลำดับและการละเว้นรายการว่าง ParaId ที่นี่คือห่วงโซ่การรับ และในฟังก์ชันรายการ (ขาเข้า) มันคือห่วงโซ่การส่ง

สมมติว่าโครงสร้างต้นไม้ออกจากบล็อกเป็นบล็อกพาราเชนล่าสุดในรีเลย์เชน

เราตั้งสมมติฐานต่อไปนี้เกี่ยวกับโหนด:

1. สถานะบล็อกของลีฟที่ส่วนท้ายของโครงสร้างต้นไม้มีอยู่ แต่ไม่สามารถรับประกันสถานะของบล็อกเก่าได้

2. เป็นที่คาดหมายได้ว่า collator และ full node บน parachain จะเก็บบล็อกทั้งหมดที่ถูกดำเนินการบน parachain

3. Validator ไม่จำเป็นต้องเก็บบล็อคใดๆ โปรดทราบว่าข้อมูลสามารถกู้คืนได้จากการลบข้อมูลโค้ดที่บันทึกโดยตัวตรวจสอบความถูกต้อง

บทนี้อธิบายโปรโตคอลซุบซิบที่จำกัดสำหรับการเผยแพร่คิวของข้อความ ICMP (ดูภาพรวมสำหรับคำนิยาม)

และ

และ

เนื่องจากทางเข้าถูกเรียกที่บล็อก B เราจึงวางได้อย่างง่ายดาย

เพื่อแปลง

ข้อความเริ่มต้นในสถานะไม่กำหนดเส้นทางและสิ้นสุดในสถานะกำหนดเส้นทาง

เราเสนอให้กำหนดระบบการเผยแพร่ข่าวซุบซิบ

ข้อความเกี่ยวกับโมดูลนี้มีรูปแบบ

เราเก็บข้อมูลท้องถิ่นไว้ดังนี้:

1. 〖leaves〗_k เป็นรายการฟังก์ชันแฮชที่ดีที่สุดสำหรับ endpoints (leaves) ของโครงสร้างบล็อก DAG ของเราที่จำเป็นต้องรันโค้ด

2. 〖ออก〗_k สำหรับแต่ละเพียร์ k รายการล่าสุดที่ดีที่สุดจะต้องใช้รหัสค่าแฮช MAX_CHAIN_HEADSDAG ของบล็อก (ขึ้นอยู่กับสิ่งที่พวกเขาส่งมาให้เรา)

3. leafTopics(l)→{queueTopic(h)} หมายถึงรูท h ที่ยังไม่ขยายบนห่วงโซ่คู่ขนานบนโหนดต้นไม้ l บนโครงสร้างต้นไม้ทั้งหมด (ใบไม้)

4. expectedQueues(t)→H ระบุกระบวนการสืบเชื้อสายมาจากรูทแฮชที่สอดคล้องกันของโมดูลการโทรทั้งหมด และ t∈∪l_(∈leaves)leafTopics(l) ในทุกรายการ

บนโครงสร้างต้นใหม่ (ใบ) ข

1. อัปเกรดโครงสร้างแผนผัง (leaf) โมดูลต้นไม้ (leafTopics) และคิวที่คาดไว้ (ไม่ได้ทำการทดสอบเกณฑ์มาตรฐาน แต่การประมาณแบบอนุรักษ์นิยมจะมีเวลาทำงาน 100ms)

2. ส่งโครงสร้างต้นไม้ใหม่ (ใบ) ชั้นเดียวกัน

3. หากตัวรวบรวมของห่วงโซ่คู่ขนาน p รันโค้ด egress(B,p) ทางออนไลน์ สำหรับ root ของคิวข้อความที่รู้จักซึ่งยังไม่ได้รับการเผยแพร่ เราจะใส่ข้อความ Queue ที่เกี่ยวข้องลงในกลุ่มการเผยแพร่

การประกาศส่วนหัวบล็อกเชนใหม่ของโหนด (เพียร์) k

1. อัพเกรดโครงสร้างต้นไม้ (ใบไม้) 〖ใบไม้〗_k

2. เพื่อให้เป็นไปตามข้อกำหนดของ ∀H∈leaves ∩ 〖leaves〗_k แต่ละ t ใน BroadcastTopic(k,t) จะถูกจับคู่กับ leafTopics(H)

k จากโมดูล t อยู่ใน Queue message m

เรากำหนดฟังก์ชัน

เป็นมาตรฐานความเชื่อมั่นในท้องถิ่น (เกณฑ์การยอมรับในท้องถิ่น)

แฮชรูทของข้อความ

ในฟังก์ชันที่คาดไว้คิว (t) กำหนดไว้ รูทจริงของข้อความที่กำหนดจะเท่ากับรูท

ถ้าฟังก์ชัน good(m) พิสูจน์ว่า k เป็นค่าบวก ให้ใส่ m ในกลุ่มการขยายพันธุ์ มิฉะนั้น ให้พิสูจน์ว่า m ไม่พร้อมใช้งาน ซึ่งมีประโยชน์สำหรับการเพาะปลูกแบบเพียร์เซ็ต

นิยามของโหนดเพียร์เลเยอร์ (เพียร์) k บน 〖อนุญาต〗_k (m) และข้อความคิว m บนโมดูล t

ถ้าข้อความ k ถูกส่งถึงเราก่อนที่เราจะส่งข้อความเสร็จ ข้อความ k ควรถูกปฏิเสธ กลับกัน ถ้าต่อไปนี้

∃l∈leaves∩〖〖leaves〗_k|t∈leafTopics(l)∃l∈leaves∩〖leaves〗_k | t∈leafTopics(l) อนุญาตให้ใช้ข้อความ k และห้ามใช้วิธีอื่น

เป็นระยะ

เราจำเป็นต้องทำเครื่องหมายโมดูลทั้งหมดว่าเป็นโมดูลที่หมดอายุแล้ว ยกเว้นที่คาดไว้คิวและล้างโมดูลเหล่านั้นในกลุ่มเผยแพร่ ในความเป็นจริงการดำเนินการดังกล่าวจะดำเนินการทุก ๆ สองสามวินาที สิ่งนี้จะป้องกันไม่ให้กลุ่มการขยายพันธุ์ของเราเติบโตอย่างไม่มีกำหนด

การตัดสินใจเผยแพร่เฉพาะข้อความที่ไม่ได้ระบุเส้นทางไปยังเพื่อนที่มีมุมมองเดียวกันเกี่ยวกับม็อดปัจจุบันอาจเป็นที่ถกเถียงกัน แต่ข้อกำหนดเบื้องต้นบางอย่างที่เราคิดขึ้นมาทำให้ประเด็นนี้ค่อนข้างดี

อันดับแรก เราไม่ต้องการให้โหนดประมวลผลข้อความเป็นจำนวนไม่จำกัด ซึ่งหมายความว่าโหนดจะไม่รู้จัก H ใน QueueTopic(H) เนื่องจากมี H ดังกล่าวจำนวนไม่สิ้นสุด ประการที่สอง โหนดไม่ต้องทำงานมากเพื่อตัดสินใจว่าจะเผยแพร่ข้อความไปยังเพียร์เฉพาะหรือไม่ สมมติว่า leaf∩〖leaves〗_k=∅ แต่บางรายการของ 〖leaves〗_k เป็นซอร์สโค้ดของ leaf

(บรรพบุรุษ). เราต้องรันทุก l ∈ 〖leaves〗_k ใน O(n) เพื่อพิสูจน์ จากนั้นเราต้องหาว่าข้อความที่กำหนดนั้นไม่ได้กำหนดเส้นทางในบล็อกก่อนหน้าหรือไม่ เราคิดอย่างไร้เดียงสาว่าหากข้อความยังไม่ได้กำหนดเส้นทางในบล็อกต่อมาในเชนเดียวกัน แทนที่จะถูกกำหนดเส้นทางในเชนก่อนหน้า ไม่น่าเป็นไปได้ แต่สถานะของเชนอาจเป็นการย้อนกลับของฟิชชิ่งที่โหนดของมนุษย์

เนื่องจากสถานะลูกโซ่ที่สันนิษฐานไม่พร้อมใช้งานจากบล็อกก่อนหน้า เราจึงไม่มีวิธีที่ดีในการพิจารณาว่าจะส่งข้อมูลออกไปยังเพียร์ของบล็อกก่อนหน้านั้นจริงหรือไม่ ในส่วนการปรับปรุงในอนาคต เราจะหารือเกี่ยวกับการผ่อนคลายข้อจำกัดนี้โดยปรับขนาดเป็นจำนวนต้นกำเนิด (บรรพบุรุษ) ที่แน่นอน

อย่างไรก็ตาม มีเหตุผลเท่านั้นที่จะเผยแพร่ไปยังโหนด (เพียร์) ที่ได้รับการซิงโครไนซ์กับเชนเดียวกัน โดยสมมติว่าสิ่งต่อไปนี้ (บางอย่างเชิงประจักษ์แต่สมเหตุสมผล แต่ก็มีแนวโน้มที่จะถูกประเมินสูงเกินไป):

1. บล็อกที่ถูกต้องใหม่จะออกในช่วงเวลาเฉลี่ยอย่างน้อย 5 วินาที (เป้าหมายของเราคือ 10-15 วินาที)

2. เวลาเผยแพร่ของบล็อกในส่วน "มีประโยชน์" ของโครงสร้างการเผยแพร่ข่าวซุบซิบคือภายใน 2 วินาที

3. วัตถุที่อยู่ติดกันในโครงสร้างการเผยแพร่ข่าวซุบซิบมีความล่าช้าน้อยกว่าหรือเท่ากับ 500ms

4. การเผยแพร่ข้อความอย่างมีความหมายก่อนที่จะซิงค์กับส่วนหัวของ DAG อาจไม่คุ้มค่า

มูลค่าที่แท้จริงจะดีกว่าอย่างแน่นอน ข่าวดีก็คือ บล็อกทั้งหมดไม่จำเป็นต้องเผยแพร่ภายในเวลาบล็อกเดียว เมื่อเวลาผ่านไป ผู้เข้าร่วมจะได้รับข้อความก่อนหน้านี้มากขึ้น นี่เป็นรูปแบบที่ผู้เข้าร่วมทั้งหมดเห็นข้อความทั้งหมด เกือบจะแน่นอนว่าจะไม่ปรับขนาดเกินกว่าเชนเริ่มต้นจำนวนหนึ่ง แต่จะทำหน้าที่เป็นโปรโตคอลเริ่มต้นแทน

ชื่อเรื่องรอง

ภาพรวมของการกำหนดเส้นทาง XCMP

ในการส่งข้อความจากพาราเชนหนึ่ง (ส่งพาราเชน) ไปยังพาราเชนอื่น (รับพาราเชน) ตามการตั้งค่า ขั้นตอนต่อไปนี้จะดำเนินการ

ข้อความจะเพียงพอเมื่อโหนดเต็มของพาราเชนที่ส่งเป็นส่วนหนึ่งของโดเมนของพาราเชนที่รับด้วย

ตัวตรวจสอบ parachain ของ parachain ที่รับไม่พบว่าข้อความถูกเผยแพร่ จากนั้นจึงร้องขอข้อความโดยตรงจากตัวตรวจสอบ parachain ของ parachain ที่ส่ง (การส่ง PV ตามเวลาจริง) PV ของ parachain ที่ส่งมีหน้าที่ทำให้ข้อความพร้อมใช้งาน ผู้ตรวจสอบพาราเชนที่ส่งพาราเชนจะส่งข้อความโดยตรงไปยัง PoV ของพาราเชนที่รับ และสุดท้าย PV ของพาราเชนที่รับจะกระจายข่าวซุบซิบ (ซุบซิบ) บนข้อความในเครือข่ายพาราเชนที่รับ

ชื่อเรื่องรอง

การปรับปรุงในอนาคต

1. ส่วนด้านบนอธิบายว่าเหตุใดจึงเป็นความคิดที่ดีที่จะเผยแพร่คิวขาออกไปยังเพียร์เลเยอร์โดยพลการ แต่เมื่อเราซิงค์และติดตามการผลิตบล็อกตามปกติ เราจะสามารถติดตามทรีทั้งหมดได้อย่างสมเหตุสมผล ซอร์สโค้ดสุดท้าย (บรรพบุรุษ) α ของ โครงสร้าง (ใบ) ค่าที่เหมาะสมเริ่มต้นของ α ควรสอดคล้องกับค่าพาเรนต์และรับ 1 นี่อาจทำให้เราได้กำไร 90% ที่เราต้องการ เพียงเพราะมีการ "พูดติดอ่าง" เมื่อจำเป็นต้องมีการตัดกันของ treeset และเพื่อนสองคนจำเป็นต้องอัปเดตข้อมูลเกี่ยวกับคีย์ย่อยใหม่ให้กันและกัน

2. การขยายคำจำกัดความของ E_(x,y)^B จะช่วยให้ตรวจสอบร่วมกันระหว่างสายโซ่ได้ ตัวอย่างเช่น พาราเชน y สามารถบอกรีเลย์เชนไม่ให้กำหนดเส้นทางข้อความจาก x ที่บล็อก B (แล้วบอกให้เริ่มกำหนดเส้นทางอีกครั้งที่บล็อก B') สำหรับบล็อกใดๆ ระหว่าง B และ B' เราจะมีเวลาทำงาน E_(x,y)^b=∅ เมื่อไม่คำนึงถึง x ของ b ใน CandidateReceipt ในความเป็นจริง เนื่องจากรันไทม์ประมวลผลเฉพาะแฮชรูทแฮช จึงไม่สนใจ R(E_(x,y)^b) จากการรับของผู้สมัครและตั้งค่าเป็น R(∅)

3. ปรับขนาดเพื่อรองรับโทโพโลยีที่ชาญฉลาดขึ้นซึ่งไม่ใช่ทุกคนที่จะมองเห็นได้ทุกอย่าง บางทีการมีอาร์เรย์หัวข้อสองประเภท (หัวข้อ), (B, (B, 〖chain〗_from)) ตามหัวข้ออาร์เรย์ (หัวข้อ) และ (B, 〖chain〗_to) ตามม็อดจะปรับปรุงการใช้งานของม็อดนี้https://github.com/sipa/minisketch4. ใช้การกระทบยอดการตั้งค่าอัจฉริยะบางประเภท (เช่น