Magnetar 기반 증명형 범용 컴퓨팅, zkVM의 트레이드오프에 도전

Microsoft Research는 10월 15일 Magnetar 기반 증명형 범용 컴퓨팅을 소개하며, 유사한 영지식 가상 머신보다 최대 39배의 속도 향상을 달성했다고 주장했다. 이 시스템은 비공개 입력값을 숨긴 채 익숙한 프로그래밍 언어로 작성된 프로그램을 증명할 수 있다. 또한 성능을 얻기 위해 경쟁 설계가 받아들이는 몇 가지 암호학적 가정도 피한다.

이 조합이 중요한 이유는 증명 시스템이 보통 개발자에게 속도, 범용성, 보수적인 보안 사이에서 선택을 강요해 왔기 때문이다. Magnetar는 이 선택을 없애려 한다. Microsoft는 표준 해시 함수에 기반한 보안을 사용하면서 초당 수백만 프로세서 사이클 수준으로 일반적인 RISC-V 프로그램을 증명할 수 있다고 말한다.

당장의 경쟁 상대는 특정 한 기업이 아니다. Jolt, SP1 및 기타 범용 zkVM 같은 시스템의 배경에 있는 확립된 엔지니어링 트레이드오프다. 일부 시스템은 더 짧은 증명, 성숙한 개발자 도구 또는 다른 성능 특성을 제공한다. Magnetar의 주장은 검증 가능 컴퓨팅을 실용화하기 위해 개발자가 더는 그러한 타협을 할 필요가 없다는 것이다.

Magnetar 기반 증명형 범용 컴퓨팅이 성능 논의를 바꾼다

Magnetar가 중요한 이유는 일반 코드, 높은 증명 처리량, 포스트 양자 보안을 하나의 연구 시스템에 결합하기 때문이다.

영지식 가상 머신 또는 zkVM은 검증자가 프로그램을 다시 실행하지 않아도 프로그램이 올바르게 실행됐음을 증명한다. 영지식 기능이 활성화되면 증명은 비공개 입력값도 숨길 수 있다. 이를 통해 수신자는 기초 기밀 데이터를 공개하지 않고 결과에 관한 증거를 얻는다.

Microsoft의 Magnetar 연구는 이 시스템을 서로 연관된 세 가지 문제에 대한 진전으로 제시한다. 증명 생성은 현실적인 워크로드에 충분할 만큼 빨라야 한다. 개발자는 직접 구축한 암호 회로 대신 일반 프로그램을 사용할 수 있어야 한다. 기저 보안은 시스템이 의도한 수명 동안 신뢰성을 유지해야 한다.

Magnetar는 64비트 RISC-V 정수 명령어 세트의 기본 규격인 RV64I로 컴파일된 프로그램을 대상으로 한다. RISC-V는 시스템에 전통적인 프로세서 모델과 성숙한 컴파일러 인프라에 대한 접근성을 제공한다. 개발자는 Rust, Go 또는 C로 소프트웨어를 작성하고 컴파일한 뒤, 그 실행 결과를 증명할 수 있다.

이는 애플리케이션을 산술 회로로 다시 작성해야 하는 증명 시스템과 다르다. 회로는 증명 시스템이 처리할 수 있는 대수적 제약을 통해 계산을 설명한다. 회로를 구축하려면 종종 전문 지식이 필요하며, 애플리케이션 로직의 변경에는 그에 대응하는 회로 작업이 필요할 수 있다.

zkVM은 이 부담의 상당 부분을 가상 프로세서로 옮긴다. 증명 시스템은 프로세서의 명령어 단위 동작을 검증하므로, 프로그램은 표준 컴파일 경로를 사용할 수 있다. 개발자는 여전히 통합 작업을 수행해야 하지만, 모든 애플리케이션을 맞춤형 회로로 표현할 필요는 없다.

