Tóm tắt: Mở ra kỷ nguyên điện toán không giới hạn blockchain

Bài viết này được dịch máy
Xem bản gốc

Tại hội nghị Devconnect ở Argentina vào tháng 11 năm 2025, nhà nghiên cứu Justin Drake của Quỹ Ethereum đã trình diễn một quy trình xác minh khối khác. Nút xác minh của ông sử dụng máy trạm zkLighthouse và chỉ dựa vào Bằng chứng không tri thức từ các giao thức như Pico zkVM của Brevis để xác định tính hợp lệ của các khối. Điều này rất có thể báo trước hướng đi tương lai của việc mở rộng quy mô Ethereum. Nó chứng minh rằng blockchain không cần phải lặp lại tất cả các phép tính; nó chỉ cần có khả năng xác minh các bằng chứng được tạo ra từ bên ngoài.

Brevis là gì: Một lớp tính toán có thể kiểm chứng được sử dụng bởi các giao thức và lõi Ethereum.

Brevis không chỉ được định vị như một ứng dụng cụ thể, mà còn như một lớp tính toán có thể kiểm chứng. Là một Lớp Tính toán Vô hạn (Infinite Compute Layer), nó cho phép thực hiện các phép tính phức tạp ngoài chuỗi (off- Chuỗi) và đưa kết quả trở lại chuỗi (on Chuỗi) thông qua Bằng chứng không tri thức ), nơi các hợp đồng thông minh có thể xác minh chúng với chi phí cực thấp. Điều này rất quan trọng vì mô hình bảo mật mặc định của Ethereum về cơ bản dựa trên việc tính toán lại trên toàn mạng. Mỗi nút xác thực, khi nhận được một khối mới, thường phải chạy lại tất cả các giao dịch trong khối để xác nhận tính chính xác của nó. Mặc dù điều này đảm bảo tính chính xác, nhưng nó cũng có nghĩa là tỷ lệ băm và mức tiêu thụ tài nguyên liên tục tăng lên theo khối lượng công việc. Brevis viết lại quá trình tính toán lại lặp đi lặp lại này thành một phép tính duy nhất với xác minh trên toàn mạng. Phép tính và bằng chứng được tạo ra ngoài Chuỗi, và Chuỗi nút cần xác minh một bằng chứng nhỏ.

Không giống như nhiều ứng dụng ZooKeeper chỉ tập trung vào quyền riêng tư hoặc khả năng mở rộng, Brevis giải quyết một vấn đề cấu trúc cơ bản trong ngành công nghiệp Web3: khi các phép tính Chuỗi càng trở nên phức tạp và thường xuyên, liệu hệ thống có cần phải dựa vào việc thực thi lặp đi lặp lại bởi mỗi nút để duy trì sự tin cậy? Cách tiếp cận của Brevis là thực hiện tính toán ngoài Chuỗi, với zkVM thực thi và tạo ra bằng chứng. Các hợp đồng Chuỗi chỉ cần xác minh các bằng chứng này, cho phép các hợp đồng sử dụng dữ liệu lịch sử , trạng thái xuyên Chuỗi hoặc kết quả thuật toán phức tạp một cách đáng tin cậy mà không cần đưa ra thêm các giả định về sự tin cậy. Để đạt được mục tiêu này, ZK Data Coprocessor, Pico zkVM và ProverNet tạo thành ba công nghệ cốt lõi của nó.

Vượt qua giới hạn của hợp đồng thông minh: Sức mạnh vượt trội của bộ xử lý phụ ZK Data Coprocessor

Bước đột phá công nghệ ban đầu của Brevis là Bộ xử lý dữ liệu ZK. Nó cho phép các hợp đồng thông minh truy vấn dữ liệu lịch sử Chuỗi một cách tùy ý, thực hiện các phép tính ngoài Chuỗi và tạo ra Bằng chứng không tri thức , cung cấp kết quả tính toán dưới dạng đầu vào đáng tin cậy cho hợp đồng. Bộ xử lý dữ liệu ZK có thể truy vấn và tính toán lịch sử lượng giao dịch trên Chuỗi trong quá khứ hoặc hành vi người dùng, tạo ra Bằng chứng không tri thức để xác minh hợp đồng. Điều này cho phép các hợp đồng trước đây chỉ có thể truy cập khối hiện tại sử dụng dữ liệu cửa sổ dài hạn và trạng thái xuyên Chuỗi.

