Đọc Truebit trong năm phút: cơ chế giao thức, kịch bản ứng dụng và mô hình kinh tế

Nguồn gốc: Lianwen

Tác giả gốc: Essence Labs 

Tiêu đề gốc: "Tìm hiểu về Truebit trong 5 phút: Cơ chế giao thức, Kịch bản ứng dụng và Mô hình kinh tế"   ;

Là một dự án Lớp 2 kỳ cựu được ra mắt trong thị trường tăng trưởng vừa qua, Truebit cuối cùng cũng đã được ra mắt một cách nhẹ nhàng vào cuối tháng Tư. Khi giá token tiếp tục tăng và các cuộc thảo luận xung quanh cơ chế định giá đặc biệt, cơ hội chênh lệch giá TruebitOS, v.v., mức độ phổ biến của cộng đồng Truebit tiếp tục nóng lên. Bài viết này cố gắng giúp người dùng có được cái nhìn tổng quan toàn cảnh về dự án bằng cách sắp xếp cơ chế giao thức, kịch bản ứng dụng, mô hình kinh tế, v.v. của mạng Truebit.

Ngoài ra, chúng tôi cũng sẽ làm việc với độc giả để có cái nhìn sâu hơn về giải pháp Optimistic Rollup EVM mới nhất của V God.

Cuối cùng, nếu bạn muốn thực hành tham gia mạng Truebit, đừng bỏ lỡ phần hướng dẫn chu đáo ở cuối bài viết.

Nền tảng vấn đề

Hiện tại Ethereum có các vấn đề sau:

1. Thông lượng tổng thể thấp. Nó tiêu tốn rất nhiều sức mạnh tính toán nhưng thông lượng chỉ tương đương với một chiếc điện thoại thông minh.

2. Nhiệt tình xác minh thấp. Vấn đề này được gọi là Thế lưỡng nan của người xác minh. Các nút có được quyền đóng gói sẽ được khen thưởng và các nút khác cần được xác minh, nhưng chúng không được khen thưởng và có mức độ nhiệt tình xác minh thấp. Theo thời gian, các tính toán có thể không được xác minh, gây ra rủi ro cho tính bảo mật của dữ liệu trên chuỗi.

3. Khối lượng tính toán bị hạn chế (gasLimit) và chi phí tính toán cao.

Vấn đề trên là do thiết kế mà tất cả các nút (đầy đủ) của Ethereum đều thực hiện xác minh. Số lượng tính toán dư thừa quá cao. TrueBit giảm thiết kế "xác minh dự phòng của tất cả các nút" của các tác vụ điện toán xuống chỉ còn xác minh dự phòng trên một số nút ngoài chuỗi.

Khung giao thức

Giao thức TrueBit chứa một hợp đồng thông minh. Người dùng có thể gửi tác vụ điện toán tới hợp đồng thông minh này và Với mức giá sẵn sàng trả cho nhiệm vụ này, những người dùng này được gọi là Người giao nhiệm vụ;

Người giải đang cố gắng hoàn thành Nhiệm vụ, những người tham gia nhận được phần thưởng; Người giải trả một số tiền đặt cọc vào hợp đồng để anh ta có thể được giao nhiệm vụ; và nhận được phần thưởng bằng cách hoàn thành nhiệm vụ tính toán này.

Vậy làm thế nào để đánh giá kết quả do Solver đưa ra có chính xác hay không? Vai trò Người thách đấu tồn tại để xác nhận xem kết quả mà Người giải đưa ra có chính xác hay không. Nếu phát hiện sai, một thử thách sẽ được bắt đầu để giành phần thưởng. Khi hợp đồng phát hiện ra thử thách sẽ tổ chức trò chơi xác minh để xác nhận ai đúng, người giải hay người thách đấu.

Trò chơi xác minh