Microsoft는 M4 Max MacBook Pro에서 Magnetar가 초당 720만~870만 사이클을 증명한다고 보고했다. 인용된 실험은 12개의 성능 코어와 2²²사이클을 포함하는 실행을 사용했다. 증명 크기는 약 600 KiB였으며, 검증에는 11~13밀리초가 걸렸다.

최적화된 구성에서는 초당 950만~1,280만 사이클에 이른다고 전해진다. Microsoft는 이 개선으로 측정된 비교 속도 향상이 약 1.3배 높아졌다고 말한다. 이는 프로덕션 서비스 측정치가 아니라 연구 벤치마크다.

함께 공개된 기술 논문은 15개 워크로드에서 Magnetar를 SP1 Hypercube, Jolt-Dory, Jolt-Akita와 비교한다. 테스트 세트에는 암호 해싱, Merkle 트리 연산, 서명, 소형 Ethereum Virtual Machine 인터프리터 내부의 토큰 전송이 포함된다.

이 결과에 따르면 Magnetar는 SP1 Hypercube 대비 약 39배의 기하평균 처리량 우위를 달성했다. 보고된 평균은 Jolt-Dory 대비 약 18배, Jolt-Akita 대비 9.6배였다. 개별 비교 결과는 워크로드에 따라 크게 달랐다.

이 수치가 이번 발표가 또 하나의 점진적인 영지식 벤치마크보다 더 중요한 이유를 설명한다. Magnetar는 좁은 맞춤형 회로에서 더 빠른 실행만 주장하는 것이 아니다. 더 보수적이지 않은 암호학적 구성 요소를 중심으로 구축된 대안보다, 범용 해시 기반 시스템이 더 뛰어난 성능을 낼 수 있다고 주장한다.

이 성능 주장은 여전히 한계를 가진다. 벤치마크는 Magnetar 제작자가 단일 노트북 구성에서 수행했다. 프로덕션 환경에는 서로 다른 메모리 제한, 동시성 패턴, 네트워크 비용, 애플리케이션 규모가 존재한다. 독립적인 재현이 이러한 조건에서도 우위가 유지되는지를 판단하게 될 것이다.

그럼에도 보고된 결과는 입증 책임을 바꾼다. 해시 기반 시스템은 흔히 보수적이지만 비용이 큰 것으로 여겨져 왔다. Magnetar는 보수적인 기반과 경쟁력 있는 증명 속도가 공존할 수 있다고 말한다.

표준 언어가 증명을 일반 소프트웨어에 더 가깝게 만든다

실질적인 변화는 단순히 암호학이 더 빨라진 것이 아니라, 유지 관리되는 애플리케이션 코드에서 검증 가능한 실행으로 이어지는 경로다.

Magnetar zkVM을 이해하는 가장 쉬운 방법은 프로그램이 그 안을 통과하는 과정을 따라가는 것이다. 개발자는 지원되는 언어로 애플리케이션을 작성하고 해당 애플리케이션을 RISC-V용으로 컴파일한다. 이후 Magnetar는 결과 프로세서 실행이 지정된 프로그램을 따랐다는 증거를 생성한다.

검증자는 모든 명령어를 반복 실행하지 않는다. 실행의 정확성을 나타내는 압축된 증명을 확인한다. Microsoft는 증명이 나타내는 워크로드가 훨씬 크더라도, 자사 벤치마크 구성에서 이 검증에 약 12밀리초가 걸린다고 말한다.

이는 증명 기반 애플리케이션을 구축할 수 있는 사람의 범위를 바꾼다. 맞춤형 회로는 애플리케이션과 증명 시스템을 모두 이해하는 팀에 지식을 집중시킨다. 범용 zkVM은 일반 소프트웨어 엔지니어가 기존의 언어, 컴파일러, 테스트, 코드 검토 관행을 더 많이 유지할 수 있게 한다.

이 차이는 자주 바뀌는 소프트웨어에서 특히 중요하다. 비즈니스 정책, 데이터 파이프라인, 인터프리터, 에이전트 규칙은 시간이 흐르며 변화한다. 변경마다 맞춤형 회로를 다시 구축해야 한다면, 암호학적 보장이 개발 병목으로 바뀔 수 있다.

