이전 Zisk 팀이 24개의 5090 GPU로 실시간 ZK 증명을 달성한 데에 이어, 어제 서싱트는 이보다 더 효율적인 실시간 ZK 증명이 가능
sm-stack · 2025.11.19 · Short
이전 Zisk 팀이 24개의 5090 GPU로 실시간 ZK 증명을 달성한 데에 이어, 어제 서싱트는 이보다 더 효율적인 실시간 ZK 증명이 가능함을 보여주었습니다. 서싱트의 SP1 Hypercube를 통해, 단 16개의 RTX 5090 GPU로도 실시간 증명이 가능하다는 것이었습니다. Hypercube는 현재 네더마인드와의 협업을 통한 정형 검증(form
이전 Zisk 팀이 24개의 5090 GPU로 실시간 ZK 증명을 달성한 데에 이어, 어제 서싱트는 이보다 더 효율적인 실시간 ZK 증명이 가능함을 보여주었습니다. 서싱트의 SP1 Hypercube를 통해, 단 16개의 RTX 5090 GPU로도 실시간 증명이 가능하다는 것이었습니다. Hypercube는 현재 네더마인드와의 협업을 통한 정형 검증(formal verification)을 거치는 등 프로덕션에서 쓰이기 위한 보안 검증 단계에 있습니다. 조만간 OP Succinct 등 실제 환경에 라이브가 되지 않을까 싶네요. 이러한 '실시간 ZK 증명'은 이더리움 L1 스케일링의 핵심입니다. 밸리데이터들이 블록을 재실행해서 검증하는 것이 아니라, 블록에 대한 ZK 증명을 검증해보는 것으로도 체인에 대한 투표를 가능하게끔 하는 방식이죠. '이더리움 L1의 ZK화'라고도 얘기할 수 있습니다. Pico Prism, Zisk, SP1 Hypercube 등의 ZK 증명 솔루션의 빠른 발전은 '이더리움 메인넷의 블록 당 1 기가가스 스케일링'를 현실적인 목표로 바꾸고 있습니다. 다만 이러한 미래는 무상태(statelessness)나 대역폭 최적화 등의 추가적인 조치가 같이 이뤄져야 달성될 수 있으며, 이를 위한 리서치가 필수적이라고 생각됩니다. 출처