Giới thiệu Axonum: Bộ não của Ethereum

Axonum khẳng định trí tuệ nhân tạo vào blockchain để xây dựng một siêu máy tính phi tập trung được cung cấp bởi trí tuệ tập thể toàn cầu.

Thời đại của AI EVM

Chúng tôi đang xây dựng Axonum, một AI optimistic rollup, với EVM AI đầu tiên trên thế giới.

Chúng tôi nhằm mục tiêu làm cho việc tiếp cận DApps được trang bị trí tuệ nhân tạo trở nên dân chủ hóa, giúp việc suy luận mô hình trí tuệ nhân tạo trở nên dễ dàng và thân thiện với người dùng.

Axonum là một optimistic rollup với AI được bảo vệ bởi opML và AI EVM. Nó cho phép người dùng sử dụng các mô hình AI một cách mạch lạc trong các hợp đồng thông minh mà không bị ràng buộc bởi sự phức tạp của các công nghệ cơ bản.

Tổng quan

AI EVM: AI Thần Thánh

Để kích hoạt suy luận ML bản địa trong hợp đồng thông minh, chúng ta cần sửa đổi lớp thực thi của chuỗi lớp 2. Cụ thể, chúng ta thêm một hợp đồng được biên dịch trước suy luận trong EVM để xây dựng AI EVM.

AI EVM sẽ tiến hành suy luận ML trong việc thực thi cơ bản và sau đó trả kết quả thực thi xác định. Khi người dùng muốn sử dụng mô hình AI để xử lý dữ liệu, tất cả những gì người dùng cần làm là gọi suy luận hợp đồng được biên soạn trước với địa chỉ mô hình và đầu vào mô hình, sau đó người dùng có thể thu được đầu ra của mô hình và sử dụng nó một cách tự nhiên trong hợp đồng thông minh.

import "./AILib.sol";contract AIContract {...function inference(bytes32 model_address, bytes memory input_data, uint256 output_size) public {    bytes memory output = AILib.inference(model_address, input_data, output_size);    emit Inference(model_address, input_data, output_size, output);}}

Các mô hình được lưu trữ trong lớp dữ liệu mô hình có sẵn (DA). Tất cả các mô hình có thể được lấy từ DA bằng cách sử dụng địa chỉ mô hình. Chúng tôi giả định sự có sẵn dữ liệu của tất cả các mô hình.

Nguyên tắc thiết kế cốt lõi của suy luận hợp đồng được biên dịch trước tuân theo nguyên tắc thiết kế của opML, tức là, chúng tôi tách biệt việc thực thi khỏi việc chứng minh. Chúng tôi cung cấp hai loại triển khai của suy luận hợp đồng được biên dịch trước. Một loại được biên dịch cho việc thực thi nguyên bản, được tối ưu hóa cho tốc độ cao. Loại khác được biên dịch cho VM chứng minh gian lận, giúp chứng minh tính đúng đắn của kết quả opML.

Để triển khai cho việc thực thi, chúng tôi tái sử dụng bộ máy ML trong opML. Chúng tôi sẽ trước tiên lấy mô hình bằng cách sử dụng địa chỉ mô hình từ trung tâm mô hình và sau đó tải mô hình vào bộ máy ML. Bộ máy ML sẽ lấy đầu vào của người dùng trong hợp đồng được biên dịch trước đó làm đầu vào mô hình và sau đó thực thi nhiệm vụ suy luận ML. Bộ máy ML đảm bảo tính nhất quán và xác định của kết quả suy luận ML bằng cách sử dụng lượng tử hóa và số mềm.

Ngoài thiết kế EVM AI hiện tại, một cách tiến cận khác để kích hoạt AI trong EVM là thêm nhiều mã máy học cụ thể có các thay đổi tương ứng và mô hình giá cả vào máy ảo ảo ảo vào các mô hình giá cả vào các mô hình giá cả vào các mô hình giá cả vào các mô hình giá cả vào các mô hình giá cả.

Tối Ưu Rollup