Magnetar가 증명 엔지니어링을 사라지게 하는 것은 아니다. 팀은 무엇을 증명할지 선택하고, 공개 및 비공개 입력값을 정의하며, 증명 인프라를 운영해야 한다. 또한 컴파일된 동작이 의도한 고수준 정책과 일치하는지도 검증해야 한다.

대신 이 시스템은 전문화의 경계를 옮긴다. 암호학자는 zkVM과 증명 엔진을 다룰 수 있고, 애플리케이션 개발자는 익숙한 프로세서 아키텍처를 대상으로 개발할 수 있다. 이 역할 분담은 컴파일러 엔지니어와 애플리케이션 프로그래머의 관계를 닮았다.

Microsoft는 Ethereum Virtual Machine 인터프리터를 한 사례로 강조한다. Rust 또는 Go로 작성된 EVM 구현은 Magnetar 내에서 실행될 수 있다. 이렇게 구성하면 모든 계약을 새로운 증명 회로로 직접 구현하지 않고도 기존 스마트 계약의 실행을 증명할 수 있다.

이 접근 방식은 블록체인 외의 영역에도 관련성이 있다. 금융 기관은 모든 거래를 공개하지 않고도 거래 처리 프로그램이 지정된 규칙을 적용했음을 증명할 수 있다. 데이터 서비스는 비공개 레코드에 합의된 변환을 적용했음을 증명할 수 있다.

AI 에이전트는 또 다른 가능한 활용 사례다. 에이전트는 특정 행동이 정의된 정책 프로그램을 통과했다는 증거를 제공할 수 있다. 증명은 해당 정책의 실행을 확립하지만, 그 정책이 완전하거나 타당하다는 점을 자동으로 보여주지는 않는다.

이 단서는 필수적이다. 증명은 정확히 인코딩된 명제를 확인한다. 소스 데이터가 정확했는지, 정책이 모든 위험을 포착했는지, 주변 시스템이 침해되지 않았는지를 입증하지는 않는다.

따라서 증명형 컴퓨팅은 감사, 접근 제어, 운영 보안을 보완한다. 이를 대체하지는 않는다. 그 구체적인 기여는 입력값과 프로그램이 적절히 정의된 계산에 필요한 신뢰 수준을 낮추는 데 있다.

"Magnetar zkVM explained"라는 표현은 제품 튜토리얼처럼 들릴 수 있지만, 중요한 뉴스는 아키텍처에 있다. Microsoft는 검증 가능한 실행이 별도의 애플리케이션 범주가 아니라 일반 소프트웨어의 컴파일러 기반 특성이 되어야 한다고 주장한다.

이러한 목표는 모든 범용 zkVM 프로젝트에 압박을 가한다. 증명이 여전히 비용이 많이 든다면 개발자 경험만으로는 충분하지 않다. 구매자가 나중에 대체할 것으로 예상하는 가정에 의존한다면 순수한 속도 또한 충분하지 않다.

Magnetar와 Jolt의 비교가 드러내는 실제 암호학적 트레이드오프

핵심 경쟁은 단순히 Magnetar와 Jolt의 속도 대결이 아니라, 표준 해시와 더 짧은 증명 및 대안적 가정의 대결이다.

Jolt는 프로젝트들이 지적·아키텍처적 뿌리를 공유한다는 점에서 유용한 비교 대상이다. 둘 다 범용 프로그램을 지원하기 위해 RISC-V를 사용하며, 프로세서 명령어와 메모리 연산의 증명 비용을 낮추는 연구에 기반한다.

Jolt는 조회 인수를 사용하며, 이를 통해 증명 시스템은 값이 미리 정의된 테이블에 속한다는 점을 입증할 수 있다. 이는 각각의 명령어를 대규모 저수준 제약 집합으로 표현하는 방식보다 프로세서 명령어를 더 효율적으로 나타낼 수 있다.

