Tác giả: Bút ký Bạch 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 để mở rộng L1 một cách thực sự phi tập trung, có thể tận dụng lợi thế 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 minh trên chuỗi” là gì? Để giúp nhiều người dùng bình thường có thể hiểu, có thể dùng một phép ẩn dụ đơn giản, “tính toán ngoài chuỗi, xác minh trên chuỗi” có thể được coi là việc “kết tinh” các sự kiện 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 minh trên chuỗi. Ở một mức độ nào đó, tư duy này tương tự như L2 Rollup trên phương diện trừu tượng, L2 Rollup gộp nhiều giao dịch thành một lô, gửi đến L1 để xác minh 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 rõ triết lý thiết kế ZkVM của Brevis: “Kết tinh và xác minh”. Thông qua toán học, lượng công việc tính toán ngoài chuỗi khổng lồ được nén lại thành những thông tin nhỏ, thực hiện việc 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 cứ ZK, sau đó hoàn tất việc 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, nhưng điểm khác biệt của Brevis là:
Sự kết hợp giữa tính tổng quát và tối ưu hóa chuyên dụng
Công nghệ của Brevis được thiết kế theo dạng 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 nhà phát triển viết mã bằng Rust mà không cần kiến thức chuyên sâu về ZK, nền tảng tự động xử lý việc tạo ra chứng minh, giảm bớt rào cản cho nhà phát triể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 độ phức tạp của ZK, cho phép các nhà phát triển xây dựng ứng dụng giố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 có thể 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ự nâng cao mang tính mục tiêu hơn.
Nó có một bộ xử lý giao thức tích hợp, được gọi là ZK Data Coprocessor, được thiết kế cho 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ãi). 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à độ chính xác của tính toán. 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 tiền gas. Chúng tiết kiệm một lượng lớn chi phí trong khi thực hiện các chức năng phức tạp thông qua zK Data Coprocessor.
Cung cấp “Tăng tốc” cho Ethereum L1
Pico Prism là một trong những công nghệ then chốt của Brevis, nó có những đột phá trong cụm GPU đa 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 giao dịch), có thể được xác nhận đúng trong vài giây bằng cách “đóng dấu” bằng mật mã, mọi người không cần phải tính toán lại để xác minh tính đáng 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, 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 gì.
Để hiểu một cách đơn giản, có thể so sánh Pico Prism giống như 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 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ể “tinh giản” (tạo ra một chứng minh nhanh chóng, tổng hợp siêu nén), cho phép mạng chỉ cần vài giây để xác minh mà không cần mỗi 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 và hiệu quả hơn, đồng thời 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ũ, 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 kịch bản 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 L1 Ethereum 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ọ (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 thời gian thực khối lượng lớn dữ liệu lịch sử trên L1 (chứng minh trong vài giây), từ đó xây dựng “robot cho vay AI”. Hợp đồng 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 và 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 tần suất cao, như vay chớp nhoáng, việc vay tiền/đầu tư/trả tiền được thực hiện trong một khối, AI tối ưu hóa đường đi 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 đến hàng ngà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), xác nhận khối mất 12 giây mỗi 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” cho 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 chứng minh ZK để thanh toán lên L1, mô phỏng trò chơi “thời gian thực”, mang lại trải nghiệm trò chơi tốt hơn.
Cảnh báo bỏ phiếu trên chuỗi ẩn danh: Hiện tại, 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 kiến thức”, các ứng dụng riêng tư tần suất cao có thể chạy trên L1, cho phép bỏ phiếu ẩn danh tần suất cao trong quản trị DAO, với kết quả được công bố ngay lập tứ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 hơn vào L1, mang lại nhiều giao dịch và tính thanh khoản, sự hoạt động lớn hơn.
Về việc tương lai có thể 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 dần dần
Theo tài liệu công khai, Brevis đang trong quá trình triển khai từng bước, trong đó đã tạo ra 147,5 triệu bằng chứng 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 chiết khấu 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, v.v.
