How Cachee's ZK-STARK verification caching eliminated 97% of the post-quantum signature overhead — turning an 815ms proof verification into a 2.09-nanosecond lookup.
H33's biometric pipeline uses fully homomorphic encryption (BFV, N=4096) with 32-user SIMD batching, threshold decryption, and Dilithium post-quantum signatures. When we added ZK-STARK proof verification on top of that, the system got faster.
Every horizontal bar is measured on Graviton4 (c8g.metal-48xl, 192 vCPUs). The transformation from "Dilithium dominates" to "FHE dominates" is entirely due to Cachee's proof caching.
WITHOUT ZK-STARKS — 32× INDIVIDUAL DILITHIUM
WITH ZK-STARKS + CACHEE — 1× BATCH ATTESTATION
The ZK-STARK proof attests that the entire 32-user FHE computation was performed honestly. One proof covers all 32 results — not 32 individual attestations.
First time a proof circuit is encountered: full STARK verification (815ms). Every subsequent lookup: Cachee L1 at 2.09 nanoseconds. The expensive verification happens once.
With STARK correctness cached, only one Dilithium signature is needed per batch — signing the STARK proof digest. This replaces 32 individual signatures.
Raw STARK verification is 815ms — expensive. But it only happens once per proof circuit. At 1.15M auth/sec, the amortization is instantaneous.
Same FHE pipeline. Same hardware. Same Graviton4 c8g.metal-48xl with 96 workers. The only variable is how attestation is handled.
| Architecture | Attestation / batch | Auth/sec | vs Baseline |
|---|---|---|---|
| 32× Serial Dilithium | 8,766 µs 32 individual sign + verify, no ZK |
296,601 | 0.45× |
| 32× Parallel Dilithium | 747 µs rayon parallelized, no ZK |
~850,000 | 1.30× |
| STARK + Fresh Verify (Tier 1) | 3,240 µs 1× Dilithium + fresh STARK verify per batch |
~653,000 | 1.00× |
| STARK + Cachee L1 ✦ | 240 µs 1× Dilithium + cached STARK lookup (2.09ns) |
1,148,018 | 1.75× |
| FHE-only baseline | — dual Q=80, no signatures, no proofs |
655,775 | 1.00× |
Every number is measured on Graviton4. 60 seconds sustained, zero degradation. Full stack: BFV homomorphic encryption, 32-user SIMD packing, 3-of-5 threshold decryption, Dilithium3 post-quantum signatures, H33 ZK-STARK proof verification via Cachee L1.
Cachee's proof caching operates at every layer. Each aggregation step produces a proof that gets cached — eliminating re-verification at every tier.