ชื่อระดับแรก
สรุปสถาปัตยกรรม
เนื่องจาก Arbitrum เป็นโซลูชันความสามารถในการปรับขนาด L2 สำหรับ Ethereum L1 สถาปัตยกรรมส่วนหนึ่งของ Arbitrum จึงอยู่บน L1 และบางส่วนอยู่บน L2
ส่วนประกอบของ Arbitrum บน L1 คือ EthBridge ซึ่งประกอบด้วยชุดสัญญา Ethereum
EthBridge มีหน้าที่รับผิดชอบในการชี้ขาดโปรโตคอล Arbitrum Rollup และดูแลกล่องขาเข้าและกล่องขาออกของ Arbitrum ในเครือข่าย Ethereum
ผู้ใช้ สัญญา L1 และโหนดแบบเต็มสามารถส่งธุรกรรมของพวกเขาไปยัง Arbitrum chain ผ่านกล่องขาเข้าและกล่องขาออกบน Ethereum chain และสังเกตผลลัพธ์ของธุรกรรมเหล่านั้น
Arbitrum Virtual Machine (AVM) เป็นฟังก์ชันที่ให้บริการโดย EthBridge ซึ่งเป็นเกตเวย์ระหว่าง L1 และ L2
AVM สามารถอ่านอินพุตและทำการคำนวณตามอินพุตเหล่านั้นเพื่อสร้างเอาต์พุต
ArbOS ทำงานบน AVM เพื่อให้มั่นใจว่าสัญญาอัจฉริยะได้รับการดำเนินการบน Arbitrum chain
คำอธิบายภาพ
ชื่อระดับแรก
ข้อตกลงการยกเลิกอนุญาโตตุลาการ
ลำดับของข้อความในกล่องจดหมายจะเป็นตัวกำหนดผลลัพธ์ของการทำธุรกรรม
ดังนั้นใครก็ตามที่ตรวจสอบกล่องจดหมายเข้าสามารถทราบผลลัพธ์ของธุรกรรมได้ ตราบใดที่พวกเขาดำเนินการด้วยตนเอง
โปรโตคอล Arbitrum Rollup มีหน้าที่ในการยืนยันผลลัพธ์ของธุรกรรมที่เกิดขึ้น
ผู้ใช้ที่เข้าร่วมในโปรโตคอลเรียกว่าผู้ตรวจสอบความถูกต้อง หากผู้ตรวจสอบความถูกต้องฝาก ETH ไว้ในสัญญาเดิมพัน พวกเขาจะกลายเป็นผู้เดิมพันและสามารถเดิมพันบล็อกในห่วงโซ่อนุญาโตตุลาการได้
ผู้ตรวจสอบหรือผู้เดิมพันไม่จำเป็นต้องได้รับอนุญาต
ในแง่ของความปลอดภัย จำเป็นต้องมีตัวตรวจสอบที่ซื่อสัตย์เพียงตัวเดียวเพื่อให้แน่ใจว่า Arbitrum chain ดำเนินการอย่างถูกต้อง
สิ่งนี้ทำให้ห่วงโซ่ Arbitrum ไม่น่าเชื่อถือเหมือนกับห่วงโซ่ Ethereum
อนุญาโตตุลาการถือว่าผู้ตรวจสอบความถูกต้องอย่างน้อยหนึ่งคนมีความซื่อสัตย์
โปรโตคอล Arbitrum Rollup ทำหน้าที่ในห่วงโซ่ Arbitrum Rollup หลังเป็นสายโซ่ของบล็อก Rollup โดยไม่ขึ้นกับสายโซ่ Ethereum
บทบาทของผู้ตรวจสอบความถูกต้องคือเสนอบล็อคใหม่และเพิ่มเข้าไปใน Arbitrum chain
ในที่สุดทุกบล็อกที่เสนอจะได้รับการยืนยันหรือปฏิเสธโดยโปรโตคอล
แต่ละบล็อกมีหลายฟิลด์ ยกเว้นฟิลด์หมายเลขบล็อก ข้อมูลในแต่ละฟิลด์เป็นการยืนยันของผู้เสนอบล็อก แต่ไม่จำเป็นต้องถูกต้อง
หากฟิลด์ยืนยันใดไม่ถูกต้อง โปรโตคอลจะปฏิเสธการบล็อกในที่สุด
บล็อกที่เสนอทั้งหมดมีระยะเวลาการยืนยัน
จำนำ
จำนำ
ในการเพิ่มบล็อก Rollup ลงในห่วงโซ่ ผู้เดิมพันต้องวางเดิมพันในบล็อกนั้น
การเดิมพันนั้นไม่ได้รับอนุญาตและทุกคนสามารถเดิมพันบล็อกใดก็ได้
เมื่อคุณเดิมพันบล็อก คุณจะไม่สามารถรับเงินฝากคืนได้จนกว่าบล็อกจะได้รับการยืนยัน
เมื่อคุณวางเดิมพันบนบล็อก หมายความว่าคุณเชื่อว่าบล็อกนี้ถูกต้อง และทุกบล็อกในห่วงโซ่ตั้งแต่บล็อกที่ได้รับการยืนยันล่าสุดไปจนถึงบล็อกที่คุณเดิมพันนั้นถูกต้อง
หากบล็อกที่คุณวางเดิมพันไม่ถูกต้อง หรือบล็อกลูกโซ่ตั้งแต่บล็อกที่ยืนยันล่าสุดไปจนถึงบล็อกที่คุณเดิมพันไม่ถูกต้อง เงินฝากของคุณจะถูกริบ
หากคุณไม่ต้องการเดิมพันในบล็อกใดบล็อกหนึ่ง คุณสามารถเดิมพันในบล็อกที่ได้รับการยืนยันล่าสุดได้
หากคุณเดิมพันในบล็อก คุณสามารถขยายการเดิมพันของคุณไปยังบล็อกใดก็ได้ที่ต่อจากบล็อกนั้น
จำนวนหลักประกันที่ต้องการเป็นแบบไดนามิก
มีพารามิเตอร์จำนวนเงินจำนำฐานที่ระบุใน Arbitrum chain ซึ่งจะใช้ในกรณีส่วนใหญ่
เพื่อป้องกันผู้โจมตีจากการทำให้เครือข่ายช้าลงโดยมีค่าใช้จ่ายในการเดิมพัน เงินเดิมพันจะถูกคูณด้วยปัจจัยที่เพิ่มขึ้นแบบทวีคูณตามการหมดเวลา (การหมดเวลาจะนับจากเส้นตายของบล็อกแรกที่รอดำเนินการ)
เป็นการเพิ่มต้นทุนของการโจมตีประเภทนี้ระหว่างการโจมตี
ชื่อเรื่องรอง
โปรโตคอลความท้าทาย
ความท้าทายเกิดขึ้นเมื่อผู้วางเดิมพันสองคนวางเดิมพันในบล็อกที่แตกต่างกันโดยไม่มีความสัมพันธ์ทางมรดกระหว่างพวกเขา พวกเขาต่างกันในบล็อก
ความท้าทายส่วนใหญ่เกิดขึ้นในห่วงโซ่อนุญาโตตุลาการและตัดสินโดยสัญญา L1
ความท้าทายประกอบด้วยเกมแบ่งแบบโต้ตอบหลายรอบใน L2 และการพิสูจน์ขั้นตอนเดียวที่ดำเนินการใน L1
หากผู้วางเดิมพันโต้แย้งการบล็อก ผู้วางเดิมพันที่เสนอการบล็อกจะปกป้องการยืนยันของเขาในฐานะ "จำเลย"
ผู้จำนำ "จำเลย" อ้างว่าเริ่มต้นจากบล็อกก่อนหน้า หลังจากที่เครื่องเสมือนดำเนินการคำสั่ง N สถานะของบล็อกก่อนหน้าจะเลื่อนไปสู่สถานะของบล็อกที่เสนอ
ในเกมแบ่งผู้เล่น (อลิซ) ซึ่งเป็น "จำเลย" จะทำการเคลื่อนไหวครั้งแรกและแบ่ง N คำแนะนำออกเป็น K ส่วน และขนาดของแต่ละส่วนคือ N/K
โปรดทราบว่าปริมาณการใช้ Arbgas ของแต่ละขั้นเท่ากัน แต่ไม่จำเป็นต้องเท่ากันในจำนวนขั้น
โปรดทราบว่าแต่ละย่อหน้ามีจุดเริ่มต้นและจุดสิ้นสุด (นี่ไม่สำคัญ แต่ช่วยให้เราเข้าใจประเด็นถัดไป)
ผู้จำนำ (บ๊อบ) ในฐานะ "โจทก์" ยังแบ่งคำแนะนำ N ออกเป็น K ส่วน (ขนาดของแต่ละส่วนคือ N/K) และสอดคล้องกับส่วนของ Alice ทีละส่วน และพบว่าหนึ่งในส่วนที่เป็นจุดสิ้นสุด แตกต่างจากของอลิซ
บ๊อบกำลังค้นหากลุ่มที่เขาไม่เห็นด้วย
ต่อไป บ๊อบจะดำเนินการดั้งเดิมของอลิซ แบ่งส่วนที่มีข้อโต้แย้ง (ขนาด N/K) ออกเป็นส่วนย่อย K จากนั้นส่งส่วนและส่วนย่อยให้อลิซ
อลิซดำเนินการตามคำสั่งเดิมของ Bob และพบส่วนย่อยที่มีจุดสิ้นสุดที่แตกต่างกัน
กระบวนการแยกชิ้นส่วนยังคงดำเนินต่อไปจนกระทั่งอลิซและบ็อบค้นพบคำสั่งเดียวที่พวกเขาแยกจากกัน
คำสั่งนี้ถูกส่งไปยังสัญญา L1 ซึ่งดำเนินการตามสัญญาแล้วตัดสินหา "ผู้ชนะ" ของข้อพิพาท
"ผู้แพ้" จะสูญเสียคำมั่นสัญญา บางส่วนจะถูกทำลาย (ป้องกันผู้โจมตีจากการเดิมพันป้องกันความเสี่ยง) และส่วนที่เหลือจะได้รับรางวัลให้กับ "ผู้ชนะ" ที่ซื่อสัตย์
ในระหว่างขั้นตอนการแยกทั้งหมด สัญญา L1 ในฐานะผู้ตัดสินไม่ทราบข้อมูลใด ๆ เกี่ยวกับคำแนะนำ และมีหน้าที่เพียงตรวจสอบว่าทั้งสองฝ่ายปฏิบัติตามกฎของเกมหรือไม่
ระหว่างการโต้แย้ง ผู้ตรวจสอบความถูกต้องรายอื่นทั้งหมดสามารถตัดสินผลลัพธ์ของข้อพิพาทก่อนที่ข้อพิพาทจะสิ้นสุด ซึ่งหมายความว่ามีการซอฟต์ฟอร์กเกิดขึ้น และผู้ตรวจสอบความถูกต้องสามารถดำเนินการต่อเพื่อส่งบล็อกค่าสะสมในห่วงโซ่ที่ถูกต้อง
ระยะเวลาท้าทายมีระยะเวลาบังคับ เช่น ประมาณหนึ่งสัปดาห์ต่อคนเดิมพัน
staker แต่ละคนต้องทำภารกิจให้เสร็จภายในหนึ่งสัปดาห์หรือ “แพ้คดี”
เหมือนตัวจับเวลาหมากรุก
ชื่อเรื่องรอง
ผู้ตรวจสอบ
ตัวตรวจสอบความถูกต้องเป็นโหนดใน Arbitrum chain ที่รับผิดชอบในการตรวจสอบกิจกรรมของโปรโตคอล Rollup และพัฒนาสถานะของห่วงโซ่ทั้งหมด
โหนดทั้งหมดไม่ใช่ตัวตรวจสอบความถูกต้อง
Offchain Labs คาดหวังให้ Validator ใช้กลยุทธ์แบบ Active, Defense หรือ Wait-and-See โปรโตคอลไม่ได้บังคับว่าจะใช้กลยุทธ์ใด
"ตัวตรวจสอบที่ใช้งานอยู่" ดำเนินการต่อเพื่อพัฒนาสถานะของเชนโดยเสนอบล็อกใหม่ แต่ละห่วงโซ่จำเป็นต้องมีตัวตรวจสอบความถูกต้องที่ใช้งานจริงเพียงตัวเดียว การเพิ่มจำนวนตัวตรวจสอบความถูกต้องที่ใช้งานอยู่ไม่ได้ปรับปรุงประสิทธิภาพของห่วงโซ่ทั้งหมด
"ผู้ตรวจสอบความถูกต้องเชิงป้องกัน" จะตรวจสอบโปรโตคอล Arbitrum และดำเนินการเฉพาะเมื่อตรวจพบความไม่ซื่อสัตย์: ไม่ว่าจะเป็นการเสนอบล็อกที่ถูกต้องด้วยตนเอง หรือการเดิมพันในบล็อกที่ถูกต้องที่เสนอโดยตัวตรวจสอบความถูกต้องอื่นๆ
แม้ว่า "ตัวตรวจสอบแบบรอดูและดู" จะตรวจสอบโปรโตคอล Arbitrum เช่นเดียวกับตัวตรวจสอบเชิงป้องกัน แม้ว่าจะพบความไม่ซื่อสัตย์ พวกเขาจะไม่เสนอหรือวางเดิมพันในบล็อกที่ถูกต้อง และจะออกคำเตือนให้กับตัวตรวจสอบความถูกต้องอื่นๆ เท่านั้น
ห้องปฏิบัติการ Offchain จะเรียกใช้โหนดตัวตรวจสอบความถูกต้องที่ใช้งานอยู่บนเครือข่าย Arbitrum ที่เป็นเรือธง
ส่วนใหญ่แล้ว ผู้ตรวจสอบความถูกต้องเชิงป้องกันและผู้ตรวจสอบความถูกต้องแบบรอและดูไม่จำเป็นต้องทำอะไร ดังนั้นผู้โจมตีจึงไม่มีทางรู้ว่ามีตัวตรวจสอบความถูกต้องเชิงป้องกันจำนวนเท่าใด
ชื่อระดับแรก
โหนดเต็ม
โหนดแบบเต็มบน Arbitrum chain ทำงานเหมือนกับโหนดแบบเต็มบน Ethereum มีหน้าที่ติดตามสถานะของเชนและอนุญาตให้ผู้อื่นโต้ตอบกับเชน
โหนดทั้งหมดมีตัวจำลอง AVM ในตัว ดังนั้น จากมุมมองของโหนดแบบเต็ม Arbitrum chain จะคำนวณเอาต์พุตตามอินพุต โดยไม่ทราบโปรโตคอลการยกเลิกจริง
โหนดแบบเต็มสามารถทำหน้าที่เป็นตัวรวบรวมบนเครือข่าย ช่วยให้ผู้ใช้เพิ่มประสิทธิภาพด้านต้นทุน
Arbitrum ยังมีสิ่งอำนวยความสะดวกในการเก็บค่าธรรมเนียมจากผู้ใช้เพื่อชดเชยโหนดทั้งหมดสำหรับค่าใช้จ่ายในการทำหน้าที่เป็นผู้รวบรวม
โหนดแบบเต็มยังสามารถลดต้นทุนข้อมูลการโทร L1 ได้อีกโดยการบีบอัดธุรกรรม
โหนดแบบเต็มจะส่งธุรกรรมที่บีบอัดไปยังกล่องจดหมาย และ arbOS จะคลายการบีบอัดธุรกรรมหลังจากได้รับ
ชื่อระดับแรก
โหมดซีเควนเซอร์
เมื่อ Arbitrum chain เริ่มทำงาน เราสามารถเลือกได้ว่าจะเปิดใช้ซีเควนเซอร์หรือไม่
ซีเควนเซอร์คือโหนดเต็มรูปแบบที่มีสิทธิ์ในการกำหนดลำดับธุรกรรมในกล่องจดหมาย
สิทธิพิเศษนี้ช่วยให้ซีเควนเซอร์สามารถรับประกันผลลัพธ์ของการทำธุรกรรมได้ทันที
หากเปิดใช้งานซีเควนเซอร์สำหรับ Arbitrum chain กล่องขาเข้าจะถูกแบ่งออกเป็นสองส่วน:
กล่องขาเข้าแรกจะทำงานเหมือนกับว่าไม่มีซีเควนเซอร์อยู่ กล่าวคือ โหนดสามารถส่งข้อความไปยังกล่องจดหมายนี้โดยแท็กด้วยหมายเลขบล็อกและการประทับเวลา
กล่องจดหมายเข้าที่สองจะถูกควบคุมโดยซีเควนเซอร์ และมีเพียงซีเควนเซอร์เท่านั้นที่สามารถส่งข้อความไปยังกล่องจดหมายนี้ได้
เมื่อส่งข้อความไปยังกล่องขาเข้า ซีเควนเซอร์สามารถระบุหมายเลขบล็อกและการประทับเวลาที่จะประทับข้อความ
ซึ่งรวมถึงหมายเลขบล็อก (ของบล็อกที่ผ่านมา) และการประทับเวลาและเดลต้าวินาที (เวลาในอดีต) จนถึงบล็อกเดลต้าที่ระบุ
โดยทั่วไปสันดอนเหล่านี้จะเท่ากับประมาณ 10 นาทีในโลกแห่งความเป็นจริง
เมื่อ arbOS ตรวจสอบกล่องขาเข้า จะได้รับข้อความที่มีหมายเลขบล็อกต่ำสุด หมายเลขบล็อกนี้เป็นหมายเลขบล็อกของกล่องจดหมายปกติหรือหมายเลขบล็อกของกล่องจดหมายซีเควนเซอร์
จำนวนบล็อกที่ซีเควนเซอร์สามารถย้อนกลับได้นั้นขึ้นอยู่กับจำนวนบล็อกที่ได้รับการยืนยันที่จำเป็นในการยุติการบล็อกโดยอนุญาโตตุลาการบน Ethereum
หากอนุญาโตตุลาการจำเป็นต้องรอให้บล็อก X ถึงจุดสิ้นสุดบน Ethereum จากนั้นซีเควนเซอร์จำเป็นต้องย้อนกลับไปบล็อก X เพื่อพิจารณาว่าธุรกรรมใดจะได้รับการประมวลผลทันทีหลังจากธุรกรรมแพ็คเกจปัจจุบัน
เมื่อเปิดใช้งานโหมดซีเควนเซอร์บน Arbitrum chain ธุรกรรมที่ส่งไปยังซีเควนเซอร์จะเสร็จสิ้น x บล็อกเร็วกว่าที่ไม่มีซีเควนเซอร์ แต่ธุรกรรมที่ส่งไปยังกล่องจดหมายปกติจะเสร็จสิ้นเร็วกว่าที่ไม่มีซีเควนเซอร์ Situation หลัง x บล็อกที่สรุปผล
นี่เป็นการแลกเปลี่ยนเชิงบวกเนื่องจากความแตกต่างอย่างมากระหว่างตกลงทันทีและตกลง 5 นาทีกับตกลง 5 นาทีและตกลง 10 นาที
อย่างไรก็ตาม ซีเควนเซอร์ที่เป็นอันตรายสามารถใช้ประโยชน์จากสิทธิ์เหล่านี้ได้ในระดับหนึ่ง
ซีเควนเซอร์ที่เป็นอันตรายสามารถเซ็นเซอร์ธุรกรรมของผู้ใช้โดยไม่ใส่ไว้ในกล่องจดหมายของซีเควนเซอร์ บังคับให้ผู้ใช้ส่งธุรกรรมเดียวกันไปยังกล่องจดหมายปกติหลังจากพบว่าพวกเขาถูกเซ็นเซอร์
ซีเควนเซอร์ยังสามารถครอบครองการทำธุรกรรมของผู้ใช้
ห่วงโซ่ Arbitrum เริ่มต้นจะเปิดใช้งานซีเควนเซอร์ที่ดำเนินการโดย Offchain Labs
คำอธิบายภาพ
ชื่อระดับแรก
ArbGas / ค่าธรรมเนียม
หลักการของ ArbGas นั้นคล้ายกับ Ethereum gas ซึ่งใช้ในการวัดต้นทุนการคำนวณใน Arbitrum chain
อย่างไรก็ตาม ArbGas นั้นไม่มีขีด จำกัด ที่ยากในห่วงโซ่ Arbitrum และ ArbGas จะถูกใช้เร็วกว่าก๊าซ Ethereum มาก
บทบาทสำคัญของ ArbGas คือการคาดคะเนว่าจะใช้เวลานานเท่าใดในการตรวจสอบผลลัพธ์ของการคำนวณ
บล็อก Rollup แต่ละบล็อกมีคำสั่งเกี่ยวกับปริมาณการใช้ ArbGas ทั้งหมด ซึ่งหมายความว่าความแตกต่างระหว่างคำสั่งในบล็อกปัจจุบันและคำสั่งในบล็อกก่อนหน้าควรเป็นตัวบ่งชี้ที่มีประสิทธิภาพของการใช้ ArbGas ในบล็อกปัจจุบัน
ผู้ตรวจสอบสามารถตั้งค่าส่วนต่างนี้เป็นขีดจำกัดบนของก๊าซ หาก ArbGas จำนวนมากหมดลงก่อนที่จะดำเนินการบล็อก
เนื่องจากในที่สุดข้อมูลของธุรกรรมเหล่านี้จำเป็นต้องอัปโหลดไปยังเชน ผู้ใช้จึงจำเป็นต้องจ่ายค่าธรรมเนียม
หากผู้ใช้รายนั้นส่งธุรกรรมไปยังผู้รวบรวม ส่วนหนึ่งของค่าธรรมเนียมจะจ่ายให้กับผู้รวบรวมโดยอัตโนมัติเพื่อเป็นค่าตอบแทน
ค่าธรรมเนียมที่เหลือจะเข้าสู่กลุ่มค่าธรรมเนียมของเครือข่ายเพื่อชำระค่าบริการที่รับประกันการทำงานที่ปลอดภัยของเครือข่ายทั้งหมด
ค่าธรรมเนียมรวมถึงการทำธุรกรรม L2 ข้อมูลการโทร L1 การคำนวณและค่าใช้จ่ายในการจัดเก็บ
สรุปแล้ว
สรุปแล้ว
Arbitrum เป็นโซลูชันความสามารถในการปรับขนาด L2 ที่พัฒนาโดย Offchain Labs: Optimistic Rollup พร้อมโปรโตคอลความท้าทายแบบโต้ตอบหลายรอบ
เครือข่าย Arbitrum ระดับเรือธงเปิดให้นักพัฒนาซอฟต์แวร์ในวันที่ 28 พฤษภาคม เมื่อโปรเจกต์ที่ทำงานบนเชนนี้ถึงเกณฑ์ โปรเจ็กต์นั้นจะเปิดให้ผู้ใช้
จากมุมมองของผู้ใช้ ประสบการณ์การโต้ตอบของ Arbitrum chain นั้นไม่ต่างจากของ Ethereum
ลิงค์ต้นฉบับ:
หากคุณต้องการเรียนรู้เพิ่มเติมเกี่ยวกับ Arbitrum โปรดดูเอกสารนี้
ลิงค์ต้นฉบับ:
https://tracer.finance/radar/arbitrum-in-under-10/
แปลและพิสูจน์อักษร: Min Min & A Jian
แปลและพิสูจน์อักษร: Min Min & A Jian


