ทำความเข้าใจ Truebit ในห้านาที: กลไกโปรโตคอล สถานการณ์การใช้งาน และแบบจำลองทางเศรษฐกิจ

เขียนโดย: Essence Labs

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

นอกจากนี้ เราจะพิจารณาโซลูชัน Optimistic Rollup EVM ล่าสุดของ V God กับผู้อ่านอย่างใกล้ชิดยิ่งขึ้น

สุดท้าย หากคุณต้องการฝึกฝนการเข้าร่วมในเครือข่าย Truebit อย่าพลาดคำแนะนำที่รอบคอบในตอนท้ายของบทความ

ภูมิหลังของปัญหา

ปัจจุบัน Ethereum มีปัญหาดังต่อไปนี้:

• ปริมาณงานโดยรวมอยู่ในระดับต่ำ มันใช้พลังงานในการคำนวณมาก แต่ปริมาณงานนั้นเทียบเท่ากับสมาร์ทโฟนเท่านั้น

• การตรวจสอบอยู่ในระดับต่ำ ปัญหานี้เรียกว่า Verifier's Dilemma โหนดที่ได้รับสิทธิ์ในการบรรจุจะได้รับรางวัล และโหนดอื่นจำเป็นต้องตรวจสอบ แต่ไม่ได้รับรางวัล และความกระตือรือร้นในการตรวจสอบต่ำ เมื่อเวลาผ่านไป การคำนวณอาจไม่ได้รับการยืนยัน ทำให้เกิดความเสี่ยงต่อความปลอดภัยของข้อมูลในห่วงโซ่

• ปริมาณการคำนวณมีจำกัด (gasLimit) และต้นทุนการคำนวณสูง

ปัญหาข้างต้นเกิดจากการออกแบบให้โหนดทั้งหมด (เต็ม) ของ Ethereum ทำการตรวจสอบ ปริมาณการคำนวณซ้ำซ้อนสูงเกินไป TrueBit ลดการออกแบบ "การตรวจสอบความซ้ำซ้อนของโหนดทั้งหมด" ของงานการคำนวณให้เหลือการตรวจสอบที่ซ้ำซ้อนบนโหนดออฟไลน์เพียงไม่กี่โหนด

กรอบข้อตกลง

โปรโตคอล TrueBit มีสัญญาอัจฉริยะ ผู้ใช้สามารถส่งงานคอมพิวเตอร์ไปยังสัญญาอัจฉริยะนี้และให้ราคาที่พวกเขายินดีจ่ายสำหรับงานนี้ ผู้ใช้เหล่านี้เรียกว่าผู้ให้งาน

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

ตรวจสอบเกม

ตรวจสอบเกม

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

วิธีปัจจุบันในการบรรลุเป้าหมายนี้คือ: ให้ Solver และ Challenger ค้นหาจุดแยกแรกในกระบวนการคำนวณของทั้งสองฝ่าย จำนวนการคำนวณจากจุดเดียวกันสุดท้ายไปยังจุดแยกสองทางแรกนั้นน้อยมาก และเฉพาะจุดนี้เท่านั้นที่ต้องการ ที่จะดำเนินการในสัญญา คำนวณแล้วสามารถตัดสินได้ว่าใครถูก โปรโตคอลเฉพาะอธิบายสั้น ๆ ดังนี้

ขั้นตอนวงหลัก

• สมมติว่ามีข้อสงสัยเกี่ยวกับการคำนวณในช่วงเวลา t ให้แบ่งเวลา t ออกเป็น c ส่วนเท่าๆ กัน ให้ตัวแก้แทนสถานะของแต่ละจุดเวลาด้วยต้นไม้ Merkle โหนดใบไม้ของต้นไม้คือตัวแปรสถานะของเครื่องจักรทั้งหมด และแฮชรากของต้นไม้ Merkle เพื่อทำสัญญา

• หากผู้ท้าชิงพบแฮชที่จุดเวลาที่ i-th แสดงว่าเป็นครั้งแรกที่ไม่ตรงกับแฮชที่คำนวณในเครื่อง ส่งฉันไปที่สัญญา

• ผู้พิพากษาตรวจสอบความถูกต้องของแฮช C และหมายเลข i

• ในขั้นตอนถัดไป ใช้ช่วงเวลาระหว่าง i-1 และ i เป็นวัตถุต้องสงสัย และทำซ้ำขั้นตอนก่อนหน้าซ้ำๆ

ขั้นตอนการยืนยัน

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

กลไกรางวัล (แจ็คพอต)

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

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

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

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

การใช้งานและสถานการณ์การใช้งาน

เพื่อให้บรรลุถึงเกมการตรวจสอบ จำเป็นต้องรวมสถาปัตยกรรมการสอนเข้าด้วยกัน เดิมทีโครงการ TrueBit ต้องการใช้สถาปัตยกรรม Lanai แต่ภายหลังพบว่าการนำคอมไพเลอร์ Lanai ไปใช้งานนั้นช้า ปัจจุบันใช้ WebAssembly แทน

