Lectura rápida
Empieza por la explicación más corta y útil antes de profundizar.
The public key that uniquely identifies a deployed program. It's the address of the program's executable account. When invoking a program, the instruction specifies the program_id. Anchor's `declare_id!()` macro hardcodes the expected program ID. PDAs are derived relative to a program's ID, tying state to the specific program.