Giải thích nền tảng xác minh và tính toán dữ liệu toàn chuỗi ZK của Celer Brevis

Nguồn gốc: Celer Network

TL; DR

Như chúng ta đã biết, các ứng dụng Web2 thường chạy độc lập như những khu vườn có tường bao quanh, điều này dẫn đến các vấn đề như khả năng tương tác dữ liệu hạn chế, khóa người dùng và phân mảnh danh tính. Các ứng dụng phi tập trung Web3 (dApps) được xây dựng trên blockchain thực sự có thể giải quyết những vấn đề này. Tuy nhiên, các hợp đồng thông minh cốt lõi của dApps hiện không thể truy cập và sử dụng lượng dữ liệu khổng lồ được lưu trữ trong toàn bộ lịch sử của nhiều chuỗi khối một cách không đáng tin cậy.

Để dỡ bỏ hạn chế này, chúng tôi đã triển khai Brevis, một chuỗi ZK đầy đủ Nền tảng xác minh và tính toán dữ liệu 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 theo cách hoàn toàn không cần tin cậy.

Hình 1. Kiến trúc Brevis

Brevis Kiến trúc bao gồm ba thành phần: zkFabric, zkQueryNet và zkAggregatorRollup.

zkFabric thu thập "tiêu đề khối" từ tất cả các chuỗi khối được kết nối thông qua máy khách ZK light Sau khi mạch đầu cuối chứng minh hiệu lực của nó, một chứng chỉ đồng thuận được tạo ra. Thành phần này rất cần thiết để dApp có quyền truy cập đáng tin cậy vào các tiêu đề khối và tất cả trạng thái của các chuỗi khối được hỗ trợ.

zkQueryNet là một thị trường mở cung cấp công cụ truy vấn ZK, có thể trực tiếp chấp nhận dữ liệu từ hợp đồng thông minh trên chuỗi Truy vấn dữ liệu và tạo kết quả truy vấn cũng như chứng chỉ truy vấn ZK tương ứng thông qua mạch công cụ truy vấn ZK. Một số công cụ này cung cấp các truy vấn có tính chuyên môn cao, chẳng hạn như tính toán khối lượng giao dịch dex trong khoảng thời gian có thể định cấu hình; một số khác có tính tổng quát cao và hỗ trợ trừu tượng hóa chỉ mục dữ liệu cũng như các ngôn ngữ truy vấn cấp cao để đáp ứng các nhu cầu ứng dụng khác nhau.

zkAggregatorRollup là một bản tổng hợp ZK chuyên dụng, hoạt động như lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Nó xác minh bằng chứng từ cả hai thành phần, lưu trữ dữ liệu bằng chứng và cam kết gốc trạng thái bằng chứng zk của nó cho tất cả các chuỗi khối được kết nối, cho phép dApps truy cập kết quả truy vấn bằng chứng trực tiếp trong logic kinh doanh của hợp đồng thông minh trên chuỗi của riêng họ.

Thông qua kiến trúc mô-đun này, Brevis có thể Hợp đồng thông minh cung cấp khả năng tính toán và truy cập dữ liệu hoàn toàn không cần tin cậy, linh hoạt và hiệu quả trên toàn bộ chuỗi. Brevis mở ra mô hình phát triển dApp mới và hỗ trợ nhiều trường hợp sử dụng, chẳng hạn như DeFi dựa trên dữ liệu, cầu nối chuỗi zk, người dùng trên chuỗi mua lại, zkDID, trừu tượng hóa Tài khoản xã hộivà hơn thế nữa.

Trong bằng chứng ban đầu về khái niệm Brevis, chúng tôi đã sử dụng gnark Đã xây dựng một số ZK các mạch máy khách nhẹ chạy nhanh nhất hiện nay trong zkFabric cho Ethereum PoS , Cosmos và BNB Chain , cho phép mọi chuỗi EVM và không phải EVM truy cập trạng thái của ba chuỗi này theo cách hoàn toàn không cần tin cậy.

Bảng 1 tóm tắt một số dữ liệu điểm chuẩn hiệu suất mạch chính (dữ liệu bao gồm 20 lõi, 2,3 GHz, Lấy từ máy chủ Linux có bộ nhớ 384GB, được kiểm tra mà không cần tăng tốc GPU). Bằng cách sử dụng các mạch máy khách ZK nhẹ này, chúng tôi đã triển khai một tài sản hướng tới người dùng zkBridge hỗ trợ hỗ trợ chuỗi chéo giữa Ethereum Goeril và Chuỗi BNB.