오픈소스 Jolt repository는 이 프로젝트를 확장 가능한 RISC-V zkVM으로 설명한다. 또한 현재 소프트웨어를 알파 단계이자 프로덕션 사용에 부적합한 것으로 표시한다. 이 경고는 유망한 증명 연구와 신뢰할 수 있는 인프라 사이에 존재하는 더 큰 격차를 보여준다.

Microsoft는 두 가지 Jolt 구성을 평가했다. Jolt-Dory는 타원 곡선 가정을 사용하고, Jolt-Akita는 격자 기반 암호학을 사용한다. Magnetar 논문은 두 구성 모두 Magnetar의 약 600 KiB 증명과 비교해 100 KiB 미만의 더 작은 증명을 생성한다고 보고한다.

더 작은 증명은 저장 및 전송 비용을 줄일 수 있다. 증명이 제약이 있는 네트워크를 통과하거나 대량으로 누적될 때 이 장점은 중요하다. 증명 크기는 시스템이 여러 계층에 걸쳐 검증을 구성하는 방식에도 영향을 미칠 수 있다.

Magnetar는 더 좁은 보안 기반을 대가로 더 큰 증명을 받아들인다. Microsoft는 자사 보안이 SHA-256 또는 SHA-3 같은 표준 해시 함수에 기반한다고 말한다. 타원 곡선, 격자 가정, 특수한 대수적 해시 또는 신뢰할 수 있는 설정에 의존하지 않는다.

신뢰할 수 있는 설정은 일부 증명 시스템을 위해 비밀 매개변수를 만드는 일회성 과정이다. 비밀 자료가 보존되거나 유출되면 공격자는 증명을 위조할 수 있다. 투명한 시스템은 이 의식과 그에 수반되는 거버넌스 부담을 피한다.

타원 곡선 시스템은 압축된 증명과 효율적인 검증을 제공할 수 있지만, 충분히 강력한 양자 컴퓨터는 그 보안을 위협할 수 있다. 격자 기반 시스템은 알려진 양자 공격에 저항하도록 설계됐지만, 서로 다른 수학적 가정에 의존한다.

Magnetar의 입장은 더 보수적이다. 표준 해시 함수는 수십 년간의 분석과 배포를 거쳤다. 또한 기존 소프트웨어와 하드웨어 전반에 사용되므로, 구현자는 확립된 최적화 경로를 활용할 수 있다.

그렇다고 해시 함수가 절대 안전하다는 뜻은 아니다. Magnetar는 여전히 해시 함수의 보안 특성과 구현의 정확성에 의존한다. “포스트 양자”는 현재 알려진 양자 공격에 대한 내성을 뜻할 뿐, 미래의 모든 발견에 대해 영구적으로 안전하다는 보장은 아니다.

그럼에도 해시 기반 설계는 제도적 지지를 받고 있다. NIST는 2024년 FIPS 205에서 SPHINCS+에서 파생된 상태 비저장 해시 기반 서명 체계인 SLH-DSA를 표준화했다. 이 표준은 zkVM이 아닌 디지털 서명을 다루지만, 조직들이 해시를 보수적인 포스트 양자 기반으로 보는 이유를 보여준다.

SP1 Hypercube는 또 다른 대비 사례다. Microsoft의 논문은 핵심 구조가 일반적인 해시 보안을 넘어선 가정을 포함하기 때문에 이를 “해시 및 그 이상 기반”이라고 설명한다. 연구진에 따르면 Magnetar의 측정된 증명 크기는 SP1 Hypercube보다 약 4.6배 작았다.

성능 비교는 인상적이지만, 이를 완전한 제품 순위로 받아들여서는 안 된다. 개발자 도구, 지원되는 명령어, 하드웨어 가속, 재귀 비용, 운영 안정성, 생태계 통합은 모두 배포 선택에 영향을 미친다.