Sau khi Brevis tạo ra nguyên mẫu Coprocessor vào năm 2023, họ đã liên tục cải tiến cho đến khi phát hành phiên bản v2 vào tháng 1 năm 2025, sau đó được đưa ra mắt mainnet. Những thay đổi chính trong v2, mà không đi sâu vào tên cụ thể của hệ thống chứng minh, có thể được tóm gọn thành ba điểm: nhanh hơn (cùng một nhiệm vụ có thể được hoàn thành với ít tài nguyên hơn và trong thời gian ngắn hơn), linh hoạt hơn (có khả năng đáp ứng nhiều loại dữ liệu và nhu cầu tính toán hơn) và dễ sử dụng hơn (đơn giản hóa quy trình và gói gọn sự phức tạp).

Nhìn lại lộ trình kỹ thuật của Brevis trước năm 2025, về cơ bản có một hướng đi chính: đầu tiên, làm rõ giới hạn hiệu năng của hệ thống chứng minh; sau đó, phát triển tính toán ngoài Chuỗi và xác minh Chuỗi thành các bộ xử lý phụ có thể sử dụng được và liên tục cải tiến chúng thông qua kỹ thuật; và cuối cùng, khám phá các mô hình hoạt động có hệ thống hơn. Điều đáng khen ngợi hơn nữa là sức mạnh vốn có của đội ngũ: họ hiểu cả mật mã học và kỹ thuật hệ thống quy mô lớn, họ không dựa vào các dẫn xuất lý thuyết, họ đã xác định được những điểm khó khăn trong ngành từ sớm và họ cam kết áp dụng công nghệ này trên quy mô lớn.

Khi chứng minh khả năng hoạt động ở lớp hệ thống: Pico zkVM và ProverNet

Vào năm 2025, Brevis đã hoàn thành hai phần còn lại của phương pháp tiếp cận ba hướng: Pico zkVM, một công cụ thực thi chứng minh đa năng và hoàn cảnh sản xuất hơn, và ProverNet, giúp mở rộng khả năng tạo bằng chứng, chuyển từ việc có thể chứng minh được sang việc có thể cung cấp bằng chứng một cách liên tục và có khả năng mở rộng.

Pico zkVM có thể được hiểu là công cụ chứng minh đa năng của Brevis. Nó nâng cấp Bằng chứng không tri thức từ các mạch chuyên dụng và việc điều chỉnh thủ công lên một cách tiếp cận giống kỹ thuật phần mềm hơn—các nhà phát triển viết logic bằng các phương pháp phát triển quen thuộc, và lớp nền tảng sẽ chuyển đổi nó thành các kết quả chứng minh có thể kiểm chứng được. Quan trọng hơn, Pico được thiết kế ngay từ đầu với mục tiêu tối ưu hóa hiệu suất và chi phí trong việc kinh doanh thực tế. Với cùng một tiêu chuẩn so sánh, kết quả của Brevis cho thấy Pico có lợi thế hiệu suất đáng kể so với các zkVM thông thường, đồng thời cho phép thực hiện hiệu quả hơn các loại tính toán cụ thể thông qua các thành phần/bộ xử lý phụ có thể cắm thêm.

Vào tháng 6 năm 2025, Brevis đã phát hành Pico-GPU, đẩy tốc độ tạo bằng chứng thời gian thực lên một bước ngoặt quan trọng, không chỉ đối với giao thức mà còn đối với toàn bộ ngành công nghiệp. Pico-GPU đã chuyển đổi một cách có hệ thống quy trình tạo bằng chứng cốt lõi sang xử lý song song trên GPU, với hiệu suất được cải thiện chính thức từ 10 đến 20 lần, thể hiện một bước nhảy vọt về chất lượng so với các giải pháp trước đây.

Ra mắt vào tháng 10, Pico Prism đã đưa hướng đi này lên một mức độ rất rõ rệt. Với cấu hình 64 GPU dành cho người tiêu dùng, nó đạt được thời gian hoàn thành bằng chứng 99,6% trong vòng 12 giây và thời gian hoàn thành bằng chứng 96,8% trong vòng 10 giây đối với các khối 45 triệu gas Ethereum , với thời gian chứng minh trung bình khoảng 6,9 giây — gần đạt được mục tiêu của Ethereum Foundation. Lần đầu tiên, tốc độ tạo bằng chứng thời gian thực gần như hoàn toàn khớp với tốc độ tạo Ethereum, và so với các đối thủ cạnh tranh, nó sử dụng ít tài nguyên hơn.

