ZKP Income Verification — Groth16 Zero-Knowledge Proofs

Live Proof Simulation

Groth16 · BN254 Curve · 128-bit security

🔐 Tenant's Private Data

Annual Salary████████

Monthly Gross████████

Employer██████████████

Bank Balance████████

Credit Score████

🔒 Never leaves device

→

⚡ Groth16 Circuit

// R1CS constraint system

assert(income ≥ rent × 40)

assert(employment ≥ 6mo)

assert(credit ≥ threshold)

// BN254 pairing check

e(π_A, π_B) == e(α, β) ×

e(∑ aᵢ·L_i, γ) ×

e(π_C, δ)

3 constraints · 128 bytes output

→

✅ Landlord Receives

Income ≥ 40× Rent—

Employment ≥ 6mo—

Credit ≥ Threshold—

Proof Valid—

Verify Time—

🔓 Zero knowledge of actual values

✅

Proof Verified — Tenant Qualifies

Landlord knows: income ≥ 40× rent. Landlord does NOT know: salary, employer, bank balance, credit score.

Proof (π):

0x1a2b3c4d5e6f7890abcdef1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef

Verification: PASS · Time: 0.4ms · Curve: BN254 · Security: 128-bit

Why ZKP Matters for Housing

Traditional screening requires tenants to hand over pay stubs, bank statements, and tax returns — creating massive privacy exposure and identity theft risk.

ZKP proves qualification mathematically without data transfer. The landlord gets a cryptographic guarantee that's more reliable than a self-reported pay stub, with zero privacy sacrifice.

This is not theoretical. RA uses Groth16 zkSNARKs on the BN254 elliptic curve — the same cryptographic system used by Ethereum L2 rollups processing billions in transactions.

Technical Specifications

Proof SystemGroth16 zkSNARK

Elliptic CurveBN254 (alt_bn128)

Security Level128-bit

Proof Size128 bytes

Proof Generation~2.1 seconds

Verification Time<1ms

ConstraintsIncome, Employment, Credit

Competitors Using ZKP0 (first in PropTech)

Package@realriches/zkp-tenant-qualification

Lines of Code219