AIR
Proof Lab
StartEcosystem
Explore (579)Live Systems (52)Pricing
Log InGet API Key✓ Verify It Yourself
Connect
Exposed
ZK Proven
Compare
Protect
Chapter 1 of 5

You just connected to
airport WiFi.

ZK Proven is a live demonstration of the ZK Platform — it proves a claim about your data is true while revealing nothing about the data itself (proving without revealing). It exists to make an abstract zero-knowledge proof tangible: a real claim is verified without the underlying secret ever being disclosed.

Related · tier-1 reading. For what a portable artifact actually is, see Portable Artifact.

9:14 AMDFW Terminal B
Wi-Fi
Choose a Network...
✈️Airport_Free_WiFi●●●●
Starbucks_Guest●●●○
📶ATT-WiFi-5G●●○○🔒
📶Delta_SkyClub●○○○🔒
Looks normal. Strong signal. Free WiFi. Everyone connects.
Chapter 2 of 5
Here's what the attacker sees
✓ TRUSTEDNext scan: 11:47
attacker@evil-twin ~ intercepted_traffic.log
[09:14:02] GET mail.google.com — Session cookie: gads=CAESEBk2x...
[09:14:03] POST chase.com/api/transfer — Auth token: eyJhbGciOi...
[09:14:05] WSS slack.com — Message: "The board deck is at..."
[09:14:06] GET icloud.com/photos — Apple ID token: dk39fL2m8x...
[09:14:08] POST vpn.acmecorp.com — VPN creds: admin:Tr0ub4...
Your bank. Your email. Your Slack. Your iCloud. Your VPN.
All readable. All harvestable.
Your device? Still showing "Trusted" on CrowdStrike. Next check in 12 minutes.
Chapter 3 of 5 — Rewind
Same WiFi. H33-ZK Proven active.
Trust Score
0
h33-zk-proven ~ channel_verification.log
[200ms] Ephemeral key: ✓ Fresh Dilithium-3 keypair
[200ms] Temporal coherence: ✓ Monotonic timestamps
[200ms] Canary signal: ✓ Epoch seed validated
[400ms] Network topology: ⚠ ANOMALY — Expected 3 hops, found 4
[400ms] Latency profile: ⚠ ANOMALY — Bimodal distribution detected
[400ms] Network DNA: ✗ MISMATCH — Profile inconsistent with airport infrastructure
CONNECTION TERMINATED
[400ms] Attacker harvest log: 0 bytes captured · IOC proof emitted · Nullifier committed
ZK Proven detected an extra network hop (the attacker's device), bimodal latency (proxy processing), and a network DNA mismatch. Score collapsed to zero. Connection killed in 400 milliseconds.
Chapter 4 of 5
The difference.

Without ZK Proven

Time to detect12+ minutes
Data exposedEverything
Attacker getsBank, email, VPN, photos
Device status"Trusted" ✓

With ZK Proven

Time to detect400ms
Data exposedNothing
Attacker getsZero bytes
Device statusScore: 0.0 — Terminated
"The WiFi looked real."
"ZK Proven didn't care how it looked."
"It didn't trust the signal. It proved the channel."
Every connection Every device Every millisecond API-first
Machine-to-machine Device-to-device Zero persistent state
No credit card. Post-quantum from line one.

0.4µs
Score Computation
23.58µs
Proof Generation
1,200
Checks Per Blink
200ms
Key Rotation

10 Connection-Layer Attacks. One Solution.
Every attack on this list has been used in the wild. ZK-Proven kills each one with math — not signatures, not heuristics, not scan schedules.
Evil Twin
Fake WiFi with the same name as a legitimate network. Your device auto-connects. Attacker sits in the middle.
Network DNA mismatch detected
IMSI Catcher / Stingray
Fake cell tower intercepts mobile traffic. Used by nation-states and organized crime.
Signal physics violation detected
SSL Stripping
Downgrades HTTPS to HTTP silently. Credentials sent in plaintext.
Encryption downgrade triggers score collapse
ARP Poisoning
Redirects traffic on local network by spoofing ARP tables. Classic LAN attack.
Network topology detects rogue routing
DNS Spoofing
Fake DNS resolves legitimate domains to attacker-controlled servers.
Canary validation fails
Rogue Access Point
Unauthorized AP installed inside corporate network. Bypasses perimeter security.
Network DNA doesn't match
Man-in-the-Middle
Any proxy sitting between two endpoints. Intercepts, modifies, or records traffic.
Extra hop detected, timing mismatch
Replay Attacks
Re-transmit previously captured authentication tokens to gain unauthorized access.
Dilithium temporal binding, 200ms expiry
Session Hijacking
Steal session cookies to impersonate an authenticated user.
Cross-session nullifiers detect reuse
BGP Hijacking
Route injection at the protocol level. Entire subnets redirected through attacker infrastructure.
Network topology proof fails

Not Just WiFi. Every Connection.
H33-ZK-Proven operates at the protocol layer. It doesn't matter if the attacker is between your phone and a WiFi router, between two servers in a data center, or between your IoT device and its cloud endpoint. If something is sitting in the middle — at any layer — the proof math breaks.
Physical layer (WiFi, cellular, Bluetooth)
Network layer (routing, ARP, IP)
DNS layer (resolution, hijacking)
TLS/SSL layer (certificates, encryption)
Session layer (cookies, tokens)
API layer (microservices, cloud-to-cloud)
IoT layer (firmware updates, device pairing)

Mobile & IoT Pricing
One SDK. Every device. Post-quantum from line one.
Consumer SDK
$0.50
/device/month
Banking apps
Healthcare apps
Enterprise MDM
$1.00
/device/month
Company phones
BYOD
IoT / Embedded
$0.25
/device/month
Sensors, medical devices
POS terminals

What ZK Proven 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 a channel is what it claims to be, revealing nothing about the traffic itself. It exists because a connection can look completely normal — right name, full bars — while a machine sits in the middle intercepting everything. ZK Proven proves the channel instead of trusting how it looks.
Use it when you must prove a live channel is authentic without exposing or inspecting the data crossing it — public WiFi, cellular, 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 a content scanner or antivirus.
Concept boundaries. The ZK Platform proves without revealing — it does not compute on encrypted data; that boundary belongs to the FHE Platform. And 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.
What is ZK Proven?

A supporting expression of the ZK Platform applied to network connections. It produces a zero-knowledge proof that a channel is authentic while revealing nothing about the traffic — proving the channel instead of trusting how it looks.

When should I use ZK Proven, and when not?

Use it to prove a live 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). It is not a content scanner or antivirus.

How is ZK Proven different from the FHE Platform?

ZK Proven proves without revealing — it proves a channel is authentic without reading the 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 of an attack?

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.