Tổng quan về Brevis

Giới thiệu

Brevis là một nền tảng Zero-Knowledge (ZK) chứng minh dữ liệu chuỗi đầy đủ được thiết kế để cho phép hợp đồng thông minh truy cập và xử lý dữ liệu lịch sử trên chuỗi đầy đủ của nhiều blockchain một cách không đáng tin cậy. Bằng cách cung cấp các chức năng tính toán tùy chỉnh, Brevis hỗ trợ các ứng dụng đổi mới như tài chính phi tập trung (DeFi), xác thực qua chuỗi và quản lý thanh khoản, giúp nhà phát triển xây dựng các ứng dụng blockchain thông minh, tối thiểu hóa sự tin cậy.

Người sáng lập Brevis, Dong Mo, có nền tảng vững chắc về khoa học máy tính. Trong quá trình nghiên cứu tiến sĩ tại Đại học Illinois tại Urbana-Champaign (UIUC), cô tập trung vào nghiên cứu về hệ thống phân tán và an ninh mạng. Dong Mo cũng là đối tác đầu tư tại IOSG Ventures và là một trong những người sáng lập của Celer Network.

Quỹ

Brevis thông báo hoàn thành vòng gieo hạt trị giá 7,5 triệu đô la vào ngày 12 tháng 11 năm 2024, do Polychain Capital và Binance Labs đứng đầu, với sự tham gia của IOSG Ventures, Nomad Capital, Bankless Ventures, HashKey Capital và những người khác.

Brevis’ Funding (Source: Brevis)

Tầm nhìn

Hiện tại, các ứng dụng phi tập trung Web 3.0 (dApps) không thể truy cập vào phần lớn dữ liệu được lưu trữ trên các chuỗi khối một cách hoàn toàn không tin cậy. Điều này xảy ra vì hợp đồng thông minh chỉ có thể truy cập vào dữ liệu từ trạng thái hiện tại và không thể lấy lại được dữ liệu lịch sử đầy đủ, giới hạn tiềm năng và chức năng của dApps.

Tầm nhìn và mục tiêu của Brevis là trở thành một nền tảng tính toán và xác thực dữ liệu toàn chuỗi ZK, nhằm cho phép dApps truy cập, tính toán và sử dụng dữ liệu tùy ý trên nhiều blockchain hoàn toàn không đáng tin cậy. Điều này bao gồm dữ liệu thô như chuyển tài sản, cuộc gọi chức năng hợp đồng, sự kiện hợp đồng và gốc trạng thái blockchain, cho phép trích xuất thông tin có giá trị như quyền sở hữu tài sản, hồ sơ hoạt động của người dùng, biểu đồ xã hội và mối quan hệ tài chính.

Tính năng và Kiến trúc của Brevis

Tính năng

• Hiệu suất cao ở quy mô lớn

Brevis sử dụng các thuật toán mật mã Zero-Knowledge (ZK) tiên tiến và tính toán song song quy mô lớn để xử lý các tính toán phức tạp của một lượng lớn giao dịch trong thời gian ngắn. Điều này cho thấy Brevis cung cấp hiệu suất hiệu quả khi xử lý dữ liệu quy mô lớn, điều này rất quan trọng đối với các ứng dụng phi tập trung (dApps) yêu cầu thời gian phản hồi nhanh.

• Đa năng
  Brevis cung cấp một Bộ phát triển Phần mềm (SDK) cho phép nhà phát triển dễ dàng truy cập vào các trạng thái lịch sử, giao dịch, sự kiện hợp đồng thông minh và tùy chỉnh logic tính toán của riêng họ bằng các ngôn ngữ lập trình mà họ quen thuộc. Sự linh hoạt này cho phép Brevis đáp ứng nhiều nhu cầu phát triển và kịch bản ứng dụng khác nhau.

• Omni-Chain
  Brevis cung cấp trải nghiệm người dùng thống nhất hỗ trợ truy cập dữ liệu và tính toán toàn chuỗi nhanh, không đòi hỏi sự tin cậy trên nhiều blockchain. Điều này có nghĩa là các nhà phát triển có thể xây dựng các ứng dụng trải dài trên nhiều blockchain, trong khi người dùng tận hưởng trải nghiệm tương tác liền mạch.

Kiến trúc

