ZK-verified private information retrieval for Ethereum state.
Status: early development
Private information retrieval (PIR) lets a client query a database without revealing which entry it reads. Applied to Ethereum, this prevents MEV extraction at the read layer: nodes serving state queries learn nothing about what the client is looking up.
The Atiia-Lee sharded PIR design proposes a practical architecture for this, but leaves an open problem: how does the client verify the server answered correctly? A malicious or buggy server can return garbage.
This library adds ZK-verified correctness to polynomial-based PIR, targeting Ethereum-scale state (~250M entries).
- PIR verification circuits — proof-of-correct-retrieval for SimplePIR using WHIR as the polynomial commitment backend
- Sharded batch verification — verify multiple shard responses with sublinear cost via PCS batch opening
- Benchmarks at scale — 10M, 50M, and 250M entries (32-byte key/value pairs matching Ethereum storage slots)
- Atiia-Lee sharded PIR design — ethresear.ch post
- SimplePIR — Henzinger, 2023
- WHIR — Arnon, Chiesa, Fenzi, Yogev, 2024
MIT OR Apache-2.0