Module pda 

Hopper-owned PDA ergonomics on top of the active backend substrate.

Functions

create_program_address

Create a program-derived address from seeds and a program ID.

derive

Hopper-facing alias for PDA derivation.

find_and_verify_pda

Verify that an account matches a PDA derived from the given seeds.

find_program_address

Find a program-derived address and its bump seed.

verify_pda

Verify that an account’s address matches a PDA derived from the given seeds.

verify_pda_from_stored_bump

Verify a PDA using the bump stored in account data (cheapest path).

verify_pda_strict

Verify that a raw address matches a PDA derived from the given seeds.

verify_pda_with_bump

Verify a PDA with an explicit bump seed appended to the seeds.