opML (Optimistic Machine Learning) và optimistic rollup (opRollup) đều dựa trên một hệ thống chứng minh không gian lỗi tương tự, làm cho việc tích hợp opML vào chuỗi Layer 2 (L2) cùng với hệ thống opRollup trở nên khả thi. Việc tích hợp này cho phép việc sử dụng mượt mà của học máy trong các hợp đồng thông minh trên chuỗi L2.

Cũng giống như các hệ thống rollup hiện có, Axonum chịu trách nhiệm "cuộn lên" các giao dịch bằng cách phân lô chúng trước khi xuất bản chúng lên chuỗi L1, thường thông qua một mạng lưới các trình sắp xếp. Cơ chế này có thể bao gồm hàng nghìn giao dịch trong một lần tổng hợp, tăng thông lượng của toàn bộ hệ thống L1 và L2.

Axonum, là một trong những bản tổng hợp lạc quan, là một phương pháp mở rộng quy mô tương tác cho các blockchain L1. Chúng tôi lạc quan giả định rằng mọi giao dịch được đề xuất đều hợp lệ theo mặc định. Khác với hệ thống rollup lạc quan L2 truyền thống, giao dịch trong Axonum có thể bao gồm các suy luận mô hình AI, có thể làm cho các hợp đồng thông minh trên Axonum "thông minh hơn" với AI.

Trong trường hợp giảm thiểu các giao dịch có thể không hợp lệ, như optimistic rollups, Axonum giới thiệu một thời kỳ thách thức trong đó các thành viên có thể thách thức một rollup nghi ngờ. Một hệ thống chứng minh gian lận được thiết lập để cho phép nhiều chứng minh gian lận được nộp. Những chứng minh đó có thể làm cho rollup trở nên hợp lệ hoặc không hợp lệ. Trong thời kỳ thách thức, các thay đổi trạng thái có thể bị tranh cãi, giải quyết, hoặc được bao gồm nếu không có thách thức nào được đưa ra (và các chứng minh cần thiết đã được thiết lập).

Quy trình

workflow2443×1437 183 KB

Dưới đây là quy trình cần thiết của Axonum, mà không cần xem xét các cơ chế như tiền xác nhận trước hoặc thoát lực:

1. Quy trình cơ bản bắt đầu với người dùng gửi giao dịch L2 (chúng tôi cho phép suy luận trí tuệ nhân tạo tự nhiên trong hợp đồng thông minh) đến một nút batcher, thường là bộ sắp xếp.
2. Khi bộ xử lý chuỗi nhận được một số giao dịch nhất định, nó sẽ đăng chúng vào một hợp đồng thông minh L1 dưới dạng một lô.
3. Một nút xác thực sẽ đọc các giao dịch này từ hợp đồng thông minh L1 và thực hiện chúng trên bản sao cục bộ của trạng thái L2 của họ. Đối với việc thực thi suy luận AI, người xác thực cần tải xuống mô hình từ mô hình DA và tiến hành suy luận AI trong bộ máy opML.
4. Sau khi xử lý, một trạng thái L2 mới được tạo ra tại địa phương và người xác minh sẽ đăng bài trạng thái gốc mới này vào một hợp đồng thông minh L1. (Lưu ý rằng người xác minh này cũng có thể là bộ xử lý chuỗi.)
5. Sau đó, tất cả các nhà xác minh khác sẽ xử lý các giao dịch tương tự trên bản sao cục bộ của trạng thái L2 của họ.
6. Họ sẽ so sánh gốc trạng thái L2 kết quả của họ với gốc trạng thái ban đầu được đăng lên hợp đồng thông minh L1.
7. Nếu một trong số các nhà xác thực nhận được một trạng thái gốc khác với trạng thái gốc đã được đăng lên L1, họ có thể bắt đầu một thách thức trên L1.
8. Thách thức sẽ yêu cầu người thách thức và người xác nhận đã đăng gốc trạng thái ban đầu phải luân phiên chứng minh rằng gốc trạng thái đúng là gì. Quy trình thách thức này cũng được biết đến là chứng minh gian lận. Chứng minh gian lận của Axonum bao gồm chứng minh gian lận của chuyển tiếp trạng thái L2 và chứng minh gian lận của opML.
9. Bất kỳ người dùng nào thua cuộc trong thách thức sẽ bị cắt giảm số tiền gửi ban đầu của họ. Nếu gốc trạng thái L2 ban đầu được đăng không hợp lệ, nó sẽ bị hủy bỏ bởi các nhà xác minh tương lai và sẽ không được bao gồm trong chuỗi L2.

