Solana PDA由种子、程序ID和bump派生，并故意落在Ed25519曲线外。findProgramAddress从255向下寻找首个有效值，得到canonical bump。本文解释唯一性、账户约束和invoke_signed权限。