Như có thể thấy từ phần giới thiệu khung giao thức ở phần trước, khi xảy ra bất đồng, cần phải có một trò chơi xác minh để xác định ai đúng, người giải hay người thách thức. Trò chơi xác minh này được tổ chức bởi các hợp đồng thông minh. Nếu hợp đồng thông minh yêu cầu nhiều tính toán cho việc này thì chi phí vận hành trên chuỗi sẽ rất cao và có thể vượt quá gasLimit. Mục tiêu của chúng tôi là có càng ít tính toán trên chuỗi càng tốt.

Cách hiện tại để đạt được mục tiêu này là để Người giải và Người thách đấu tìm ra điểm bất đồng đầu tiên trong quá trình tính toán của cả hai bên.Số lượng tính toán từ điểm tương đồng trước đến điểm phân kỳ đầu tiên là rất nhỏ, chỉ cần phép tính này được thực hiện trong hợp đồng thì có thể xác định được ai đúng. Giao thức cụ thể được mô tả ngắn gọn như sau

Giai đoạn vòng lặp chính

1. Giả sử rằng có nghi ngờ về phép tính trong khoảng thời gian t, chia thời gian t thành c phần bằng nhau và để bộ giải biểu thị trạng thái của từng điểm thời gian dưới dạng cây merkle. các nút lá của cây đều là máy Biến trạng thái gửi c băm gốc cây merkle vào hợp đồng.

2. Nếu người thách đấu thấy rằng hàm băm ở thời điểm thứ i là điểm thời gian đầu tiên không khớp với hàm băm được tính toán cục bộ của anh ta. Gửi tôi đến hợp đồng.

3. Thẩm phán kiểm tra tính hợp pháp của hàm băm C và số i.

4. Tiếp theo, sử dụng khoảng thời gian giữa i-1 và i làm đối tượng nghi ngờ và lặp lại các bước trước đó một cách đệ quy.   

Giai đoạn xác nhận

Sau một số lần đệ quy nhất định (log t/log c), người giải sẽ gửi tất cả các trạng thái máy của điểm thời gian không khớp đầu tiên e và e-1, và trọng tài sẽ xác minh xem ai đúng, Người giải quyết hoặc Người thách thức.

Cơ chế giải thưởng lớn (jackpot)

Bộ giải đưa ra kết quả tính toán riêng và Người xác minh thực hiện các phép tính lặp lại và xác minh xem kết quả do Bộ giải đưa ra có chính xác hay không. Đây là logic hoạt động bình thường. Nhưng logic này sẽ gặp phải những vấn đề sau.

Nếu bạn giao nhiệm vụ xác minh cho Người xác minh và trả tiền cho họ thì có thể Người xác minh sẽ không lặp lại Tính toán hoàn toàn (không phải trả bất kỳ chi phí tính toán nào cho việc này) và trực tiếp thứ hai kết quả của Bộ giải, điều này rất nguy hiểm cho giao thức.

Nếu chúng tôi chỉ trả tiền cho người xác thực cho những lỗi được tìm thấy thì họ không chắc khi nào họ sẽ tìm thấy lỗi. Mặt khác Mặt khác, lỗi có thể không được phát hiện trong một thời gian dài, từ quan điểm kỳ vọng và thực tế, người xác minh không có động cơ để tham gia.

Nếu đôi khi chúng tôi "cố tình vạch trần lỗi" và tặng phần thưởng lớn cho người xác minh đã phát hiện ra lỗi, thì The người xác minh sẽ tiếp tục xác minh, cố gắng tìm ra lỗi này. "Lỗi cố ý" này được gọi là "lỗi bắt buộc". Toàn bộ cơ chế này được gọi là cơ chế jackpot, cơ chế này được Vitalik, người sáng lập Ethereum, thiết kế vào năm 2017 và được thêm vào giao thức TrueBit.

Kịch bản triển khai và ứng dụng

Trò chơi xác minh việc triển khai , Kiến trúc chỉ dẫn cần phải được thống nhất. Dự án TrueBit ban đầu muốn triển khai bằng kiến trúc Lanai, nhưng sau đó nhận thấy rằng việc triển khai trình biên dịch Lanai diễn ra chậm. Hiện đang sử dụng WebAssembly để thay thế.