Bảng 1 - Đánh giá hiệu suất mạch máy khách ánh sáng ZK

(Máy chủ Linux/20 lõi/@2.3GHz/bộ nhớ 384GB)

Nếu bạn muốn tìm hiểu thêm về Brevis, vui lòng tiếp tục đọc bài viết này. Chào mừng bạn đến với Sách trắng Brevis để biết thông tin kỹ thuật toàn diện.

DApp Web3.0 đang thiếu giá trị tiềm năng của dữ liệu toàn chuỗi

p>

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

Các ứng dụng phi tập trung (dApp) Web3 được xây dựng trên blockchain sẽ có thể phá vỡ các kho thông tin này, bởi vì việc lưu trữ dữ liệu của blockchain chỉ cho phép thêm thông tin mới trên cơ sở ban đầu và tất cả dữ liệu đều có thể truy cập công khai. Với sự mở rộng của hệ sinh thái đa chuỗi và sự phổ biến ngày càng tăng của dApps, chuỗi khối L1 và cuộn L2 đã tích lũy được dữ liệu gốc phong phú — chẳng hạn như chuyển giao tài sản, lệnh gọi chức năng hợp đồng, sự kiện nội bộ hợp đồng và nguồn gốc trạng thái chuỗi khối. Chúng tôi 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, biểu đồ 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.v.

Nhiều sản phẩm và dự án ngoài chuỗi đã tận dụng các tính năng trên của dữ liệu có thể truy cập công khai lưu trữ—Các sản phẩm của Dune như Analytics và Graph có thể cung cấp khả năng lập chỉ mục hoặc phân tích dữ liệu ngoài chuỗi theo các khoảng thời gian cho các ứng dụng blockchain. Họ cũng có thể 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 giao diện người dùng mặt trước của dApp. Các ứng dụng này truy cập dữ liệu blockchain ngoài chuỗi, ghi lại, lập chỉ mục và tính toán dữ liệu thông qua cổng RPC của nút blockchain.

Đương nhiên, chúng tôi sẽ nghĩ đến các ứng dụng blockchain trên chuỗi Hoặc các hợp đồng thông minh sẽ có thể dễ dàng truy cập và sử dụng những dữ liệu toàn chuỗi này trong logic kinh doanh của chúng theo cách hoàn toàn không cần tin cậy.

Tuy nhiên, thực tế không phải vậy.

Trên thực tế, Web3 dApp không thể loại bỏ hoàn toàn Trustworthy truy cập vào hầu hết dữ liệu được lưu trữ trong chuỗi khối. Đ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 tồn tại trong máy ảo blockchain và do đó chỉ có thể truy cập dữ liệu thông qua:

·  ;(1) Giao diện được xác định rõ ràng thông qua các hợp đồng thông minh khác;

·  (2) Dữ liệu phải nằm trên blockchain nơi bản thân dApp đã được định vị;

· (3) Chỉ có thể lấy được trạng thái hiện tại, không thể lấy được dữ liệu lịch sử đầy đủ .

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

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

Bằng chứng ngắn gọn không có kiến thức: sự kỳ diệu của sự di chuyển tính toán

Công nghệ chứng minh 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ã có tiềm năng thay đổi mô hình tương tác Kỹ thuật số của chúng tôi. Nó cho phép một bên chứng minh tính hợp lệ của 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. Trình xác minh chỉ cần chạy một chương trình tính toán rẻ tiền (được gọi là trình xác minh) để xác nhận tính chính xác của phép tính.

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

Tổng quan về hệ thống Brevis

Hình 1 Như được hiển thị, kiến trúc của Brevis bao gồm ba thành phần chính: zkFabric, zkQueryNet và zkAggregatorRollup. zkFoven thu thập "tiêu đề khối" từ tất cả các chuỗi khối được kết nối và tạo ra bằng chứng đồng thuận ZK để chứng minh tính hợp lệ của chúng. Những "tiêu đề khối" này được zk xác minh thêm và được lưu trữ trong zkAggregatorRollup. zkQueryNet chấp nhận các truy vấn dữ liệu từ dApps và tạo bằng chứng truy vấn ZK dựa trên "tiêu đề khối" đã được chứng minh được lưu trữ trong zkAggregatorRollup. Sau khi các kết quả truy vấn này được zk xác minh, chúng cũng được lưu trữ trong zkAggregatorRollup.

