Bộ đồng xử lý Ethereum ZK Axiom V2 đang trực tuyến. Danh sách các trường hợp sử dụng của nhà phát triển

Tác giả: Yi Sun, Axiom; Bản dịch: 0xjs@金财经

Axiom V2 hiện đã trực tuyến trên mạng chính Ethereum vào ngày 22 tháng 1. Axiom cho phép các hợp đồng thông minh tính toán nhiều dữ liệu hơn theo cách không cần tin cậy, bao gồm toàn bộ dữ liệu lịch sử của Ethereum. Chúng tôi tin rằng chi phí truy cập dữ liệu cao là điểm nghẽn chính của hợp đồng thông minh. Bằng cách loại bỏ nút thắt cổ chai này với ZK, chúng tôi mong muốn trao quyền cho các nhà phát triển xây dựng các ứng dụng trên chuỗi giàu dữ liệu.

Axiom V2 bổ sung hỗ trợ cho các giao dịch, biên lai và ánh xạ Solidity tới các tài khoản có sẵn trước đó, lưu trữ hợp đồng và tiêu đề khối, nghĩa là toàn bộ lịch sử của Ethereum hiện có sẵn trên chuỗi thông qua Axiom. Các nhà phát triển truy vấn lịch sử này trong Typescript bằng SDK Axiom, hiện hỗ trợ các phép tính do người dùng chỉ định trên bất kỳ tổ hợp loại và khối dữ liệu nào. Với trình xác thực phổ quát mới của chúng tôi, việc nhận kết quả xác thực ZK trên chuỗi từ Axiom chỉ yêu cầu triển khai một lệnh gọi lại duy nhất trong hợp đồng thông minh.  

Chúng tôi giúp bạn dễ dàng sử dụng Axiom trong hợp đồng thông minh – nó chỉ yêu cầu Solidity và Typescript – và bạn có thể truy vấn Axiom bằng cách gửi giao dịch trực tiếp trên chuỗi. Để dùng thử, hãy chạy npx create-axiom-client để khởi chạy kho khởi chạy hoặc xem tài liệu dành cho nhà phát triển của chúng tôi tại docs.axiom.xyz. Bạn có thể xem các hợp đồng của chúng tôi trên mạng chính Ethereum và Sepolia tại đây, đồng thời xem các truy vấn về Axiom tại explorer.axiom.xyz.

Trong khi phát hành phiên bản V2, chúng tôi đã di chuyển mạng thử nghiệm Axiom V2 từ Goerli sang Sepolia và ngừng sử dụng Axiom V1 vào ngày 22 tháng 1 năm 2024.

Sử dụng Axiom V2 trên mạng chính ngay bây giờ

Axiom V2 hiện đã được triển khai trên mạng chính Ethereum và có sẵn để sử dụng trong sản xuất. Việc sử dụng Axiom trong một ứng dụng yêu cầu hai bước:

1. Sử dụng Axiom Typescript SDK để viết mạch Axiom yêu cầu tính toán xác minh ZK trên dữ liệu lịch sử từ Ethereum.

2. Sử dụng SDK hợp đồng thông minh Axiom để triển khai hợp đồng khách hàng Axiom. SDK nhận kết quả được xác minh ZK từ Axiom thông qua các lệnh gọi lại trên chuỗi.

Đầu tiên, hãy chạy: npx create-axiom-client 

Điều này sẽ tạo một kho lưu trữ khởi đầu với các mạch và hợp đồng mặc định cũng như giao diện người dùng web Next.js mặc định có thể được sử dụng cho dapp bắt đầu một truy vấn tới Axiom.  

Xây dựng các mạch Axiom

Bạn có thể sử dụng SDK Axiom để tùy chỉnh các mạch cho ứng dụng của mình, SDK này cung cấp:

< li>

Truy vấn con của Axiom yêu cầu các giao dịch, biên nhận và tiêu đề khối lịch sử đã được xác minh ZK, lưu trữ tài khoản và hợp đồng từ Axiom

• ZK nguyên thủy thông qua số học, logic, so sánh và mảng các thao tác để tính toán dữ liệu từ truy vấn con Axiom.

Ví dụ về mạch tiên đề tính toán số dư lịch sử trung bình của một tài khoản Ethereum

Việc viết các mạch tiên đề có thể hoàn toàn được thực hiện trong Typescript , như trong ví dụ trên. Để tích hợp vào ứng dụng của bạn, việc biên dịch mạch Axiom sẽ tạo một bộ chứng minh ZK có thể được sử dụng để tạo các truy vấn Axiom trên ứng dụng web hoặc máy chủ của bạn.

Được tích hợp vào hợp đồng thông minh

Để sử dụng kết quả của Axiom trong ứng dụng của bạn, bạn chỉ cần triển khai các hàm _validateAxiomV2Call và _axiomV2Callback để sử dụng kết quả truy vấn nhằm xác thực và thực hiện lệnh gọi lại do Axiom cung cấp.

Hợp đồng khách hàng Axiom chấp nhận gọi lại kết quả Axiom với bằng chứng ZK

