Proof lab

Private
range proofs.

Generate a self-attested age or income range proof while keeping the private input in your browser.

The proof establishes circuit consistency, not the source or truth of the private input.

Proof flow
01

Enter

The private value is entered and processed in your browser.

02

Commit

Poseidon binds the private value to a public commitment.

03

Verify

Groth16 proves the public range statement without the private value.

04

Share

Export locally, or publish after the production key ceremony.

Current boundaries

Cryptographic proof,
explicit provenance.

Published proving keys remain development artifacts until independent contributors and a public beacon complete the ceremony.

Local inputs

Birth date and income values are never included in the submission payload.

Self-attested

No issuer currently verifies the private input.

Open circuits

Circuit source, verification keys, and checksums are public.

Ceremony pending

Production publication fails closed until the public ceremony is complete.

Local zero-knowledge proof lab

Generate a private range proof.

Your private value stays in this browser. The result proves only the public range statement and is self-attested.

Groth16 Local verification Checking ceremony
Trust boundary: this proves that one hidden input satisfies the circuit. It does not prove the input came from a government, employer, bank, or other trusted issuer.