본 논문은 기존 제로지식 증명 시스템의 메모리 사용량이 계산 크기에 비례하는 한계를 극복하는 새로운 시스템을 제안합니다. 기존 시스템은 대규모 애플리케이션이나 모바일 및 에지 장치에서 사용이 제한적이었지만, 이 논문에서 제시된 시스템은 공간 효율적인 트리 알고리즘을 사용하여 계산을 블록 단위로 처리함으로써 메모리 사용량을 선형($\Theta(T)$)에서 제곱근($O(\sqrt{T} + \log T \log\log T)$)으로 감소시킵니다. 계산 크기를 $T$라고 할 때, 증명 생성 시간은 일정한 횟수의 스트리밍 패스를 유지하면서 동일하게 유지됩니다. KZG/IPA와 같은 널리 사용되는 선형 다항식 커밋먼트 방식의 경우, 동일한 매개변수를 사용하고 집계된 커밋먼트만 해싱하여 챌린지 생성에 사용함으로써 동일한 증명과 검증을 생성하며, 증명 크기와 보안성을 유지합니다. 해시 기반 시스템 또한 약간 다른 증명 구조를 사용하지만 제곱근 메모리 스케일링을 달성합니다. 이러한 발전은 일상적인 장치에서 제로지식 증명을 가능하게 하고, 이전에는 불가능했던 대규모 계산의 검증을 가능하게 하여 개인 정보 보호 계산에 대한 접근을 민주화합니다. 공간 효율적인 제로지식 증명 시스템은 분산 네트워크의 광범위한 참여를 가능하게 하고, 전례 없는 규모에서 검증 가능한 과학 컴퓨팅을 실현하는 등 디지털 시스템에서 신뢰가 구축되는 방식을 재구성할 수 있는 기회를 만듭니다.