따라서 Magnetar와 Jolt의 비교는 고립된 벤치마크 열 간의 경쟁이 아니라 보안 및 엔지니어링 패키지 간의 경쟁이다. Jolt 구성은 눈에 띄게 더 작은 증명을 제공한다. Magnetar는 더 높은 측정 처리량과 더 적은 기본 가정을 주장한다.

이 결과는 경쟁사들이 자신의 선택을 더 명확히 설명하도록 압박한다. 이제 zkVM을 선택하는 팀은 어떤 가정이 증명자를 보호하는지, 그러한 가정이 얼마나 쉽게 바뀔 수 있는지, 그리고 헤드라인 처리량 밖에서 어떤 비용이 발생하는지를 물어볼 이유가 있다.

BinarySpartan은 보수적인 보안을 속도로 전환한다

Magnetar의 핵심 메커니즘은 이진 연산, 표준 해시, 재귀 검증을 별개의 문제로 다루지 않고 하나로 정렬한다.

Magnetar는 기존 Spartan 설계를 이진 필드로 확장한 증명 시스템인 BinarySpartan을 기반으로 한다. 이진 필드는 비트 중심 연산으로 값을 표현하므로 프로세서 논리와 표준 해시 함수에 자연스러운 환경이다.

2019년에 소개된 Spartan은 신뢰할 수 있는 설정 없이 범용 증명을 제공했다. 이는 합계 검사 프로토콜을 사용했으며, 이를 통해 검증자는 훨씬 작은 규모의 대수 정보 교환으로 대규모의 구조화된 계산을 확인할 수 있다.

이후 프로젝트들은 서로 다른 성능 병목을 해결했다. Phalanx는 프로세서 실행의 반복 구조를 활용했다. Brakedown은 빠른 해시 기반 커밋먼트 방식을 개발했다. Lasso, Twist, Shout 및 관련 연구는 룩업과 메모리 연산을 증명하는 비용을 낮췄다.

Magnetar는 하나의 고립된 발명에 의존하기보다 이러한 연구 흐름을 결합한다. 프로세서 설명은 반복되는 명령어 주기 구조의 이점을 얻는다. 메모리 검사는 증명 내부에서 효율적인 읽기와 쓰기를 위해 설계된 기법을 사용한다.

BinarySpartan은 Brakedown에서 파생된 커밋먼트 체계인 Ligerito와도 함께 작동한다. 커밋먼트는 증명자가 데이터를 즉시 공개하지 않고도 해당 데이터에 구속되도록 한다. 검증자는 이후 공개값을 커밋된 값과 대조해 확인할 수 있다.

링 전환도 또 하나의 구성 요소다. 이는 시스템이 서로 다른 단계에 적합한 대수적 표현 사이를 오가면서 비트 벡터에 효율적으로 커밋할 수 있게 한다. 이 기법은 프로세서 트레이스와 증명 시스템의 이진 필드 산술을 연결하는 데 도움이 된다.

이 구성 요소들이 중요한 이유는 zkVM이 산술 명령어 이상을 증명해야 하기 때문이다. 명령어 디코딩, 레지스터, 메모리 일관성, 분기, 그리고 연속된 머신 상태 간의 관계까지 설명해야 한다.

역사적으로 메모리는 특히 비용이 많이 드는 부분이었다. 증명은 검증기 안에서 일반 메모리 시스템을 재현하지 않으면서도 모든 읽기가 이전에 올바르게 기록된 값을 반환했음을 보여야 한다. 효율적인 메모리 논증은 이 일관성 검사를 압축한다.

Magnetar는 재귀도 지원한다. 이는 하나의 증명이 다른 증명의 검증을 증명할 수 있음을 뜻한다. 이를 통해 긴 계산을 관리 가능한 조각으로 나누고 다시 결합할 수 있다.

재귀 증명 시스템은 때때로 난감한 불일치에 부딪힌다. 검증에는 증명자의 가상 머신이 비효율적으로 처리하는 연산이 사용된다. 그러면 검증자를 증명하는 일이 큰 비용이 될 수 있다.