Về cơ bản, zkAggregatorRollup là một bản tổng hợp ZK hoạt động như một lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet . Bằng cách gửi gốc trạng thái được chứng thực zk tới tất cả các chuỗi khối được kết nối với Brevis, zkAggregatorRollup cho phép các dApp truy cập các kết quả truy vấn đã được chứng thực và sử dụng chúng trực tiếp trong logic hợp đồng thông minh trên chuỗi của chúng một cách không cần tin cậy.

Với cái nhìn tổng thể, giờ đây chúng tôi chia nhỏ từng thành phần một cách chi tiết.

Đầu tiên, để sử dụng bất kỳ dữ liệu nào trên nhiều chuỗi, dApp cần sử dụng Phương thức không cần tin cậy để truy cập "tiêu đề khối" của các chuỗi khác ngoài chuỗi địa phương của nó. Điều này là do "tiêu đề khối" chứa gốc trạng thái có thể được sử dụng để truy cập dữ liệu và trạng thái trong chuỗi khối. Để đáp ứng nhu cầu này, chúng tôi đã giới thiệu zkFabric để tạo bằng chứng đồng thuận ZK cho "tiêu đề khối" của tất cả các chuỗi được hỗ trợ. Mạch máy khách nhẹ tạo ra bằng chứng đồng thuận rằng "tiêu đề khối" đang được xác minh đã được tạo theo quy tắc đồng thuận của chuỗi khối tương ứng. Bản thân zkFabric là một hệ thống phi tập trung bao gồm một rơle "tiêu đề khối" và một mạng lưới các bộ chứng minh.

Để trích xuất thông tin có giá trị từ "tiêu đề khối" đã được chứng nhận bởi zk, chúng tôi xây dựng ZKQueryNet là một thị trường mở cung cấp nhiều công cụ truy vấn ZK khác nhau và các nhà phát triển dApp cũng như hợp đồng thông minh có thể tương tác trực tiếp với nó. Các nhà phát triển dApp có thể chọn công cụ truy vấn ZK đáp ứng nhu cầu của họ và viết yêu cầu truy vấn thông qua API cấp cao trong hợp đồng thông minh.

Trong thời gian chạy, hợp đồng thông minh có thể gọi hợp đồng thông minh proxy của zkQueryNet cho một công cụ truy vấn ZK cụ thể. Trình chứng minh của công cụ truy vấn ZK sẽ nhận được yêu cầu truy vấn này. Công cụ truy vấn ZK sử dụng "tiêu đề khối" được chứng nhận zk do zkFabric cung cấp để tính toán kết quả truy vấn và tạo chứng chỉ truy vấn ZK để chứng minh rằng phép tính đã được hoàn thành chính xác.

Các công cụ truy vấn ZK khác nhau có thể cung cấp nhiều loại API, có thể là ngôn ngữ truy vấn chung hoặc nó có thể là một lệnh gọi hàm rất cụ thể với các đối số cố định. Ví dụ: trong trường hợp sử dụng để phục vụ các yêu cầu truy vấn rất cụ thể, công cụ truy vấn ZK chỉ có thể hiển thị một hàm chấp nhận hai số khối và hai ID chuỗi để truy vấn hai chuỗi khối trên Uniswap trong một khoảng thời gian nhất định. cặp giao dịch ETH/USDC. Mặt khác, công cụ truy vấn ZK có mục đích chung có thể cung cấp cho các nhà phát triển tính năng trừu tượng hóa chỉ mục blockchain bằng cách sử dụng các ngôn ngữ truy vấn cơ sở dữ liệu cấp cao (như SQL hoặc GraphQL), sẽ rất giống với việc triển khai trong dữ liệu ngoài chuỗi hoạt động của các giải pháp (chẳng hạn như Dune Analytics và Graph).

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

