Buổi biểu diễn
Chỉ số Phổ Biến RD
Chỉ số Tăng Trưởng RD
So sánh
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về Axiom
Axiom là một bộ đồng xử lý ZK cho Ethereum, cho phép các hợp đồng thông minh truy cập và tính toán dữ liệu trên chuỗi lịch sử mà không cần giả định tin cậy. Hoạt động cốt lõi của nó cung cấp một giao thức truy vấn, nơi các nhà phát triển gửi yêu cầu dữ liệu, Axiom tạo ra các bằng chứng không kiến thức ngoài chuỗi, và kết quả được xác minh trên chuỗi, cho phép các hợp đồng sử dụng dữ liệu lịch sử đã được xác minh trong logic của chúng. Vấn đề khó khăn trên thị trường mà Axiom giải quyết là chi phí cao và độ phức tạp khi đọc dữ liệu blockchain lịch sử trực tiếp từ Ethereum. Hiện tại, các hợp đồng thông minh chỉ giới hạn trong việc truy cập trạng thái gần đây nhất, trong khi dữ liệu lịch sử yêu cầu các cầu nối hoặc oracle bên ngoài đắt đỏ, vốn đưa ra các giả định tin cậy. Axiom giải quyết vấn đề này bằng cách sử dụng bằng chứng ZK để đảm bảo mật mã về tính chính xác của dữ liệu lịch sử, khiến nó đáng tin cậy như dữ liệu trên chuỗi gốc. Trong sáu tháng qua (tháng 2 đến tháng 8 năm 2026), Axiom đã tập trung vào cải thiện hiệu suất và xác minh hình thức. Các phát triển chính bao gồm việc phát hành OpenVM 2.0, đạt được thông lượng chứng minh 1 GHz, và OpenVM 2.1 Preview với khả năng chứng minh Ethereum thời gian thực trên 4 GPU. Nhóm cũng đã xác minh hình thức các mạch băm Keccak và SHA-2 trong Lean, củng cố các đảm bảo bảo mật của hệ thống. Ngoài ra, chứng minh dựa trên GPU hiện đã có sẵn trên Axiom Proving API, giảm chi phí cho các nhà phát triển.
Axiom đã ra mắt phiên bản alpha trên mạng chính Ethereum vào năm 2023, cho phép các hợp đồng thông minh truy cập dữ liệu trên chuỗi lịch sử một cách đáng tin cậy thông qua bằng chứng ZK. Vào tháng 1 năm 2024, Axiom V2 chính thức hoạt động trên mạng chính, bổ sung hỗ trợ cho giao dịch, biên lai và ánh xạ Solidity, với sự kiểm toán toàn diện từ Spearbit, Zellic và Trail of Bits. Cuối năm đó, Axiom đã huy động được 20 triệu đô la do Paradigm và Standard Crypto dẫn đầu. Vào năm 2025, OpenVM 2.0 đã đạt đến trạng thái sẵn sàng sản xuất, chứng minh các khối mạng chính Ethereum trong chưa đầy 3 phút trên CPU với chi phí 0,0015 đô la mỗi giao dịch, và API Chứng minh Axiom đã bước vào giai đoạn alpha riêng tư. Những cột mốc này đánh dấu sự phát triển của Axiom từ một nguyên mẫu nghiên cứu thành một cơ sở hạ tầng đồng xử lý ZK có khả năng mở rộng.
Tiến bộ chính: - OpenVM 2.0 chứng minh các khối của mạng chính Ethereum theo thời gian thực với p99 là 11,8 giây trên 16 GPU, đáp ứng mục tiêu hiệu suất zkEVM L1 của Ethereum Foundation.
- OpenVM 2.0 Beta cải thiện thời gian chứng minh trung bình xuống còn 4,4 giây (p99 7,9 giây) với chi phí khoảng 0,01 USD mỗi khối, chứng minh thời gian thực trên 10 GPU; mã nguồn đã được mở.
- Việc xác minh hình thức của phần mở rộng RISC-V của OpenVM đã được hoàn thành trong Lean cùng với Nethermind, bao phủ toàn bộ 45 mã lệnh RV32IM và không phát hiện lỗi mạch nào.
- Quan hệ đối tác với Lighter cho phép Lighter EVM, một hệ thống ZK lai kết hợp OpenVM 2.0 với các mạch tùy chỉnh để thực thi EVM đa năng có thể kết hợp. Trọng tâm tương lai: - Tiếp tục xác minh hình thức, hướng tới bảo mật 128-bit và tích hợp với các client Ethereum.
- Bản xem trước OpenVM 2.0 trên Axiom Proving API, sau đó là bản phát hành sản xuất đầy đủ với tính năng chứng minh GPU qua API hoặc triển khai tại chỗ.
Yi Sun (Đồng sáng lập): Tiến sĩ Toán học tại MIT, được hướng dẫn bởi Vladimir Drinfeld; nghiên cứu sau tiến sĩ tại IAS; Nghiên cứu viên NSF tại MIT; Nghiên cứu viên cao cấp sau tiến sĩ tại Viện Perimeter; hiện là Đồng sáng lập của Axiom. Jonathan Wang (Đồng sáng lập): Cử nhân/Thạc sĩ Toán học tại Harvard; Thạc sĩ Nghiên cứu tại Cambridge; Tiến sĩ tại Đại học Chicago; nghiên cứu sau tiến sĩ tại IAS; hiện là Đồng sáng lập của Axiom. Nathan Feng (COO): Nền tảng về phân tích định lượng (D.E. Shaw) và giáo dục toán học (Art of Problem Solving); hiện là COO của Axiom.