Magnetar는 이러한 불일치를 피하려 한다. 검증 작업은 주로 표준 해시 평가와 이진 필드 산술로 구성된다. 이는 BinarySpartan이 효율적으로 증명하도록 설계된 바로 그 연산들이다.

그 결과는 일종의 아키텍처 정렬이다. 시스템은 일반적인 이진 프로세서 동작을 증명하고, 표준 해시로 커밋먼트를 보호하며, 자체 검증자도 효율적으로 증명할 수 있다. 각 계층은 동일한 계산 모델을 강화한다.

Microsoft는 이 설계가 조각별 계산을 증명하고 이를 접어 결합함으로써 임의 길이의 계산을 지원할 수 있다고 말한다. 또한 장기간 운영되는 원장과 블록체인을 잠재적 대상 사례로 지목한다.

임의 길이라고 해서 비용이 일정하다는 뜻은 아니다. 누군가는 여전히 계산을 수행하고 각 증명 세그먼트를 생성해야 한다. 재귀는 검증과 집계의 확장 방식을 바꾸지만, 증명 작업 자체를 없애지는 않는다.

이 메커니즘은 보고된 속도를 설명한다. Magnetar는 기존의 곡선 중심 설계에 포스트 양자 보안을 덧붙이지 않는다. 처음부터 비트 친화적 연산을 중심으로 프로세서, 커밋먼트, 메모리 논증, 재귀를 구성한다.

이는 엔지니어링 관점에서 설명할 수 있는 Magnetar zkVM의 가장 강력한 부분이다. 속도와 보안 주장은 서로 무관한 두 최적화가 아니라 동일한 설계 결정에서 나온다.

벤치마크는 중요한 질문들을 남긴다

Magnetar는 연구 비교의 판도를 바꿨지만, 아직 생산 환경 준비 상태나 보편적 우위를 입증한 것은 아니다.

첫 번째 불확실성은 독립 검증에 관한 것이다. 이용 가능한 성능 수치는 Microsoft Research와 기술 논문에서 나온다. 외부 팀은 유사한 하드웨어, 소프트웨어 버전, 워크로드 입력에서 이 결과를 재현해야 한다.

벤치마크 선택도 중요하다. 15개 애플리케이션은 단일 합성 테스트보다 더 많은 근거를 제공하지만, 모든 프로덕션 워크로드를 대표하지는 않는다. 데이터베이스 중심 프로그램, 대형 인터프리터, 특이한 메모리 패턴, 지속적인 다중 사용자 서비스는 서로 다른 병목을 드러낼 수 있다.

사이클 처리량은 하나의 지표일 뿐이다. 팀은 최대 메모리 사용량, 증명 생성 지연 시간, 시작 비용, 병렬 확장성, 클라우드 효율성, 장애 복구에도 관심을 둔다. 이러한 요인이 배포된 증명자의 경제성을 좌우할 수 있다.

600 KiB 증명 크기는 특히 주의 깊게 살펴볼 필요가 있다. 이는 논문의 SP1 Hypercube 비교 대상보다 작지만, 보고된 Jolt 증명보다는 크다. 대량의 증명을 게시하거나 전송하는 애플리케이션은 이 차이를 직접 평가해야 한다.

언어 지원 역시 신중하게 해석해야 한다. Rust, Go, C는 RISC-V로 컴파일할 수 있지만, 모든 언어 기능, 라이브러리, 운영체제 호출, 런타임 동작이 zkVM 안에서 자동으로 작동하는 것은 아니다. 익숙한 소스 언어가 무제한 호환성을 의미하지는 않는다.

개발자에게는 문서화된 툴체인, 디버거, 프로파일링 지원, 재현 가능한 빌드, 명확한 오류 보고가 필요하다. 성숙한 컴파일러 지원은 도움이 되지만, zkVM은 여전히 제약된 실행 환경을 정의한다.

보안 검토도 또 다른 필수 요건이다. Magnetar의 기반은 암호학적 가정 계층에서 표준 해시에만 의존할 수 있다. 그러나 구현에는 여전히 프로세서 모델, 증명 코드, 컴파일러, 호스트 인터페이스, 애플리케이션 로직이 포함된다.

