Axiom: Lấp đầy khoảng trống truy cập dữ liệu Web3, trao cho hợp đồng thông minh những khả năng mới
Tuyển chọn TechFlowTuyển chọn TechFlow
Axiom: Lấp đầy khoảng trống truy cập dữ liệu Web3, trao cho hợp đồng thông minh những khả năng mới
Axiom nhằm giải quyết thách thức về các ứng dụng Web3 thiếu tính hấp dẫn do không có quyền truy cập vào dữ liệu và tính toán đáng tin cậy.
Chuyên sâu báo cáo Web3Viết bởi: camiinthisthang
Biên dịch: TechFlow
"Đưa mọi thứ lên chuỗi" luôn khiến tôi cảm thấy hơi gượng ép. Không có lý do gì để đưa nhiều dữ liệu lên chuỗi, vì ngoài việc lưu trữ vĩnh viễn, bạn không thể làm được quá nhiều với những dữ liệu này. Mặc dù The Graph và các giao thức tương tự cho phép truy vấn dữ liệu trên chuỗi thông qua GraphQL nhằm tích hợp vào frontend — bao gồm tìm kiếm toàn văn và lọc — nhưng các thao tác này đều được thực hiện ở cấp độ client. Điều đó có nghĩa là về thực chất, bạn không thể tận dụng dữ liệu này ở cấp độ hợp đồng thông minh để xây dựng logic dựa trên chúng. Hạn chế này khiến các ứng dụng Web3 trở nên phẳng và đơn điệu — dữ liệu duy nhất mà chúng có thể sử dụng chỉ là dữ liệu thời gian thực từ tương tác người dùng như số dư tài khoản, số khối hiện tại, v.v.
Các ứng dụng truyền thống phát triển mạnh nhờ tận dụng hoạt động trực tuyến của người dùng để tạo ra trải nghiệm cá nhân hóa và đắm chìm. Thật không may, trải nghiệm Web3 vẫn chưa thể làm được điều này, phần lớn dẫn đến nhận định phổ biến rằng Web3 khó tạo ra các ứng dụng ý nghĩa đủ sức kết nối với người dùng.
Những ứng dụng nổi bật định hình cảnh quan kỹ thuật số — Instagram, TikTok, Spotify, YouTube, v.v. — đều hiển thị các hoạt động trước đây của người dùng trong giao diện của họ, đồng thời sử dụng dữ liệu này để xây dựng thuật toán đề xuất, chạy quảng cáo cá nhân hóa và kết nối người dùng với những nhà sáng tạo phù hợp sở thích. Không gian thiết kế động như vậy rõ ràng đang thiếu vắng trong Web3.
Lý do Web3 chưa làm được điều này là vì chúng ta chưa có công cụ nào cho phép truy cập tin cậy dữ liệu trên chuỗi ở cấp độ hợp đồng thông minh. Dù nghe có vẻ bất ngờ, nhưng hợp đồng thông minh hiện tại không thể đọc dữ liệu từ các nút lưu trữ (archive node) — ví dụ như lịch sử quyền sở hữu NFT hay số dư tài khoản ở một độ cao khối cụ thể — và sử dụng dữ liệu này để điều khiển logic điều kiện trong hoạt động của nó. Việc cho phép loại dữ liệu này được truy cập trong hợp đồng thông minh kéo theo hàng loạt phương án dung hòa khác nhau liên quan đến bảo mật và chi phí:
- Người phát triển ứng dụng tự đưa dữ liệu lên chuỗi dưới dạng EOA hoặc đa ký một cách hoàn toàn đáng tin cậy;
- Sử dụng Chainlink để hỗ trợ loại dữ liệu cụ thể mà bạn cần;
- Bạn lưu tạm dữ liệu trong hợp đồng (với chi phí lưu trữ bổ sung).
Axiom cung cấp khả năng đọc và tính toán không cần tin cậy
Trong vài tháng gần đây, sự xuất hiện của nhiều đội ngũ ZK hiệu suất cao đã mở ra một kỷ nguyên mới về khả năng cho hệ sinh thái Ethereum. Trong số đó có Axiom — một dự án zk nhằm giải quyết thách thức về việc các ứng dụng web3 nghèo nàn do thiếu truy cập dữ liệu đáng tin cậy và khả năng tính toán. Hiện tại phiên bản alpha đã ra mắt trên mạng chính Ethereum.
Các nhà phát triển có thể gửi truy vấn tới Axiom để truy cập một cách tin cậy vào bất kỳ tiêu đề khối, tài khoản hoặc giá trị lưu trữ nào trong toàn bộ lịch sử Ethereum thông qua bằng chứng lưu trữ. Axiom sử dụng zk để tạo bằng chứng tính đúng đắn cho mọi kết quả truy vấn, sau đó được xác minh trên chuỗi — nghĩa là hợp đồng thông minh có thể trực tiếp thao tác với những kết quả này mà không cần thêm bất kỳ giả định tin cậy nào.
Axiom đơn giản hóa rất nhiều kiến thức toán học chuyên sâu vốn thường cần thiết khi sử dụng zk. Điều thú vị nhất về Axiom là nó cho phép các nhà phát triển viết hợp đồng thông minh bằng Solidity, truy vấn hợp đồng Axiom rồi xác minh phản hồi nhận được, từ đó sử dụng dữ liệu này bên trong chính hợp đồng thông minh của họ.
Axiom cung cấp SDK TypeScript và hợp đồng thông minh AxiomV1Query, giúp nhà phát triển tạo và gửi truy vấn lên chuỗi, sau đó sử dụng các phản hồi đã được xác minh trong hợp đồng thông minh của mình. Quy trình tương tác như sau:
- Gửi truy vấn lên chuỗi: Sử dụng SDK của Axiom để tạo truy vấn và gửi đến hợp đồng thông minh AxiomV1Query.
- Chờ truy vấn hoàn tất: Các máy chứng minh (prover) ngoài chuỗi sẽ lập chỉ mục truy vấn, tạo ra kết quả và dùng ZK để chứng minh tính đúng đắn. Bằng chứng này được xác minh trên chuỗi, còn kết quả thì được ghi vào lưu trữ của hợp đồng AxiomV1Query dưới dạng Merkle hóa.
- Đọc kết quả truy vấn: Khi kết quả đã được xác minh trên chuỗi, hãy dùng SDK để lấy kết quả từ lưu trữ hợp đồng và sử dụng chúng một cách tin cậy trong ứng dụng hợp đồng thông minh.
Theo mô hình tư duy của tôi, việc sử dụng Axiom gồm hai thành phần chính:
- Xây dựng truy vấn và gửi đến hợp đồng thông minh Axiom.
- Đọc và xác minh phản hồi từ hợp đồng thông minh Axiom.
Xây dựng và gửi truy vấn
Bước đầu tiên là sử dụng SDK TS để gửi truy vấn từ dự án Node/Nextjs đến hợp đồng Axiom:
Các nhà phát triển có thể tạo và gửi truy vấn bằng bốn phương pháp:
- newQueryBuilder - Tạo một phiên bản truy vấn mới;
- append - Truyền vào địa chỉ, khe lưu trữ và/hoặc số khối mà bạn muốn chứng minh;
- build - Lấy keccakQueryResponse và tuần tự hóa truy vấn;
- sendQuery - Gửi truy vấn đến hợp đồng AxiomV1Query.
Đọc và xác minh phản hồi
Một khi Prover tạo ra bằng chứng ZK, nó sẽ ghi lại rằng "keccakQueryResponse" của truy vấn đã được thỏa mãn, đồng thời kích hoạt sự kiện "QueryFulfilled". Nhà phát triển đọc phản hồi từ lưu trữ hợp đồng Axiom và dùng các phương pháp SDK sau để xác minh kết quả trên chuỗi:
- getValidationWitness - Cho phép người dùng chứng minh dữ liệu họ tuyên bố thực sự đã được đưa vào keccakQueryResponse;
- areResponsesValid - Kiểm tra xem dữ liệu bạn cung cấp có khớp với hash được lưu trữ trên chuỗi hay không.
Sau khi xác minh phản hồi là hợp lệ, bạn có thể truyền phản hồi này làm tham số cho bất kỳ hàm hợp đồng thông minh nào, hàm này sẽ áp đặt các hạn chế lên tài khoản dựa trên quá trình này và truyền bằng chứng hợp lệ đã được xác minh trong lời gọi hàm.
Liệu ZK có cuối cùng giúp chúng ta xây dựng được những ứng dụng mà người dùng bình thường thực sự quan tâm?
Giờ đây, bạn không chỉ có thể tạo bằng chứng lưu trữ và sử dụng chúng trong hợp đồng thông minh để viết logic giới hạn hoạt động dựa trên lịch sử hoạt động trên chuỗi, mà bạn lần đầu tiên có thể dùng những dữ liệu lịch sử này để tạo ra trải nghiệm phong phú, tương tự như trong Web2.
Khi ngày càng nhiều người dùng, hoạt động và dữ liệu được đưa lên chuỗi, các công cụ như Axiom sẽ đóng vai trò then chốt trong việc tạo ra trải nghiệm người dùng phong phú mà không phải hy sinh tính bảo mật.
Một số ý tưởng dự án gợi mở, trích từ bài viết của Axiom:
- Airdrop tự trị theo hoạt động trên chuỗi thông qua hợp đồng thông minh, không cần cơ quan trung tâm.
- Hệ thống trung thành trên chuỗi dựa trên điểm tham gia đáng tin cậy.
- Giao thức DeFi điều khiển bởi solver, sử dụng solver off-chain có thể chứng minh để thanh toán thị trường.
- Oracle giá sàn NFT tham chiếu giá giao dịch trước đó, hỗ trợ bảo hiểm cho vay và sản phẩm phái sinh NFT.
- Oracle ngẫu nhiên khai thác tính ngẫu nhiên từ khai thác ngẫu nhiên (randomness mining).
- Oracle biến động đáng tin cậy để điều chỉnh phí trong AMM hoặc LTV trong giao thức cho vay.
- NFT sinh học được chứng minh trong ZK là được tạo ra từ thuật toán đã nêu.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@camiinthisthang