Brevis, với tư cách là một nền tảng chứng minh dữ liệu đa chuỗi Zero-Knowledge (ZK) mới, nhằm cung cấp tính năng truy cập dữ liệu, tính toán và sử dụng không tin cậy cho ứng dụng phi tập trung (dApps). Kiến trúc cốt lõi của nó bao gồm ba thành phần chính: zkFabric, zkQueryNet và zkAggregatorRollup.

Kiến trúc của Brevis (Nguồn: Brevis)

1. zkFabric: Khả năng tương tác đa chuỗi dựa trên chứng minh không biết Zero-Knowledge Proof

zkFabric là lớp tương tác của Brevis, có trách nhiệm thu thập các tiêu đề khối từ tất cả các chuỗi khối kết nối và tạo ra bằng chứng Đồng thuận Zero-Knowledge (Bằng chứng Đồng thuận ZK) để xác minh tính hợp lệ của các tiêu đề khối này. Điều này cho phép bất kỳ chuỗi khối nào truy cập trạng thái của các chuỗi khối khác một cách đáng tin cậy. Thông qua zkFabric, các ứng dụng phi tập trung có thể truy cập an toàn vào các tiêu đề khối và các gốc trạng thái đa chuỗi, giải quyết các vấn đề tin cậy trong tương tác đa chuỗi hiện tại.

Quy trình của zkFabric có thể được so sánh với dịch vụ giao hàng. Nó thu thập các “gói hàng” (tiêu đề khối) từ các blockchain khác nhau, sau đó chuyển chúng qua một loạt các “điểm kiểm tra” (tạo ra các chứng minh không có kiến thức) để xác minh tính xác thực của các gói hàng. Cuối cùng, các tiêu đề khối đã được xác minh được “giao” đến một kho hàng trung tâm (zkAggregatorRollup). Quy trình cụ thể như sau:

• Đồng bộ tiêu đề khối: Mạng truyền relay tiêu đề khối thường xuyên đồng bộ hóa tiêu đề khối từ các chuỗi khối khác nhau và chọn tiêu đề khối sau một khoảng trễ xác nhận khối an toàn để tránh các vấn đề lựa chọn fork.
• Gửi tiêu đề khối: Mạng chuyển tiêu đề khối gửi tiêu đề khối đến mạng chứng minh zkFabric.
• Tạo Chứng minh Tính hợp lệ: Mạng chứng minh tạo ra chứng minh tính hợp lệ cho các tiêu đề khối bằng cách sử dụng mạch ZKP cụ thể cho chuỗi (thực hiện giao thức máy khách nhẹ).
• Trả lại các bằng chứng: Mạng người chứng minh trả lại các bằng chứng về tính hợp lệ cho mạng truyền tải.
• Gửi đến Rollup: Sau khi nhận được bằng chứng, mạng chuyển tiếp gửi bằng chứng và tiêu đề khối tương ứng đến zkAggregatorRollup.

Cốt lõi công nghệ của zkFabric nằm ở khả năng tạo và xác minh các bằng chứng không có kiến thức, hoạt động giống như "biên lai" được mã hóa để chứng minh tính xác thực của các tiêu đề khối mà không để lộ bất kỳ thông tin nhạy cảm nào. Nó hoạt động bằng cách thực hiện các mạch dựa trên số học đa thức, cho phép tạo bằng chứng hiệu quả và an toàn. Hơn nữa, các bằng chứng của zkFabric có thể được xác minh đệ quy trong zkAggregatorRollup, có nghĩa là khi bằng chứng được xác minh, tính xác thực của nó có thể được xác nhận nhiều lần trên nhiều blockchain mà không cần phải xác minh lại mỗi lần, nâng cao đáng kể hiệu quả tương tác chuỗi chéo.

Ví dụ, với Ethereum PoS, zkFabric trước tiên tính toán cam kết của ủy ban đồng bộ Ethereum, bao gồm quá trình phức tạp của băm SHA-256 và tổng hợp khóa công khai. Sau đó, nó xác minh chữ ký BLS của khối để đảm bảo rằng khối được ký bởi một ủy ban được ủy quyền. Sau khi hoàn thành những bước này, zkFabric tạo ra một bằng chứng không cần biết để xác nhận rằng tất cả các bước xác nhận đã được thực hiện đúng. Bằng chứng này sau đó được gửi đến zkAggregatorRollup cùng với tiêu đề khối để sử dụng bởi các thành phần hệ thống khác. Đằng này, zkFabric không chỉ đảm bảo tính tương thích giữa các chuỗi khối mà còn duy trì an ninh và tính toàn vẹn của dữ liệu, cung cấp nền tảng vững chắc để xây dựng các ứng dụng chéo chuỗi.

