Tóm tắt

Các ứng dụng Web 2.0 thường hoạt động như những khu vườn có tường rào với khả năng tương tác dữ liệu hạn chế, dẫn đến việc người dùng bị khóa và danh tính bị phân mảnh. Các ứng dụng phi tập trung Web3 (dApps) được xây dựng trên các chuỗi khối có tiềm năng vượt qua những vấn đề này. Tuy nhiên, các hợp đồng thông minh, là lõi của dApps, hiện tại thiếu một cách tiếp cận và sử dụng dữ liệu lớn được lưu trữ trong toàn bộ lịch sử của nhiều chuỗi khối mà không cần tin tưởng. Để giải quyết giới hạn này, chúng tôi giới thiệu đến bạn Brevis, một nền tảng xác thực dữ liệu Omni-chain Zero-Knowledge (ZK) cho phép dApps truy cập, tính toán và sử dụng dữ liệu tùy ý trên nhiều chuỗi khối một cách hoàn toàn không cần tin tưởng.

Kiến trúc của Brevis bao gồm ba thành phần: zkFabric, zkQueryNet và zkAggregatorRollup. zkFabric thu thập các tiêu đề khối từ tất cả các blockchain đã kết nối và tạo ra các Bằng Chứng Đồng Thuận xác nhận tính hợp lệ của các tiêu đề khối này thông qua các mạch khách nhẹ ZK. Điều này rất cần thiết để các dApp có thể truy cập các tiêu đề khối và tất cả các trạng thái từ tất cả các blockchain được hỗ trợ một cách không cần tin cậy. zkQueryNet là một thị trường mở của các ZK Query Engines có thể chấp nhận các truy vấn dữ liệu trực tiếp từ các hợp đồng thông minh trên chuỗi và có khả năng tạo ra các kết quả truy vấn và các Bằng Chứng Truy Vấn ZK tương ứng thông qua các mạch ZK Query Engine. Các động cơ này dao động từ rất chuyên biệt, chẳng hạn như tính toán khối lượng giao dịch của một DEX trong một khoảng thời gian cụ thể, đến rất tổng quát với các trừu tượng lập chỉ mục dữ liệu và các ngôn ngữ truy vấn cấp cao, phục vụ cho một loạt các yêu cầu ứng dụng đa dạng. zkAggregatorRollup là một ZK rollup chuyên dụng hoạt động như một lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Nó xác minh các bằng chứng từ cả hai thành phần này, lưu trữ dữ liệu đã được xác nhận và cam kết các gốc trạng thái đã được xác nhận zk của nó tới tất cả các blockchain đã kết nối, cho phép các dApp truy cập các kết quả truy vấn đã được xác nhận trực tiếp trong logic kinh doanh của các hợp đồng thông minh trên chuỗi.

Với kiến trúc mô-đun này, Brevis cho phép truy cập và tính toán dữ liệu hoàn toàn không cần tin cậy, linh hoạt và hiệu quả cao trên tất cả các chuỗi được hỗ trợ cho các hợp đồng thông minh trên chuỗi. Điều này tạo ra những mô hình hoàn toàn mới cho phát triển dApp. Brevis có một loạt các trường hợp sử dụng như DeFi dựa trên dữ liệu, zkBridges, thu hút người dùng trên chuỗi, zkDIDs, trừu tượng hóa tài khoản xã hội, và nhiều hơn nữa.