Những phát triển này cũng đã nhận được phản hồi trực tiếp từ cộng đồng cốt lõi Ethereum. Vitalik đã trực tiếp đề cập trong một tweet rằng việc Pico Prism tham gia vào cuộc đua chứng minh ZK-EVM là một bước quan trọng trong tốc độ và tính đa dạng của bằng chứng. Justin Drake, trong một tweet trước đó, đã ca ngợi rất rõ ràng sự tiến bộ vượt bậc của Pico Prism trong việc chứng minh bằng thời gian thực. Điều đáng chú ý là vào tháng 5 năm nay, SP1 Hypercube yêu cầu 160 card RTX 4090 để chứng minh khoảng 94% khối L1 trong vòng 12 giây. Sự dẫn đầu vượt bậc về tốc độ chứng minh thời gian thực này đã khiến Pico Prism của Brevis trở thành giải pháp được theo dõi sát sao nhất.

Sau khi phát triển thành công công nghệ zkVM đa năng và công nghệ chứng minh thời gian thực, Brevis bắt đầu giải quyết vấn đề cung cấp bằng chứng. Vào tháng 11 năm 2025, Brevis đã công bố viễn cảnh mong đợi ProverNet, nhằm thương mại hóa khả năng chứng minh, cho phép bất kỳ ứng dụng nào cũng có thể gửi nhiệm vụ chứng minh và được ghép nối với nút chứng minh trên thị trường thông qua cơ chế đấu giá. mainnet , ra mắt tháng 12, đã củng cố thêm điều này thành một sản phẩm có thể sử dụng được, với thị trường hoạt động liên tục, gửi trực tiếp các yêu cầu chứng minh, đăng ký người chứng minh và đấu thầu các đơn đặt hàng, loại bỏ nhu cầu các ứng dụng phải xây dựng cơ sở hạ tầng chứng minh riêng của họ.

Thông qua ba trụ cột của mình, Brevis biến khả năng chứng minh từ một công cụ thành cơ sở hạ tầng: một công cụ chứng minh có khả năng mở rộng và một mạng lưới cung cấp chứng minh mở, cho phép các ứng dụng có được khả năng tính toán có thể kiểm chứng theo yêu cầu. Tầm quan trọng của nó vượt ra ngoài Ethereum— mô hình tính toán ngoài Chuỗi, xác minh Chuỗi sẽ lan rộng sang toàn bộ hệ sinh thái Web3 và thậm chí cả các ngành công nghiệp khác như trí tuệ nhân tạo và trò chơi.

Các thỏa thuận không biết nói dối: chúng chỉ có giá trị khi được thực thi.

Giá trị công nghệ của Brevis cuối cùng được phản ánh trong các ứng dụng thực tế. Nó không phải là một khái niệm được giới thiệu trong các tài liệu quảng cáo, mà được tích hợp vào hoạt động hàng ngày của giao thức. Cách thức thu thập dữ liệu, tính toán chỉ báo, phân phối phần thưởng và điều chỉnh phí—những việc trước đây không thể thực hiện hoặc chỉ có thể được thực hiện bằng cách sử dụng các kịch bản tập trung—giờ đây đang được thực hiện theo cách thức dễ dàng hơn thông qua giao thức. Trong quá trình này, Brevis đã tạo ra hơn 280 triệu bằng chứng cho người dùng, phân phối hơn 230 triệu đô la tiền thưởng và thúc đẩy tăng trưởng TVL (giá trị bị khóa) an toàn lên 2,5 tỷ đô la.

Để hiểu về Brevis, điểm khởi đầu trực quan nhất là bắt đầu với giao dịch, điều mà người dùng quen thuộc nhất. Brevis có thể cung cấp cho DEX chức năng của CEX trong khi vẫn đảm bảo quyền riêng tư và tính xác thực dữ liệu, từ đó cải thiện trải nghiệm giao dịch cho người dùng DEX. PancakeSwap Infinity cho phép tính phí theo bậc thông qua hooks , trong đó hành vi lịch sử như lượng token nắm giữ và khối lượng giao dịch ảnh hưởng đến tỷ lệ phí cho một giao dịch cụ thể. Tuy nhiên, những đánh giá này dựa trên việc tổng hợp dữ liệu lịch sử , quá tốn kém để lưu trữ trên Chuỗi và gây ra các vấn đề về độ tin cậy nếu được lưu trữ Chuỗi. Điều mà Brevis làm là tính toán hành vi lịch sử ngoài Chuỗi và sau đó sử dụng bằng chứng để đưa dữ liệu trở lại Chuỗi, cho phép ghi các khoản phí khác nhau vào hợp đồng, thay vì ghi vào tập lệnh nền như trong CEX.

