ZK Summit 14 Review

[ZK Summit 14 Review] ZK Summit 14는 2026년 5월 7일 로마에서 열린 ZK 행사입니다. ZK Summit은 2018년부터 이어져 온 zero-knowledge 생태계의 주요 정기 행사 중 하나이고, academic cryptography와 실제 시스템 적용 사이의 접점에 놓여 있습니다. 그래서 ZK 생태계에서 실제로 무엇이 만들어지고 있고, 어떤 문제가 중요하게 논의되고 있는지 보기 좋은 자리입니다. 이번 ZK14는 Main stage와 side stage를 합쳐 총 24개 발표가 있었고, Ethereum Foundation, Succinct, Zcash/Project Tachyon, Aztec Labs, Nethermind, Miden, Nokia Bell Labs, Powdr Labs 같은 팀과 여러 대학/연구기관 발표가 섞여 있었습니다. [Overall Take] ZK14에서 가장 분명했던 흐름은, 논의의 초점이 proof system 자체의 가능성이나 성능에서 실제 시스템 안에서 보장이 어떻게 정의되고 유지되는가로 옮겨가고 있었다는 점이었습니다. Privacy, soundness, verifiability는 더 이상 proof system 레벨에서만 이야기할 수 있는 추상적 속성으로 머물지 않습니다. 실제 사용자, 데이터 흐름, 계정 모델, 운영 환경, 구현 실수 속에서도 그 속성이 유지되는지가 중요해졌습니다. 그중 가장 뚜렷한 변화는 security and correctness의 비중이 크게 올라왔다는 점이고, privacy 역시 단일 application category가 아니라 systems design 문제로 다뤄졌다는 점이었습니다. [Themes and Talks] 24개 발표를 넓게 나누면 다음과 같습니다. 1. Privacy-preserving systems (7) Zcash Tachyon · zkID · Merces · client-side validation · eDAS · ZK-AntiCheat · confidential/verifiable telemetry 2. Security / correctness (5) Poseidon · EF zkEVM Security Sprint · Origin Tags · ZK engineering security · Proof of Seed 3. Proving infrastructure / zkVMs (5) lambda-vm · Nondeterministic Autoprecompiles · Sumcheck trade-offs · Miden ACE · non-native arithmetic 4. Primitives (5) ZOOK · VEIL · verifiable FHE · witness encryption · resource-sharing permutations 5. Broader verifiable applications (2) qedb · Jolt Atlas [Takeaways] 1. Security and correctness 이번 프로그램에서 가장 뚜렷한 변화는 security/correctness의 비중이었습니다. "Proof가 생성되고 검증된다"는 사실만으로는 충분하지 않습니다. ZK 시스템에서 proof는 실제로 인코딩된 relation에 대해서만 의미가 있고, hash assumption, Fiat-Shamir transcript binding, circuit constraint, VM semantics, witness generation, implementation practice 중 하나라도 어긋나면 시스템이 의도한 statement를 증명하지 않을 수 있습니다. 2. Privacy Privacy 관련 발표는 많았지만, 단순히 "ZK로 데이터를 숨긴다"는 이야기는 아니었습니다. 반복된 질문은 누가 witness를 보는가, 무엇이 public output이 되는가, 누가 proof 생성에 참여하는가, 검증자는 무엇을 알 권리가 있는가에 가까웠습니다. 실제 시스템 요구가 들어오면 privacy는 암호학적 속성 하나가 아니라 disclosure boundary 설계 문제가 됩니다. 3. Primitives and engineering Primitive와 engineering 발표도 단순한 속도 경쟁보다는 보장 유지에 가까웠습니다. ZOOK와 VEIL은 효율적인 construction 안에서 zero-knowledge 성질을 유지하는 문제를 다뤘고, Verifiable FHE는 confidentiality와 outsourced computation correctness를 함께 봤습니다. 중요한 지표는 prover time만이 아니라, 최적화와 모듈화 이후에도 어떤 보장이 남는가였습니다. 4. zkVMs and infrastructure zkVM과 proving infrastructure는 범용성에서 specialization으로 이동하고 있었습니다. 실제 시스템에서는 특정 연산, memory usage, non-native arithmetic, VM instruction, recursion, lookup, precompile 같은 병목이 드러납니다. Application이 어떤 보장을 원하고 어떤 계산을 많이 쓰는지가 infra의 설계 압력으로 돌아오고 있습니다. 5. Verifiability beyond crypto-native systems qedb와 Jolt Atlas는 각각 verifiable database와 verifiable ML inference 쪽을 보여줬습니다. Telemetry나 validation-oriented talk도 비슷한 방향을 가리켰습니다. 여기서 중요한 보장은 semantic truth가 아니라 computational integrity입니다. 데이터가 현실에서 참인지, 모델 출력이 좋은지까지 증명하지는 않지만, 외부 계산을 operator의 주장만 믿지 않고 검증 가능한 대상으로 바꿉니다. [Conclusion] ZK14가 보여준 것은 ZK가 하나의 큰 방향으로 수렴하고 있다는 그림이 아니었습니다. 오히려 ZK가 payment, identity, zkVM, database, ML, telemetry처럼 서로 다른 시스템 안으로 들어가면서, 각 맥락마다 다른 보장을 요구받고 있다는 점이었습니다. 다음 과제는 proof를 더 빠르게 만드는 데서 끝나지 않습니다. 무엇을 숨기고, 무엇을 검증하고, 어떤 실패를 막아야 하는지 먼저 명확히 정해야 합니다. 그리고 그 보장이 circuit, protocol, VM, application, operation을 지나 실제 시스템 안에서도 흐트러지지 않게 유지되어야 합니다. Full review: [link]