Cấu trúc zkFabric (Nguồn: Brevis)

2. zkQueryNet: Mở Mạng Lưới Động Cơ Tra Cứu ZK

zkQueryNet là một thị trường mở được thiết kế để hỗ trợ nhiều nhu cầu truy vấn dữ liệu, chuyển đổi kết quả truy vấn thành chứng minh ZK. Mục tiêu của nó là cung cấp một khung truy vấn và tính toán dữ liệu hiệu quả cao, linh hoạt và không cần tin cậy cho các ứng dụng phi tập trung (dApps).

zkQueryNet được triển khai thông qua một loạt các Công cụ truy vấn không có kiến thức, cho phép các nhà phát triển truy vấn dữ liệu trên nhiều blockchain mà không cần dựa vào các trung gian tập trung hoặc bên thứ ba đáng tin cậy. Quy trình làm việc cụ thể bao gồm nhận yêu cầu truy vấn từ dApps, phân tích cú pháp truy vấn và tạo kết quả tính toán tương ứng. Mỗi công cụ truy vấn có thể cung cấp các giao diện truy vấn khác nhau dựa trên nhu cầu cụ thể, hỗ trợ các trường hợp sử dụng khác nhau, từ dữ liệu chuyển tài sản đơn giản đến phân tích thị trường phức tạp. Các kết quả truy vấn được tạo ra đi kèm với các bằng chứng không có kiến thức để đảm bảo tính xác thực và hợp lệ của chúng trong khi vẫn bảo vệ quyền riêng tư của người dùng.

Thông qua zkQueryNet, các nhà phát triển có thể dịch vụ dữ liệu qua các chuột chuỗi, xây dựng ứng dụng phi tập trung linh hoạt và hiệu quả hơn, và thúc đầy sự phát triển của hệ sinh thị Web3.

Ví dụ, một sàn giao dịch phi tập trung (DEX) có thể muốn điều chỉnh động thái của các phần thưởng khai thác thanh khoản dựa trên khối lượng giao dịch của người dùng trên các blockchain khác nhau. Nó có thể khởi tạo một yêu cầu truy vấn thông qua zkQueryNet, và các động cơ truy vấn trong mạng sẽ thu thập và tính toán dữ liệu, tạo ra chứng minh không biết để đảm bảo tính chính xác và xác thực của kết quả. Dữ liệu được xác minh sau đó được trả về hợp đồng thông minh DEX để điều chỉnh cơ chế thưởng, với toàn bộ quá trình này là không tin cậy, đảm bảo an toàn dữ liệu và minh bạch.

3. zkAggregatorRollup: Lớp tổng hợp chứng minh chéo chuỗi

zkAggregatorRollup hoạt động như là lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Nó chịu trách nhiệm xác thực các bằng chứng được gửi bởi cả hai module và gửi các state root được xác minh bằng kiến thức không (ZK) tới tất cả các blockchain kết nối. Quy trình này cho phép ứng dụng phi tập trung (dApps) sử dụng trực tiếp các kết quả truy vấn được xác minh bằng ZK này trong các hợp đồng thông minh. Bằng việc tổng hợp nhiều bằng chứng và gửi chúng đến từng blockchain cùng một lúc, zkAggregatorRollup giảm đáng kể chi phí của việc giao tiếp và xác minh qua các chuỗi, đồng thời đảm bảo an toàn và tính toàn vẹn của dữ liệu.

Về thiết kế, zkAggregatorRollup được dự định để là một điểm tổng hợp dữ liệu không đáng tin cậy. Nó tổng hợp các chứng minh không thông qua từ các nguồn khác nhau và gửi chúng đến tất cả các blockchain kết nối, cho phép chia sẻ và sử dụng dữ liệu giữa các chuỗi khối.

Kỹ thuật này sử dụng các giải pháp lưu trữ dữ liệu hiệu quả, chẳng hạn như cây Verkle, để hỗ trợ truy xuất dữ liệu nhanh chóng và tạo chứng minh. Ngoài ra, zkAggregatorRollup có logic xác thực mạnh mẽ đảm bảo mỗi chứng minh trải qua xác minh chứng minh không có tri thức nghiêm ngặt trước khi dữ liệu được lưu trữ và gửi đi. Điều này đảm bảo tính chính xác và đáng tin cậy của dữ liệu. Thiết kế này giúp zkAggregatorRollup trở thành một nền tảng tin cậy mạnh mẽ, cung cấp cho các ứng dụng phi tập trung một nền tảng truy cập và sử dụng dữ liệu chéo chuỗi đáng tin cậy.

Các trường hợp sử dụng của Brevis

• Data-Driven DeFi (Tài chính Phi tập trung)

Brevis giới thiệu một mô hình phát triển mới cho các ứng dụng DeFi thông qua việc sử dụng Zero-Knowledge Proofs (ZKPs). Ví dụ, các ứng dụng DeFi có thể tận dụng Brevis để truy cập và xác minh dữ liệu giao dịch quá khứ để quản lý phần thưởng, chẳng hạn như các chương trình tín dụng. Điều này cho phép các ứng dụng tùy chỉnh phần thưởng và khuyến mãi dựa trên hành vi giao dịch lịch sử của người dùng, từ đó tăng cường sự tham gia và giữ chân người dùng trên nền tảng. Ngoài ra, Brevis cho phép các giao thức xác minh và truy xuất dữ liệu blockchain lịch sử, điều này rất quan trọng đối với các ứng dụng phụ thuộc vào trạng thái blockchain quá khứ.

• zkBridges (Cầu thông tin không có tri thức)

Brevis hỗ trợ việc tạo ra cầu nối mã ngang sử dụng Zero-Knowledge Proofs để đảm bảo việc chuyển giao an toàn của tài sản và thông tin qua các mạng blockchain khác nhau. Ví dụ, Brevis có thể triển khai một cầu nối nguyên mẫu từ Cosmos đến Ethereum, bao gồm việc chứng minh tính chính xác của mạch chứng minh lớn. Thiết kế này đảm bảo an ninh của cầu nối trong khi cải thiện hiệu suất và tính mở rộng của giao tiếp mã ngang.

• zkDID (Zero-Knowledge Identity)

Brevis có thể được sử dụng để xây dựng hệ thống danh tính Zero-Knowledge, cho phép người dùng chứng minh danh tính và hành vi của họ trong khi bảo vệ quyền riêng tư của họ. Ví dụ, thông qua hệ thống DID, người dùng có thể giới thiệu dữ liệu xã hội chi tiết hơn cho các tương tác mà không tiết lộ thông tin nhạy cảm. Phương pháp xác minh danh tính này có thể được áp dụng cho các trường hợp sử dụng khác nhau, bao gồm mạng xã hội, dịch vụ tài chính và nhiều hơn nữa, đồng thời đảm bảo quyền riêng tư và bảo mật dữ liệu người dùng.

Brevis Use Case Demonstrations (Nguồn: Brevis)

Kết luận

Brevis, với vai trò là một nền tảng chứng minh dữ liệu Zero-Knowledge (ZK) toàn chuỗi đổi mới, không chỉ cung cấp tính tương thích liên chuỗi chưa từng có cho các ứng dụng phi tập trung (dApp) mà còn giải quyết vấn đề tin cậy thông qua công nghệ chứng minh ZK mạnh mẽ của mình, đẩy mạnh sự phát triển của hệ sinh thái Web3. Với ba thành phần cốt lõi của mình - zkFabric, zkQueryNet và zkAggregatorRollup - Brevis cho phép truy cập và tính toán dữ liệu hiệu quả, an toàn và không đáng tin cậy, hỗ trợ các ứng dụng đổi mới trong tài chính phi tập trung (DeFi), xác minh danh tính liên chuỗi, quản lý thanh khoản và nhiều hơn nữa.

Về kế hoạch tương lai, Brevis cam kết mở rộng hỗ trợ xuyên chuỗi và tối ưu hóa kiến ​​trúc tính toán ZK để nâng cao hiệu suất và khả năng mở rộng của nền tảng. Trong những tháng tới, Brevis sẽ ra mắt kiến trúc ZK Coprocessor mới và liên tục cải thiện tính tương thích với nhiều blockchain và mạng Layer 2 để phục vụ cho một phạm vi sử dụng rộng hơn. Ngoài ra, Brevis sẽ tăng cường development kit (SDK) của phần mềm, giúp cho nhà phát triển dễ dàng triển khai tính toán dữ liệu phức tạp và logic kinh doanh. Họ sẽ làm việc để giảm chi phí và độ trễ của tính toán ZK thông qua các đổi mới công nghệ mới.