이러한 구성 요소 가운데 어느 하나의 결함도 잘못된 진술이나 악용 가능한 통합을 초래할 수 있다. 보수적인 기본 요소는 위험의 한 범주를 줄인다. 하지만 배포 계획에서 소프트웨어 보증을 없애지는 않는다.

양자 내성 주장도 정확한 표현이 필요하다. Microsoft는 Magnetar가 타원곡선을 피하고 알려진 양자 공격에 내성이 있는 것으로 간주되는 해시 함수에 의존한다고 말한다. 양자 알고리즘은 여전히 해시의 실질적 보안 수준에 영향을 미칠 수 있으므로, 매개변수 선택은 그 감소를 고려해야 한다.

Microsoft는 Magnetar를 더 광범위한 전환 노력 안에 위치시킨다. Microsoft의 양자 안전 타임라인은 2029년까지 제품과 서비스를 포스트 양자 암호로 전환하는 것을 목표로 한다. Magnetar는 이 방향과 부합하지만, 연구 발표가 이를 배포된 Microsoft 서비스로 만드는 것은 아니다.

따라서 상용 이용 가능성은 중요한 미해결 질문이다. 발표는 연구 결과를 설명하고 조직들이 사용 사례를 논의하도록 초대한다. 하지만 프로덕션 출시일, 서비스 수준 약속, 광범위한 배포 로드맵은 제공하지 않는다.

이러한 세부 사항이 없다고 해서 기술적 결과가 약해지는 것은 아니다. 다만 구매자가 그 결과에서 무엇을 추론해야 하는지가 달라진다. 현재 Magnetar는 기존 증명 인프라를 대체할 즉시 사용 가능한 솔루션이 아니라 새로운 연구 기준선을 제시한다.

모든 증명 시스템이 공유하는 의미론적 한계도 있다. Magnetar는 지정된 코드가 커밋된 입력에서 실행됐음을 증명할 수 있다. 그러나 그 코드가 올바른 정책을 나타냈는지, 또는 입력 소스가 진실을 말했는지는 판단할 수 없다.

승인 규칙 준수를 증명하는 AI 에이전트를 생각해 보자. 증명은 규칙이 실행됐음을 보여줄 수 있다. 하지만 누락된 규칙이 해당 행동을 막았어야 했는지, 외부 데이터 피드가 정확했는지는 보여줄 수 없다.

같은 문제는 금융에도 적용된다. 증명은 거래 세부 정보를 공개하지 않고도 거래 처리 프로그램이 인코딩된 제약을 따랐음을 입증할 수 있다. 규제기관과 거래 상대방은 여전히 규칙, 입력 출처, 거버넌스, 예외 조건을 평가해야 한다.

이러한 한계는 도입 방식을 좌우해야 한다. 증명 기반 컴퓨팅은 진술, 프로그램, 입력 커밋먼트를 정확하게 정의할 수 있는 곳에서 가장 강력하다. 조직이 암호 기술이 모호한 정책이나 신뢰할 수 없는 데이터를 해결해주기를 기대하는 경우에는 더 약하다.

Magnetar가 연구를 넘어설지 보여줄 세 가지 신호

다음 시험대는 독립 개발자들이 Magnetar의 성과를 재현하고 이를 지속 가능한 애플리케이션으로 전환할 수 있는지다.

첫 번째 신호는 공개 구현 증거다. 연구자와 개발자는 초당 720만~870만 사이클 범위를 재현할 수 있을 만큼의 코드, 매개변수, 벤치마크 입력, 빌드 지침이 필요하다.

다른 프로세서에서의 재현은 Microsoft의 성능 주장을 강화할 것이다. 결과가 하드웨어 또는 메모리 구성에 따라 크게 달라진다면 그 주장의 범위는 좁아질 것이다. 비교는 동등한 보안 수준과 워크로드 정의도 사용해야 한다.

