BioZKFHE: Scalable Encrypted Biometric Identification via Verifiable Homomorphic Similarity Evaluation

arXiv:2607.22065 · cs.CR · Submitted 2026-07-24 · Read on arXiv

Rundong Xin, Taotao Wang, Xiaoxiao Wu, Weizhi Meng, Shengli Zhang, Shui Yu

cs.CR

Submitted: 2026-07-24

Comments: Accepted for publication in IEEE Transactions on Dependable and Secure Computing. 28 pages, including supplementary material

Journal ref: IEEE Transactions on Dependable and Secure Computing, early access, 23 July 2026

DOI: 10.1109/TDSC.2026.3716308

Code: https://github.com/plan-lab-szu/BioZKFHE

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 51× in this paper · explained in 2 episodes
• Verifier — 51× in this paper · explained in 2 episodes
• Trace — 44× in this paper · explained in 2 episodes
• Aggregation — 23× in this paper · explained in 1 episode
• Threshold Decryption — 15× in this paper
• Core — 14× in this paper · explained in 2 episodes
• Quantization — 12× in this paper · explained in 12 episodes
• Accuracy — 10× in this paper · explained in 1 episode
• Consistency — 7× in this paper · explained in 3 episodes
• Fully Homomorphic Encryption — 7× in this paper
• Embeddings — 6× in this paper · explained in 2 episodes
• Abstraction — 5× in this paper · explained in 1 episode
• Verifiability — 5× in this paper · explained in 2 episodes
• Feature Extraction — 4× in this paper · explained in 2 episodes
• Single-Coefficient Multi-Value — 4× in this paper
• Parallelizable and Verifiable Similarity Computation — 3× in this paper
• Amortization — 2× in this paper · explained in 1 episode
• Benchmark — 2× in this paper · explained in 2 episodes
• Fully Homomorphic Encryption (FHE) — 2× in this paper · explained in 5 episodes
• Quadratic Arithmetic Program — 2× in this paper
• Topological Order — 2× in this paper · explained in 2 episodes
• Clustering — 1× in this paper · explained in 2 episodes
• Cosine Similarity — 1× in this paper · explained in 3 episodes
• Decode — 1× in this paper · explained in 2 episodes
• Fine-Tuning — 1× in this paper · explained in 5 episodes
• Number Theoretic Transform — 1× in this paper
• Pruning — 1× in this paper · explained in 4 episodes
• Residue Number System — 1× in this paper
• Ring-Learning With Errors — 1× in this paper

Sources

• Privacy-preserving Preselection for Face Identification Based on Packing
• MobileFaceNets: Efficient CNNs for Accurate Real-Time Face Verification on Mobile Devices
• A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs