AI Briefing마이크로소프트, Rust와 Go 프로그램 10~39배 빠르게 증명하는 zkVM Magnetar 공개
핵심 내용
마이크로소프트가 표준 해시 함수로 RISC-V 실행을 초당 720만~870만 번 증명하는 zkVM Magnetar를 공개했다.
자세히 보기
마이크로소프트 리서치가 검증 가능한 컴퓨팅의 효율성, 사용성, 보안 문제를 해결하는 제로 지식 가상 머신(zkVM) Magnetar를 공개했다. Magnetar는 RISC-V 프로그램 실행을 증명하므로 개발자는 Rust, Go, C로 코드를 작성하고 복잡한 회로 재작성 없이 암호학적 증명을 생성할 수 있다.
성능 및 사용성
Magnetar는 기존 시스템 대비 상당한 속도 향상을 보인다. 일반 노트북에서 초당 7.2~8.7백만개의 프로세서 명령어를 증명한다. 암호화 해싱 및 EVM 토큰 전송 등 15개 벤치마크 프로그램에서 가장 빠른 기존 zkVM보다 평균 10~39배 빠르다. 최적화된 버전은 초당 9.5~12.8백만 사이클을 달성한다. 증명은 약 12밀리초 만에 검증되어 원본 연산 재실행 없이 빠른 검증이 가능하다.
양자 내성 보안
타 경쟁 시스템들이 타원 곡선이나 격자 기반 암호화에 의존하는 것과 달리, Magnetar의 보안은 SHA-256 또는 SHA-3 같은 표준 해시 함수에만 기반한다. 이 설계는 신뢰 설정(trusted setup)을 불필요하게 하고 양자 컴퓨팅 취약점을 피한다. 이미 현재 인프라에서 신뢰받는 기본 요소를 사용하므로 향후 암호화 마이그레이션이 필요 없으며, 금융 및 디지털 신원 같은 장기 규제 환경에 적합하다.
이 한국어 요약은 AI가 자동으로 만들었습니다. 원문의 주장과 맥락은 원문에서 확인해 주세요. 저작권은 원저작자에게 있습니다.
