ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Fri星期五金曜日
08.28
2026
https://eprint.iacr.org/2026/1802
Zhang et al. proposed VERIF, the first dedicated ZK PIOP for IVF-Flat retrieval, verifying the integrity of RAG service retrievals.Zhang等人提出了VERIF，首个针对IVF-Flat检索的专用ZK PIOP，用于验证RAG服务中检索的完整性。ZhangらはVERIFを提案した。RAGサービスの検索整合性を検証する、IVF-Flat検索に特化した初のZK PIOPである。
NotesNotes要点
- VERIF is the first dedicated ZK PIOP for IVF-Flat retrieval
- Proves top-m centroid selection, authenticated routing, exact scoring, top-k selection, and context binding
- Commitment-eliding reduction keeps query-dependent scores virtual
- Reduces selection claims directly to inner products over authenticated data
- Unified permutation-free top-t relation with limb-decomposed range arguments handles both selection stages
- Prototype achieves 86.5x prover speedup and 99.1% peak memory reduction vs Plonky2
Q&A Deep Dive 💬今日要点 深入解析 💬今日の要点 深掘り 💬
Fri星期五金曜日
08.28
2026
