🕐 라그랑주의 또 다른 핵심 연구, Dynamic zk-SNARKs가 SBC 2025에 채택
AI와 블록체인을 위한 실시간 업데이트 가능한 증명 시스템의 새 지평을 열다.

기존 zk-SNARKs의 한계
zk-SNARK는 데이터를 증명 가능한 상태로 만들어주는 강력한 암호 기술입니다. 하지만 Groth16, Plonk, Marlin 등 기존 시스템은 정적(static) 데이터만을 전제로 설계되어, 데이터가 바뀔 때마다 전체 증명을 다시 생성해야 했습니다. 이는 AI처럼 끊임없이 변화하는 시스템에는 비효율적이고 비현실적입니다.

Dynamic zk-SNARKs의 혁신
✅ 기존 증명을 완전히 재생성할 필요 없이 증명을 점진적으로 업데이트 가능
✅ 데이터가 조금만 변경될 경우 (예: Hamming distance 기준) 부분 증명만 업데이트
✅ AI 모델이 재학습하거나 파인튜닝할 때도 증명 유효성 유지
✅ 실시간 데이터 스트림, 스마트 컨트랙트 증명 후크, ZK 파이프라인 최적화 등 실용적 활용에 최적화
✅ DeepProve와 통합 시, AI 추론 결과의 무결성·정합성·안전성까지 실시간 검증 가능
✅ 모든 업데이트 과정은 기존 Groth16과 동일한 q-DLOG 기반 보안 가정에 따라 안전하게 유지

👉 Dynamic zk-SNARKs는 단순한 연구를 넘어, 안전하고 검증 가능한 AI를 위한 핵심 인프라입니다.

기술 구성 요소

1️⃣ Dynamo - 변경된 데이터 벡터가 기존 벡터의 거의 순열임을 효율적으로 증명
2️⃣ Dynaverse - 게이트 제약 조건과 순열을 분해해 O(√n·log n) 시간에 증명 업데이트
3️⃣ Dynalog - 히에라키 방식의 버킷 구조로 대규모 데이터셋도 동적으로 증명 가능

학회 채택 및 업계 임팩트

Dynamic zk-SNARKs는 블록체인 연구팀으로서는 드물게 SBC 2025 정식 채택 (IACR 2024/1566). 이로써 라그랑주는 Reckle Trees (SBC 2023) 특허 기술에 이어, 3년 연속 최고 권위 학회 채택 기록을 이어가고 있습니다.

정적 → 동적: 패러다임의 전환
정적 증명에서 동적 증명으로.
이제 증명 시스템도 모델처럼 진화합니다.

🗓 발표 및 생중계: 2025년 8월 4일, SBC 2025
📖 블로그 바로가기 | 📱 원문 보기