Dưới đây là các kịch bản ứng dụng được TrueBit lên kế hoạch trong những ngày đầu (lúc đó chưa có khái niệm mở rộng RollUp. Hôm qua , Vitalik đã thông báo trên TrueBit OS Sau khi lên mạng, đề xuất RollUp lạc quan của TrueBit đã được đưa ra, hãy xem phần tiếp theo để biết chi tiết):

·  ; Năng lực tính toán thuê ngoài: Nhiều loại đã được giới thiệu trước đây.

·  Nhóm khai thác phi tập trung: Ưu điểm của nhóm khai thác phi tập trung là ngăn chặn một điểm duy nhất (người điều hành nhóm khai thác tập trung) khỏi bị tấn công. Các nhóm khai thác phi tập trung có thể được triển khai thông qua các hợp đồng thông minh, nhưng hoạt động giống như xác minh POW của ZCash vượt quá gasLimit. Điều này có thể được khắc phục thông qua cơ chế TrueBit. Giúp hiện thực hóa các nhóm khai thác phi tập trung như vậy.

·  Để cải thiện thông lượng "giao dịch", người khai thác cần thực hiện những việc sau: nhiệm vụ1: Chọn giao dịch và đóng gói chúng thành các khối. task2: Xác minh tính hợp pháp của các giao dịch trong khối. Một giao thức có thể được sử dụng để đặt task2 ra khỏi chuỗi và được thực thi bởi Bộ giải và Người xác minh. Điều này tiết kiệm rất nhiều tính toán kép. Các "Giao dịch" phức tạp có thể được đưa vào chuỗi một cách an toàn.   

Đánh giá giao thức

Trò chơi xác minh tương tác của giao thức TrueBit cho phép người dùng gửi (thuê ngoài) bất kỳ tác vụ điện toán nào và nhận được kết quả chính xác.

TrueBit giảm bớt công việc xác minh dư thừa của những người khai thác khác và tối ưu hóa cơ cấu phần thưởng. Vấn đề tiến thoái lưỡng nan của người xác minh đã được giảm nhẹ.

Vitalik: Xây dựng EVM tổng hợp lạc quan dựa trên Truebit

Vitalik đã đề xuất một Tổng hợp lạc quan dựa trên Truebit ngày hôm qua Giải pháp EVM coi Truebit như một hộp đen, nghĩa là bạn có thể nhập hướng dẫn vào nó và mong đợi nó trả về kết quả sau một khoảng thời gian trì hoãn. Dựa trên mô hình này, bạn có thể xây dựng một bản tổng hợp lạc quan EVM.

Truebit có thể chấp nhận hướng dẫn WebAssembly (WASM) và hầu hết các ngôn ngữ cấp cao hiện nay đều có thể được biên dịch thành WASM bytecode , chẳng hạn như C++, Go, Rust, Java, v.v., điều đó có nghĩa là các ứng dụng khách Ethereum được viết bằng các ngôn ngữ này cũng có thể được biên dịch thành WASM và thực thi trong Truebit. Nếu bạn muốn xây dựng EVM dựa trên Truebit, bước đầu tiên là xây dựng ứng dụng khách Ethereum không trạng thái. Máy khách không trạng thái có thể được triển khai theo cách này. Dữ liệu trạng thái cần thiết để thực thi khối được chuyển đến máy khách để thực thi dưới dạng bảng truy vấn trạng thái làm tham số đầu vào. Máy khách như vậy không cần phải duy trì trạng thái đó và có thể được trừu tượng hóa thành một công thức hàm thuần túy.Phương thức process_block(state_lookup_table, block) -> post_state_root, một ứng dụng khách không trạng thái, thuần túy chức năng như vậy có thể được biên dịch thành wasm và chuyển giao cho Truebit để thực thi.

Tổng quan về mô hình kinh tế