zkDaily - 2026-03-08

零知识证明 zkDaily

ZKP Frontier Tracker 🎯

Sun

03.08

2026

Icefish: Practical zk-SNARKs for Verifiable Genomics

Paper

https://eprint.iacr.org/2026/463

Alexander Frolov Genomics CRISPR

Frolov et al. proposed Icefish in their paper, conducting the first systematic study of zk-SNARKs for verifiable genomics, including building blocks like sequence alignment, and exploring two end-to-end applications: verifiable GWAS and CRISPR eligibility verification.

Notes

First systematic study of zk-SNARKs for verifiable genomics, addressing a gap in the field
Developed zero-knowledge proofs for sequence alignment, 30x faster than prior art
Implemented verifiable GWAS ensuring data integrity and computational correctness with <20 min proving time
Proposed new zk-SNARK use case in gene engineering (e.g., CRISPR) for therapy eligibility verification without revealing DNA
Designed storage-efficient indexes for large-scale genomic data, asymptotically reducing costs
Focuses on privacy and verification needs for highly sensitive genomic data

Collected by @icerdesign

零知识证明 zkDaily

Q&A Deep Dive 💬

Sun

03.08

2026

Why are MPC or FHE alone insufficient for ensuring trust in genomic studies?

MPC and FHE allow private computation but typically do not produce publicly verifiable proofs of correct execution, meaning third parties cannot independently verify that computations were performed honestly.

What is the first end-to-end application proposed in the paper?

The first application is verifiable Genome-Wide Association Studies (GWAS), enabling third parties to verify that the study was correctly computed over an authenticated dataset.

How does Icefish reduce storage costs for large genomic datasets in proof systems?

The system introduces storage-efficient indexing structures for Merkle trees, which asymptotically reduce the storage overhead required to authenticate large genomic datasets.

Prompted by @icerdesign