Hiểu Truebit trong năm phút: cơ chế giao thức, kịch bản ứng dụng và mô hình kinh tế
Được viết bởi: Phòng thí nghiệm tinh chất
Là một dự án Layer2 kỳ cựu được tung ra trong đợt tăng giá cuối cùng của thị trường, Truebit cuối cùng đã đi vào hoạt động một cách bình thường vào cuối tháng Tư. Khi giá của các mã thông báo tiếp tục tăng và các cuộc thảo luận xung quanh cơ chế định giá đặc biệt và các cơ hội chênh lệch giá TruebitOS, sự nhiệt tình 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 toàn cảnh về dự án bằng cách sắp xếp cơ chế giao thức, các tình huống ứng dụng và mô hình kinh tế của mạng Truebit.
Ngoài ra, chúng tôi cũng sẽ cùng độc giả xem xét kỹ 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 lưới Truebit, đừng bỏ lỡ phần hướng dẫn chu đáo ở cuối bài viết.
bối cảnh vấn đề
Hiện tại Ethereum có các vấn đề sau:
Thông lượng tổng thể là 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.
Xác thực thấp. Vấn đề này được gọi là Thế tiến thoái lưỡng nan của Người xác minh. Các nút đã nhận được quyền đóng gói sẽ được thưởng và các nút khác cần xác minh, nhưng chúng không nhận được phần thưởng và 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 rủi ro cho bảo mật dữ liệu trên chuỗi.
Số 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 thực hiện xác minh. Lượng tính toán dư thừa quá cao. TrueBit giảm thiết kế "xác minh dự phòng nút đầy đủ" của các tác vụ điện toán thành xác minh dự phòng chỉ trên một số nút ngoài chuỗi.
khung thỏa thuận
Giao thức TrueBit bao gồm một hợp đồng thông minh. Người dùng có thể gửi một nhiệm vụ điện toán cho hợp đồng thông minh này và đưa ra mức giá mà họ 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 quyết là người tham gia muốn hoàn thành nhiệm vụ và nhận phần thưởng; Người giải quyết trả một số tiền đặt cọc cho hợp đồng để anh ta có thể được giao nhiệm vụ; và được thưởng khi hoàn thành nhiệm vụ tính toán này.
xác minh trò chơi
xác minh trò chơi
Như có thể thấy từ phần giới thiệu khung giao thức ở phần trước, khi có bất đồng, trò chơi xác minh là cần thiết để phân xử xem ai đúng giữa người giải quyết và 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 cần thanh toán nhiều phép tính, 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à: Hãy để Người giải và Người thách thức tìm ra điểm phân nhánh đầu tiên trong quá trình tính toán của cả hai bên. Lượng tính toán từ điểm tương tự cuối cùng đến điểm phân nhánh đầu tiên là rất nhỏ và chỉ cần điểm này được thực hiện trong hợp đồng Hãy tính toán và bạn có thể phán xét 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
Giả sử 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, để bộ giải biểu diễn trạng thái của từng điểm thời gian bằng cây merkle, các nút lá của cây đều là biến trạng thái máy, và băm rễ cây c merkle cam kết với hợp đồng.
Nếu người thách thức tìm thấy hàm băm tại thời điểm thứ i, thì đó là điểm thời gian đầu tiên không khớp với hàm băm được tính cục bộ. Trình tôi vào hợp đồng.
Thẩm phán kiểm tra tính hợp lệ của mã băm C và số i.
Trong bước tiếp theo, lấy khoảng thời gian giữa i-1 và i làm đối tượng nghi ngờ và lặp lại đệ quy các bước trước đó.
giai đoạn xác nhận
tiêu đề phụ
Cơ chế giải thưởng (jackpot)
Bộ giải đưa ra kết quả tính toán của riêng mình và Người xác minh thực hiện các phép tính lặp lại và xác minh rằng kết quả do Bộ giải đưa ra là chính xác. Đây là logic hoạt động bình thường. Nhưng logic này bị các vấn đề sau.
Nếu các nhiệm vụ xác minh được giao cho Người xác minh và họ được trả tiền cho việc này, thì có thể Người xác minh hoàn toàn không tính toán hai lần (không trả bất kỳ chi phí tính toán nào cho việc này) và trực tiếp lấy kết quả của Người giải quyết, điều này rất nguy hiểm đối với giao thức.
Nếu chúng tôi chỉ trả tiền cho người xác minh cho kết quả lỗi mà họ tìm thấy, thì họ không chắc khi nào sẽ tìm thấy lỗi, thực tế là họ có thể không tìm thấy lỗi trong một thời gian dài và không có động cơ nào để người xác thực tham gia, cả hai đều mong đợi và thiết thực.
tiêu đề phụ
Các kịch bản triển khai và ứng dụng
Để thực hiện trò chơi xác minh, cần phải thống nhất Kiến trúc hướng dẫn. Dự án TrueBit ban đầu muốn sử dụ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 bị chậm. Hiện đang sử dụng WebAssugging để thay thế.
Dưới đây là các kịch bản ứng dụng của kế hoạch TrueBit ban đầu (không có ý tưởng mở rộng RollUp vào thời điểm đó, hôm qua, Vitalik đã đưa ra cho TrueBit một đề xuất về RollUp lạc quan sau khi hệ điều hành TrueBit được ra mắt, xem phần tiếp theo để biết chi tiết):
Sức mạnh tính toán thuê ngoài: Nó đã đượ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 không cho một điểm duy nhất (người điều hành nhóm khai thác tập trung) bị tấn công. Các nhóm khai thác phi tập trung có thể được thực hiện thông qua các hợp đồng thông minh, nhưng công việc 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 nhận ra các nhóm khai thác phi tập trung như vậy.
tiêu đề phụ
đá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 công việc xác minh dư thừa của các công cụ khai thác khác và tối ưu hóa cấu trúc phần thưởng. Vấn đề Tiến thoái lưỡng nan của Chuyên gia Xác minh được Giảm nhẹ.
Vitalik: Xây dựng EVM tổng số lạc quan dựa trên Truebit
liên kết gốcliên kết gốc, giải pháp xử lý Truebit như một hộp đen, nghĩa là bạn có thể nhập hướng dẫn cho 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, có thể xây dựng bản tổng hợp tối ưu EVM.
Truebit có thể chấp nhận các hướng dẫn WebAssugging (WASM) và hầu hết các ngôn ngữ cấp cao hiện tại có thể được biên dịch thành mã byte WASM, 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ó thể cũng được biên dịch thành WASM được triển khai 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 truyền cho máy khách dưới dạng tham số đầu vào dưới dạng bảng truy vấn trạng thái để thực thi. Máy khách như vậy không cần tự duy trì trạng thái, và có thể được trừu tượng hóa thành một chức năng 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 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.
Bước thứ hai là xây dựng các mô-đun trên chuỗi, một khó khăn ở đây là chuỗi khối có trạng thái. Nếu khối thứ N trên chuỗi tổng số lạc quan bắt đầu thực thi quy trình chứng minh gian lận, thì có một tiền đề ngầm định rằng dữ liệu trạng thái liên quan đến stateRoot trong khối thứ N có sẵn. Vì tiền đề này, khi một khối bị lỗi được gửi, mọi người có thể chứng minh lỗi khối ngay từ đầu. Tuy nhiên, Truebit là một hệ thống máy tính tương tác không trạng thái hoàn toàn có chức năng và chúng tôi có thể khắc phục những hạn chế đó thông qua một vài bước của quy trình xác minh tương tác bên ngoài cuộc gọi Truebit.
Luồng chương trình có thể được thiết kế như sau:
1. Lưu trữ block hash và stateRoot trong hợp đồng trên chuỗi: List[Tuple[block_hash, state_root]]
2. Trình sắp xếp thứ tự (được xác định bởi người triển khai, có thể là một hoặc nhiều) chịu trách nhiệm thêm các khối, được thực hiện bằng cách gọi phương thức add_block(expected_pre_state: bytes32, block: bytes, post_state: bytes32), yêu cầu trạng tháiRoot trước khi thực hiện Được truyền dưới dạng tham số, sau đó ((block, post_state)) được thêm vào chuỗi.
3. Người thách thức có thể thách thức một stateRoot bằng cách gọi phương thức challenge(index: int, lookup_table: bytes, block: bytes) sẽ thực thi logic sau:
Kiểm tra xem khối đã gửi có khớp với hàm băm đã lưu không
Thực hiện cuộc gọi Truebit process_block() để thực thi nội dung khối
Tính toán và lưu gốc Merkle của bảng tra cứu
Sau khi thử thách bắt đầu, bất kỳ ai cũng có thể phản đối rằng bảng truy vấn do người thách thức cung cấp là sai, bằng cách gửi một giá trị trên Đường dẫn Merkel với preStateRoot làm gốc và so sánh giá trị đó với cùng một giá trị trên Đường dẫn Merkel do người thách thức cung cấp, nếu Nếu có xung đột, điều đó có nghĩa là có vấn đề với người thách thức và người thách thức sẽ bị trừng phạt.
Khi Truebit trả về kết quả khối thực thi post_state_root sau một khoảng thời gian chờ đợi, điều đó có nghĩa là thử thách là bình thường (nghĩa là không ai chứng minh rằng có vấn đề với người thách thức), nghĩa là kết quả trả về là kết quả đúng của bình thường thực thi khối. Sau đó, dựa trên giả định rằng kết quả là đúng, logic sau sẽ được thực thi:
Nếu kết quả không phù hợp với post_state_root đã gửi trước đó và đó không phải là lỗi LOOKUP_TABLE_MISSING_NEEDED_VALUE, thì thử thách đã thành công và người gửi ban đầu sẽ bị trừng phạt và những người khác sẽ tiếp tục gửi đúng khối và dữ liệu trạng thái để thay thế sai một khối và trạng thái.
tiêu đề phụ
Tổng quan về mô hình kinh tế
Mã thông báo của Truebit là TRU, được người gửi tác vụ sử dụng để thanh toán cho Người giải quyết và Người xác minh. Sau khi nhận được thanh toán, Người giải quyết và Người xác minh có thể bắt đầu thực hiện nhiệm vụ.
tiêu đề phụ
Phương thức cung cấp mã thông báo TRU
Mã thông báo TRU được tạo và hủy theo thời gian dựa trên nhu cầu tích lũy. Người dùng có thể "mua" hoặc "rút" mã thông báo TRU qua ETH. Mỗi giao dịch mua sẽ gửi một phần ETH vào ký quỹ dự trữ (phần còn lại được chuyển cho công ty) và mọi giao dịch bán sẽ rút một phần ETH từ khoản dự trữ. Mọi tác vụ Truebit cũng đốt cháy mã thông báo TRU. Thông qua lệnh "chi phí nhiệm vụ" trong Truebit OS, bạn có thể biết "tỷ lệ ghi" và "giá mã thông báo" hiện tại, điều này có thể giúp bạn hiểu được giá mua và thoát hiện tại của TRU.
tiêu đề phụ
ưu đãi thời gian có hạn
tiêu đề phụ
phí ETH
tiêu đề phụ
chính sách định giá
Truebit áp dụng mô hình đường cong liên kết để định giá.Khi nhu cầu tăng lên và tổng số lượng mã thông báo tăng lên, giá trên đường cong cũng đồng thời tăng lên.
tiêu đề phụ
Cách tham gia mạng Truebit sớm
Hiện tại, người dùng có thể nhận được quyền truy cập sớm vào Truebit bằng cách gửi biểu mẫu đăng ký. Thông tin mà người dùng cần gửi bao gồm giới thiệu cá nhân/tổ chức, địa chỉ Github và các tình huống tiềm năng để sử dụng Truebit. Sau khi gửi, quản trị viên sẽ xem xét và trả lời.
Địa chỉ ứng dụng như sau:
https://truebit.substack.com/p/truebit-early-access
Ngoài ra, mọi cuộc thảo luận về việc sử dụng và cơ chế của Truebit có thể liên lạc với các nhà phát triển trên gitter:
https://gitter.im/TruebitProtocol/community
Giới thiệu về tác giả:
Essence Labs là một nhóm doanh nhân mới thành lập theo hướng DeFi và Web3.0. Tầm nhìn của nó là giúp thúc đẩy việc hiện thực hóa Web3.0 và trao quyền tin tưởng phi tập trung cho nhiều kịch bản ứng dụng hơn mà người bình thường có thể tiếp cận.
Các thành viên của Essence Labs có kinh nghiệm trong nghiên cứu cơ chế đồng thuận cốt lõi của chuỗi khối cũng như phát triển và triển khai nền tảng chuỗi khối, cũng như có kiến thức nền tảng về công nghệ tài chính và Internet hàng đầu. Chúng tôi chú ý đến các hướng đi như phần mềm trung gian Web3.0, giải pháp khả năng mở rộng và giao thức DeFi, đồng thời mong muốn được khám phá hướng đi tương lai của ngành công nghiệp blockchain cùng với các đồng nghiệp trong ngành.
