Verified environmentprivate data · public proofs