ต่อไปนี้คือสถานการณ์การใช้งานของการวางแผน TrueBit ในช่วงต้น (ไม่มีแนวคิดในการขยาย RollUp ในเวลานั้น เมื่อวานนี้ Vitalik ให้ข้อเสนอ TrueBit สำหรับ RollUp ในแง่ดีหลังจากเปิดตัว TrueBit OS โปรดดูรายละเอียดในส่วนถัดไป):

• พลังการประมวลผลแบบเอาท์ซอร์ส: ได้รับการแนะนำมาก่อน

• แหล่งรวมเหมืองแบบกระจายอำนาจ: ข้อได้เปรียบของแหล่งรวมเหมืองแบบกระจายอำนาจคือป้องกันจุดเดียว (ผู้ดำเนินการของแหล่งรวมเหมืองส่วนกลาง) จากการถูกโจมตี พูลการขุดแบบกระจายศูนย์สามารถดำเนินการผ่านสัญญาอัจฉริยะ แต่งานเช่น การตรวจสอบ POW ของ ZCash นั้นเกินขีดจำกัดของก๊าซ สิ่งนี้สามารถเอาชนะได้ผ่านกลไก TrueBit ช่วยตระหนักถึงกลุ่มการขุดแบบกระจายอำนาจดังกล่าว

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

การตรวจสอบโปรโตคอล

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

Vitalik: สร้าง EVM โดยรวมในแง่ดีโดยใช้ Truebit

ลิงค์ต้นฉบับลิงค์ต้นฉบับโซลูชันจะถือว่า Truebit เป็นกล่องดำ กล่าวคือ คุณสามารถป้อนคำแนะนำให้กับ Truebit และคาดว่า Truebit จะส่งคืนผลลัพธ์หลังจากช่วงเวลาหนึ่งเกิดความล่าช้า สามารถสร้าง EVM optistic rollup ตามโมเดลนี้ได้

Truebit สามารถรับคำสั่ง WebAssembly (WASM) ได้ และภาษาระดับสูงในปัจจุบันส่วนใหญ่สามารถคอมไพล์เป็น WASM bytecode ได้ เช่น C++, Go, Rust, Java เป็นต้น ซึ่งหมายความว่าไคลเอนต์ Ethereum ที่เขียนด้วยภาษาเหล่านี้สามารถ ยังรวบรวมเป็น WASM ถูกนำไปใช้ใน Truebit หากคุณต้องการสร้าง EVM ตาม Truebit ขั้นตอนแรกคือสร้างไคลเอนต์ Ethereum ไร้สถานะ ไคลเอนต์ไร้สัญชาติสามารถดำเนินการได้ด้วยวิธีนี้ ข้อมูลสถานะที่จำเป็นในการดำเนินการบล็อกจะถูกส่งผ่านไปยังไคลเอนต์เป็นพารามิเตอร์อินพุตในรูปแบบของตารางคิวรีสถานะสำหรับการดำเนินการ ไคลเอนต์ดังกล่าวไม่จำเป็นต้องรักษาสถานะเอง และสามารถสรุปเป็นฟังก์ชันบริสุทธิ์ได้ วิธีการ process_block(state_lookup_table, block) -> post_state_root เช่น ไคลเอ็นต์ไร้สถานะที่ทำงานได้อย่างหมดจดสามารถคอมไพล์เป็น wasm และส่งต่อไปยัง Truebit เพื่อดำเนินการ

ขั้นตอนที่สองคือการสร้างโมดูลบน chain ความยากประการหนึ่งคือ blockchain มีสถานะ หากบล็อกที่ N บนห่วงโซ่การยกเลิกในแง่ดีเริ่มดำเนินการตามกระบวนการพิสูจน์การฉ้อโกง มีข้อสันนิษฐานโดยปริยายว่าข้อมูลสถานะที่เกี่ยวข้องกับ stateRoot ในบล็อกที่ N จะพร้อมใช้งาน เนื่องจากข้อสันนิษฐานนี้ เมื่อมีการส่งการบล็อกที่ผิดพลาด ผู้คนสามารถพิสูจน์ข้อผิดพลาดการบล็อกได้ตั้งแต่แรก อย่างไรก็ตาม Truebit เป็นระบบคอมพิวเตอร์เชิงโต้ตอบไร้สถานะที่ใช้งานได้อย่างแท้จริง และเราสามารถหลีกเลี่ยงข้อจำกัดดังกล่าวได้ผ่านกระบวนการตรวจสอบเชิงโต้ตอบสองสามขั้นตอนภายนอกการโทร Truebit

สามารถออกแบบผังงานโปรแกรมได้ดังนี้