Nếu PancakeSwap cung cấp trải nghiệm cá nhân hóa hơn, tương tự như một sàn giao dịch tập trung (CEX), thì Usual thể hiện cơ chế tăng trưởng dài hạn hơn, chuyển đổi khích lệ từ airdrop một lần thành CPI (Chi phí trên mỗi thu nhập) hoạt động liên tục. Phần thưởng được gắn liền với các hành vi dài hạn như vị thế giữ và tương tác, và Brevis biến chỉ báo này thành đầu vào có thể kiểm chứng, tự động hóa và kiểm toán quy trình phân phối mà không yêu cầu cộng đồng phải tin tưởng vào bất kỳ bảng tính hoạt động hoặc nhà phân phối tập trung nào. Incentra chuẩn hóa khả năng phát hành phần thưởng; các giao thức phát hành phần thưởng NHÀ CUNG CẤP THANH KHOẢN, vay mượn hoặc vị thế giữ dựa trên chỉ báo chỉ số Chuỗi và quyết toán dựa trên bằng chứng Chuỗi . Các hoạt động của Euler tại Arbitrum là một ví dụ điển hình - phần thưởng không được phân phối thông qua thống kê thủ công và phương pháp đa chữ ký, mà thông qua phân phối liên tục được hỗ trợ bởi các quy tắc và bằng chứng.

Khi mở rộng kịch bản lên cấp độ hệ sinh thái, Chương trình Ignition của Linea minh họa rõ hơn điểm này. Thách thức không phải là việc phát hành khích lệ, mà là cách phát hành chúng. Brevis cho phép tính toán khích lệ quy mô lớn được hoàn thành ngoài Chuỗi và mang lại độ tin cậy cho việc xác minh Chuỗi, do đó chuyển khích lệ từ các hành động vận hành tập trung sang các khả năng hệ thống có thể tái sử dụng. Tương tự như vậy, Chương trình Hoàn trả Định tuyến của Uniswap v4 cũng hướng đến hệ thống. Việc định tuyến có xảy ra hay không, cách phân tích thống kê mức tiêu thụ gas và cách tính toán số tiền hoàn trả đều là một phần của chuỗi dữ liệu- tính toán - quyết toán. Brevis xử lý việc tính toán ngoài Chuỗi và tạo bằng chứng ở đây, cho phép hệ thống hoàn trả dựa trên các quy tắc và xác minh, thay vì dựa vào một nhà cung cấp thống kê duy nhất.

Khi xem xét các trường hợp này cùng nhau, việc thu thập dữ liệu, tính toán chỉ báo và tạo bằng chứng của Brevis cho phép giao thức ghi nhiều logic hơn mà trước đây chỉ có thể được thực hiện thông qua một hệ thống phụ trợ tập trung lên Chuỗi mà không làm mất đi phi tập trung . Điều này cho phép các giao thức trong toàn bộ ngành công nghiệp crypto làm được nhiều hơn, và do đó không gian thiết kế được mở rộng trở lại.

Ai đang hỗ trợ công nghệ dài hạn?

Đội ngũ nòng cốt của Brevis bao gồm các nhà nghiên cứu từ các trường đại học bối cảnh và các kỹ sư hệ thống tiên tiến. Họ sở hữu những thế mạnh riêng biệt: khả năng thực hiện nghiên cứu dài hạn về các hệ thống chứng minh và thuật toán, và năng lực tinh chỉnh nghiêm ngặt các công nghệ phức tạp trong hoàn cảnh sản xuất thực tế cho đến khi hiệu suất, độ ổn định và chi phí đáp ứng các tiêu chuẩn triển khai có thể mở rộng. Quan trọng hơn, họ không chỉ là một đội ngũ phòng thí nghiệm am hiểu công nghệ — họ còn quen thuộc sâu sắc với cách thức hoạt động của ngành công nghiệp crypto: hiểu được nhu cầu thực sự của các bên liên quan đến giao thức, tốc độ hợp tác của hệ sinh thái và sở hữu vốn đầu tư dài hạn cũng như kinh nghiệm cộng đồng. Điều này cho phép họ chuyển đổi các dự án kỹ thuật thành các mối quan hệ đối tác bền vững và động lực phát triển.

