Mạng lưới Brevis định hình lại khả năng mở rộng của blockchain bằng cách tách biệt quá trình thực thi khỏi quá trình xác minh , cho phép các hợp đồng thông minh dựa vào các phép tính phức tạp ngoài chuỗi trong khi vẫn duy trì sự tin cậy trên chuỗi thông qua bằng chứng không tiết lộ thông tin.
Bằng cách kết hợp kiến trúc zkVM lai với một thị trường chứng minh phi tập trung , Brevis biến việc tạo bằng chứng thành một cơ sở hạ tầng mở, hướng theo thị trường, thay vì một dịch vụ khép kín hoặc tập trung.
Brevis cho phép phát triển một loại ứng dụng onchain dựa trên dữ liệu mới , từ logic DeFi dựa trên hành vi và bảo mật xuyên chuỗi giảm thiểu độ tin cậy đến các kết quả đầu ra AI có thể kiểm chứng, cân bằng giữa tính chính xác và quyền riêng tư.
Hợp đồng thông minh luôn có một điểm yếu về cấu trúc. Chúng hoạt động tốt ở thời điểm hiện tại, nhưng lại kém về khả năng ghi nhớ.
Trên hầu hết các blockchain, hợp đồng có thể đọc trạng thái hiện tại một cách dễ dàng. Tuy nhiên, ngay khi cần phải suy luận về lịch sử, chi phí sẽ tăng lên đáng kể. Việc kiểm tra hành vi người dùng dài hạn, tổng hợp hoạt động trong nhiều tháng hoặc tham chiếu trạng thái trước đó từ các chuỗi khác nhanh chóng trở nên không khả thi.
Các nhà phát triển đã thích nghi bằng cách chuyển quá trình tính toán ra khỏi chuỗi khối. Các trình lập chỉ mục, máy chủ và cơ sở dữ liệu riêng đã lấp đầy khoảng trống đó. Kết quả được đẩy trở lại chuỗi khối, và hầu hết người dùng chấp nhận các giả định về độ tin cậy đằng sau chúng.
Mạng lưới Brevis ra mắt với một cách tiếp cận khác. Các phép tính phức tạp không cần phải được thực hiện trên chuỗi, nhưng sự tin tưởng vẫn phải được duy trì. Bằng chứng không tiết lộ thông tin (zero knowledge proofs) giúp việc tách biệt này trở nên khả thi. Thay vì thực hiện lại công việc, chuỗi sẽ xác minh rằng công việc đã được thực hiện chính xác.
Đây không phải là một sự tối ưu hóa nhỏ. Nó thay đổi mục đích thiết kế của công nghệ blockchain.
TỪ VIỆC THỰC THI LẠI ĐẾN VIỆC TÍNH TOÁN CÓ THỂ KIỂM CHỨNG
Tính bảo mật của blockchain từ lâu đã phụ thuộc vào sự lặp lại. Mỗi nút thực thi lại mọi giao dịch. Sự dư thừa này tạo ra niềm tin, nhưng nó cũng đặt ra những giới hạn nghiêm ngặt.
Khi các ứng dụng trưởng thành, những hạn chế đó càng trở nên rõ ràng hơn. Các sản phẩm DeFi không chỉ đơn thuần là chuyển đổi tài sản. Chúng định giá rủi ro, điều chỉnh các thông số và phản ứng với hành vi theo thời gian. Những chức năng này phụ thuộc vào dữ liệu lịch sử và các phép tính phức tạp.
Việc thực thi trên chuỗi gặp khó khăn với tải trọng này. Việc thực thi ngoài chuỗi tạo ra sự tin tưởng.
Brevis đề xuất một hướng đi thứ ba. Quá trình tính toán diễn ra ngoài chuỗi. Quá trình xác minh diễn ra trên chuỗi. Bằng chứng không tiết lộ thông tin (zero knowledge proofs) kết nối hai quá trình này.
Trong mô hình này, blockchain tập trung vào Consensus và Tính chất cuối cùng. Các hệ thống bên ngoài xử lý các công việc đòi hỏi nhiều dữ liệu. Các hợp đồng nhận được kết quả cùng với bằng chứng mà chúng có thể xác minh một cách tiết kiệm chi phí.
Brevis gọi đây là lớp tính toán vô hạn. Cụm từ này không ám chỉ tài nguyên không giới hạn. Nó mô tả một hệ thống trong đó độ phức tạp của ứng dụng không còn tỷ lệ thuận trực tiếp với sự tắc nghẽn chuỗi .
Các nhà phát triển ngừng hỏi những gì có thể lưu trữ trên chuỗi. Họ bắt đầu hỏi những gì có thể được chứng minh.
TẠI SAO DỮ LIỆU LỊCH SỬ QUAN TRỌNG HƠN Xuất lượng
Xuất lượng thì dễ đo lường. Hiệu quả sử dụng thì khó hơn.
Nhiều ứng dụng ít quan tâm đến số lượng giao dịch mà một chuỗi xử lý mỗi giây, mà quan tâm nhiều hơn đến những gì các giao dịch đó tiết lộ theo thời gian. Các công cụ đánh giá rủi ro dựa trên hành vi. Thị trường dựa trên mô hình tham gia. Quản trị dựa trên lịch sử hoạt động.
Hợp đồng thông minh không đáp ứng tốt những nhu cầu này. Việc lưu trữ các tập dữ liệu lớn trên chuỗi khối rất tốn kém. Xử lý chúng lặp đi lặp lại còn tốn kém hơn.
Do đó, hầu hết các giao thức đều dựa vào các đường dẫn xử lý ngoài chuỗi (offchain pipelines). Dữ liệu được thu thập ở nơi khác, xử lý riêng tư và được phản ánh trên chuỗi (onchain) thông qua các bản cập nhật đáng tin cậy.
Brevis thay đổi quy trình làm việc này.
Một nhà phát triển gửi yêu cầu thông qua hệ thống Brevis. Dữ liệu blockchain liên quan được truy xuất và xác minh so với chuỗi chuẩn. Quá trình tính toán được yêu cầu chạy ngoài chuỗi. Bằng chứng được tạo ra và gửi lại cho hợp đồng.
Hợp đồng không bao giờ xem xét dữ liệu thô. Nó chỉ xác minh bằng chứng và chấp nhận kết quả.
Điều này giúp dữ liệu lịch sử có thể sử dụng lại được mà không cần tái thiết lập lòng tin tập trung.
VAI TRÒ CỦA PICO zkVM TRONG VIỆC LÀM CHO CÁC CHỨNG MINH TRỞ NÊN THỰC TIỄN
Tính toán có thể kiểm chứng chỉ hoạt động hiệu quả nếu các bằng chứng được tạo ra đủ nhanh để tích hợp vào các luồng thao tác thực tế của người dùng.
Brevis đã xây dựng Pico zkVM với ràng buộc này trong tâm trí. Thay vì dựa vào một máy ảo hoàn toàn tổng quát, nó sử dụng thiết kế lai. Logic tổng quát chạy trong zkVM. Các tác vụ nặng được chuyển sang các bộ xử lý phụ chuyên dụng.
Cách tiếp cận này giúp duy trì tính linh hoạt trong quá trình phát triển đồng thời giảm chi phí kiểm chứng. Các hàm cơ bản tốn kém không còn chi phối hiệu năng nữa.
Kết quả là một hệ thống được tối ưu hóa cho khối lượng công việc thực tế hơn là sự thuần túy về mặt lý thuyết.
Trong quá trình thử nghiệm tập trung vào việc chứng minh Block Ethereum, Brevis đã chứng minh khả năng tạo bằng chứng trong thời gian thực. Điều này rất quan trọng vì độ trễ quyết định tính chính xác. Nếu bằng chứng đến quá muộn, các ứng dụng không thể dựa vào chúng.
Brevis cũng coi việc chứng minh là một bài toán phân tán. Pico Prism hỗ trợ chứng minh ở cấp độ cụm, cho phép khối lượng công việc mở rộng theo chiều ngang thay vì phụ thuộc vào hiệu năng của một máy đơn lẻ.
Thiết kế này phù hợp với cách thức vận hành quá trình chứng minh ở quy mô cơ sở hạ tầng.
PROVERNET VÀ KINH TẾ HỌC CỦA VIỆC TẠO BẰNG CHỨNG
Ngay cả hệ thống kiểm chứng tốt nhất cũng thất bại nếu nguồn cung không ổn định.
Nếu các ứng dụng phụ thuộc vào một bên chứng thực duy nhất, chúng sẽ phải đối mặt với rủi ro gián đoạn hoạt động và giá cả không thể dự đoán được. Brevis giải quyết vấn đề này với ProverNet, một thị trường chứng thực phi tập trung.
Các ứng dụng gửi các nhiệm vụ chứng minh với các tùy chọn về ngân sách và độ trễ. Các bên chứng minh gửi các đề xuất dựa trên chi phí và dung lượng. Mạng lưới tự động khớp cung và cầu.
Không phải tất cả các bằng chứng đều như nhau. Một số yêu cầu độ trễ thấp. Một số khác ưu tiên hiệu quả chi phí. ProverNet cho phép các bên chứng minh chuyên môn hóa thay vì buộc phải đạt hiệu suất đồng nhất.
Hệ thống này sử dụng thiết kế thị trường nhằm khuyến khích việc định giá trung thực. Người tham gia được hưởng lợi từ việc báo cáo chi phí thực tế thay vì gian lận hệ thống. Điều này giúp duy trì sự ổn định lâu dài.
BREV là nền tảng của nền kinh tế này. Các ứng dụng trả phí bằng Token. Người chứng minh Stake để tham gia. Việc không cung cấp được bằng chứng hợp lệ sẽ dẫn đến các hình phạt.
Điều này tạo ra mối LINK (Chainlink) trực tiếp giữa việc sử dụng và giá trị. Nó cũng thiết lập trách nhiệm giải trình ở cấp độ cơ sở hạ tầng.
Việc tập trung phần cứng vẫn là một thách thức. Việc chứng minh hiệu năng cao đòi hỏi đầu tư Vốn . Liệu ProverNet có thể mở rộng sự tham gia mà không làm giảm độ tin cậy hay không sẽ là một thử thách quan trọng.
BREVIS CHO PHÉP NHỮNG GÌ TRÊN CÁC ỨNG DỤNG KHÁC NHAU
Brevis có vai trò quan trọng khi nó thay đổi cách thức hoạt động của các ứng dụng.
Trong DeFi, nó cho phép logic dựa trên hành vi. Các giao thức có thể điều chỉnh phí hoặc phần thưởng bằng cách sử dụng lịch sử người dùng có thể chứng minh được. Hệ thống khách hàng thân thiết trở nên có thể kiểm chứng được thay vì tùy ý.
Trong các hệ thống chuỗi chéo, Brevis hỗ trợ xác minh trạng thái với độ tin cậy được giảm thiểu. Tài sản không cần phải di chuyển qua các cầu nối. Chỉ có bằng chứng trạng thái mới cần di chuyển. Điều này giảm thiểu rủi ro trong khi vẫn duy trì khả năng tương tác.
Trong các quy trình làm việc dựa trên AI, Brevis cho phép tạo ra các kết quả có thể kiểm chứng. Các mô hình có thể tạo ra kết quả mà các bên có thể tin tưởng mà không cần tiết lộ các thông tin đầu vào nhạy cảm. Điều này hỗ trợ các hệ thống đánh giá uy tín và ra quyết định tự động.
Trong tất cả các trường hợp sử dụng này, mô hình vẫn nhất quán. Tính toán ngoài chuỗi. Xác minh trên chuỗi.
CHIẾN LƯỢC ĐẶT CƯỢC PHÍA TRƯỚC
Brevis không cạnh tranh về mặt cốt truyện. Nó cạnh tranh về mặt tính cần thiết.
Thành công của nó phụ thuộc vào việc tính toán có thể kiểm chứng trở thành một kỳ vọng mặc định thay vì một tính năng chuyên biệt. Nếu các ứng dụng nhúng bằng chứng vào các quy trình thông thường, Brevis sẽ chiếm một vị trí quan trọng trong hệ thống.
Lộ trình này tập trung vào việc chuyển lưu lượng truy cập thực tế sang ProverNet, mở rộng năng lực chứng thực và giảm chi phí điều phối thông qua các lớp thực thi chuyên dụng.
Nếu điều này hiệu quả, blockchain sẽ ngừng cố gắng tự tính toán mọi thứ.
Chúng trở thành những hệ thống xác minh hoạt động của một nền kinh tế điện toán bên ngoài.
Đó chính là tương lai mà Brevis đang hướng tới.
〈 Tại sao Mạng Brevis lại quan trọng trong một thế giới cần tính toán có thể xác minh được 〉這篇文章最早發佈於《 CoinRank 》。