Cuối cùng, zkAggregatorRollup  được ảo hóa bằng Máy ZK nhẹ chuỗi khối tổng hợp ZK được hỗ trợ, tổng hợp các bằng chứng và thông tin đầu vào khác nhau từ zkQueryNet và zkFabric. Cụ thể, thời gian chạy zkAggregatorRollup VM có các chức năng sau:

· (1) Xác minh đệ quy các bằng chứng do zkQueryNet và zkFabric tạo ra;

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

· (3) Lưu trữ các yêu cầu truy vấn và kết quả xác minh zk.

Khi kết nối công cụ truy vấn ZK mới hoặc thêm loại đồng thuận mới, zkAggregatorRollup sẽ hỗ trợ tiện ích mở rộng xác minh bằng chứng ZK tương ứng. Ngoài ra, trong khi nhiều chuỗi tổng hợp ZK chỉ gửi bằng chứng gốc trạng thái của họ tới một chuỗi khối duy nhất, zkAggregatorRollup khác ở chỗ nó gửi bằng chứng gốc trạng thái của mình tới tất cả các chuỗi khối được hỗ trợ b>.

Vì tất cả các chuỗi được zkAggregatorRollup hỗ trợ đều có nguồn gốc trạng thái nên hợp đồng thông minh có thể thu được kết quả truy vấn thông qua bằng chứng và khối bao gồm dữ liệu tiê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í xác minh hoặc liên lạc tiêu đề khối từ O(N^2) xuống O(N) (trong đó N là số lượng chuỗi khối được Brevis hỗ trợ) và để giảm chi phí trên tất cả các chuỗi khối được kết nối. Chia sẻ hiệu quả kết quả truy vấn theo yêu cầu.

Tóm lại, Brevis có những ưu điểm chính sau:

· Không cần tin cậy:Brevis không dựa vào bất kỳ thứ gì bên dưới chuỗi để chứng minh tính toàn vẹn của dữ liệu và tính toán; thay vào đó, nó chỉ dựa vào ZK Chứng minh tính đơn giản. 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 trừ tin tưởng vào các giao thức mã hóa và chuỗi khối cơ bản;

· Hỗ trợ toàn bộ chuỗi:Brevis có thể tích hợp nhiều blockchain chạy dựa trên các cơ chế đồng thuận khác nhau để hỗ trợ truy cập và tính toán dữ liệu toàn chuỗi;

· Tính mô đun: Brevis có thiết kế mang tính mô-đun cao trong zkQueryNet nên nó có thể đáp ứng nhiều nhu cầu ứng dụng cho các đối tượng và thiết kế khác nhau bằng cách xây dựng các công cụ truy vấn ZK khác nhau;

· Chi phí thấp:ZkAggregatorRollup của Brevis về cơ bản là một lớp phân nhóm 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 bằng cách loại bỏ chi phí liên lạc N-to-N và chia sẻ kết quả truy vấn xuyên chuỗi và ứng dụng chéo.

Điều đáng chú ý là Brevis là một trong những giải pháp lập chỉ mục dữ liệu ngoài chuỗi như Dune Phân tích và Đồ thị. Sự khác biệt chính là Brevis có thể tạo ra các kết quả truy vấn đã được zk chứng minh và logic kinh doanh của các hợp đồng thông minh trên chuỗi có thể trực tiếp sử dụng các kết quả truy vấn này một cách không đáng tin cậy, trong khi kết quả dữ liệu của các giải pháp ngoài chuỗi chỉ có thể được sử dụng cho dữ liệu dựa trên web2. Phân tích tình huống.

Trình diễn ca sử dụng

Hình 2 - Minh họa ca sử dụng

Trước khi thảo luận về các trường hợp sử dụng rộng rãi, chúng tôi cung cấp một ví dụ ứng dụng cụ thể để cung cấp cái nhìn tổng quan về quy trình làm việc của Brevis. Lưu ý rằng phần tổng quan này tóm tắt một số chi tiết chính và chúng tôi giới thiệu cho người đọc toàn bộ sách trắng để biết chi tiết.

