Proof Lab

Run the Pixel Test.

Upload an image and mint a real ZK-SNAP receipt for it. Then make the smallest local edit you can: one pixel, one dot, one mark.

Bring the edited image back to Proof Lab and verify it against the original receipt. The signature still proves the receipt is real. The fingerprint proves the file is no longer the same.

Mint a real ZK-SNAP receipt Edit one pixel locally Verify. See it work.

Create

Create receipt

Upload an image to create a real ZK-SNAP receipt. The receipt binds to the image fingerprint, so even a one-pixel edit can be detected later.

Image preview No image selected.
File
Waiting for image
Size
-
Type
-
Fingerprint
Not made yet

No receipt yet. Select an image, then create a receipt.

Verify

Verify receipt

Select the original image to see it pass, or select your one-pixel edit to see the receipt signature stay valid while the file fingerprint no longer matches.

Original fingerprint
Verify fingerprint

What the pixel test proves

Original image

The fingerprint matches and the signature verifies. The image still belongs to the signed ZK-SNAP receipt. ZKAI™·S4 Proven.

One-pixel edit

The receipt is still real, but the edited file has a different fingerprint. The original receipt no longer belongs to that file.

Edited receipt

The signature check fails. The signed receipt was changed after minting.

What Proof Lab is

Proof Lab is a real public implementation of the ZK-SNAP receipt path, narrowed to images so anyone can test it safely. It mints a signed ZK-SNAP receipt from an image fingerprint and runs verification against the receipt and file binding. The result is real: a valid signature proves the receipt was properly formed, and the fingerprint check proves whether the selected file is the same artifact.

Next step

Read the ZK-SNAP receipt model.

Proof Lab shows local create and verify. The Protocol page defines ZK-SNAP as the receipt primitive, then shows how Chain recognition, Evidence Graph discovery, Sigils, and conformance fit around it.