Related · tier-1 reading. For what a portable artifact actually is, see Portable Artifact.
You're on the highway. Your phone is connected to Verizon — the same tower it's used for the last 20 minutes. Four bars. LTE. Everything is normal. You've got Maps running, Spotify playing, a few Slack notifications, and your banking app in the background.
9:41 AMVerizon
LTE
MapsSpotifySlackChase
Here's what's on your phone right now
Every app on your phone holds an active session. Each one is a key. Here's what someone gets if they intercept your connection.
Banking appSESSION TOKEN
Transfer your money. Change your password. Lock you out permanently.
EmailAUTH TOKEN
Read everything. Reset every other password you own. Become you.
VPNLOGIN CREDENTIALS
Access your entire company network as you.
Maps / LocationLIVE GPS DATA
Know exactly where you are, where you live, where your kids go to school.
Work messagesSESSION COOKIE
Read confidential deals, strategies, conversations with your CEO.
Someone just drove past you in a van
Inside: a device called an IMSI catcher. It broadcasts a stronger signal than the real Verizon tower. Your phone switched to it automatically. Still shows Verizon. Still shows four bars. Everything looks normal. Nothing is.
9:41 AMVerizon
LTE
MapsSpotifySlackChase
CONNECTED TO IMSI CATCHER
Rewind. Same road. H33 ZK Proven is running.
ZK Proven checks the connection 5 times per second. It doesn't read your messages or data. It just proves whether what your phone thinks is Verizon actually is.
ZK Proven is a supporting expression of the ZK Platform — H33's capability that proves without revealing — applied to network connections. It produces a zero-knowledge proof that the tower or network your device is connected to is genuinely what it claims to be, revealing nothing about your traffic. It exists because your phone can show the right carrier and full bars while actually talking to a fake tower. ZK Proven proves the channel instead of trusting the name on your screen.
Use it when
You must prove a live cellular or network channel is authentic without exposing or inspecting the data on it — mobile, WiFi, device-to-device, cloud-to-cloud.
Not for
Computing over encrypted data (that is the FHE Platform) or proving a statement about stored data rather than a live channel (use the general ZK Platform). It is not an antivirus.
Concept boundaries. The ZK Platform proves without revealing — it does not compute on encrypted data; that boundary belongs to the FHE Platform. The portable, offline-verifiable evidence of a proof is produced by H33-74, the 74-byte post-quantum evidence primitive: ZK Proven generates the proof, H33-74 anchors it as portable evidence. Constructions like STARKs and SNARKs are external cryptographic systems H33 uses and verifies against — never owns.
When should I use ZK Proven, and when not?
Use it to prove a live cellular or network channel is authentic without exposing or inspecting its traffic. Do not use it to compute over encrypted data (that is the FHE Platform) or to prove a statement about stored data rather than a live channel (use the general ZK Platform).
How is ZK Proven different from the FHE Platform?
ZK Proven proves without revealing — it proves the channel is authentic without reading your traffic. The FHE Platform runs computation over encrypted data (ciphertext) without decrypting it. ZK proves a statement about data or a channel; FHE computes over ciphertext. Complementary, not substitutes.
Does ZK Proven produce portable evidence?
ZK Proven generates the proof; H33-74, the 74-byte post-quantum evidence primitive, anchors it as portable, independently-verifiable evidence a third party can carry and re-verify offline. Proof generation and evidence anchoring are distinct roles.