Boundary Selection
step 01
Proof Generation
step 02
Selected:
Proof History
Statement Proven
Zero-knowledge claim
"There exists a private point P inside the defined polygon boundary — without revealing the coordinates of P."
Proof inputs
public
Polygon verticesZone boundary coordinates
private
GPS coordinatesNever displayed, never transmitted
public
Output signal1 = inside · 0 = outside
Circuit
~100k
constraints
8
max vertices
Groth16
proof system
BN254
curve