공연
비교
세부사항
이 콘텐츠는 RD AI가 생성했으며, 참고용으로만 제공됩니다
Axiom은 스마트 계약이 모든 온체인 데이터에 신뢰 없이 액세스하고 처리할 수 있도록 하는 ZK Coprocessor입니다. Coprocessor는 오프체인 데이터를 처리한 다음 해당 데이터를 메인 Ethereum 블록체인으로 전송하고 ZK 증명으로 검증하는 소프트웨어입니다.
업데이트 따라가기
팔로우 목록
인물
Axiom 소개
액시옴(Axiom)은 이더리움용 ZK 코프로세서로, 스마트 컨트랙트가 신뢰 가정 없이 과거 온체인 데이터에 접근하고 연산할 수 있도록 합니다. 핵심 비즈니스는 개발자가 데이터 요청을 제출하면 액시옴이 오프체인에서 영지식 증명을 생성하고, 결과가 온체인에서 검증되어 컨트랙트가 검증된 과거 데이터를 로직에 활용할 수 있게 하는 쿼리 프로토콜을 제공하는 것입니다. 액시옴이 해결하는 시장 문제는 이더리움에서 직접 과거 블록체인 데이터를 읽는 데 드는 높은 비용과 복잡성입니다. 현재 스마트 컨트랙트는 가장 최근 상태만 접근할 수 있으며, 과거 데이터는 신뢰 가정을 도입하는 값비싼 외부 브리지나 오라클이 필요합니다. 액시옴은 ZK 증명을 사용하여 과거 데이터의 정확성을 암호학적으로 보장함으로써 네이티브 온체인 데이터만큼 신뢰할 수 있게 만듭니다. 지난 6개월(2026년 2월~8월) 동안 액시옴은 성능 개선과 형식 검증에 집중했습니다. 주요 개발 사항으로는 1GHz 증명 처리량을 달성한 OpenVM 2.0 출시와 4대 GPU에서 실시간 이더리움 증명을 지원하는 OpenVM 2.1 프리뷰가 있습니다. 또한 팀은 Lean에서 Keccak 및 SHA-2 해시 회로를 형식 검증하여 시스템의 보안성을 강화했습니다. 이와 더불어 GPU 기반 증명이 이제 액시옴 증명 API에서 제공되어 개발자 비용을 절감합니다.
Axiom은 2023년 이더리움 메인넷에서 알파 버전을 출시하여 스마트 계약이 ZK 증명을 통해 신뢰 없이 온체인 과거 데이터에 접근할 수 있도록 했습니다. 2024년 1월, Axiom V2가 메인넷에 출시되어 트랜잭션, 영수증 및 Solidity 매핑을 지원하게 되었으며, Spearbit, Zellic 및 Trail of Bits의 전체 감사를 받았습니다. 같은 해, Axiom은 Paradigm과 Standard Crypto가 주도하는 2000만 달러의 투자를 유치했습니다. 2025년에는 OpenVM 2.0이 프로덕션 준비를 완료하여 CPU에서 트랜잭션당 0.0015달러의 비용으로 3분 이내에 이더리움 메인넷 블록을 증명했으며, Axiom Proving API는 비공개 알파에 돌입했습니다. 이러한 이정표는 Axiom이 연구 프로토타입에서 확장 가능한 ZK 보조 프로세서 인프라로 진화했음을 의미합니다.
주요 진전: - OpenVM 2.0은 16개 GPU에서 p99 11.8초로 이더리움 메인넷 블록을 실시간으로 증명하며, 이더리움 재단의 L1 zkEVM 성능 목표를 충족합니다.
- OpenVM 2.0 Beta는 평균 증명 시간을 4.4초(p99 7.9초)로 개선하고 블록당 약 $0.01의 비용으로 10개 GPU에서 실시간 증명을 제공합니다. 오픈소스로 공개되었습니다.
- OpenVM의 RISC-V 확장에 대한 형식 검증이 Nethermind와 함께 Lean으로 완료되어, 45개 RV32IM 명령어를 모두 다루며 회로 버그를 발견하지 못했습니다.
- Lighter와의 파트너십을 통해 Lighter EVM이 탄생했습니다. 이는 OpenVM 2.0과 맞춤형 회로를 결합하여 구성 가능한 범용 EVM 실행을 제공하는 하이브리드 ZK 시스템입니다. 향후 초점: - 형식 검증을 계속하고, 128비트 보안을 목표로 하며, 이더리움 클라이언트와 통합합니다.
- Axiom Proving API에서 OpenVM 2.0 프리뷰를 제공하고, 이후 API 또는 온프레미스 배포를 통한 GPU 증명을 포함한 전체 프로덕션 릴리스로 이어집니다.
이순(공동 창립자): MIT에서 수학 박사 학위 취득, 블라디미르 드린펠트의 지도; IAS에서 박사후 연구원; MIT에서 NSF 펠로우; 페리미터 연구소에서 선임 박사후 연구원; 현재 Axiom의 공동 창립자. 조나단 왕(공동 창립자): 하버드에서 수학 학사/석사 학위; 케임브리지에서 석사 학위; 시카고 대학교에서 박사 학위; IAS에서 박사후 연구원; 현재 Axiom의 공동 창립자. 네이선 펑(COO): 정량 분석(D.E. Shaw) 및 수학 교육(Art of Problem Solving) 경력; 현재 Axiom의 COO.