ZKsync는 GPU를 사용하여 10초 이내에 이더리움 블록을 증명합니다.

목차

• Airbender Prime, 실시간 이더리움 프로빙 시연
• 비탈릭 부테린, zkEVM 보안 강화 촉구
• ZKsync는 독립적으로 검증 가능한 금융 인프라를 목표로 합니다.

• ZKsync의 Airbender Prime은 NVIDIA RTX PRO 6000 Blackwell GPU 하나를 사용하여 7,200개의 이더리움 블록 중 99%를 10초 이내에 검증했습니다.
• 비탈릭 부테린은 zkEVM 개발자들에게 형식적 검증, 예측 가능한 증명 비용, 암호학적 보안을 우선시할 것을 촉구했습니다.
• Airbender Prime은 양자 컴퓨팅 이후의 보안을 위해 설계된 해시 기반 STARK 알고리즘을 사용하며, 독립적으로 검증 가능한 금융 인프라 구축을 목표로 합니다.

ZKsync는 단일 GPU에서 실시간 증명을 시연한 이더리움 증명 도구인 Airbender Prime을 공개 했으며, 이에 비탈릭 부테린은 보안 강화의 필요성을 강조했습니다. 테스트에서 NVIDIA RTX PRO 6000 Blackwell GPU는 증인 준비 시간을 포함하여 7,200개의 이더리움 메인넷 블록 중 99%를 10초 이내에 증명했으며, 모든 블록은 12초 이내에 완료되었습니다.

Airbender Prime, 실시간 이더리움 프로빙 시연

ZKsync는 Airbender Prime이 양자 컴퓨팅 이후 보안을 위해 설계된 해시 기반 STARK 알고리즘을 사용한다고 밝혔습니다. 이 기술은 GKR 합계 검사, WHIR 다항식 커밋먼트, BLAKE2s 해싱을 결합한 것입니다.

레이어 1 증명의 경우, 시스템은 BN254 페어링 대신 Keccak-256 기반 커밋먼트를 사용합니다. 또한 개방형 RISC-V 표준을 준수하며 독립적인 증명 검증을 위한 독립형 검증기를 포함합니다.

ZKsync에 따르면 Airbender Prime은 ETHproofs의 공개 순위표에서 평균 증명 시간, GPU 효율성 및 비용 부문에서 선두를 달리고 있습니다. 또한 이 프로젝트는 2개 및 4개의 GPU를 사용하는 실제 구성도 제공하고 있습니다.

비탈릭 부테린, zkEVM 보안 강화 촉구

이더리움 공동 창립자 비탈릭 부테린은 ZKsync 팀의 중요한 성과 달성을 축하했습니다. 그는 속도 증명 경쟁에서 확실히 승리했으며, 이제 zkEVM 개발은 보안을 우선시해야 한다고 주장했습니다.

부테린은 형식적 검증을 위한 세 가지 요건을 제시했습니다. 여기에는 산술 연산이 이더리움 사양과 일치함을 증명하는 것, 증명 비용과 블록 가스 비용 간의 최대 비율을 엄격하게 설정하는 것, 그리고 증명 시스템의 보안을 검증하는 것이 포함됩니다.

그의 발언은 시스템이 정확한 실행, 예측 가능한 증명 비용, 그리고 신뢰할 수 있는 암호화 보호 기능을 입증할 수 있는지 여부에 주목하게 합니다.

ZKsync는 독립적으로 검증 가능한 금융 인프라를 목표로 합니다.

ZKsync는 인공지능의 발전으로 소프트웨어 취약점 발견 및 악용이 가속화될 수 있다고 밝혔습니다. 또한 은행과 거래 상대방이 독립적으로 검증할 수 있는 보안 메커니즘이 필요하다고 주장했습니다.

원장 업데이트에 영지식 증명을 요구하면 손상된 실행 서버가 암호화된 규칙을 위반하는 업데이트를 승인하는 것을 방지할 수 있습니다. 또한 Airbender Prime의 낮은 하드웨어 요구 사항은 기관 및 독립 운영자가 증명 생성을 더 쉽게 할 수 있도록 해줍니다.

이 프로젝트는 금융 인프라 전반에 걸쳐 독립적인 검증을 지원하는 것을 목표로 합니다. ZKsync는 Airbender Prime에 대한 추가 발표를 계획하고 있다고 밝혔지만, 서두에서 자세한 내용은 공개하지 않았습니다.