Sàn giao dịch phi tập trung (DEX) được triển khai trên nhiều chuỗi như PancakeSwap thường yêu cầu Phần thưởng cho tất cả trên chuỗi nhóm thanh khoản được điều chỉnh linh hoạt dựa trên điểm chất lượng của cặp giao dịch như khối lượng giao dịch trung bình hàng ngày, khối lượng giao dịch trong 14 ngày, biến động giá, số lượng người dùng giao dịch đang hoạt động và số lượng nhà cung cấp thanh khoản đang hoạt động.

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 khuyến nghị quản trị cộng đồng, việc này đòi hỏi rất nhiều chi phí về mặt nhân lực Và nó chỉ có thể được thực hiện nếu cài đặt phần thưởng sai lệch đáng kể so với giải pháp tối ưu. Việc phân bổ phần thưởng dưới mức tối ưu này thường tụt hậu so với xu hướng thị trường và dẫn đến giảm mức độ tương tác của người dùng, mất doanh thu và lãng phí ngân sách ngân quỹ.

Brevis cho phép DEX được lập trình và không cần tin cậy dựa trên xu hướng thị trường toàn chuỗi hiện tại. chương trình khuyến khích để giải quyết những thách thức này. Để đơn giản, giả sử rằng chúng tôi chỉ muốn lấy dữ liệu về khối lượng giao dịch và có một công cụ truy vấn ZK trong zkQueryNet, cung cấp một tập hợp các mạch được tối ưu hóa cao cho dữ liệu khối lượng giao dịch DEX và API của nó như sau:

uint_64 get_trading_volume(uint_64 chain_id,

uint_64 start_block,

uint_64 end_block,

cặp địa chỉ)

Hình 2 ở trên thể hiện quy trình từng bước cho chạy ca sử dụng này. Để sử dụng API tính toán dữ liệu này, trước tiên hợp đồng thông minh DEX cần gọi hợp đồng thông minh proxy của zkQueryNet (ký hiệu là ) với các tham số truy vấn trên. Lưu ý rằng hàm này không đồng bộ và sẽ chỉ trả về query_id ngay lập tức, vì vậy hợp đồng thông minh của DEX sẽ ghi nhớ ID này và cũng cung cấp trình xử lý để xử lý giá trị trả về sau này.

Lệnh gọi hàm này sau đó được người hoạt ngôn P_q của . P_q sử dụng tiêu đề khối có chain_id đã được xác minh và lưu trữ trong zkAggregatorRollup để chứng minh rằng cặp giao dịch của DEX có khối lượng từ start_block đến end_block trong khoảng thời gian được chỉ định và tạo bằng chứng ZK.

Trình xác minh bằng chứng của Q xác minh kết quả π và khối lượng trong zkAggregatorRollup và gửi truy vấn tương ứng. Các tham số được lưu trữ trong zkAggregatorRollup. Trạng thái này sau đó được đưa vào trạng thái gốc S của zkAggregatorRollup và được cam kết với chuỗi đã triển khai DEX.

Bây giờ, A có thể lấy và xác minh kết quả truy vấn bằng cách sử dụng bằng chứng bao gồm trạng thái của S, sau đó Trả lại kết quả truy vấn thu được cho chức năng xử lý hợp đồng thông minh của DEX. Hàm xử lý khớp query_id được lưu trữ với kết quả truy vấn được trả về và điều chỉnh kế hoạch khuyến khích thanh khoản cho phù hợp dựa trên dữ liệu khối lượng.

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

Hầu hết tất cả các giải pháp tương tác hiện có đều thuộc "mô hình xác thực bên ngoài" và yêu cầu sự tin cậy vào một thực thể trung gian. Mặc dù về mặt lý thuyết, các giải pháp dựa trên light client trên chuỗi được giảm thiểu độ tin cậy nhưng lại quá tốn kém để thực hiện. Brevis giải quyết thách thức này bằng cách kết hợp giao thức máy khách nhẹ với ZKP, trong đó zkFabric tạo ra bằng chứng đồng thuận ZK cho tất cả các chuỗi khối được hỗ trợ và lưu trữ các tiêu đề khối tương ứng trong zkAggregatorRollup. Trong bằng chứng khái niệm ban đầu của Brevis, chúng tôi đã triển khai giao thức client nhẹ của mạch ZK trên Ethereum PoS, Cosmos Tendermint và BNB Chain.

