What does Proof of X mean? What are the types?