a16z Crypto, Jolt zkVM 업데이트 및 업계의 'ZK' 개념 남용에 의문 제기

Odaily 보도에 따르면 벤처 캐피탈 회사 Andreessen Horowitz의 자회사 A16z Crypto는 최근 블로그 게시물을 통해 오픈 소스 Jolt zkVM에 대한 기술 업데이트를 발표했으며, 동시에 현재 업계에서 'ZK(영지식)' 개념이 널리 오용되고 있음을 지적했습니다.

A16z는 많은 소위 zkVM이 실제로 진정한 영지식 속성을 갖추고 있지 않으며, 추가로 비용이 많이 드는 '래핑(wrapping)' 프로세스를 거치지 않는 한 그렇지 않다고 설명했습니다. 이 프로세스는 일반적으로 재귀 증명을 통해 실제 영지식 특성을 가진 또 다른 증명 시스템에서 zkVM의 증명을 재검증해야 하며, 이는 계산 비용이 높을 뿐만 아니라 종종 '신뢰 설정(trusted setup)'을 도입해야 하여 시스템의 투명성을 희생시킵니다.

이 글은 많은 개발자 맥락에서 'zk'가 점차 '간결성(succinctness)'의 동의어로 사용되고 있으며, 이는 증명 크기가 작고 검증 속도가 빠른 것을 의미할 뿐, 진정한 의미의 영지식 프라이버시 보호를 의미하지는 않는다고 지적했습니다.

A16z는 업계의 프라이버시 보호 요구가 증가함에 따라 이러한 개념 혼용이 점차 문제가 되고 있다고 생각합니다. 진정한 영지식 증명은 증명자의 민감한 데이터 프라이버시를 보호하는 데 중점을 두어야 하며, 단순히 효율적인 검증 메커니즘을 제공하는 것에 그쳐서는 안 됩니다.

동시에 A16z는 Jolt zkVM에 NovaBlindFold 폴딩(folding) 솔루션을 도입하여 프라이버시 능력을 강화하고, 이 가상 머신이 프라이버시 중심 애플리케이션 시나리오에 더 적합하도록 만들 것이라고 발표했습니다.