Trong Proof of Concept ban đầu của Brevis, chúng tôi đã xây dựng một số mạch light client ZK nhanh nhất như một phần của zkFabric với gnark cho Ethereum PoS, Cosmos và BNB Chain để cho phép bất kỳ chuỗi EVM và không EVM nào truy cập các trạng thái của ba chuỗi này một cách hoàn toàn không cần tin cậy. Một số số liệu benchmark hiệu suất mạch chính được tóm tắt trong Bảng 1 (sử dụng máy chủ Linux với 20 lõi @2.3GHz và 384GB bộ nhớ mà không có gia tốc GPU). Sử dụng những mạch light client ZK này, chúng tôi đã triển khai một cây cầu zk tài sản hướng tới người dùng giữa Ethereum Goeril và mạng thử nghiệm BNB Chain để người dùng thử nghiệm. [https://zkbridge.brevis.network/]

Để biết mô tả chi tiết hơn về Brevis, hãy tiếp tục đọc blog này hoặc bạn có thể tham khảo Tài Liệu Brevis của chúng tôi để biết thêm thông tin toàn diện và chi tiết kỹ thuật. [https://get.celer.app/brevis/BrevisWhitePaper_03211833.pdf]

Các dApp Web3 đang bỏ lỡ giá trị của việc sử dụng dữ liệu omnichain.

Các ứng dụng Web 2.0 đã cách mạng hóa sự tương tác của người dùng và sự tạo ra nội dung trên internet. Tuy nhiên, các ứng dụng này thường hoạt động như những khu vườn tường, với dữ liệu người dùng được lưu trữ trong các cơ sở dữ liệu tập trung do các nhà cung cấp nền tảng kiểm soát. Điều này dẫn đến các thách thức như khả năng tương tác dữ liệu hạn chế, danh tính phân mảnh, khóa tài chính và xã hội, và các vấn đề sau đó như kìm hãm đổi mới, khóa nhà cung cấp, vấn đề quyền riêng tư, và trải nghiệm người dùng phân mảnh.

Các ứng dụng phi tập trung Web3 (dApps) có tiềm năng phá vỡ những silo thông tin này bằng cách được xây dựng trên các blockchain, nơi có lưu trữ dữ liệu chỉ bổ sung và công khai. Với sự mở rộng đa blockchain và sự chấp nhận của các dApps tiếp tục phát triển, các blockchain L1 và các rollup L2 đã tích lũy một khối lượng lớn dữ liệu thô, chẳng hạn như chuyển giao tài sản, gọi hàm hợp đồng, sự kiện trong hợp đồng, và các gốc trạng thái blockchain. Với tất cả các dữ liệu này, có thể 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, đồ thị xã hội, kết nối tài chính, xu hướng giá thị trường, khối lượng giao dịch và nhiều hơn nữa.

Nhiều sản phẩm và dự án ngoài chuỗi đã tận dụng đặc tính độc đáo của việc lưu trữ dữ liệu công khai này. Các sản phẩm như Dune Analytics và Graph cung cấp lập chỉ mục dữ liệu ngoài chuỗi hoặc phân tích dữ liệu cho các ứng dụng blockchain theo thời gian. Chúng cũng có thể được sử dụng để cung cấp dữ liệu trạng thái, chẳng hạn như lịch sử giao dịch của người dùng cho các UI front-end của dApps. Những ứng dụng này truy cập dữ liệu blockchain theo cách ngoài chuỗi, ghi lại, lập chỉ mục và tính toán dữ liệu thông qua các điểm cuối RPC của các nút blockchain.

Một cách trực quan, các ứng dụng blockchain trên chuỗi hoặc hợp đồng thông minh nên có khả năng dễ dàng truy cập và sử dụng những thông tin dữ liệu omnichain này trong logic kinh doanh của chúng một cách hoàn toàn không cần tin cậy, vì tất cả các dApp này đều là những "cư dân bản địa" bên trong các blockchain.

Tuy nhiên, đây không phải là trường hợp.

Trong thực tế, các dApp Web3 chỉ đơn giản là không có cách nào để truy cập phần lớn dữ liệu được lưu trữ trên các blockchain theo cách không cần tin cậy. Điều này là do các hợp đồng thông minh được triển khai trên một blockchain duy nhất đang sống trong bối cảnh của các máy ảo blockchain và chỉ có thể truy cập dữ liệu:

• (1) thông qua các giao diện được định nghĩa rõ ràng của các hợp đồng thông minh khác;

• (2) Điều đó là trên cùng một blockchain;

• (3) Chỉ trong trạng thái hiện tại nhất của blockchain thay vì với một cái nhìn lịch sử hoàn chỉnh.

Có thể lập luận rằng các giải pháp, chẳng hạn như phân tích và tính toán ngữ nghĩa truy vấn dữ liệu trực tiếp trong các hợp đồng thông minh hoặc xác thực các thuật toán đồng thuận với các khách hàng nhẹ không cần tin cậy dựa trên hợp đồng thông minh, là về lý thuyết có thể. Tuy nhiên, những cách tiếp cận này là không khả thi do chi phí tính toán trên chuỗi cao. Các giải pháp Oracle ngoài chuỗi có thể được sử dụng, nhưng chúng cần sự tin cậy bổ sung vào bảo mật Oracle bên ngoài để đảm bảo tính hợp lệ của dữ liệu.

Vậy, làm thế nào chúng ta có thể cho phép các hợp đồng thông minh truy cập và tính toán dữ liệu từ bất kỳ blockchain nào trong một khoảng thời gian tùy ý?

Bằng Chứng Ngắn Gọn Không Có Kiến Thức: Phép Màu Của Di Chuyển Tính Toán

Công nghệ bằng chứng ngắn gọn không có kiến thức (ZKP) là một lĩnh vực mới nổi trong mật mã học với tiềm năng biến đổi các tương tác kỹ thuật số của chúng ta. Nó cho phép một bên chứng minh tính hợp lệ của một phép tính cho bên khác mà không tiết lộ bất kỳ thông tin nào về giá trị đầu vào. Bên xác minh chỉ cần chạy một chương trình tốn ít tài nguyên tính toán, được gọi là xác minh, để xác nhận độ chính xác của phép tính.

ZKP không chỉ cung cấp lợi ích về quyền riêng tư mà còn cho phép di chuyển tính toán từ các vị trí có chi phí cao mỗi đơn vị đến các vị trí có chi phí thấp mỗi đơn vị. Người chứng minh thực hiện một phép toán tốn kém để hoàn thành phép tính và tạo ra một bằng chứng mật mã, trong khi bên xác minh thực hiện một phép toán rẻ hơn để xác thực bằng chứng. Quy trình này chuyển địa điểm tính toán từ bên xác minh sang bên chứng minh, tạo ra một sự đánh đổi hợp lý nếu chi phí tính toán đơn vị của bên chứng minh thấp hơn đáng kể so với chi phí của bên xác minh. Tính chất di chuyển tính toán này là động lực chính cho nhiều ZK rollups. Chúng tôi cũng sẽ tận dụng thuộc tính này để thiết kế Brevis.

Tổng Quan Hệ Thống Brevis

Như được hiển thị trong Hình 1, kiến trúc của Brevis bao gồm ba thành phần chính: zkFabric, zkQueryNet và zkAggregatorRollup. zkFabric thu thập các tiêu đề khối từ tất cả các blockchain đã kết nối và tạo ra các Bằng Chứng Đồng Thuận ZK xác nhận tính hợp lệ của các tiêu đề khối này. Các tiêu đề khối này được xác minh zk hơn nữa và lưu trữ trong zkAggregatorRollup. zkQueryNet chấp nhận các truy vấn dữ liệu từ dApps và tạo ra các Bằng Chứng Truy Vấn ZK dựa trên các tiêu đề khối đã được xác nhận được lưu trữ trong zkAggregatorRollup. Các kết quả truy vấn này cũng được xác minh zk và lưu trữ trong zkAggregatorRollup. Về cơ bản, zkAggregatorRollup là một ZK rollup hoạt động như một lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Bằng cách cam kết các gốc trạng thái đã được xác nhận zk của mình tới tất cả các blockchain kết nối Brevis, zkAggregatorRollup cho phép dApps truy cập các kết quả truy vấn đã được xác nhận và sử dụng chúng trực tiếp trong logic hợp đồng thông minh trên chuỗi của họ mà hoàn toàn không cần tin cậy.

Với cái nhìn tổng quan ở cấp cao này, hãy cùng chúng tôi đi qua từng thành phần.

Trước tiên, để sử dụng dữ liệu tùy ý trên nhiều blockchain, các dApp cần có một cách không cần tin cậy để truy cập các tiêu đề khối từ các blockchain khác ngoài chuỗi gốc của chúng. Điều này là do các tiêu đề khối chứa các gốc trạng thái có thể được sử dụng để truy cập dữ liệu và trạng thái của các blockchain. Để đáp ứng nhu cầu này, zkFabric được giới thiệu để tạo ra các Bằng Chứng Đồng Thuận ZK cho các tiêu đề khối của tất cả các chuỗi được hỗ trợ. Một Bằng Chứng Đồng Thuận được tạo ra bởi một mạch khách nhẹ chứng minh rằng tiêu đề khối đang được xem xét được tạo ra theo quy tắc đồng thuận của blockchain tương ứng. zkFabric bản thân nó là một hệ thống phi tập trung bao gồm một mạng lưới các người chuyển tiếp tiêu đề khối và người chứng minh.

Để thực sự trích xuất thông tin có giá trị từ các tiêu đề khối đã được xác nhận zk, zkQueryNet được xây dựng như một thị trường mở của các ZK Query Engines trực tiếp tương tác với các nhà phát triển dApp và các hợp đồng thông minh. Một nhà phát triển dApp có thể chọn một ZK Query Engine phù hợp với nhu cầu của họ và sau đó viết các truy vấn thông qua các API cấp cao trong các hợp đồng thông minh.

Tại thời gian chạy, một hợp đồng thông minh có thể gọi Hợp Đồng Thông Minh Đại Diện của zkQueryNet nhắm đến một ZK Query Engine cụ thể. Truy vấn này sẽ được người chứng minh của ZK Query Engine này nhận. Sử dụng các tiêu đề khối đã được xác minh zk mà zkFabric cung cấp, ZK Query Engine có thể tính toán các kết quả truy vấn và tạo ra một Bằng Chứng Truy Vấn ZK xác nhận rằng phép tính được thực hiện đúng.

Các ZK Query Engines khác nhau có thể có các API rất khác nhau, từ các ngôn ngữ truy vấn tổng quát đến các gọi hàm rất cụ thể với số lượng tham số cố định. Ví dụ, ở một đầu của quang phổ, một ZK Query Engine cụ thể có thể chỉ cung cấp một hàm chấp nhận hai số khối và hai ID chuỗi sẽ trả về Giá Trung Bình Thời Gian cho cặp ETH/USDC trong một khoảng thời gian xác định trên Uniswap cho hai blockchain đã chỉ định. Ở đầu kia, một ZK Query Engine tổng quát có thể cung cấp cho các nhà phát triển một sự trừu tượng lập chỉ mục blockchain sử dụng các truy vấn cơ sở dữ liệu cấp cao như SQL hoặc GraphQL, rất giống với những gì họ có thể làm trong các giải pháp dữ liệu ngoài chuỗi như Dune Analytics và Graph.

Brevis sẽ cung cấp một bộ các ZK Query Engines giải quyết nhiều trường hợp sử dụng ngay lập tức với sự linh hoạt hợp lý và hiệu suất cao. Khi zkQueryNet là một thị trường mở, chúng tôi hy vọng các nhà phát triển dApp và các bên thứ ba khác sẽ cung cấp các ZK Query Engines khác để phục vụ tốt hơn cho một hệ sinh thái ứng dụng đa dạng.

Cuối cùng, zkAggregatorRollup là một blockchain ZK rollup được cung cấp bởi một máy ảo ZK nhẹ, tổng hợp các bằng chứng khác nhau và các đầu vào từ zkQueryNet và zkFabric. Cụ thể, thời gian chạy VM của zkAggregatorRollup có các chức năng sau:

• (1) Xác minh đệ quy các bằng chứng được tạo ra bởi zkQueryNet và zkFabric;

• (2) Lưu trữ các tiêu đề khối đã được xác minh zk từ zkFabric;

• (3) Lưu trữ các truy vấn và kết quả đã được xác minh zk.

Khi cắm một ZK Query Engine hoặc thêm một loại đồng thuận mới, zkAggregatorRollup sẽ được mở rộng để hỗ trợ việc xác minh các bằng chứng ZK tương ứng. Hơn nữa, không giống như nhiều chuỗi ZK rollup mà các bằng chứng về sự tiến triển của gốc trạng thái chỉ được cam kết với một blockchain duy nhất, các bằng chứng gốc trạng thái của zkAggregatorRollup được cam kết với tất cả các blockchain được Brevis hỗ trợ.

Với các gốc trạng thái của zkAggregatorRollup có sẵn trên tất cả các chuỗi đã kết nối, các hợp đồng thông minh có thể truy cập các kết quả truy vấn và tiêu đề khối thông qua các bằng chứng bao gồm dữ liệu. Lợi ích chính của việc sử dụng zkAggregatorRollup làm điểm tổng hợp là giảm chi phí giao tiếp hoặc xác minh tiêu đề khối từ O(N^2) xuống O(N) (trong đó N là số lượng blockchain được Brevis hỗ trợ), và chia sẻ các kết quả truy vấn theo yêu cầu và một cách hiệu quả trên tất cả các blockchain đã kết nối.

Tóm lại, Brevis có những lợi thế chính sau:

• Không cần tin cậy: Brevis không dựa vào bất kỳ bên ngoài nào để xác nhận tính toàn vẹn của dữ liệu và phép tính. Thay vào đó, nó chỉ dựa vào các bằng chứng ngắn gọn ZK. Do đó, các ứng dụng sử dụng Brevis không cần phải chấp nhận bất kỳ giả định tin cậy bổ sung nào ngoài những giả định của các blockchain nền tảng và các giao thức mật mã.

• Omnichain: Brevis tích hợp với nhiều blockchain chạy trên các đồng thuận khác nhau và do đó cho phép truy cập và tính toán dữ liệu omnichain.

• Modularized: Brevis sử dụng thiết kế rất mô-đun trong zkQueryNet của mình và do đó có thể phục vụ cho một loạt các yêu cầu ứng dụng thông qua các hương vị và triển khai khác nhau của các ZK Query Engines.

• Chi phí thấp: zkAggregatorRollup của Brevis về cơ bản hoạt động như một lớp gộp và tổng hợp cho các tiêu đề khối và kết quả truy vấn. Do đó, zkAggregatorRollup giảm đáng kể chi phí trên chuỗi theo nhiều bậc bằng cách loại bỏ chi phí giao tiếp N đến N và cho phép chia sẻ kết quả truy vấn xuyên chuỗi và xuyên ứng dụng.

Điều quan trọng cần lưu ý là sự khác biệt chính giữa Brevis và các giải pháp lập chỉ mục dữ liệu ngoài chuỗi như Dune Analytics và Graph là Brevis có thể tạo ra các kết quả truy vấn đã được xác nhận zk mà có thể được sử dụng trực tiếp bởi logic kinh doanh của các hợp đồng thông minh trên chuỗi một cách không cần tin cậy. So với các giải pháp ngoài chuỗi mà dữ liệu kết quả của chúng chỉ có thể được sử dụng trong ngữ cảnh phân tích dữ liệu dựa trên web2.

Một Ví Dụ Chi Tiết

Trước khi chúng ta thảo luận về một loạt các trường hợp sử dụng ứng dụng, chúng tôi trình bày một ví dụ ứng dụng cụ thể để cung cấp cái nhìn tổng quan về Brevis. Lưu ý rằng cái nhìn tổng quan này trừu tượng hóa một số chi tiết chính và chúng tôi khuyến nghị bạn đọc tài liệu white paper đầy đủ để biết thêm chi tiết.

Các sàn giao dịch phi tập trung đa blockchain (DEXes), chẳng hạn như PancakeSwap, thường cần điều chỉnh động phần thưởng farming cho các pool khuyến khích dựa trên điểm số chất lượng cặp giao dịch như khối lượng giao dịch trung bình hàng ngày, khối lượng 14 ngày, độ biến động giá, số lượng nhà giao dịch hoạt động và các nhà cung cấp thanh khoản trên tất cả các blockchain được hỗ trợ.

Hiện tại, những điều chỉnh như vậy phải được thực hiện thông qua các đề xuất quản trị, điều này đòi hỏi công sức con người đáng kể và chỉ có thể được thực hiện khi cài đặt lệch lạc nghiêm trọng khỏi tối ưu. Điều này gây ra tình trạng chậm lại so với xu hướng thị trường và thường dẫn đến sự suy giảm trong sự tham gia của người dùng, mất doanh thu và lãng phí quỹ kho bạc do các cấu hình phần thưởng không tối ưu.

Brevis có thể giải quyết những thách thức này bằng cách cho phép DEXes điều chỉnh lịch trình farming thanh khoản theo cách lập trình và không cần tin cậy dựa trên xu hướng thị trường omnichain. Để đơn giản, giả sử rằng khối lượng là tất cả những gì chúng tôi quan tâm. Hãy cũng giả sử rằng có một ZK Query Engine 𝑄 trong zkQueryNet cung cấp một bộ các mạch tối ưu hóa cao cho dữ liệu khối lượng DEX với một API trông như sau:

uint_64 get_trading_volume(uint_64 chain_id,

uint_64 start_block,

uint_64 end_block,

address pair)

Hình 2 cho thấy quy trình từng bước về cách cách sử dụng này hoạt động. Để sử dụng API tính toán dữ liệu này, hợp đồng thông minh DEX trước tiên cần thực hiện một cuộc gọi hàm đến Hợp Đồng Thông Minh Đại Diện (được ký hiệu là 𝐴) của zkQueryNet với các tham số truy vấn ở trên được chỉ định. Lưu ý rằng chức năng này là không đồng bộ và chỉ ngay lập tức trả về một 𝑞𝑢𝑒𝑟𝑦_𝑖𝑑 vì vậy hợp đồng thông minh của DEX cần ghi nhớ ID này và có một trình xử lý để xử lý giá trị trả về sau.

Cuộc gọi hàm này sau đó được người chứng minh của 𝑄, ký hiệu là 𝑃_𝑞, tiếp nhận. Sử dụng các tiêu đề khối cho 𝑐ℎ𝑎𝑖𝑛_𝑖𝑑 (đã được xác minh và lưu trữ trong zkAggregatorRollup), 𝑃_𝑞 sẽ tạo ra một bằng chứng ZK 𝜋 chứng minh rằng trên 𝑐ℎ𝑎𝑖𝑛_𝑖𝑑 trong khoảng thời gian từ 𝑠𝑡𝑎𝑟𝑡_𝑏𝑙𝑜𝑐𝑘 đến 𝑒𝑛𝑑_𝑏𝑙𝑜𝑐𝑘, cặp giao dịch của DEX thực sự có 𝑣𝑜𝑙𝑢𝑚𝑒.

𝑄's proof verifier trong zkAggregatorRollup xác minh 𝜋, sau đó kết quả 𝑣𝑜𝑙𝑢𝑚𝑒, cũng như các tham số truy vấn tương ứng, được lưu trữ trong zkAggregatorRollup. Trạng thái này sau đó được bao gồm trong một gốc trạng thái 𝑆 của zkAggregatorRollup và được cam kết với chuỗi mà DEX được triển khai.

Bây giờ, 𝐴 có thể lấy và xác minh kết quả truy vấn bằng cách sử dụng một bằng chứng bao gồm trạng thái chống lại 𝑆. Kết quả truy vấn được lấy này sẽ sau đó được trả lại cho hàm xử lý của hợp đồng thông minh DEX. Hàm xử lý sẽ có khả năng khớp 𝑞𝑢𝑒𝑟𝑦_𝑖𝑑 đã lưu trữ với kết quả truy vấn được trả về và điều chỉnh lịch trình farming thanh khoản dựa trên dữ liệu khối lượng.

zkFabric PoC: Ethereum PoS, Cosmos Tendermint, BNB Chain Light Client ZK Circuits và ZK Bridge

Mặc dù các giải pháp light client trên chuỗi về lý thuyết là giảm thiểu tin cậy, nhưng chúng lại rất tốn kém để triển khai trong thực tế. Brevis giải quyết thách thức này bằng cách kết hợp giao thức light client và ZKP, trong đó zkFabric tạo ra một Bằng Chứng Đồng Thuận ZK cho tất cả các blockchain đã kết nối và lưu trữ các tiêu đề khối tương ứng trong zkAggregatorRollup. Trong Proof of Concept ban đầu của zkFabric, chúng tôi triển khai các giao thức light client trong các mạch ZK cho Ethereum PoS, Cosmos Tendermint và BNB Chain.

• Light client cho Ethereum PoS. Mạch cho light client Ethereum PoS chủ yếu bao gồm 2 mạch con. Một là mạch Cam Kết Ủy Ban Đồng Bộ SSZ cập nhật cam kết SSZ cho 512 nhà xác thực hiện tại trong ủy ban đồng bộ, quay vòng mỗi 27 giờ. Mạch còn lại là xác minh chữ ký BLS12-381 tổng hợp cho 512 nhà xác thực, chủ yếu thực hiện các phép tính hash-to-curve và ghép BLS12-381 trên trường vô hướng của BN254 để có thể được xác minh hiệu quả trong các hợp đồng thông minh Ethereum. Tại đây, ghép không gốc yêu cầu một trường số không gốc khổng lồ. Thực hiện theo nhiều mẹo cho các triển khai ghép BLS và sử dụng các gadget kiểm tra dải hiệu quả do gnark cung cấp, chúng tôi có thể đạt được xác minh chữ ký BLS12-381 nhanh hơn trên trường vô hướng BN254 so với các triển khai hiện có. Đối với mạch Cam Kết Ủy Ban Đồng Bộ SSZ, chúng tôi đang làm việc trên các tối ưu hóa sử dụng bảng tra cứu và sẽ phát hành một mạch tối ưu hóa sớm.

• Light client cho Cosmos Tendermint và BNB Chain. Chuỗi BNB áp dụng kiến trúc hai lớp, bao gồm lớp cơ sở, được gọi là Chuỗi Beacon BNB (BBC), và lớp thực thi, được gọi là Chuỗi Thông Minh BNB (BSC). BBC sử dụng đồng thuận Tendermint, trong khi BSC áp dụng một đồng thuận Bằng Chứng Ủy Quyền (PoA) gọi là Parli. Mỗi khối BSC được ký bởi một trong các nhà xác thực trong tập. Là một ứng dụng Tendermint chuyên dụng, BBC quản lý cuộc bầu cử và cập nhật tập nhà xác thực BSC. Mỗi 24 giờ, một tập nhà xác thực BSC mới được bầu và đồng bộ hóa với BSC thông qua một cơ chế xuyên chuỗi giống như IBC mà đã có trước tài liệu kỹ thuật IBC chính thức. Đối với BBC (về cơ bản là Tendermint), light client chủ yếu liên quan đến việc xác minh một lô chữ ký Ed25519, điều này tốn kém để xác minh trực tiếp trên chuỗi. Chúng tôi triển khai các xác minh chữ ký Ed25519 không gốc trên trường vô hướng BN254 trong gnark. Sử dụng các gadget kiểm tra dải trong gnark, chúng tôi đạt được hiệu suất hàng đầu cho việc xác minh chữ ký Ed25519 không gốc. Đối với BSC, đồng thuận PoA liên quan đến việc xác minh chữ ký secp256k1 được xác minh trực tiếp trong hợp đồng thông minh do sự tồn tại của các pre-compile.

Các mạch nói trên được triển khai trong gnark và mã nguồn mở [https://github.com/celer-network/brevis-circuits]. Hiệu suất benchmark của chúng được hiển thị trong Bảng 1 ở đầu blog này. Lưu ý rằng chúng tôi đang liên tục tối ưu hóa mạch và cũng mong muốn tận dụng gia tốc phần cứng và song song trong tương lai gần.

Ngoài ra, hầu hết các giải pháp khả năng tương tác hiện có đều rơi vào "mô hình xác minh bên ngoài" mà cần tin cậy vào một thực thể trung gian. Như một bước đầu tiên, chúng tôi đã xây dựng một bản demo proof-of-concept cho một ZK Bridge giữa mạng thử nghiệm Goerli và mạng thử nghiệm BNB Chain, thể hiện khả năng của Brevis. Dựa trên các light client, chúng tôi đã xây dựng một cây cầu ZK tài sản hai chiều giữa mạng thử nghiệm Goerli và mạng thử nghiệm BNB Chain. Cần lưu ý rằng đối với hướng Goerli đến BNB, thời gian trễ cây cầu được dự kiến khoảng 25 phút vì tiêu đề khối bao gồm tx của chuỗi nguồn chỉ được coi là hoàn tất và được chuyển tiếp sau 2-3 epoch (64-96 khối).

Nhiều Trường Hợp Sử Dụng Hấp Dẫn Được Kích Hoạt Bởi Brevis

Ngoài ví dụ trên về một ZK Bridge, Brevis cho phép các nhà phát triển tạo ra các dApp có thể truy cập dữ liệu omnichain qua các khoảng thời gian tùy ý theo cách mà trước đây không thể. Đổi mới này chắc chắn sẽ thiết lập một mô hình mới, biến đổi cách các dApp được phát triển trong tất cả các lĩnh vực. Trong phần này, chúng tôi sẽ trình bày một số ứng dụng ngay lập tức, tuy nhiên chúng tôi dự đoán cộng đồng sẽ khám phá nhiều trường hợp sử dụng hơn.

DeFi Dựa Trên Dữ Liệu

Ngoài ví dụ điều chỉnh phần thưởng farming thanh khoản tự động đã thảo luận trước đó, chúng tôi tin rằng DeFi dựa trên dữ liệu sẽ trở thành một lớp ứng dụng rộng lớn tận dụng Brevis, nhờ vào khả năng mở rộng và quyền riêng tư mà nó cung cấp.

Với quyền truy cập không cần tin cậy vào các luồng giao dịch lịch sử và omnichain toàn diện, các sản phẩm phái sinh như quyền chọn giờ đây có thể kết hợp các điều kiện thực hiện mới, như Giá Trung Bình Thời Gian Tăng Dần hoặc Giá Trọng Số Thời Gian. Các sản phẩm phái sinh thay thế theo dõi hành vi người dùng, xu hướng giá, thay đổi TVL của giao thức hoặc blockchain, độ biến động, tương quan giá, và nhiều hơn nữa cũng sẽ khả thi thông qua nhiều triển khai của ZQEs.

Các giải pháp quản lý quỹ chủ động trên chuỗi có thể tạo ra các bằng chứng ZK chứng minh rằng các điều chỉnh vị trí chỉ dựa trên các mô hình thuật toán cụ thể được lấy từ dữ liệu thị trường, mà không có bất kỳ sự can thiệp của con người trái phép nào. Hơn nữa, nhờ vào tính bảo mật quyền riêng tư của Brevis, các tham số mô hình chính xác có thể vẫn được giữ kín để duy trì lợi thế cạnh tranh trên thị trường.

Thu Hút Người Dùng Với Chia Sẻ Doanh Thu Không Cần Tin Cậy

Trong Web 2.0, quy trình thu hút người dùng kết thúc khi một người dùng tải xuống hoặc đăng ký, với các nhà quảng cáo trả một giá cố định cho tất cả người dùng, bất kể Giá Trị Vòng Đời của họ. Sự sắp xếp này không lý tưởng cho cả nhà quảng cáo và các kênh quảng cáo, vì nhà quảng cáo không thể phân biệt giá trị người dùng, và các kênh quảng cáo không thể chia sẻ doanh thu dài hạn. Vấn đề này phát sinh vì dữ liệu người dùng sau khi thu hút là riêng tư và không thể truy cập đối với các kênh quảng cáo.

Web3 có thể thay đổi mô hình này, vì hầu hết dữ liệu hoạt động của người dùng là công khai. Tuy nhiên, các nền tảng hiện tại vẫn theo mô hình Web 2.0. Brevis cách mạng hóa điều này bằng cách cho phép các kênh quảng cáo tạo ra các bằng chứng doanh thu không cần tin cậy cho người dùng đã thu hút. Điều này sẽ dẫn đến một sự thay đổi cơ bản trong việc thu hút người dùng Web 3.0, nơi các nhà quảng cáo chỉ trả tiền cho người dùng có giá trị cao, và các kênh quảng cáo được khuyến khích để tối ưu hóa việc kết hợp người dùng với các nhà quảng cáo.

zkDID

Brevis là một công cụ thiết yếu để xây dựng các giải pháp zkDID không cần tin cậy, giúp ngăn chặn các cuộc tấn công Sybil và tạo điều kiện cho việc quản lý vòng đời người dùng trong nhiều trường hợp sử dụng khác nhau. Bằng cách tạo ra các bằng chứng ZK dựa trên các hành vi trên chuỗi khó làm giả, Brevis cho phép các nhà phát triển dApp hoạt động trong một cách hoàn toàn không cần tin cậy trong khi ngăn chặn các cuộc tấn công Sybil trong các chiến dịch hoặc triển khai.

Bằng cách tận dụng các kết quả truy vấn và dữ liệu của các hành vi người dùng đã được tổng hợp, một quy trình quản lý vòng đời người dùng không cần tin cậy có thể được xây dựng, cho phép các hệ thống khách hàng trung thành, các chương trình VIP trader và các chiến dịch LiveOps trong trò chơi blockchain. Brevis cung cấp một số lợi thế so với kế toán trong ứng dụng, chẳng hạn như chi phí thấp hơn, bảo vệ tương lai và tính di động. zkDIDs được tạo ra thông qua Brevis được lưu trữ trong zkAggregatorRollup, làm cho chúng có thể truy cập cho các ứng dụng khác nhau.

Trừu Tượng Tài Khoản

Brevis cung cấp một trường hợp sử dụng hấp dẫn trong Trừu Tượng Tài Khoản (AA) bằng cách cải thiện tính bảo mật và khả năng sử dụng trong các ứng dụng blockchain. Một lợi ích chính là phục hồi xã hội, giúp lấy lại quyền truy cập ví ngay cả khi khóa kiểm soát chính bị mất. Brevis cho phép các ví thông minh thực hiện phục hồi xã hội dựa trên các kết nối giao dịch gần đây thay vì một tập hợp cố định các ví bên ngoài. Cách tiếp cận này giảm bớt chi phí bảo trì và hạ thấp rào cản gia nhập cho người dùng mới trong hệ sinh thái blockchain.

Brevis cũng có những ứng dụng tiềm năng trong nhiều lĩnh vực khác như trò chơi xã hội và NFT. Chúng tôi khuyến khích các nhà phát triển khám phá và phát hiện thêm nhiều trường hợp sử dụng thú vị cho Brevis.