1. เก็บ block hash และ stateRoot ในสัญญาบน chain: List[Tuple[block_hash, state_root]]
2. ซีเควนเซอร์ (กำหนดโดยอิมพลีเมนต์ อาจเป็นหนึ่งในหรือมากกว่าก็ได้) มีหน้าที่รับผิดชอบในการเพิ่มบล็อก ซึ่งใช้งานโดยการเรียกเมธอด add_block(expected_pre_state: bytes32, block: bytes, post_state: bytes32) ซึ่งต้องใช้ stateRoot ก่อนดำเนินการ ส่งผ่านเป็นพารามิเตอร์ จากนั้น ((block, post_state)) จะถูกเพิ่มในเชน
3. challenger สามารถท้าทาย stateRoot ได้โดยการเรียก method challenge(index: int, lookup_table: bytes, block: bytes) ซึ่งจะดำเนินการตามตรรกะต่อไปนี้:

• ตรวจสอบว่าบล็อกที่ส่งตรงกับแฮชที่บันทึกไว้

• โทร Truebit process_block() เพื่อดำเนินการเนื้อหาบล็อก

• คำนวณและบันทึก Merkle root ของตารางค้นหา

เมื่อการท้าทายเริ่มต้นขึ้น ทุกคนสามารถท้าทายว่าตารางแบบสอบถามที่ผู้ท้าชิงให้มานั้นผิด โดยส่งค่าใน Merkel Path ที่มี preStateRoot เป็นรูท และเปรียบเทียบกับค่าเดียวกันบนเส้นทาง Merkel ที่ผู้ท้าชิงให้มา ถ้า หากมีความขัดแย้งแสดงว่ามีปัญหากับผู้ท้าชิงและผู้ท้าชิงจะถูกลงโทษ

เมื่อ Truebit ส่งคืนผลลัพธ์การบล็อกการดำเนินการ post_state_root หลังจากระยะเวลารอ หมายความว่าการท้าทายเป็นเรื่องปกติ (นั่นคือ ไม่มีใครพิสูจน์ได้ว่ามีปัญหากับผู้ท้าชิง) นั่นคือ ผลลัพธ์ที่ส่งคืนคือผลลัพธ์ที่ถูกต้องของปกติ การดำเนินการบล็อก จากนั้นตามสมมติฐานว่าผลลัพธ์ถูกต้อง ตรรกะต่อไปนี้จะถูกดำเนินการ:

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

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

ภาพรวมโมเดลเศรษฐกิจ

โทเค็นของ Truebit คือ TRU ซึ่งใช้โดยผู้ส่งงานเพื่อชำระค่า Solver และ Verifiers หลังจากได้รับการชำระเงิน ผู้แก้ปัญหาและผู้ตรวจสอบสามารถเริ่มการดำเนินงานได้

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

วิธีการจัดหาโทเค็น TRU

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

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

แรงจูงใจในเวลาจำกัด

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

ค่าธรรมเนียม ETH

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

นโยบายการตั้งราคา

Truebit ใช้โมเดล Bonding Curve ในการกำหนดราคา เมื่ออุปสงค์เพิ่มขึ้นและจำนวนโทเค็นทั้งหมดเพิ่มขึ้น ราคาบนเส้นโค้งก็เพิ่มขึ้นพร้อมกันเช่นกัน

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

วิธีเข้าร่วมเครือข่าย Truebit ก่อนใคร

ในปัจจุบัน ผู้ใช้สามารถรับการเข้าถึง Truebit ก่อนกำหนดได้โดยส่งแบบฟอร์มใบสมัครข้อมูลที่ผู้ใช้จำเป็นต้องส่ง ได้แก่ การแนะนำตัว/องค์กร ที่อยู่ Github และสถานการณ์ที่เป็นไปได้สำหรับการใช้ Truebit หลังจากส่งแล้ว ผู้ดูแลระบบจะตรวจสอบและตอบกลับ

ที่อยู่การสมัครมีดังนี้:

https://truebit.substack.com/p/truebit-early-access

นอกจากนี้ การสนทนาใด ๆ เกี่ยวกับการใช้และกลไกของ Truebit สามารถสื่อสารกับนักพัฒนาบน gitter:

https://gitter.im/TruebitProtocol/community

เกี่ยวกับผู้เขียน:

Essence Labs เป็นทีมผู้ประกอบการที่จัดตั้งขึ้นใหม่ในทิศทางของ DeFi และ Web3.0 โดยมีวิสัยทัศน์คือช่วยส่งเสริมการทำให้เป็นจริงของ Web3.0 และเพิ่มความน่าเชื่อถือแบบกระจายอำนาจไปยังสถานการณ์แอปพลิเคชันที่คนทั่วไปเข้าถึงได้มากขึ้น

สมาชิกของ Essence Labs มีประสบการณ์ในการวิจัยกลไกฉันทามติหลักของบล็อกเชน และการพัฒนาและการใช้งานแพลตฟอร์มบล็อกเชน ตลอดจนภูมิหลังด้านอินเทอร์เน็ตและเทคโนโลยีการเงินชั้นนำ เราให้ความสนใจอย่างใกล้ชิดกับเส้นทางต่างๆ เช่น มิดเดิลแวร์ Web3.0 โซลูชันความสามารถในการปรับขนาด และโปรโตคอล DeFi และตั้งตารอที่จะสำรวจทิศทางในอนาคตของอุตสาหกรรมบล็อกเชนร่วมกับเพื่อนร่วมงานในอุตสาหกรรม