Tác giả: Bút ký Lam Hồ; Nguồn: X, @lanhubiji
Thấy Vitalik đề cập đến Brevis, có vẻ như rất coi trọng việc mở rộng L1. Trong lộ trình của Ethereum, có một khái niệm: “tính toán ngoài chuỗi, xác minh trên chuỗi”, Eigenlayer, Succinct và Zksync đã có những ý tưởng tương tự, cho thấy ngành công nghiệp có sự đồng thuận rằng để thực sự mở rộng L1 một cách phi tập trung, có thể tận dụng lợi thế của việc tính toán ngoài chuỗi; Brevis cũng đã sử dụng mô hình này, vậy Brevis có gì khác biệt?
Trước tiên, hãy hiểu đơn giản về mô hình “tính toán ngoài chuỗi, xác thực trên chuỗi” là gì? Để giúp nhiều người dùng bình thường có thể hiểu, có thể đưa ra một phép ẩn dụ đơn giản, “tính toán ngoài chuỗi, xác thực trên chuỗi” có thể coi như việc “tinh gọn” các sự thật ngoài chuỗi (kết quả tính toán hoặc dữ liệu) thành một chứng minh hoặc tóm tắt đơn giản, sau đó xác thực trên chuỗi. Ở một mức độ nào đó, tư duy này tương tự như L2 Rollup ở cấp độ trừu tượng, L2 Rollup đóng gói nhiều giao dịch thành một lô, nộp cho L1 để xác thực và thực hiện, mặc dù cơ chế cụ thể khác nhau, nhưng điều này giúp hiểu triết lý thiết kế ZkVM của Brevis: “tinh gọn và xác thực”. Thông qua toán học, công việc tính toán ngoài chuỗi lớn được nén lại thành các thông tin nhỏ, nhằm xử lý hiệu quả trên chuỗi đắt đỏ và có thông lượng thấp, từ đó giải quyết vấn đề khả năng mở rộng của blockchain.
Cơ chế cốt lõi của Brevis là thực hiện tính toán hiệu quả ngoài chuỗi, tạo ra chứng minh ZK, sau đó xác minh trên chuỗi với chi phí thấp và nhanh chóng mà không cần thực hiện lại toàn bộ phép tính phức tạp. Điều này không mới mẻ, nhưng điểm khác biệt của Brevis là:
Sự kết hợp giữa tính linh hoạt và tối ưu hóa chuyên dụng
Công nghệ của Brevis được thiết kế theo kiểu mô-đun, trong đó Pico zkVM là động cơ tính toán có thể xác minh chung, hỗ trợ việc tạo ra chứng minh ZK cho bất kỳ tính toán nào. Các lập trình viên viết mã bằng Rust mà không cần kiến thức chuyên môn về ZK, nền tảng tự động xử lý việc tạo chứng minh, giảm bớt rào cản cho lập trình viên trong việc xây dựng các ứng dụng mã hóa phức tạp (công nghệ đã trừu tượng hóa sự phức tạp của ZK, cho phép lập trình viên xây dựng ứng dụng như viết mã thông thường). Kiến trúc mô-đun của nó hỗ trợ việc thêm các đồng xử lý cụ thể, ngoài việc thanh toán chung, nó còn tối ưu hóa cho các tính toán phức tạp trong các tình huống cụ thể, đạt được sự cải tiến có mục tiêu hơn.
Nó có một bộ xử lý giao thức tích hợp, gọi là ZK Data Coprocessor, được thiết kế để phân tích dữ liệu lịch sử blockchain, có thể giải quyết vấn đề “quên” của hợp đồng thông minh (không thể truy cập dữ liệu lịch sử một cách rẻ ràng). Nó ở
Tìm kiếm và phân tích dữ liệu ngoài chuỗi, cung cấp kết quả và chứng minh, đảm bảo tính tồn tại của dữ liệu và tính chính xác của phép tính. Ví dụ, pancakeswap có thể sử dụng móc Brevis để thực hiện giảm phí dựa trên khối lượng giao dịch của người dùng; uniswap sử dụng Brevis để hoàn lại gas. Chúng thực hiện các chức năng phức tạp thông qua zK Data Coprocessor trong khi tiết kiệm chi phí đáng kể.
Cung cấp “bộ tăng tốc” cho Ethereum L1
Pico Prism là một trong những công nghệ chủ chốt của Brevis, nó có những bước đột phá trong cụm GPU nhiều máy chủ, hỗ trợ “bằng chứng thời gian thực” cho Ethereum L1. “Bằng chứng thời gian thực” này có thể hiểu là mỗi khối của Ethereum L1 (một trang ghi chép giao dịch) có thể được xác nhận đúng bằng cách “đóng dấu” mật mã trong vài giây, mọi người không cần phải tính toán lại để xác minh độ tin cậy.
Theo tiêu chuẩn khung chứng minh thời gian thực của Quỹ Ethereum hiện tại, đối với khối L1 hiện tại với giới hạn 45M gas, đạt được tỷ lệ bao phủ 99.6% (<12 giây chứng minh), tỷ lệ bao phủ thời gian thực 96.8% (<10 giây); thời gian chứng minh trung bình cho khối 36M gas là 6.04 giây, cho khối 45M gas là 6.9 giây; phần cứng là 64 GPU RTX 5090, chi phí 128K USD.
Dữ liệu trên trông rất chuyên nghiệp, nhưng đối với người dùng bình thường, những dữ liệu này có thể không có cảm giác.
Để hiểu đơn giản, có thể so sánh Pico Prism với một bộ tăng tốc được lắp vào Ethereum L1. Trước đây, Ethereum cần tất cả các nút tính toán lại cho mỗi khối, nhưng với công nghệ như Pico Prism, điều này có nghĩa là nó có thể thông qua “cô đặc” (tạo ra một bằng chứng nhanh chóng, tóm tắt siêu nén), cho phép mạng chỉ cần vài giây để xác minh mà không cần từng nút tính toán lại. Nói cách khác, điều này có nghĩa là Ethereum L1 sẽ trở nên nhanh hơn, rẻ hơn, hiệu quả hơn, và có thể xử lý các triển khai phức tạp hơn mà không hy sinh tính phi tập trung và an toàn. Nếu như Ethereum trước đây giống như một chiếc xe đạp cổ điển, thì với công nghệ Pico Prism của Brevis, Ethereum đã nâng cấp thành ô tô.
Hiệu ứng tăng tốc này có thể mở khóa nhiều tình huống hơn, chẳng hạn như cho vay DeFi được điều khiển bởi AI theo thời gian thực, trò chơi trên chuỗi, bỏ phiếu ẩn danh, v.v.
Cảnh DeFi: Trên mạng lưới Ethereum L1 trước đây, hợp đồng thông minh chỉ có thể xem số dư để vay tiền, không thể phân tích mức độ ổn định của người dùng dựa trên dữ liệu giao dịch lịch sử của họ (bởi vì việc phân tích khối lượng lớn dữ liệu lịch sử là không thể), với bộ tăng tốc này, có thể hỗ trợ phân tích dữ liệu lịch sử khổng lồ theo thời gian thực trên L1 (chứng minh chỉ trong vài giây), từ đó xây dựng “robot cho vay AI”. Hợp đồng sẽ dựa trên lịch sử giao dịch DeFi của người dùng để đưa ra điểm tín dụng, cung cấp lãi suất cá nhân hóa. Hơn nữa, đối với các tình huống giao dịch tần suất cao như vay nhanh, vay tiền/đầu tư/trả nợ đều hoàn thành trong một khối, AI tối ưu hóa lộ trình theo thời gian thực, tránh tổn thất “trượt giá”. Tương tự như Robinhood phi tập trung. Ngoài ra, còn có thể có đấu giá tần suất cao, có thể thực hiện hàng trăm, hàng nghìn lần đấu giá mỗi phút.
Trò chơi trên chuỗi: Trước đây L1 muốn xây dựng một trò chơi nhiều người (như Axie Infinity trên chuỗi), việc xác nhận khối mất 12 giây một vòng, người chơi bị gián đoạn, phí tăng vọt; thông qua Pico Prism hỗ trợ “mô phỏng thời gian thực” trong trò chơi, máy chủ ngoài chuỗi tính toán sát thương và các giá trị khác, mỗi vòng sử dụng ZK chứng minh để thanh toán lên L1, mô phỏng trò chơi “thời gian thực”, mang lại trải nghiệm chơi game tốt hơn.
Cảnh bỏ phiếu ẩn danh trên chuỗi: Hiện tại, việc bỏ phiếu L1 là minh bạch, dễ bị theo dõi hoặc thao túng, và chi phí thống kê phức tạp cao, tốc độ chậm. Thông qua Pico Prism để thực hiện “tính toán riêng tư không biết” , chạy các ứng dụng riêng tư tần suất cao trên L1, có thể thực hiện bỏ phiếu ẩn danh tần suất cao cho quản trị DAO, công bố kết quả theo thời gian thực.
Cảnh tượng trên có ý nghĩa gì đối với Ethereum, có thể mở khóa nhiều DeFi và các ứng dụng khác, mang lại nhiều tài sản đến L1, mang lại nhiều giao dịch và tính thanh khoản, và sự hoạt động lớn hơn.
Về việc trong tương lai sẽ xuất hiện những tình huống gì, vẫn cần phải được kiểm nghiệm trong thực tiễn cụ thể.
Triển khai từng bước
Theo tài liệu công khai, Brevis đang được triển khai từng bước, trong đó đã tạo ra 1,475 triệu chứng minh ZK; số người dùng độc lập vượt quá 190,000; hỗ trợ 5 blockchain; hơn 20 đối tác chính (như Metamask, Linea, v.v.), hiện đã được tích hợp vào các ứng dụng đang chạy, chẳng hạn như thông qua công nghệ Brevis, Nền tảng Incentra phát hành phần thưởng hàng năm; PancakeSwap thực hiện giảm giá dựa trên khối lượng giao dịch và các dữ liệu khác; Linea phân phối 1 tỷ token LINEA dựa trên đóng góp của người dùng.
