ZKM은 새로운 세대의 GPU 가속 zkVM을 공식 출시하며, 이를 Ziren이라고 명명했습니다: 주류 개발자를 위한 생산급 ZK 인프라 구축

ZKM은 GPU 가속, 분산 증명 아키텍처, 그리고 깊이 최적화된 제약 시스템을 통해 zkVM의 차세대 버전 Ziren(구 zkMIPS)을 공식 출시했습니다. 이는 제로 지식 증명(ZK) 시스템의 실제 응용 시나리오에서의 배포 가능성과 확장성을 새로운 장으로 열어줍니다. Ziren은 시스템 엔지니어, 응용 개발자 및 프로토콜 설계자가 주류 언어로 고성능 ZK 응용 프로그램을 구축할 수 있도록 하여, ZK를 실험실에서 주류 개발 관행으로 진정으로 가져오는 것을 목표로 합니다.

zkMIPS에서 Ziren으로: 성능 도약, 개발 경험 업그레이드

Ziren은 zkMIPS v1.1.0의 전면 업그레이드로, 처음으로 다음과 같은 기능을 도입했습니다:

• 30배 GPU 가속, 증명 지연을 대폭 감소;

• 분산 네트워크 증명 아키텍처, 병렬 계산 및 확장 가능한 배포 지원;

• 명령 제약 시스템 업그레이드, 명령 모듈화, 열 사용 최적화, 중복 제거;

• 도구 체인 및 개발 경험 업그레이드, Rust 지원에 기반하여 C/C++ 지원 추가, Golang 곧 출시 예정;

• 주요 보안 수정 및 사전 컴파일 강화, 이더리움 생태계와의 네이티브 호환성 실현.

"Ziren은 올바른 기반 위에 구축된 최초의 진정한 확장 가능하고 개발자 친화적인 범용 zkVM입니다." ZKM 공동 창립자이자 수석 과학자인 Ming Guo는 말했습니다. "CPU에서 이미 선도적인 성능을 입증했으며, 이제 GPU 가속 덕분에 새로운 차원으로 나아가고 있습니다. 최적의 ZK 증명 스택을 찾고 있다면, Ziren이 정답입니다."

기술의 전면 업그레이드 외에도, Ziren의 이름 자체에도 의미가 담겨 있습니다. zkMIPS의 연속으로서 "Ziren"은 신화 "Siren"의 변형에서 영감을 받아, 환상에서 현실로의 전환을 나타냅니다 ------ 기술이 더 이상 단순한 매력이 아니라, 실제로 사용할 수 있는 약속이 되었습니다. Ziren은 주류 개발자들이 실제로 효율적이고 신뢰할 수 있으며 배포 가능한 zk 인프라가 되기를 목표로 합니다.

GPU 가속 및 분산 증명 병렬: 성능에서 실용으로의 도약

Ziren의 핵심 증명 프로세스는 전면 GPU화되어 성능이 크게 향상되었습니다:

• 핵심 증명 속도 30배 향상

• 집합 증명 속도 15배 향상

• bn254 변환 증명 속도 30배 향상

네트워크화된 증명 아키텍처와 결합하여, Ziren은 증명 작업을 여러 노드에 분산하여 병렬 실행할 수 있으며, 이는 처리량을 크게 향상시킬 뿐만 아니라 시스템의 탈중앙화 가능성을 강화합니다. 이 아키텍처는 모듈화 블록체인, 롤업 및 체인 간 검증 시스템에 매우 적합합니다.

제약 시스템 최적화

Ziren은 제약 시스템을 체계적으로 재구성했습니다:

• 명령 수준 제약을 모듈화된 "칩"으로 분할 (CPU, 점프/분기, 메모리 등 포함)

• 데이터 구조 최적화를 통해 열(column) 사용 수 감소

• 중복되거나 사용되지 않는 제약 논리 제거

• ALU, MADDU/MSUBU 및 분기 처리 프로세스 간소화, 실행 효율성 향상

이러한 최적화는 증명 복잡성을 크게 줄이고 생성 속도 및 시스템 안정성을 향상시켰습니다. zkVM의 관점에서 MIPS가 생성하는 실행 추적은 RISCV보다 짧고, 더 나은 명령 효율성을 가지고 있어 증명 효율성을 높이는 데 유리합니다. Ziren의 출시와 함께 MIPS 경로의 장점이 점차 드러나고 있습니다.