Thiết kế chứng minh gian lận

Nguyên tắc thiết kế cốt lõi của hệ thống chứng minh gian lận của Axonum là chúng tôi tách quá trình chứng minh gian lận của Geth (phiên bản triển khai Golang của khách hàng Ethereum trên tầng 2) và opML. Thiết kế này đảm bảo cơ chế chứng minh gian lận mạnh mẽ và hiệu quả. Dưới đây là phân tích chi tiết về hệ thống chứng minh gian lận và thiết kế tách biệt của chúng tôi:

1. Tổng quan về Hệ thống Chứng cứ gian lận:
   • Hệ thống chứng minh gian lận là một thành phần quan trọng đảm bảo an ninh và tính toàn vẹn của giao dịch trên lớp 2 Axonum optimistic rollup.
   • Điều này liên quan đến việc xác minh giao dịch và tính toán để đảm bảo rằng bất kỳ hành vi độc hại hoặc không chính xác nào được phát hiện và giải quyết.
2. Phân tách quy trình Chứng minh gian lận:
   • Quy trình chứng minh gian lận Geth:
     • Geth, trách nhiệm về khách hàng Ethereum trên tầng 2, xử lý các giai đoạn ban đầu của chứng minh gian lận liên quan đến xác nhận giao dịch và tuân thủ giao thức cơ bản.
     • Nó xác minh tính đúng đắn của các giao dịch và đảm bảo rằng chúng tuân thủ các quy tắc và giao thức của hệ thống tầng 2.
   • Quy trình Chứng minh Gian lận opML:
     • opML, hệ thống Machine Learning lạc quan tích hợp với Axonum, đảm nhận những khía cạnh phức tạp hơn về bằng chứng gian lận liên quan đến việc thực thi mô hình học máy.
     • Nó xác minh tính chính xác của các tính toán học máy và đảm bảo tính toàn vẹn của các quy trình liên quan đến trí tuệ nhân tạo trong khung cơ sở dữ liệu lớp 2.
3. Lợi ích của Thiết kế Tách Biệt:
   • Hiệu suất cải thiện:
     • Bằng cách phân phối trách nhiệm chứng minh gian lận, chúng tôi tối ưu hóa hiệu suất của hệ thống tổng thể. Geth tập trung vào các khía cạnh giao dịch, trong khi opML xử lý chứng minh gian lận cụ thể cho ML.
   • Khả năng mở rộng:
     • Thiết kế phân tách cho phép mở rộng, cho phép mỗi thành phần tự do mở rộng dựa trên yêu cầu xử lý cụ thể của nó.
   • Tính linh hoạt:
     • Sự tách rời này cung cấp tính linh hoạt cho việc nâng cấp và cải tiến trong cả các thành phần Geth hoặc opML mà không làm ảnh hưởng đến toàn bộ hệ thống chứng minh gian lận.

Axonum: Bộ não của Ethereum

Axonum là sự kết hợp lên lịch đầu tiên với trí tuệ nhân tạo cho phép trí tuệ nhân tạo trên Ethereum một cách tự nhiên, không cần tin cậy và có thể xác minh được.

Axonum tận dụng ML lạc quan và cuộn lên lạc quan và giới thiệu các đổi mới của AI EVM để thêm thông minh vào Ethereum như một Layer 2.

Chúng tôi khẳng định AI vào blockchain để xây dựng một siêu máy tính phi tập trung được cung cấp bởi trí tuệ tập thể toàn cầu.

免责声明：

1. Bài viết này được sao chép từ [ ethresear], Tất cả bản quyền thuộc về tác giả gốc [Axonum]. Nếu có ý kiến ​​phản đối về việc tái in này, vui lòng liên hệ Gate Họcđội và họ sẽ xử lý nó ngay lập tức.
2. Miễn trách nhiệm về trách nhiệm: Các quan điểm và ý kiến được thể hiện trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi có ghi chú, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là không được phép.