이 세부 사항이 중요한 이유는 증명 시스템 벤치마크가 구현 선택에 유난히 민감하기 때문이다. 구성은 더 높은 처리량을 위해 증명 크기, 메모리, 보안 또는 전처리를 맞바꿀 수 있다. 비슷한 라벨이 항상 비슷한 보장을 뜻하는 것은 아니다.

두 번째 신호는 연구 그룹 외부 팀이 유지하는 실제 애플리케이션이다. 신뢰할 수 있는 배포 사례는 일반적인 Rust, Go 또는 C 코드를 사용하고 현실적인 운영 제약 아래에서 증명을 생성해야 한다.

EVM 인터프리터는 하나의 가능한 시험 사례다. 규제를 받는 데이터 처리 워크플로 또는 에이전트 정책 엔진도 마찬가지로 유익할 수 있다. 가장 강력한 사례는 지연 시간, 메모리 사용량, 증명 크기, 운영 장애 데이터를 공개할 것이다.

이러한 배포는 Magnetar를 통한 증명 기반 범용 컴퓨팅이 전문 개발 작업을 줄인다는 주장을 검증하게 된다. 컴파일러 호환성, 디버깅, 업데이트 절차는 벤치마크 처리량만큼 중요하다.

세 번째 신호는 경쟁 zkVM 프로젝트의 대응이다. Jolt, SP1, RISC Zero 및 다른 팀들은 새로운 벤치마크, 더 작은 증명, 하드웨어 가속 또는 대안적 보안 분석을 통해 Microsoft의 결과에 이의를 제기할 수 있다.

최대 초당 사이클 수에만 초점을 맞춘 답변은 Magnetar의 프레임을 강화할 것이다. 반면 총비용이 더 낮거나 실제 운영에서의 신뢰성이 더 높다는 결과는 이를 약화할 수 있다. 시장에는 전체 증명 파이프라인을 포괄하는 비교가 필요하다.

경쟁사들도 더 보수적인 구성 요소를 채택할 수 있다. 표준 해시 기반 보안이 구매 요건이 된다면, 프로젝트는 호환 모드를 제공하거나 자신의 가정이 왜 수용 가능한 대안인지 설명해야 할 것이다.

따라서 Microsoft의 작업은 지배적인 구현체가 되지 않더라도 zkVM 설계에 영향을 미칠 수 있다. 보안 가정, 프로그래밍 호환성, 재귀 비용을 함께 설명하는 데 요구되는 기준선을 높이기 때문이다.

개발자는 실제로 사용할 수 있는 릴리스, 독립적인 벤치마크 모음, 그리고 암호화폐 거래를 넘어선 활용 사례를 주시해야 한다. 이러한 사건은 해당 아키텍처가 엄격히 통제된 연구 워크로드를 넘어 일반화될 수 있는지 보여줄 것이다.

기업 구매자는 다른 질문을 해야 한다. 이 증명은 정확히 어떤 명제를 확립하는가? 어떤 입력값이 비공개로 유지되는가? 어떤 가정이 증명을 보호하며, 그 가정이 바뀔 경우 시스템은 어떻게 대응하는가?

이 기술을 평가하는 팀은 벤치마크 조건과 보안 결정에 관한 지속 가능한 기록도 필요하다. 검색 가능한 엔지니어링 지식 베이스는 하나의 헤드라인 수치로 판단을 축소하지 않으면서 논문, 테스트 결과, 구현 메모, 검토 결과를 연결할 수 있다.

Magnetar를 활용한 증명 기반 범용 컴퓨팅은 이미 익숙한 가정에 도전장을 던졌다. 즉, 보수적인 포스트양자 보안이 반드시 느리고 특수화된 프로그램을 요구하는 것은 아니다. 다음 단계는 Magnetar 자체의 검증이다. 독립 팀이 수치를 재현하고, 일반 애플리케이션을 유지하며, 실제 운영 환경의 압박 속에서도 주장된 보안을 보존할 수 있을까?