Để thử nghiệm, chúng tôi viết Một phần mở rộng cho Thư viện thử nghiệm Foundry cung cấp mã gian lận để kiểm tra cục bộ các mạch Axiom dựa trên hợp đồng thông minh của bạn. Điều này cho phép thử nghiệm các ứng dụng do Axiom cung cấp trong quy trình làm việc hợp đồng thông minh tiêu chuẩn.

Thử nghiệm gửi truy vấn và gọi lại chơi khăm bằng cách sử dụng mã gian lận Foundry của chúng tôi

Các hợp đồng thông minh và ZK đằng sau Axiom V2 The mạch hoàn toàn là nguồn mở trên Github của chúng tôi và đã được kiểm tra bởi Spearbit, Zellic và Trail of Bits. Bạn có thể truy vấn Axiom chỉ bằng cách gửi giao dịch trực tuyến tới hợp đồng thông minh AxiomV2Query được triển khai trên mạng chính Ethereum và mạng thử nghiệm Sepolia.

Bạn có thể làm gì với Axiom 

Axiom cho phép các nhà phát triển hợp đồng thông minh truy cập các loại dữ liệu mới trên chuỗi. Chúng tôi bắt đầu với lịch sử của Ethereum, bao gồm các giao dịch, biên lai và trạng thái lịch sử. Nó chứa thông tin quan trọng về danh tiếng và danh tính trên chuỗi, giao dịch DeFi và sự tham gia quản trị, nhưng đáng ngạc nhiên là trước đây nó không thể truy cập được vào các hợp đồng thông minh nếu không dựa vào nhà tiên tri ngoài chuỗi tập trung.

Các nhà phát triển có thể truy cập dữ liệu mới có sẵn trên chuỗi thông qua Axiom và kết hợp dữ liệu đó vào hợp đồng của họ, bao gồm:

• Giao thức Cách sử dụng: Nhật ký giao dịch và sự kiện gói gọn tất cả các tương tác trước đó mà người dùng đã thực hiện với bất kỳ giao thức trên chuỗi nào.

• Số dư lịch sử: Những token và NFT nào người dùng nắm giữ cũng như số lượng nắm giữ.

• Dữ liệu gốc của Ethereum: Mức sử dụng gas, phí cơ sở và giá trị RANDAO từ tiêu đề khối cũng như thông tin bao gồm và đặt hàng giao dịch từ bộ ba giao dịch.  

Các kết quả truy vấn tiên đề được xác minh trên chuỗi thông qua bằng chứng ZK, nghĩa là tính chính xác của chúng tương đương về mặt mật mã với dữ liệu được truy cập qua EVM. Điều này cho phép Axiom kết hợp các loại thông tin trên chuỗi khác nhau trong một truy vấn duy nhất và tương tác với các giao thức hiện có mà không cần cấp phép. Điều này cho phép các loại ứng dụng mới có mức độ tin cậy giảm thiểu bao gồm:

• Lòng trung thành và các ưu đãi trên chuỗi:

< ul class=" list-paddingleft-2" style="list-style-type: Square;">

• Thưởng cho những người dùng trung thành nhất dựa trên hồ sơ hoạt động trên chuỗi có thể chứng minh được của Axiom mà không sửa đổi các hợp đồng bạn triển khai .  

• Vampire nhắm mục tiêu vào đối thủ cạnh tranh của bạn bằng cách trao thưởng cho những người dùng có thể chứng minh rằng họ là những người tích cực và có giá trị nhất.

• Thưởng cho người dùng vì những đóng góp của họ cho giao thức dựa trên hồ sơ đầy đủ về hành vi trên chuỗi của họ, bao gồm các tương tác với các giao thức và hoạt động bên ngoài trong một khoảng thời gian.

• Tránh nghiêm khắc những người dùng vi phạm các quy tắc của giao thức xác minh ZK, có thể liên quan đến bất kỳ sự kết hợp nào của dữ liệu trên chuỗi, bao gồm thứ tự giao dịch, hoạt động trên nhiều khối và các hoạt động bên trong giao thức, các hoạt động bên ngoài.  

• Thanh toán gas và các công cụ phái sinh phí giao dịch hoặc các sản phẩm có cấu trúc trên chuỗi mà không cần sự hỗ trợ từ nhà cung cấp oracle ngoài chuỗi.

• Tùy chỉnh quản trị của bạn bằng cách tùy chỉnh quyền biểu quyết dựa trên hoạt động trên chuỗi của người dùng và kiếm được nhiều phiếu bầu hơn bằng cách khen thưởng sự tham gia trước đây và hành vi tốt.

Chúng tôi rất vui mừng được hỗ trợ các nhà phát triển xây dựng những trải nghiệm mới hấp dẫn trên chuỗi bằng cách sử dụng những nguyên tắc cơ bản này và những trải nghiệm khác được hỗ trợ bởi lịch sử phong phú của Ethereum.

Tiếp theo là gì?

Trong vài tuần tới, chúng tôi sẽ chia sẻ thêm thông tin về những đối tác ban đầu đã tích hợp Axiom, truy cập các truy vấn Axiom về các bản tổng hợp và Ethereum L1 qua cầu nối cũng như lộ trình nâng cấp trong tương lai của chúng tôi.