· Ứng dụng khách nhẹ Ethereum PoS. Mạch máy khách nhẹ Ethereum PoS chủ yếu bao gồm hai mạch phụ. Một là mạch Cam kết của Ủy ban Đồng bộ hóa SSZ cập nhật các cam kết SSZ của 512 người xác thực Ủy ban Đồng bộ hóa hiện tại, luân phiên 27 giờ một lần. Cái còn lại là xác minh chữ ký BLS12-381 tổng hợp của 512 trình xác thực, về cơ bản thực hiện các phép tính băm theo đường cong và ghép nối BLS12-381 trên miền vô hướng BN254 để xác minh hiệu quả trong hợp đồng thông minh Ethereum. Ở đây, việc ghép nối không phải gốc đòi hỏi các thuật toán miền không phải gốc có quy mô lớn. Bằng cách triển khai các thủ thuật ghép nối BLS khác nhau và sử dụng các công cụ kiểm tra phạm vi hiệu quả do gnark cung cấp, chúng tôi đạt được xác minh chữ ký BLS12-381 nhanh nhất dựa 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 của Ủy ban Đồng bộ hóa SSZ, chúng tôi đang sử dụng các bảng tra cứu để tối ưu hóa và sẽ sớm phát hành một mạch được tối ưu hóa.

· Khách hàng của Cosmos Tendermint và BNB Chain light. Chuỗi BNB bao gồm kiến trúc hai lớp, bao gồm lớp cơ sở (BNB Beacon Chain -BBC) và lớp thực thi (BNB Smart Chain -BSC). BBC sử dụng đồng thuận Tendermint, trong khi BSC sử dụng đồng thuận Proof of Authority (PoA) của Parli. Mỗi khối BSC được ký bởi một trong các trình xác thực trong bộ. Là một ứng dụng Tendermint chuyên dụng, BBC quản lý việc lựa chọn và cập nhật bộ trình xác nhận BSC. Cứ sau 24 giờ, BBC sẽ bầu ra một bộ trình xác nhận BSC mới thông qua cơ chế chuỗi chéo tương tự như IBC (cơ chế này sớm hơn thông số kỹ thuật chính thức của IBC) và đồng bộ hóa nó với BSC. Đối với BBC (về cơ bản là Tendermint), ứng dụng khách nhẹ sẽ chủ yếu xác minh một loạt chữ ký Ed25519 và việc thực hiện việc này trực tiếp trên chuỗi rất tốn kém. Chúng tôi đã triển khai xác minh chữ ký Ed25519 không phải gốc dựa trên miền vô hướng BN254 trong gnark. Chúng tôi đã đạt được hiệu suất cao nhất cho việc xác minh chữ ký Ed25519 không phải gốc thông qua công cụ kiểm tra phạm vi trong gnark. Đối với BSC, sự đồng thuận PoA liên quan đến xác minh chữ ký secp256k1, được xác minh trực tiếp trong hợp đồng thông minh do có sự biên dịch trước.

Mạch trên đã được triển khai trong gnark và là nguồn mở. Bảng 1 ở đầu bài viết này thể hiện hiệu suất cơ bản của nó. Xin lưu ý rằng chúng tôi liên tục tối ưu hóa mạch và hy vọng sẽ thúc đẩy khả năng tăng tốc và song song hóa phần cứng trong tương lai gần.

Dựa trên ứng dụng khách nhẹ, chúng tôi đã xây dựng một nền tảng hỗ trợ mạng thử nghiệm Goerli và BNB Chuỗi Cầu nối tài sản ZK để chuyển tài sản hai chiều giữa các mạng thử nghiệm. Cần lưu ý rằng đối với các tài sản chuỗi chéo từ Goerli đến mạng thử nghiệm Chuỗi BNB, vì tiêu đề khối bao gồm giao dịch chuỗi nguồn cuối cùng sẽ chỉ được xác nhận và truyền đi sau 2-3 kỷ nguyên (64-96 khối), vì vậy dự kiến thời gian trễ khoảng 25 phút.

Nhiều trường hợp sử dụng sáng tạo dựa trên Brevis

Ngoài các ví dụ về ZK Bridge ở trên, Brevis cũng có thể hỗ trợ các nhà phát triển tạo dApp để truy cập dữ liệu trên toàn bộ chuỗi bất kỳ lúc nào theo cách chưa từng có. Không còn nghi ngờ gì nữa, công nghệ tiên tiến này sẽ thiết lập một mô hình mới và thay đổi cách phát triển dApp trong mọi lĩnh vực. Trong phần này, chúng tôi giới thiệu một số ứng dụng đã sẵn sàng tung ra thị trường và mong cộng đồng khám phá thêm nhiều trường hợp sử dụng hơn cùng với chúng tôi.

