DePIN: Tokenizing Real-World Infrastructure