$PROVE makes ZK proofs accessible, scalable, and unstoppable.