DeFi dựa trên dữ liệu

Ngoài ra như trên Với trường hợp sử dụng điều chỉnh tự động các ưu đãi thanh khoản được thảo luận trong bài viết này, chúng tôi tin rằng “DeFi dựa trên dữ liệu” sẽ trở thành một trong những danh mục ứng dụng rộng rãi dựa trên Brevis, nhờ khả năng mở rộng và quyền riêng tư của nó.

Truy cập tất cả dữ liệu giao dịch toàn chuỗi và trạng thái lịch sử, quyền chọn và các công cụ phái sinh khác một cách không đáng tin cậy Giờ đây, bạn có thể thêm các điều kiện thực hiện mới, chẳng hạn như giá tính theo thời gian theo hàm mũ hoặc giá tính theo khối lượng theo thời gian. Bằng cách triển khai các công cụ truy vấn ZK khác nhau, cũng sẽ có thể thực hiện được một số loại công cụ phái sinh thay thế trên chuỗi mới, có thể theo dõi hành vi của người dùng, xu hướng giá, thay đổi về giao thức hoặc khóa blockchain, biến động, tương quan giá, v.v.

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

Hủy bỏ sự tin cậy của các kênh chuyển đổi người dùng để chia sẻ phân bổ

Trong Web 2.0, quá trình chuyển đổi người dùng kết thúc khi người dùng tải xuống hoặc đăng ký phần mềm và nhà quảng cáo trả một mức giá cố định cho người dùng đã chuyển đổi, bất kể giá trị giữ chân của họ là bao nhiêu. Mô hình này không lý tưởng cho cả nhà quảng cáo và kênh quảng cáo, vì bên trước không thể phân biệt giá trị người dùng và bên sau không thể chia sẻ lợi ích lâu dài. Sự cố này xảy ra do dữ liệu người dùng sau khi thu hút được khách hàng chỉ ở chế độ riêng tư đối với nhà quảng cáo và kênh không thể truy cập được.

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

Giải pháp nhận dạng phi tập trung ZK

Brevis đang xây dựng giải pháp zkDID không cần tin cậy Công cụ quan trọng giúp ngăn chặn Sybil tấn công và tối ưu hóa 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 bằng chứng ZK dựa trên hành vi khó giả mạo trên chuỗi, Brevis cho phép các nhà phát triển dApp hoạt động theo 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 của Sybil trong các chiến dịch hoặc chương trình khuyến mãi.

Bằng cách tận dụng kết quả truy vấn và dữ liệu tổng hợp hành vi của người dùng, Brevis có thể giúp xây dựng các quy trình quản lý vòng đời người dùng không cần tin cậy để tạo điều kiện thuận lợi cho hệ thống khách hàng thân thiết, chương trình giao dịch VIP và hoạt động LiveOps trong trò chơi blockchain. Quy trình này được xây dựng bằng Brevis mang lại 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, phù hợp với tương lai và tính di động. ZkDID được tạo thông qua Brevis được lưu trữ trong zkAggregatorRollup và có thể được truy cập bởi các ứng dụng khác nhau.

Tắt tài khoản

Brevis cung cấp các trường hợp sử dụng hấp dẫn trong không gian 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 của các ứng dụng blockchain. Một trong những ứng dụng chính là khôi phục tài khoản xã hội, nơi Brevis có thể giúp người dùng lấy lại quyền truy cập vào ví nếu họ mất khóa kiểm soát chính. Brevis cho phép ví thông minh thực hiện khôi phục tài khoản xã hội dựa trên các kết nối giao dịch gần đây thay vì một bộ ví bên ngoài cố định. Cách tiếp cận này giúp giảm chi phí bảo trì và giảm rào cản gia nhập đối với người dùng mới trong ngành.

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 hoan nghênh các nhà phát triển khám phá và xây dựng thêm nhiều trường hợp sử dụng mới cho Brevis!

Bài viết này là từ một bài gửi và không thể hiện quan điểm của BlockBeats  

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

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

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

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