yana proofs