PPREV — Privacy-Preserving Real Estate Verification

Connection

Notary base URL

Contract address

Account—

Chain ID—

Notary address—

Default lock window—

Freshness window—

Min collateral—

1 · Register transaction (φ_R)

Lister submits transaction parameters and a notary attestation. The contract computes C_tx=H(txData ‖ policyId_R ‖ salt) and uses it as the txID.

Policy R

Policy A

Policy S

txData

Required escrow (ETH)

Collateral (ETH)

2 · Apply & Engage (φ_A)

A counterparty submits an application (status PENDING). The listing owner subsequently calls engage to lock the listing.

txID (C_tx)

Deposit (ETH)

appId to engage

Lock window (s, 0=default)

3 · Settle / Expire (φ_S)

Listing owner settles before expiresAt; otherwise anyone calls expire and the counterparty is refunded with a 10% slash of remaining collateral (compounding).

engId

txID to cancel

PPREV — Privacy-Preserving Real Estate Verification (demo UI)

Connection

1 · Register transaction (φ_R)

2 · Apply & Engage (φ_A)

3 · Settle / Expire (φ_S)

Recent listings

Activity log