Điều này thể hiện rõ qua sự hỗ trợ lâu dài mà Brevis nhận được từ các nhà đầu tư và cộng đồng. Brevis đã hoàn thành vòng gọi vốn ban đầu vào tháng 11 năm 2024, dẫn đầu bởi các tổ chức hàng đầu như Polychain và Yzi Labs, cung cấp hỗ trợ tài chính cho những tiến bộ liên tục của họ trong zkVM, mạng lưới bằng chứng và việc thương mại hóa sản phẩm. Trong khi đó, cộng đồng Brevis đã chứng kiến ​​tăng trưởng đáng kể vào năm 2025, với Proving Grounds, hệ thống nhân vật và cơ chế nhiệm vụ thu hút sự tham gia liên tục từ các nhà phát triển và người dùng. Cùng với sự khẳng định công khai của Vitalik và sự quan tâm của Justin Drake đến những tiến bộ liên quan trong các thử nghiệm và thảo luận tại Ethereum Foundation, những yếu tố này kết hợp lại tạo nên sự chứng thực từ bên ngoài và vốn tín nhiệm cho mở rộng liên tục của Brevis với tư cách là một cơ sở hạ tầng.

Từ Ethereum đến thế giới rộng lớn hơn

Việc mở rộng quy mô Ethereum từ lâu đã bị mắc kẹt trong một tình thế tiến thoái lưỡng nan về cấu trúc: hoặc tất cả nút thực hiện các phép tính lặp đi lặp lại để đổi lấy tính bảo mật và sự không cần tin tưởng, nhưng thông lượng và chi phí bị hạn chế bởi việc tính toán lại trên toàn mạng; hoặc thuê ngoài các phép tính để cải thiện hiệu quả, nhưng điều này đòi hỏi sự tin tưởng bổ sung vào một nhà cung cấp dịch vụ tính toán cụ thể. Brevis cố gắng cung cấp một cách thứ ba—thực hiện các phép tính phức tạp ngoài Chuỗi và sau đó sử dụng bằng chứng để đưa độ tin cậy trở lại Chuỗi để xác minh, do đó chuyển hệ thống từ tính toán lặp đi lặp lại sang mô hình phân công lao động xác minh kết quả. Do đó, giá trị của nó không nằm ở một tính năng sản phẩm duy nhất, mà nằm ở việc thiết lập một Chuỗi tính toán hoàn chỉnh, có thể kiểm chứng được.

Brevis không phải là giải pháp duy nhất cho vấn đề mở rộng quy mô Ethereum, nhưng nó chứng minh giá trị đáng kể của một lớp tính toán có thể kiểm chứng. Bằng cách tách rời quá trình tính toán khỏi quá trình xác minh, nó đảm bảo cả tính bảo mật và phi tập trung đồng thời giảm áp lực lên việc thực thi Chuỗi. Quan trọng hơn, lợi ích của một lớp tính toán vô hạn mở rộng ra ngoài phạm Ethereum. Đối với toàn bộ ngành công nghiệp crypto, điều đó có nghĩa là đa chuỗi có thể đạt được độ phức tạp và trải nghiệm gần như Web2 mà không phải hy sinh tính bảo mật. Trong thế giới truyền thống rộng lớn hơn, tính toán có thể kiểm chứng, nơi quá trình tính toán diễn ra trước quá trình xác minh, cũng cung cấp một cách tiếp cận hợp tác mới - bằng chứng có thể trở thành một ngôn ngữ phổ quát mới khi bên long cần chia sẻ kết quả nhưng không thể chia sẻ sự tin tưởng. Khi các mạng lưới bằng chứng mở như ProverNet trưởng thành, Brevis sẽ xây dựng không chỉ một sự nâng cao khả năng cho một Chuỗi duy nhất, mà còn là một nguồn cung cấp tính toán đáng tin cậy có thể được sử dụng trên khắp các hệ sinh thái và ngành công nghiệp.

Nhấn để tìm hiểu BlockBeats các vị trí tuyển dụng tại BlockBeats.

Chào mừng bạn đến với cộng đồng BlockBeats chính thức :

Nhóm đăng ký Telegram: https://t.me/theblockbeats

Nhóm Telegram: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia

Nguồn
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
58
Thêm vào Yêu thích
18
Bình luận