Axiom là gì? Giải pháp ZK coprocessor được đầu tư bởi Paradigm
Axiom là gì?
Axiom là giao thức ZK coprocessor, cho phép smart contract truy cập và thực hiện tính toán trên toàn bộ dữ liệu lịch sử của Ethereum. Các nhà phát triển có thể gửi các truy vấn on-chain vào Axiom, những truy vấn này sau đó sẽ được hoàn thành dựa trên sự đảm bảo của các bằng chứng zero knowledge (ZKP) và trả về kết quả cho smart contract.
Điều này giúp nhà phát triển có thể xây dựng các ứng dụng on-chain với khả năng tiếp cận nhiều dữ liệu hơn và chi phí thấp hơn mà không cần thêm các giả định về độ tin cậy.
Đọc thêm: Sự hình thành của các giải pháp mở rộng blockchain.
Mô hình hoạt động của Axiom
Axiom sử dụng các bằng chứng ZK để đọc dữ liệu trong các block lịch sử của Ethereum. Các dạng dữ liệu onchain đều được mã hóa dưới các hình thức hiển thị sau: tiêu đề khối, trạng thái, giao dịch và biên lai giao dịch.
Điều này có nghĩa là Axiom có khả năng truy cập vào dữ liệu của bất kỳ block nào của Ethereum mà các node lưu trữ (archive node) có thể truy cập.
Các truy vấn vào Axiom trải qua ba giai đoạn:
Giai đoạn 1: Gửi yêu cầu (Submission)
Đầu tiên, các nhà phát triển phải xây dựng một Axiom circuit, trong đó có các yêu cầu về việc tính toán dữ liệu onchain. Việc xác định cụ thể này giúp Axiom có thể xác định và trả về kết quả cuối sau khi tính toán. Sử dụng circuit này, các nhà phát triển có thể truy vấn Axiom onchain thông qua việc gửi giao dịch đến hợp đồng AxiomV2Query.
Lưu ý, các circuit phải được xây dựa trên Axiom Typescript SDK.
Giai đoạn 2: Hoàn thành (Fulfillment)
Sau vài phút, Axiom sẽ trả về kết quả onchain cùng với một bằng chứng ZK xác thực rằng dữ liệu đầu vào đã được lấy chính xác từ chain và tính toán đã được thực hiện đúng cách. Bằng chứng ZK này được xác minh onchain trong smart contract của Axiom.
Giai đoạn 3: Kiểm tra kết quả (Callback)
Sau khi xác minh, kết quả cuối cùng được gửi đến smart contract được chọn thông qua một lệnh callback onchain. Sau đó, chúng có thể được sử dụng trong các ứng dụng tương tự như dữ liệu onchain tiêu chuẩn.
Vì các thông tin được xác minh bởi ZKP, các kết quả từ Axiom có độ bảo mật tương đương với Ethereum về mặt mã hóa và không cần đến các giả định khác.
Lợi ích khi sử dụng ZK coprocessor của Axiom
Axiom mang lại các đặc điểm nổi bật sau:
- Khả năng truy vấn dữ liệu lịch sử Ethereum: Axiom cho phép truy cập và tính toán trên toàn bộ lịch sử giao dịch và biên lai của Ethereum, cung cấp một nguồn dữ liệu lớn và chính xác cho các ứng dụng phi tập trung, giúp tiết kiệm chi phí và tài nguyên máy tính.
- Tính bảo mật và loại bỏ rủi ro niềm tin: Sử dụng công nghệ ZKP để đảm bảo rằng các kết quả truy vấn là chính xác và không cần tin tưởng vào bên thứ ba.
- Tích hợp dễ dàng và mở rộng khả năng của smart contract: Cho phép smart contract thực hiện các chức năng phức tạp và truy cập nhiều dữ liệu hơn, mở ra nhiều cơ hội mới cho các ứng dụng phi tập trung.
Đọc thêm: Hiểu về ZK coprocessor trong thiết kế blockchain.
Đội ngũ phát triển và đối tác dự án Axiom
Đội ngũ phát triển
Axiom được phát triển bởi:
- Co-founder Jonathan Wang: Ông từng là giảng viên Toán tại Đại học MIT. Ông tốt nghiệp Đại học Chicago và Đại học Harvard.
- Co-founder Yi Sun: Ông từng là trợ lý giáo sư tại Đại học Chicago và có kinh nghiệm giảng dạy tại Viện Công nghệ Massachusetts, Đại học Cambridge và Đại học Harvard.
Nhà đầu tư
Axiom nhận đầu tư 20 triệu USD vòng series A, được dẫn đầu bởi quỹ Paradigm và Standard Crypto. Ngoài ra còn có sự tham gia của nhiều quỹ và nhà đầu tư thiên thần đến từ nhiều dự án lớn.
Dự án tương tự Axiom
- Brevis: Giải pháp ZK coprocessor tập trung vào việc cho phép smart contract truy cập dữ liệu lịch sử của Ethereum và thực hiện các tính toán offchain.
- Bonsai: Bonsai là giải pháp cung cấp dịch vụ chứng minh cho các tính toán onchain và offchain dựa trên công nghệ zkVM. Bonsai được Risk Zero giới thiệu và phát triển từ năm 2023.