더 나은 개발 경험, 구축에서 배포까지 더 매끄럽게

Ziren은 새로운 버전의 도구 체인(20250522)을 출시하여 여러 개발자 경험 향상을 제공합니다:

• LLVM 패치 통합, 컴파일 프로세스 최적화

• C/C++ 정적 라이브러리 및 teq 명령 수정 지원

• Rust 도구 체인 더욱 안정적, 비표준 해킹 제거

• Golang 지원 곧 출시 예정

또한, Ziren은 이더리움 네이티브 서명 검증을 지원하며, 사전 컴파일 모듈은 완전한 ECDSA 타원 곡선 서명을 지원하여 체인에서의 통합이 더욱 원활해졌으며, 지원 가능한 응용 시나리오도 확장되었습니다.

안전성 및 안정성 수정

Ziren은 검증기 및 회로 실행 프로세스를 전면 강화했습니다. 구체적인 내용은 다음과 같습니다:

• Plonky3의 주요 FRI 랜덤 수 취약점 수정

• Rust 검증기에서 vk_root 검증 취약점 수정

• 명령 실행 논리 및 제약 시스템 일관성 최적화

• 분할 처리 논리 및 프로그램 카운터의 행동 관리 개선

Ziren vs zkMIPS 1.0 비교 이미지

모든 업데이트는 Ziren의 안전성과 일관성을 향상시켜, 생산 수준 환경의 ZK 증명 요구에 더욱 적합하게 만들었습니다.

실시간 증명으로 나아가기: ethproofs.org에서 최적화 결과 증명

ethproofs.org에서 Ziren은 실시간 성능 결과를 보여주며, 실시간 증명이 가까워졌습니다:

가상 머신을 Revm에서 Reth로 교체하고 계정 상태를 병렬로 추출함으로써, debug_traceBlock과 함께 블록 상태 준비 시간이 5분에서 30초 이내로 단축되었습니다. 이는 각 단계의 증명 과정에서 지연을 크게 줄여 Ziren의 성능을 실시간 수준에 가깝게 만들어, 고빈도 ZK 응용의 실현을 위한 탄탄한 기반을 마련했습니다.

GOAT Network에 이미 적용: 비트코인 네이티브 zkRollup의 핵심 엔진 구축

Ziren은 비트코인 네이티브 zkRollup 프로젝트 GOAT Network에 사용되고 있으며, 브리지나 신뢰할 수 있는 제3자 없이 이더리움식 프로그래머블성을 실현하면서 비트코인 메인넷의 보안성을 유지하는 데 기여하고 있습니다. GOAT Network는 BitVM2와 BitVM3 경로의 중요한 실천 중 하나입니다.

"비트코인을 확장하기로 결정했을 때, 우리가 필요로 한 것은 위에서 아래까지 신뢰할 수 있는 시스템이었습니다 --- 단순히 표면적인 성능의 쌓음이 아니라, 회로 수준의 안정성과 효율성 보장이었습니다." ZKM 공동 창립자이자 CEO, GOAT Network 핵심 기여자인 Kevin Liu는 말했습니다. "Ziren은 바로 이러한 요구의 산물로, 우리가 모든 증명에 대해 자신감을 가질 수 있는 인프라 계층입니다."

당신의 ZK 응용 프로그램을 구축하세요, Ziren에서 시작하세요

Ziren은 ZKM이 수년간의 기초 시스템 엔지니어링 및 제로 지식 연구를 통해 다듬어낸 결과물로, 단순히 더 많은 회의가 아니라, 구조가 더 우수하고 경험이 더 좋으며 응용이 더 넓은 zkVM입니다. 당신이 이더리움 DApp, 비트코인 L2, 또는 크로스 체인 검증 시스템을 구축하든, Ziren은 신뢰할 수 있는 계산 기반을 제공합니다.

Rust로 작성하고, MIPS로 컴파일하며, 나머지는 Ziren에 맡기세요. 자신감을 가지고 구축하세요.妥協 없이 배포하세요.